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

Analysis Run

85c0a2a1-f2fc-4692-a9ce-841d68465508

failed
Chain ID
1
Address
Block Number
Created
Fri, Jan 2, 2026 2:06 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 CALL target/value reachable
crit 0 high 0 proxy context implementation known
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
31183 report.consolidate complete 1 / 1 3 months ago
76912 artifact.fetch failed 1 / 3 1 week ago
76913 tool.cast_disasm complete 1 / 3 1 week ago
76914 analysis.bundle complete 1 / 3 1 week ago
76915 capability.graph complete 1 / 3 1 week ago
76916 detector.run complete 1 / 3 1 week ago
76917 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: yes
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
No concrete, exploitable profit path found in the provided sources. Review limited to AUDIT_BUNDLE.txt and trusted libraries.
View stderr
[codex:510562] OpenAI Codex v0.77.0 (research preview)
[codex:510562] --------
[codex:510562] workdir: /tmp/codex-multi-5u5lv0qg
[codex:510562] model: gpt-5.2-codex
[codex:510562] provider: openai
[codex:510562] approval: never
[codex:510562] sandbox: read-only
[codex:510562] reasoning effort: xhigh
[codex:510562] reasoning summaries: auto
[codex:510562] session id: 019b7c72-97c0-7a91-a91e-c6d3a7f2ea94
[codex:510562] --------
[codex:510562] user
[codex:510562] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:510562] 
[codex:510562] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:510562] 
[codex:510562] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:510562] - Gas inefficiency, code quality, naming, or best practices
[codex:510562] - Theoretical vulnerabilities without a clear extraction path
[codex:510562] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:510562] - Front-running unless it enables theft beyond MEV
[codex:510562] - DoS, griefing, or issues that don't result in attacker profit
[codex:510562] - Missing events, view function issues, or informational findings
[codex:510562] 
[codex:510562] HIGH-VALUE PATTERNS TO HUNT:
[codex:510562] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:510562] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:510562] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:510562] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:510562] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:510562] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:510562] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:510562] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:510562] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:510562] 
[codex:510562] For each finding, you MUST provide:
[codex:510562] 1. Exact file and line numbers of vulnerable code
[codex:510562] 2. Step-by-step exploit transaction sequence
[codex:510562] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:510562] 
[codex:510562] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:510562] 
[codex:510562] Output MUST be valid JSON matching the provided schema.
[codex:510562] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:510562] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:510562] mcp startup: no servers
[codex:510562] 
[codex:510562] thinking
[codex:510562] **Reading instructions from AUDIT_BUNDLE.txt**
[codex:510562] exec
[codex:510562] /bin/bash -lc ls in /tmp/codex-multi-5u5lv0qg succeeded in 6ms:
[codex:510562] AUDIT_BUNDLE.txt
[codex:510562] codex-output-schema.json
[codex:510562] contracts
[codex:510562] exec
[codex:510562] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-5u5lv0qg succeeded in 5ms:
[codex:510562] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:510562] 
[codex:510562] ================================================================================
[codex:510562] FILE: contracts/src/CollectorWithCustomImpl.sol
[codex:510562] ================================================================================
[codex:510562] // SPDX-License-Identifier: MIT
[codex:510562] pragma solidity ^0.8.0;
[codex:510562] 
[codex:510562] import {Collector, ICollector} from 'aave-v3-origin/contracts/treasury/Collector.sol';
[codex:510562] 
[codex:510562] /**
[codex:510562]  * @title Collector
[codex:510562]  * Custom modifications of this implementation:
[codex:510562]  * - the initialize function manually alters private storage slots via assembly
[codex:510562]  * - storage slot 0 (previously revision) is reset to zero
[codex:510562]  * - storage slot 51 (previously _status) is set to zero
[codex:510562]  * - storage slot 52 (previously _fundsAdmin) is set to zero
[codex:510562]  * @author BGD Labs
[codex:510562]  *
[codex:510562]  */
[codex:510562] 
[codex:510562] thinking
[codex:510562] **Opening file with line numbers**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/src/CollectorWithCustomImpl.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 6ms:
[codex:510562]      1	// SPDX-License-Identifier: MIT
[codex:510562]      2	pragma solidity ^0.8.0;
[codex:510562]      3	
[codex:510562]      4	import {Collector, ICollector} from 'aave-v3-origin/contracts/treasury/Collector.sol';
[codex:510562]      5	
[codex:510562]      6	/**
[codex:510562]      7	 * @title Collector
[codex:510562]      8	 * Custom modifications of this implementation:
[codex:510562]      9	 * - the initialize function manually alters private storage slots via assembly
[codex:510562]     10	 * - storage slot 0 (previously revision) is reset to zero
[codex:510562]     11	 * - storage slot 51 (previously _status) is set to zero
[codex:510562]     12	 * - storage slot 52 (previously _fundsAdmin) is set to zero
[codex:510562]     13	 * @author BGD Labs
[codex:510562]     14	 *
[codex:510562]     15	 */
[codex:510562]     16	contract CollectorWithCustomImpl is Collector {
[codex:510562]     17	  function initialize(uint256, address admin) external virtual override initializer {
[codex:510562]     18	    assembly {
[codex:510562]     19	      sstore(0, 0) // this slot was revision, which is no longer used
[codex:510562]     20	      sstore(51, 0) // this slot was _status, but is now part of the gap
[codex:510562] 
[codex:510562] thinking
[codex:510562] **Searching for relevant contract files**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'rg --files' in /tmp/codex-multi-5u5lv0qg succeeded in 15ms:
[codex:510562] codex-output-schema.json
[codex:510562] AUDIT_BUNDLE.txt
[codex:510562] contracts/src/CollectorWithCustomImpl.sol
[codex:510562] contracts/lib/aave-v3-origin/src/contracts/treasury/ICollector.sol
[codex:510562] contracts/lib/aave-v3-origin/src/contracts/treasury/Collector.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/interfaces/IERC1363.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/interfaces/IERC20.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/interfaces/IERC165.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/access/IAccessControl.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/Address.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/Errors.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/access/AccessControlUpgradeable.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/utils/ContextUpgradeable.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/utils/ReentrancyGuardUpgradeable.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/utils/introspection/ERC165Upgradeable.sol
[codex:510562] 
[codex:510562] thinking
[codex:510562] **Reviewing Collector.sol for issues**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/lib/aave-v3-origin/src/contracts/treasury/Collector.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 5ms:
[codex:510562]      1	// SPDX-License-Identifier: MIT
[codex:510562]      2	pragma solidity ^0.8.0;
[codex:510562]      3	
[codex:510562]      4	import {AccessControlUpgradeable} from 'openzeppelin-contracts-upgradeable/contracts/access/AccessControlUpgradeable.sol';
[codex:510562]      5	import {ReentrancyGuardUpgradeable} from 'openzeppelin-contracts-upgradeable/contracts/utils/ReentrancyGuardUpgradeable.sol';
[codex:510562]      6	import {IERC20} from 'openzeppelin-contracts/contracts/token/ERC20/IERC20.sol';
[codex:510562]      7	import {SafeERC20} from 'openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol';
[codex:510562]      8	import {Address} from 'openzeppelin-contracts/contracts/utils/Address.sol';
[codex:510562]      9	import {ICollector} from './ICollector.sol';
[codex:510562]     10	
[codex:510562]     11	/**
[codex:510562]     12	 * @title Collector
[codex:510562]     13	 * @notice Stores ERC20 tokens of an ecosystem reserve and allows to dispose of them via approval
[codex:510562]     14	 * or transfer dynamics or streaming capabilities.
[codex:510562]     15	 * Modification of Sablier https://github.com/sablierhq/sablier/blob/develop/packages/protocol/contracts/Sablier.sol
[codex:510562]     16	 * Original can be found also deployed on https://etherscan.io/address/0xCD18eAa163733Da39c232722cBC4E8940b1D8888
[codex:510562]     17	 * Modifications:
[codex:510562]     18	 * - Sablier "pulls" the funds from the creator of the stream at creation. In the Aave case, we already have the funds.
[codex:510562]     19	 * - Anybody can create streams on Sablier. Here, only the funds admin (Aave governance via controller) can
[codex:510562]     20	 * - Adapted codebase to Solidity 0.8.11, mainly removing SafeMath and CarefulMath to use native safe math
[codex:510562] 
[codex:510562] thinking
[codex:510562] **Analyzing storage slot resets for upgrade exploits**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 5ms:
[codex:510562]      1	// SPDX-License-Identifier: MIT
[codex:510562]      2	// OpenZeppelin Contracts (last updated v5.0.0) (proxy/utils/Initializable.sol)
[codex:510562]      3	
[codex:510562]      4	pragma solidity ^0.8.20;
[codex:510562]      5	
[codex:510562]      6	/**
[codex:510562]      7	 * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
[codex:510562]      8	 * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an
[codex:510562]      9	 * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
[codex:510562]     10	 * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:510562]     11	 *
[codex:510562]     12	 * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be
[codex:510562]     13	 * reused. This mechanism prevents re-execution of each "step" but allows the creation of new initialization steps in
[codex:510562]     14	 * case an upgrade adds a module that needs to be initialized.
[codex:510562]     15	 *
[codex:510562]     16	 * For example:
[codex:510562]     17	 *
[codex:510562]     18	 * [.hljs-theme-light.nopadding]
[codex:510562]     19	 * ```solidity
[codex:510562]     20	 * contract MyToken is ERC20Upgradeable {
[codex:510562] 
[codex:510562] thinking
[codex:510562] **Analyzing initializer and storage slot risks**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/utils/ReentrancyGuardUpgradeable.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 5ms:
[codex:510562]      1	// SPDX-License-Identifier: MIT
[codex:510562]      2	// OpenZeppelin Contracts (last updated v5.1.0) (utils/ReentrancyGuard.sol)
[codex:510562]      3	
[codex:510562]      4	pragma solidity ^0.8.20;
[codex:510562]      5	import {Initializable} from "../proxy/utils/Initializable.sol";
[codex:510562]      6	
[codex:510562]      7	/**
[codex:510562]      8	 * @dev Contract module that helps prevent reentrant calls to a function.
[codex:510562]      9	 *
[codex:510562]     10	 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
[codex:510562]     11	 * available, which can be applied to functions to make sure there are no nested
[codex:510562]     12	 * (reentrant) calls to them.
[codex:510562]     13	 *
[codex:510562]     14	 * Note that because there is a single `nonReentrant` guard, functions marked as
[codex:510562]     15	 * `nonReentrant` may not call one another. This can be worked around by making
[codex:510562]     16	 * those functions `private`, and then adding `external` `nonReentrant` entry
[codex:510562]     17	 * points to them.
[codex:510562]     18	 *
[codex:510562]     19	 * TIP: If EIP-1153 (transient storage) is available on the chain you're deploying at,
[codex:510562]     20	 * consider using {ReentrancyGuardTransient} instead.
[codex:510562] 
[codex:510562] thinking
[codex:510562] **Analyzing storage resets and initialization risks**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/access/AccessControlUpgradeable.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 7ms:
[codex:510562]      1	// SPDX-License-Identifier: MIT
[codex:510562]      2	// OpenZeppelin Contracts (last updated v5.0.0) (access/AccessControl.sol)
[codex:510562]      3	
[codex:510562]      4	pragma solidity ^0.8.20;
[codex:510562]      5	
[codex:510562]      6	import {IAccessControl} from "@openzeppelin/contracts/access/IAccessControl.sol";
[codex:510562]      7	import {ContextUpgradeable} from "../utils/ContextUpgradeable.sol";
[codex:510562]      8	import {ERC165Upgradeable} from "../utils/introspection/ERC165Upgradeable.sol";
[codex:510562]      9	import {Initializable} from "../proxy/utils/Initializable.sol";
[codex:510562]     10	
[codex:510562]     11	/**
[codex:510562]     12	 * @dev Contract module that allows children to implement role-based access
[codex:510562]     13	 * control mechanisms. This is a lightweight version that doesn't allow enumerating role
[codex:510562]     14	 * members except through off-chain means by accessing the contract event logs. Some
[codex:510562]     15	 * applications may benefit from on-chain enumerability, for those cases see
[codex:510562]     16	 * {AccessControlEnumerable}.
[codex:510562]     17	 *
[codex:510562]     18	 * Roles are referred to by their `bytes32` identifier. These should be exposed
[codex:510562]     19	 * in the external API and be unique. The best way to achieve this is by
[codex:510562]     20	 * using `public constant` hash digests:
[codex:510562] 
[codex:510562] 
[codex:510562] thinking
[codex:510562] **Analyzing initialization and access control risks**
[codex:510562] 
[codex:510562] I'm carefully evaluating whether the contract’s external initializer or storage layout could enable an attacker to gain admin roles or drain funds, focusing on proxy upgrade scenarios, storage shifts, and reentrancy protections; ultimately, I find no concrete, exploitable vulnerability but note operational risks if initialization isn’t handled properly during upgrades.
[codex:510562] thinking
[codex:510562] **Preparing final audit result JSON**
[codex:510562] 
[codex:510562] I'll produce a JSON output marking no findings with a concise summary and an empty findings array, matching the required schema precisely.
[codex:510562] codex
[codex:510562] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided sources. Review limited to AUDIT_BUNDLE.txt and trusted libraries.","findings":[]}
[codex:510562] tokens used
[codex:510562] 23,232
[codex:510562] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided sources. Review limited to AUDIT_BUNDLE.txt and trusted libraries.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-02T02:06:30.565391+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in the provided sources. Review limited to AUDIT_BUNDLE.txt and trusted libraries.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in the provided sources. Review limited to AUDIT_BUNDLE.txt and trusted libraries.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
3
Total opcodes
6338
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0122
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x91d14854
00000018: GT
00000019: PUSH2 0x009f
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xcc1b4bf6
00000023: GT
00000024: PUSH2 0x0063
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xcc1b4bf6
0000002e: EQ
0000002f: PUSH2 0x0434
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xd547741f
00000039: EQ
0000003a: PUSH2 0x0470
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xda35a26f
00000044: EQ
00000045: PUSH2 0x0498
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xe1f21c67
0000004f: EQ
00000050: PUSH2 0x04c0
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf501148c
0000005a: EQ
0000005b: PUSH2 0x04e8
0000005e: JUMPI
0000005f: PUSH2 0x0129
00000062: JUMP
00000063: JUMPDEST
00000064: DUP1
00000065: PUSH4 0x91d14854
0000006a: EQ
0000006b: PUSH2 0x0340
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0x97713592
00000075: EQ
00000076: PUSH2 0x037c
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0xa217fddf
00000080: EQ
00000081: PUSH2 0x03a6
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0xa82ccd4d
0000008b: EQ
0000008c: PUSH2 0x03d0
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0xbeabacc8
00000096: EQ
00000097: PUSH2 0x040c
0000009a: JUMPI
0000009b: PUSH2 0x0129
0000009e: JUMP
0000009f: JUMPDEST
000000a0: DUP1
000000a1: PUSH4 0x3656eec2
000000a6: GT
000000a7: PUSH2 0x00e6
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x3656eec2
000000b1: EQ
000000b2: PUSH2 0x021f
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x51ee886b
000000bc: EQ
000000bd: PUSH2 0x025b
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x6db9241b
000000c7: EQ
000000c8: PUSH2 0x0285
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x7a9b2c6c
000000d2: EQ
000000d3: PUSH2 0x02c1
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x894e9a0d
000000dd: EQ
000000de: PUSH2 0x02fd
000000e1: JUMPI
000000e2: PUSH2 0x0129
000000e5: JUMP
000000e6: JUMPDEST
000000e7: DUP1
000000e8: PUSH4 0x01ffc9a7
000000ed: EQ
000000ee: PUSH2 0x012d
000000f1: JUMPI
000000f2: DUP1
000000f3: PUSH4 0x0932f92b
000000f8: EQ
000000f9: PUSH2 0x0169
000000fc: JUMPI
000000fd: DUP1
000000fe: PUSH4 0x248a9ca3
00000103: EQ
00000104: PUSH2 0x0193
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x2f2ff15d
0000010e: EQ
0000010f: PUSH2 0x01cf
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x36568abe
00000119: EQ
0000011a: PUSH2 0x01f7
0000011d: JUMPI
0000011e: PUSH2 0x0129
00000121: JUMP
00000122: JUMPDEST
00000123: CALLDATASIZE
00000124: PUSH2 0x0129
00000127: JUMPI
00000128: STOP
00000129: JUMPDEST
0000012a: PUSH0
0000012b: PUSH0
0000012c: REVERT
0000012d: JUMPDEST
0000012e: CALLVALUE
0000012f: DUP1
00000130: ISZERO
00000131: PUSH2 0x0138
00000134: JUMPI
00000135: PUSH0
00000136: PUSH0
00000137: REVERT
00000138: JUMPDEST
00000139: POP
0000013a: PUSH2 0x0153
0000013d: PUSH1 0x04
0000013f: DUP1
00000140: CALLDATASIZE
00000141: SUB
00000142: DUP2
00000143: ADD
00000144: SWAP1
00000145: PUSH2 0x014e
00000148: SWAP2
00000149: SWAP1
0000014a: PUSH2 0x27ba
0000014d: JUMP
0000014e: JUMPDEST
0000014f: PUSH2 0x0524
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH1 0x40
00000156: MLOAD
00000157: PUSH2 0x0160
0000015a: SWAP2
0000015b: SWAP1
0000015c: PUSH2 0x27ff
0000015f: JUMP
00000160: JUMPDEST
00000161: PUSH1 0x40
00000163: MLOAD
00000164: DUP1
00000165: SWAP2
00000166: SUB
00000167: SWAP1
00000168: RETURN
00000169: JUMPDEST
0000016a: CALLVALUE
0000016b: DUP1
0000016c: ISZERO
0000016d: PUSH2 0x0174
00000170: JUMPI
00000171: PUSH0
00000172: PUSH0
00000173: REVERT
00000174: JUMPDEST
00000175: POP
00000176: PUSH2 0x017d
00000179: PUSH2 0x059d
0000017c: JUMP
0000017d: JUMPDEST
0000017e: PUSH1 0x40
00000180: MLOAD
00000181: PUSH2 0x018a
00000184: SWAP2
00000185: SWAP1
00000186: PUSH2 0x2830
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH1 0x40
0000018d: MLOAD
0000018e: DUP1
0000018f: SWAP2
00000190: SUB
00000191: SWAP1
00000192: RETURN
00000193: JUMPDEST
00000194: CALLVALUE
00000195: DUP1
00000196: ISZERO
00000197: PUSH2 0x019e
0000019a: JUMPI
0000019b: PUSH0
0000019c: PUSH0
0000019d: REVERT
0000019e: JUMPDEST
0000019f: POP
000001a0: PUSH2 0x01b9
000001a3: PUSH1 0x04
000001a5: DUP1
000001a6: CALLDATASIZE
000001a7: SUB
000001a8: DUP2
000001a9: ADD
000001aa: SWAP1
000001ab: PUSH2 0x01b4
000001ae: SWAP2
000001af: SWAP1
000001b0: PUSH2 0x287c
000001b3: JUMP
000001b4: JUMPDEST
000001b5: PUSH2 0x05a6
000001b8: JUMP
000001b9: JUMPDEST
000001ba: PUSH1 0x40
000001bc: MLOAD
000001bd: PUSH2 0x01c6
000001c0: SWAP2
000001c1: SWAP1
000001c2: PUSH2 0x28b6
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH1 0x40
000001c9: MLOAD
000001ca: DUP1
000001cb: SWAP2
000001cc: SUB
000001cd: SWAP1
000001ce: RETURN
000001cf: JUMPDEST
000001d0: CALLVALUE
000001d1: DUP1
000001d2: ISZERO
000001d3: PUSH2 0x01da
000001d6: JUMPI
000001d7: PUSH0
000001d8: PUSH0
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x01f5
000001df: PUSH1 0x04
000001e1: DUP1
000001e2: CALLDATASIZE
000001e3: SUB
000001e4: DUP2
000001e5: ADD
000001e6: SWAP1
000001e7: PUSH2 0x01f0
000001ea: SWAP2
000001eb: SWAP1
000001ec: PUSH2 0x2929
000001ef: JUMP
000001f0: JUMPDEST
000001f1: PUSH2 0x05d0
000001f4: JUMP
000001f5: JUMPDEST
000001f6: STOP
000001f7: JUMPDEST
000001f8: CALLVALUE
000001f9: DUP1
000001fa: ISZERO
000001fb: PUSH2 0x0202
000001fe: JUMPI
000001ff: PUSH0
00000200: PUSH0
00000201: REVERT
00000202: JUMPDEST
00000203: POP
00000204: PUSH2 0x021d
00000207: PUSH1 0x04
00000209: DUP1
0000020a: CALLDATASIZE
0000020b: SUB
0000020c: DUP2
0000020d: ADD
0000020e: SWAP1
0000020f: PUSH2 0x0218
00000212: SWAP2
00000213: SWAP1
00000214: PUSH2 0x2929
00000217: JUMP
00000218: JUMPDEST
00000219: PUSH2 0x05f2
0000021c: JUMP
0000021d: JUMPDEST
0000021e: STOP
0000021f: JUMPDEST
00000220: CALLVALUE
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x022a
00000226: JUMPI
00000227: PUSH0
00000228: PUSH0
00000229: REVERT
0000022a: JUMPDEST
0000022b: POP
0000022c: PUSH2 0x0245
0000022f: PUSH1 0x04
00000231: DUP1
00000232: CALLDATASIZE
00000233: SUB
00000234: DUP2
00000235: ADD
00000236: SWAP1
00000237: PUSH2 0x0240
0000023a: SWAP2
0000023b: SWAP1
0000023c: PUSH2 0x2991
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH2 0x066d
00000244: JUMP
00000245: JUMPDEST
00000246: PUSH1 0x40
00000248: MLOAD
00000249: PUSH2 0x0252
0000024c: SWAP2
0000024d: SWAP1
0000024e: PUSH2 0x2830
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH1 0x40
00000255: MLOAD
00000256: DUP1
00000257: SWAP2
00000258: SUB
00000259: SWAP1
0000025a: RETURN
0000025b: JUMPDEST
0000025c: CALLVALUE
0000025d: DUP1
0000025e: ISZERO
0000025f: PUSH2 0x0266
00000262: JUMPI
00000263: PUSH0
00000264: PUSH0
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH2 0x026f
0000026b: PUSH2 0x095a
0000026e: JUMP
0000026f: JUMPDEST
00000270: PUSH1 0x40
00000272: MLOAD
00000273: PUSH2 0x027c
00000276: SWAP2
00000277: SWAP1
00000278: PUSH2 0x29de
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH1 0x40
0000027f: MLOAD
00000280: DUP1
00000281: SWAP2
00000282: SUB
00000283: SWAP1
00000284: RETURN
00000285: JUMPDEST
00000286: CALLVALUE
00000287: DUP1
00000288: ISZERO
00000289: PUSH2 0x0290
0000028c: JUMPI
0000028d: PUSH0
0000028e: PUSH0
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH2 0x02ab
00000295: PUSH1 0x04
00000297: DUP1
00000298: CALLDATASIZE
00000299: SUB
0000029a: DUP2
0000029b: ADD
0000029c: SWAP1
0000029d: PUSH2 0x02a6
000002a0: SWAP2
000002a1: SWAP1
000002a2: PUSH2 0x29f7
000002a5: JUMP
000002a6: JUMPDEST
000002a7: PUSH2 0x0972
000002aa: JUMP
000002ab: JUMPDEST
000002ac: PUSH1 0x40
000002ae: MLOAD
000002af: PUSH2 0x02b8
000002b2: SWAP2
000002b3: SWAP1
000002b4: PUSH2 0x27ff
000002b7: JUMP
000002b8: JUMPDEST
000002b9: PUSH1 0x40
000002bb: MLOAD
000002bc: DUP1
000002bd: SWAP2
000002be: SUB
000002bf: SWAP1
000002c0: RETURN
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cc
000002c8: JUMPI
000002c9: PUSH0
000002ca: PUSH0
000002cb: REVERT
000002cc: JUMPDEST
000002cd: POP
000002ce: PUSH2 0x02e7
000002d1: PUSH1 0x04
000002d3: DUP1
000002d4: CALLDATASIZE
000002d5: SUB
000002d6: DUP2
000002d7: ADD
000002d8: SWAP1
000002d9: PUSH2 0x02e2
000002dc: SWAP2
000002dd: SWAP1
000002de: PUSH2 0x2a22
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH2 0x0d95
000002e6: JUMP
000002e7: JUMPDEST
000002e8: PUSH1 0x40
000002ea: MLOAD
000002eb: PUSH2 0x02f4
000002ee: SWAP2
000002ef: SWAP1
000002f0: PUSH2 0x27ff
000002f3: JUMP
000002f4: JUMPDEST
000002f5: PUSH1 0x40
000002f7: MLOAD
000002f8: DUP1
000002f9: SWAP2
000002fa: SUB
000002fb: SWAP1
000002fc: RETURN
000002fd: JUMPDEST
000002fe: CALLVALUE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x0308
00000304: JUMPI
00000305: PUSH0
00000306: PUSH0
00000307: REVERT
00000308: JUMPDEST
00000309: POP
0000030a: PUSH2 0x0323
0000030d: PUSH1 0x04
0000030f: DUP1
00000310: CALLDATASIZE
00000311: SUB
00000312: DUP2
00000313: ADD
00000314: SWAP1
00000315: PUSH2 0x031e
00000318: SWAP2
00000319: SWAP1
0000031a: PUSH2 0x29f7
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH2 0x1233
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH1 0x40
00000326: MLOAD
00000327: PUSH2 0x0337
0000032a: SWAP9
0000032b: SWAP8
0000032c: SWAP7
0000032d: SWAP6
0000032e: SWAP5
0000032f: SWAP4
00000330: SWAP3
00000331: SWAP2
00000332: SWAP1
00000333: PUSH2 0x2a60
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH1 0x40
0000033a: MLOAD
0000033b: DUP1
0000033c: SWAP2
0000033d: SUB
0000033e: SWAP1
0000033f: RETURN
00000340: JUMPDEST
00000341: CALLVALUE
00000342: DUP1
00000343: ISZERO
00000344: PUSH2 0x034b
00000347: JUMPI
00000348: PUSH0
00000349: PUSH0
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x0366
00000350: PUSH1 0x04
00000352: DUP1
00000353: CALLDATASIZE
00000354: SUB
00000355: DUP2
00000356: ADD
00000357: SWAP1
00000358: PUSH2 0x0361
0000035b: SWAP2
0000035c: SWAP1
0000035d: PUSH2 0x2929
00000360: JUMP
00000361: JUMPDEST
00000362: PUSH2 0x13b4
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH1 0x40
00000369: MLOAD
0000036a: PUSH2 0x0373
0000036d: SWAP2
0000036e: SWAP1
0000036f: PUSH2 0x27ff
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH1 0x40
00000376: MLOAD
00000377: DUP1
00000378: SWAP2
00000379: SUB
0000037a: SWAP1
0000037b: RETURN
0000037c: JUMPDEST
0000037d: CALLVALUE
0000037e: DUP1
0000037f: ISZERO
00000380: PUSH2 0x0387
00000383: JUMPI
00000384: PUSH0
00000385: PUSH0
00000386: REVERT
00000387: JUMPDEST
00000388: POP
00000389: PUSH2 0x0390
0000038c: PUSH2 0x1425
0000038f: JUMP
00000390: JUMPDEST
00000391: PUSH1 0x40
00000393: MLOAD
00000394: PUSH2 0x039d
00000397: SWAP2
00000398: SWAP1
00000399: PUSH2 0x28b6
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH1 0x40
000003a0: MLOAD
000003a1: DUP1
000003a2: SWAP2
000003a3: SUB
000003a4: SWAP1
000003a5: RETURN
000003a6: JUMPDEST
000003a7: CALLVALUE
000003a8: DUP1
000003a9: ISZERO
000003aa: PUSH2 0x03b1
000003ad: JUMPI
000003ae: PUSH0
000003af: PUSH0
000003b0: REVERT
000003b1: JUMPDEST
000003b2: POP
000003b3: PUSH2 0x03ba
000003b6: PUSH2 0x1449
000003b9: JUMP
000003ba: JUMPDEST
000003bb: PUSH1 0x40
000003bd: MLOAD
000003be: PUSH2 0x03c7
000003c1: SWAP2
000003c2: SWAP1
000003c3: PUSH2 0x28b6
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH1 0x40
000003ca: MLOAD
000003cb: DUP1
000003cc: SWAP2
000003cd: SUB
000003ce: SWAP1
000003cf: RETURN
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03db
000003d7: JUMPI
000003d8: PUSH0
000003d9: PUSH0
000003da: REVERT
000003db: JUMPDEST
000003dc: POP
000003dd: PUSH2 0x03f6
000003e0: PUSH1 0x04
000003e2: DUP1
000003e3: CALLDATASIZE
000003e4: SUB
000003e5: DUP2
000003e6: ADD
000003e7: SWAP1
000003e8: PUSH2 0x03f1
000003eb: SWAP2
000003ec: SWAP1
000003ed: PUSH2 0x29f7
000003f0: JUMP
000003f1: JUMPDEST
000003f2: PUSH2 0x144f
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x40
000003f9: MLOAD
000003fa: PUSH2 0x0403
000003fd: SWAP2
000003fe: SWAP1
000003ff: PUSH2 0x2830
00000402: JUMP
00000403: JUMPDEST
00000404: PUSH1 0x40
00000406: MLOAD
00000407: DUP1
00000408: SWAP2
00000409: SUB
0000040a: SWAP1
0000040b: RETURN
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: DUP1
0000040f: ISZERO
00000410: PUSH2 0x0417
00000413: JUMPI
00000414: PUSH0
00000415: PUSH0
00000416: REVERT
00000417: JUMPDEST
00000418: POP
00000419: PUSH2 0x0432
0000041c: PUSH1 0x04
0000041e: DUP1
0000041f: CALLDATASIZE
00000420: SUB
00000421: DUP2
00000422: ADD
00000423: SWAP1
00000424: PUSH2 0x042d
00000427: SWAP2
00000428: SWAP1
00000429: PUSH2 0x2b17
0000042c: JUMP
0000042d: JUMPDEST
0000042e: PUSH2 0x166a
00000431: JUMP
00000432: JUMPDEST
00000433: STOP
00000434: JUMPDEST
00000435: CALLVALUE
00000436: DUP1
00000437: ISZERO
00000438: PUSH2 0x043f
0000043b: JUMPI
0000043c: PUSH0
0000043d: PUSH0
0000043e: REVERT
0000043f: JUMPDEST
00000440: POP
00000441: PUSH2 0x045a
00000444: PUSH1 0x04
00000446: DUP1
00000447: CALLDATASIZE
00000448: SUB
00000449: DUP2
0000044a: ADD
0000044b: SWAP1
0000044c: PUSH2 0x0455
0000044f: SWAP2
00000450: SWAP1
00000451: PUSH2 0x2b67
00000454: JUMP
00000455: JUMPDEST
00000456: PUSH2 0x17b9
00000459: JUMP
0000045a: JUMPDEST
0000045b: PUSH1 0x40
0000045d: MLOAD
0000045e: PUSH2 0x0467
00000461: SWAP2
00000462: SWAP1
00000463: PUSH2 0x2830
00000466: JUMP
00000467: JUMPDEST
00000468: PUSH1 0x40
0000046a: MLOAD
0000046b: DUP1
0000046c: SWAP2
0000046d: SUB
0000046e: SWAP1
0000046f: RETURN
00000470: JUMPDEST
00000471: CALLVALUE
00000472: DUP1
00000473: ISZERO
00000474: PUSH2 0x047b
00000477: JUMPI
00000478: PUSH0
00000479: PUSH0
0000047a: REVERT
0000047b: JUMPDEST
0000047c: POP
0000047d: PUSH2 0x0496
00000480: PUSH1 0x04
00000482: DUP1
00000483: CALLDATASIZE
00000484: SUB
00000485: DUP2
00000486: ADD
00000487: SWAP1
00000488: PUSH2 0x0491
0000048b: SWAP2
0000048c: SWAP1
0000048d: PUSH2 0x2929
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH2 0x1ce9
00000495: JUMP
00000496: JUMPDEST
00000497: STOP
00000498: JUMPDEST
00000499: CALLVALUE
0000049a: DUP1
0000049b: ISZERO
0000049c: PUSH2 0x04a3
0000049f: JUMPI
000004a0: PUSH0
000004a1: PUSH0
000004a2: REVERT
000004a3: JUMPDEST
000004a4: POP
000004a5: PUSH2 0x04be
000004a8: PUSH1 0x04
000004aa: DUP1
000004ab: CALLDATASIZE
000004ac: SUB
000004ad: DUP2
000004ae: ADD
000004af: SWAP1
000004b0: PUSH2 0x04b9
000004b3: SWAP2
000004b4: SWAP1
000004b5: PUSH2 0x2991
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH2 0x1d0b
000004bd: JUMP
000004be: JUMPDEST
000004bf: STOP
000004c0: JUMPDEST
000004c1: CALLVALUE
000004c2: DUP1
000004c3: ISZERO
000004c4: PUSH2 0x04cb
000004c7: JUMPI
000004c8: PUSH0
000004c9: PUSH0
000004ca: REVERT
000004cb: JUMPDEST
000004cc: POP
000004cd: PUSH2 0x04e6
000004d0: PUSH1 0x04
000004d2: DUP1
000004d3: CALLDATASIZE
000004d4: SUB
000004d5: DUP2
000004d6: ADD
000004d7: SWAP1
000004d8: PUSH2 0x04e1
000004db: SWAP2
000004dc: SWAP1
000004dd: PUSH2 0x2b17
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH2 0x1eac
000004e5: JUMP
000004e6: JUMPDEST
000004e7: STOP
000004e8: JUMPDEST
000004e9: CALLVALUE
000004ea: DUP1
000004eb: ISZERO
000004ec: PUSH2 0x04f3
000004ef: JUMPI
000004f0: PUSH0
000004f1: PUSH0
000004f2: REVERT
000004f3: JUMPDEST
000004f4: POP
000004f5: PUSH2 0x050e
000004f8: PUSH1 0x04
000004fa: DUP1
000004fb: CALLDATASIZE
000004fc: SUB
000004fd: DUP2
000004fe: ADD
000004ff: SWAP1
00000500: PUSH2 0x0509
00000503: SWAP2
00000504: SWAP1
00000505: PUSH2 0x2bde
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH2 0x1f20
0000050d: JUMP
0000050e: JUMPDEST
0000050f: PUSH1 0x40
00000511: MLOAD
00000512: PUSH2 0x051b
00000515: SWAP2
00000516: SWAP1
00000517: PUSH2 0x27ff
0000051a: JUMP
0000051b: JUMPDEST
0000051c: PUSH1 0x40
0000051e: MLOAD
0000051f: DUP1
00000520: SWAP2
00000521: SUB
00000522: SWAP1
00000523: RETURN
00000524: JUMPDEST
00000525: PUSH0
00000526: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
00000547: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000564: NOT
00000565: AND
00000566: DUP3
00000567: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000584: NOT
00000585: AND
00000586: EQ
00000587: DUP1
00000588: PUSH2 0x0596
0000058b: JUMPI
0000058c: POP
0000058d: PUSH2 0x0595
00000590: DUP3
00000591: PUSH2 0x1f52
00000594: JUMP
00000595: JUMPDEST
00000596: JUMPDEST
00000597: SWAP1
00000598: POP
00000599: SWAP2
0000059a: SWAP1
0000059b: POP
0000059c: JUMP
0000059d: JUMPDEST
0000059e: PUSH0
0000059f: PUSH1 0x35
000005a1: SLOAD
000005a2: SWAP1
000005a3: POP
000005a4: SWAP1
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH0
000005a8: PUSH0
000005a9: PUSH2 0x05b0
000005ac: PUSH2 0x1fbb
000005af: JUMP
000005b0: JUMPDEST
000005b1: SWAP1
000005b2: POP
000005b3: DUP1
000005b4: PUSH0
000005b5: ADD
000005b6: PUSH0
000005b7: DUP5
000005b8: DUP2
000005b9: MSTORE
000005ba: PUSH1 0x20
000005bc: ADD
000005bd: SWAP1
000005be: DUP2
000005bf: MSTORE
000005c0: PUSH1 0x20
000005c2: ADD
000005c3: PUSH0
000005c4: KECCAK256
000005c5: PUSH1 0x01
000005c7: ADD
000005c8: SLOAD
000005c9: SWAP2
000005ca: POP
000005cb: POP
000005cc: SWAP2
000005cd: SWAP1
000005ce: POP
000005cf: JUMP
000005d0: JUMPDEST
000005d1: PUSH2 0x05d9
000005d4: DUP3
000005d5: PUSH2 0x05a6
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH2 0x05e2
000005dd: DUP2
000005de: PUSH2 0x1fe2
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH2 0x05ec
000005e6: DUP4
000005e7: DUP4
000005e8: PUSH2 0x1ff6
000005eb: JUMP
000005ec: JUMPDEST
000005ed: POP
000005ee: POP
000005ef: POP
000005f0: POP
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH2 0x05fa
000005f6: PUSH2 0x20ee
000005f9: JUMP
000005fa: JUMPDEST
000005fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000610: AND
00000611: DUP2
00000612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000627: AND
00000628: EQ
00000629: PUSH2 0x065e
0000062c: JUMPI
0000062d: PUSH1 0x40
0000062f: MLOAD
00000630: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000
00000651: DUP2
00000652: MSTORE
00000653: PUSH1 0x04
00000655: ADD
00000656: PUSH1 0x40
00000658: MLOAD
00000659: DUP1
0000065a: SWAP2
0000065b: SUB
0000065c: SWAP1
0000065d: REVERT
0000065e: JUMPDEST
0000065f: PUSH2 0x0668
00000662: DUP3
00000663: DUP3
00000664: PUSH2 0x20f5
00000667: JUMP
00000668: JUMPDEST
00000669: POP
0000066a: POP
0000066b: POP
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH0
0000066f: DUP3
00000670: PUSH1 0x36
00000672: PUSH0
00000673: DUP3
00000674: DUP2
00000675: MSTORE
00000676: PUSH1 0x20
00000678: ADD
00000679: SWAP1
0000067a: DUP2
0000067b: MSTORE
0000067c: PUSH1 0x20
0000067e: ADD
0000067f: PUSH0
00000680: KECCAK256
00000681: PUSH1 0x07
00000683: ADD
00000684: PUSH1 0x14
00000686: SWAP1
00000687: SLOAD
00000688: SWAP1
00000689: PUSH2 0x0100
0000068c: EXP
0000068d: SWAP1
0000068e: DIV
0000068f: PUSH1 0xff
00000691: AND
00000692: PUSH2 0x06c7
00000695: JUMPI
00000696: PUSH1 0x40
00000698: MLOAD
00000699: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000
000006ba: DUP2
000006bb: MSTORE
000006bc: PUSH1 0x04
000006be: ADD
000006bf: PUSH1 0x40
000006c1: MLOAD
000006c2: DUP1
000006c3: SWAP2
000006c4: SUB
000006c5: SWAP1
000006c6: REVERT
000006c7: JUMPDEST
000006c8: PUSH0
000006c9: PUSH1 0x36
000006cb: PUSH0
000006cc: DUP7
000006cd: DUP2
000006ce: MSTORE
000006cf: PUSH1 0x20
000006d1: ADD
000006d2: SWAP1
000006d3: DUP2
000006d4: MSTORE
000006d5: PUSH1 0x20
000006d7: ADD
000006d8: PUSH0
000006d9: KECCAK256
000006da: PUSH1 0x40
000006dc: MLOAD
000006dd: DUP1
000006de: PUSH2 0x0120
000006e1: ADD
000006e2: PUSH1 0x40
000006e4: MSTORE
000006e5: SWAP1
000006e6: DUP2
000006e7: PUSH0
000006e8: DUP3
000006e9: ADD
000006ea: SLOAD
000006eb: DUP2
000006ec: MSTORE
000006ed: PUSH1 0x20
000006ef: ADD
000006f0: PUSH1 0x01
000006f2: DUP3
000006f3: ADD
000006f4: SLOAD
000006f5: DUP2
000006f6: MSTORE
000006f7: PUSH1 0x20
000006f9: ADD
000006fa: PUSH1 0x02
000006fc: DUP3
000006fd: ADD
000006fe: SLOAD
000006ff: DUP2
00000700: MSTORE
00000701: PUSH1 0x20
00000703: ADD
00000704: PUSH1 0x03
00000706: DUP3
00000707: ADD
00000708: SLOAD
00000709: DUP2
0000070a: MSTORE
0000070b: PUSH1 0x20
0000070d: ADD
0000070e: PUSH1 0x04
00000710: DUP3
00000711: ADD
00000712: SLOAD
00000713: DUP2
00000714: MSTORE
00000715: PUSH1 0x20
00000717: ADD
00000718: PUSH1 0x05
0000071a: DUP3
0000071b: ADD
0000071c: PUSH0
0000071d: SWAP1
0000071e: SLOAD
0000071f: SWAP1
00000720: PUSH2 0x0100
00000723: EXP
00000724: SWAP1
00000725: DIV
00000726: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000073b: AND
0000073c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000751: AND
00000752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000767: AND
00000768: DUP2
00000769: MSTORE
0000076a: PUSH1 0x20
0000076c: ADD
0000076d: PUSH1 0x06
0000076f: DUP3
00000770: ADD
00000771: PUSH0
00000772: SWAP1
00000773: SLOAD
00000774: SWAP1
00000775: PUSH2 0x0100
00000778: EXP
00000779: SWAP1
0000077a: DIV
0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000790: AND
00000791: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a6: AND
000007a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bc: AND
000007bd: DUP2
000007be: MSTORE
000007bf: PUSH1 0x20
000007c1: ADD
000007c2: PUSH1 0x07
000007c4: DUP3
000007c5: ADD
000007c6: PUSH0
000007c7: SWAP1
000007c8: SLOAD
000007c9: SWAP1
000007ca: PUSH2 0x0100
000007cd: EXP
000007ce: SWAP1
000007cf: DIV
000007d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e5: AND
000007e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fb: AND
000007fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000811: AND
00000812: DUP2
00000813: MSTORE
00000814: PUSH1 0x20
00000816: ADD
00000817: PUSH1 0x07
00000819: DUP3
0000081a: ADD
0000081b: PUSH1 0x14
0000081d: SWAP1
0000081e: SLOAD
0000081f: SWAP1
00000820: PUSH2 0x0100
00000823: EXP
00000824: SWAP1
00000825: DIV
00000826: PUSH1 0xff
00000828: AND
00000829: ISZERO
0000082a: ISZERO
0000082b: ISZERO
0000082c: ISZERO
0000082d: DUP2
0000082e: MSTORE
0000082f: POP
00000830: POP
00000831: SWAP1
00000832: POP
00000833: PUSH2 0x083a
00000836: PUSH2 0x272b
00000839: JUMP
0000083a: JUMPDEST
0000083b: PUSH0
0000083c: PUSH2 0x0844
0000083f: DUP8
00000840: PUSH2 0x144f
00000843: JUMP
00000844: JUMPDEST
00000845: SWAP1
00000846: POP
00000847: DUP3
00000848: PUSH1 0x20
0000084a: ADD
0000084b: MLOAD
0000084c: DUP2
0000084d: PUSH2 0x0856
00000850: SWAP2
00000851: SWAP1
00000852: PUSH2 0x2c36
00000855: JUMP
00000856: JUMPDEST
00000857: DUP3
00000858: PUSH0
00000859: ADD
0000085a: DUP2
0000085b: DUP2
0000085c: MSTORE
0000085d: POP
0000085e: POP
0000085f: DUP3
00000860: PUSH1 0x40
00000862: ADD
00000863: MLOAD
00000864: DUP4
00000865: PUSH0
00000866: ADD
00000867: MLOAD
00000868: GT
00000869: ISZERO
0000086a: PUSH2 0x08a5
0000086d: JUMPI
0000086e: DUP3
0000086f: PUSH1 0x40
00000871: ADD
00000872: MLOAD
00000873: DUP4
00000874: PUSH0
00000875: ADD
00000876: MLOAD
00000877: PUSH2 0x0880
0000087a: SWAP2
0000087b: SWAP1
0000087c: PUSH2 0x2c77
0000087f: JUMP
00000880: JUMPDEST
00000881: DUP3
00000882: PUSH1 0x20
00000884: ADD
00000885: DUP2
00000886: DUP2
00000887: MSTORE
00000888: POP
00000889: POP
0000088a: DUP2
0000088b: PUSH1 0x20
0000088d: ADD
0000088e: MLOAD
0000088f: DUP3
00000890: PUSH0
00000891: ADD
00000892: MLOAD
00000893: PUSH2 0x089c
00000896: SWAP2
00000897: SWAP1
00000898: PUSH2 0x2c77
0000089b: JUMP
0000089c: JUMPDEST
0000089d: DUP3
0000089e: PUSH0
0000089f: ADD
000008a0: DUP2
000008a1: DUP2
000008a2: MSTORE
000008a3: POP
000008a4: POP
000008a5: JUMPDEST
000008a6: DUP3
000008a7: PUSH1 0xa0
000008a9: ADD
000008aa: MLOAD
000008ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c0: AND
000008c1: DUP7
000008c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d7: AND
000008d8: SUB
000008d9: PUSH2 0x08ea
000008dc: JUMPI
000008dd: DUP2
000008de: PUSH0
000008df: ADD
000008e0: MLOAD
000008e1: SWAP5
000008e2: POP
000008e3: POP
000008e4: POP
000008e5: POP
000008e6: PUSH2 0x0953
000008e9: JUMP
000008ea: JUMPDEST
000008eb: DUP3
000008ec: PUSH1 0xc0
000008ee: ADD
000008ef: MLOAD
000008f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000905: AND
00000906: DUP7
00000907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091c: AND
0000091d: SUB
0000091e: PUSH2 0x094c
00000921: JUMPI
00000922: DUP2
00000923: PUSH0
00000924: ADD
00000925: MLOAD
00000926: DUP4
00000927: PUSH1 0x40
00000929: ADD
0000092a: MLOAD
0000092b: PUSH2 0x0934
0000092e: SWAP2
0000092f: SWAP1
00000930: PUSH2 0x2c77
00000933: JUMP
00000934: JUMPDEST
00000935: DUP3
00000936: PUSH1 0x40
00000938: ADD
00000939: DUP2
0000093a: DUP2
0000093b: MSTORE
0000093c: POP
0000093d: POP
0000093e: DUP2
0000093f: PUSH1 0x40
00000941: ADD
00000942: MLOAD
00000943: SWAP5
00000944: POP
00000945: POP
00000946: POP
00000947: POP
00000948: PUSH2 0x0953
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH0
0000094e: SWAP5
0000094f: POP
00000950: POP
00000951: POP
00000952: POP
00000953: JUMPDEST
00000954: POP
00000955: SWAP3
00000956: SWAP2
00000957: POP
00000958: POP
00000959: JUMP
0000095a: JUMPDEST
0000095b: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000970: DUP2
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH0
00000974: PUSH2 0x097b
00000977: PUSH2 0x21ed
0000097a: JUMP
0000097b: JUMPDEST
0000097c: DUP2
0000097d: PUSH1 0x36
0000097f: PUSH0
00000980: DUP3
00000981: DUP2
00000982: MSTORE
00000983: PUSH1 0x20
00000985: ADD
00000986: SWAP1
00000987: DUP2
00000988: MSTORE
00000989: PUSH1 0x20
0000098b: ADD
0000098c: PUSH0
0000098d: KECCAK256
0000098e: PUSH1 0x07
00000990: ADD
00000991: PUSH1 0x14
00000993: SWAP1
00000994: SLOAD
00000995: SWAP1
00000996: PUSH2 0x0100
00000999: EXP
0000099a: SWAP1
0000099b: DIV
0000099c: PUSH1 0xff
0000099e: AND
0000099f: PUSH2 0x09d4
000009a2: JUMPI
000009a3: PUSH1 0x40
000009a5: MLOAD
000009a6: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000
000009c7: DUP2
000009c8: MSTORE
000009c9: PUSH1 0x04
000009cb: ADD
000009cc: PUSH1 0x40
000009ce: MLOAD
000009cf: DUP1
000009d0: SWAP2
000009d1: SUB
000009d2: SWAP1
000009d3: REVERT
000009d4: JUMPDEST
000009d5: DUP3
000009d6: PUSH0
000009d7: ISZERO
000009d8: ISZERO
000009d9: PUSH2 0x09e0
000009dc: PUSH2 0x2241
000009df: JUMP
000009e0: JUMPDEST
000009e1: ISZERO
000009e2: ISZERO
000009e3: EQ
000009e4: DUP1
000009e5: ISZERO
000009e6: PUSH2 0x0a4e
000009e9: JUMPI
000009ea: POP
000009eb: PUSH1 0x36
000009ed: PUSH0
000009ee: DUP3
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x20
000009f3: ADD
000009f4: SWAP1
000009f5: DUP2
000009f6: MSTORE
000009f7: PUSH1 0x20
000009f9: ADD
000009fa: PUSH0
000009fb: KECCAK256
000009fc: PUSH1 0x05
000009fe: ADD
000009ff: PUSH0
00000a00: SWAP1
00000a01: SLOAD
00000a02: SWAP1
00000a03: PUSH2 0x0100
00000a06: EXP
00000a07: SWAP1
00000a08: DIV
00000a09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1e: AND
00000a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a34: AND
00000a35: CALLER
00000a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4b: AND
00000a4c: EQ
00000a4d: ISZERO
00000a4e: JUMPDEST
00000a4f: ISZERO
00000a50: PUSH2 0x0a85
00000a53: JUMPI
00000a54: PUSH1 0x40
00000a56: MLOAD
00000a57: PUSH32 0x399fa41c00000000000000000000000000000000000000000000000000000000
00000a78: DUP2
00000a79: MSTORE
00000a7a: PUSH1 0x04
00000a7c: ADD
00000a7d: PUSH1 0x40
00000a7f: MLOAD
00000a80: DUP1
00000a81: SWAP2
00000a82: SUB
00000a83: SWAP1
00000a84: REVERT
00000a85: JUMPDEST
00000a86: PUSH0
00000a87: PUSH1 0x36
00000a89: PUSH0
00000a8a: DUP7
00000a8b: DUP2
00000a8c: MSTORE
00000a8d: PUSH1 0x20
00000a8f: ADD
00000a90: SWAP1
00000a91: DUP2
00000a92: MSTORE
00000a93: PUSH1 0x20
00000a95: ADD
00000a96: PUSH0
00000a97: KECCAK256
00000a98: PUSH1 0x40
00000a9a: MLOAD
00000a9b: DUP1
00000a9c: PUSH2 0x0120
00000a9f: ADD
00000aa0: PUSH1 0x40
00000aa2: MSTORE
00000aa3: SWAP1
00000aa4: DUP2
00000aa5: PUSH0
00000aa6: DUP3
00000aa7: ADD
00000aa8: SLOAD
00000aa9: DUP2
00000aaa: MSTORE
00000aab: PUSH1 0x20
00000aad: ADD
00000aae: PUSH1 0x01
00000ab0: DUP3
00000ab1: ADD
00000ab2: SLOAD
00000ab3: DUP2
00000ab4: MSTORE
00000ab5: PUSH1 0x20
00000ab7: ADD
00000ab8: PUSH1 0x02
00000aba: DUP3
00000abb: ADD
00000abc: SLOAD
00000abd: DUP2
00000abe: MSTORE
00000abf: PUSH1 0x20
00000ac1: ADD
00000ac2: PUSH1 0x03
00000ac4: DUP3
00000ac5: ADD
00000ac6: SLOAD
00000ac7: DUP2
00000ac8: MSTORE
00000ac9: PUSH1 0x20
00000acb: ADD
00000acc: PUSH1 0x04
00000ace: DUP3
00000acf: ADD
00000ad0: SLOAD
00000ad1: DUP2
00000ad2: MSTORE
00000ad3: PUSH1 0x20
00000ad5: ADD
00000ad6: PUSH1 0x05
00000ad8: DUP3
00000ad9: ADD
00000ada: PUSH0
00000adb: SWAP1
00000adc: SLOAD
00000add: SWAP1
00000ade: PUSH2 0x0100
00000ae1: EXP
00000ae2: SWAP1
00000ae3: DIV
00000ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af9: AND
00000afa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0f: AND
00000b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b25: AND
00000b26: DUP2
00000b27: MSTORE
00000b28: PUSH1 0x20
00000b2a: ADD
00000b2b: PUSH1 0x06
00000b2d: DUP3
00000b2e: ADD
00000b2f: PUSH0
00000b30: SWAP1
00000b31: SLOAD
00000b32: SWAP1
00000b33: PUSH2 0x0100
00000b36: EXP
00000b37: SWAP1
00000b38: DIV
00000b39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4e: AND
00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b64: AND
00000b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7a: AND
00000b7b: DUP2
00000b7c: MSTORE
00000b7d: PUSH1 0x20
00000b7f: ADD
00000b80: PUSH1 0x07
00000b82: DUP3
00000b83: ADD
00000b84: PUSH0
00000b85: SWAP1
00000b86: SLOAD
00000b87: SWAP1
00000b88: PUSH2 0x0100
00000b8b: EXP
00000b8c: SWAP1
00000b8d: DIV
00000b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba3: AND
00000ba4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb9: AND
00000bba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bcf: AND
00000bd0: DUP2
00000bd1: MSTORE
00000bd2: PUSH1 0x20
00000bd4: ADD
00000bd5: PUSH1 0x07
00000bd7: DUP3
00000bd8: ADD
00000bd9: PUSH1 0x14
00000bdb: SWAP1
00000bdc: SLOAD
00000bdd: SWAP1
00000bde: PUSH2 0x0100
00000be1: EXP
00000be2: SWAP1
00000be3: DIV
00000be4: PUSH1 0xff
00000be6: AND
00000be7: ISZERO
00000be8: ISZERO
00000be9: ISZERO
00000bea: ISZERO
00000beb: DUP2
00000bec: MSTORE
00000bed: POP
00000bee: POP
00000bef: SWAP1
00000bf0: POP
00000bf1: PUSH0
00000bf2: PUSH2 0x0bff
00000bf5: DUP7
00000bf6: DUP4
00000bf7: PUSH1 0xc0
00000bf9: ADD
00000bfa: MLOAD
00000bfb: PUSH2 0x066d
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: SWAP1
00000c01: POP
00000c02: PUSH0
00000c03: PUSH2 0x0c10
00000c06: DUP8
00000c07: DUP5
00000c08: PUSH1 0xa0
00000c0a: ADD
00000c0b: MLOAD
00000c0c: PUSH2 0x066d
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: SWAP1
00000c12: POP
00000c13: PUSH1 0x36
00000c15: PUSH0
00000c16: DUP9
00000c17: DUP2
00000c18: MSTORE
00000c19: PUSH1 0x20
00000c1b: ADD
00000c1c: SWAP1
00000c1d: DUP2
00000c1e: MSTORE
00000c1f: PUSH1 0x20
00000c21: ADD
00000c22: PUSH0
00000c23: KECCAK256
00000c24: PUSH0
00000c25: PUSH0
00000c26: DUP3
00000c27: ADD
00000c28: PUSH0
00000c29: SWAP1
00000c2a: SSTORE
00000c2b: PUSH1 0x01
00000c2d: DUP3
00000c2e: ADD
00000c2f: PUSH0
00000c30: SWAP1
00000c31: SSTORE
00000c32: PUSH1 0x02
00000c34: DUP3
00000c35: ADD
00000c36: PUSH0
00000c37: SWAP1
00000c38: SSTORE
00000c39: PUSH1 0x03
00000c3b: DUP3
00000c3c: ADD
00000c3d: PUSH0
00000c3e: SWAP1
00000c3f: SSTORE
00000c40: PUSH1 0x04
00000c42: DUP3
00000c43: ADD
00000c44: PUSH0
00000c45: SWAP1
00000c46: SSTORE
00000c47: PUSH1 0x05
00000c49: DUP3
00000c4a: ADD
00000c4b: PUSH0
00000c4c: PUSH2 0x0100
00000c4f: EXP
00000c50: DUP2
00000c51: SLOAD
00000c52: SWAP1
00000c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c68: MUL
00000c69: NOT
00000c6a: AND
00000c6b: SWAP1
00000c6c: SSTORE
00000c6d: PUSH1 0x06
00000c6f: DUP3
00000c70: ADD
00000c71: PUSH0
00000c72: PUSH2 0x0100
00000c75: EXP
00000c76: DUP2
00000c77: SLOAD
00000c78: SWAP1
00000c79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8e: MUL
00000c8f: NOT
00000c90: AND
00000c91: SWAP1
00000c92: SSTORE
00000c93: PUSH1 0x07
00000c95: DUP3
00000c96: ADD
00000c97: PUSH0
00000c98: PUSH2 0x0100
00000c9b: EXP
00000c9c: DUP2
00000c9d: SLOAD
00000c9e: SWAP1
00000c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb4: MUL
00000cb5: NOT
00000cb6: AND
00000cb7: SWAP1
00000cb8: SSTORE
00000cb9: PUSH1 0x07
00000cbb: DUP3
00000cbc: ADD
00000cbd: PUSH1 0x14
00000cbf: PUSH2 0x0100
00000cc2: EXP
00000cc3: DUP2
00000cc4: SLOAD
00000cc5: SWAP1
00000cc6: PUSH1 0xff
00000cc8: MUL
00000cc9: NOT
00000cca: AND
00000ccb: SWAP1
00000ccc: SSTORE
00000ccd: POP
00000cce: POP
00000ccf: PUSH0
00000cd0: DUP4
00000cd1: PUSH1 0xe0
00000cd3: ADD
00000cd4: MLOAD
00000cd5: SWAP1
00000cd6: POP
00000cd7: PUSH0
00000cd8: DUP3
00000cd9: GT
00000cda: ISZERO
00000cdb: PUSH2 0x0d0e
00000cde: JUMPI
00000cdf: PUSH2 0x0d0d
00000ce2: DUP5
00000ce3: PUSH1 0xa0
00000ce5: ADD
00000ce6: MLOAD
00000ce7: DUP4
00000ce8: DUP4
00000ce9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cfe: AND
00000cff: PUSH2 0x2271
00000d02: SWAP1
00000d03: SWAP3
00000d04: SWAP2
00000d05: SWAP1
00000d06: PUSH4 0xffffffff
00000d0b: AND
00000d0c: JUMP
00000d0d: JUMPDEST
00000d0e: JUMPDEST
00000d0f: DUP4
00000d10: PUSH1 0xa0
00000d12: ADD
00000d13: MLOAD
00000d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d29: AND
00000d2a: DUP5
00000d2b: PUSH1 0xc0
00000d2d: ADD
00000d2e: MLOAD
00000d2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d44: AND
00000d45: DUP10
00000d46: PUSH32 0xca3e6079b726e7728802a0537949e2d1c7762304fa641fb06eb56daf2ba8c6b9
00000d67: DUP7
00000d68: DUP7
00000d69: PUSH1 0x40
00000d6b: MLOAD
00000d6c: PUSH2 0x0d76
00000d6f: SWAP3
00000d70: SWAP2
00000d71: SWAP1
00000d72: PUSH2 0x2caa
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x40
00000d79: MLOAD
00000d7a: DUP1
00000d7b: SWAP2
00000d7c: SUB
00000d7d: SWAP1
00000d7e: LOG4
00000d7f: PUSH1 0x01
00000d81: SWAP7
00000d82: POP
00000d83: POP
00000d84: POP
00000d85: POP
00000d86: POP
00000d87: POP
00000d88: POP
00000d89: PUSH2 0x0d90
00000d8c: PUSH2 0x22f0
00000d8f: JUMP
00000d90: JUMPDEST
00000d91: SWAP2
00000d92: SWAP1
00000d93: POP
00000d94: JUMP
00000d95: JUMPDEST
00000d96: PUSH0
00000d97: PUSH2 0x0d9e
00000d9a: PUSH2 0x21ed
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: DUP3
00000da0: PUSH1 0x36
00000da2: PUSH0
00000da3: DUP3
00000da4: DUP2
00000da5: MSTORE
00000da6: PUSH1 0x20
00000da8: ADD
00000da9: SWAP1
00000daa: DUP2
00000dab: MSTORE
00000dac: PUSH1 0x20
00000dae: ADD
00000daf: PUSH0
00000db0: KECCAK256
00000db1: PUSH1 0x07
00000db3: ADD
00000db4: PUSH1 0x14
00000db6: SWAP1
00000db7: SLOAD
00000db8: SWAP1
00000db9: PUSH2 0x0100
00000dbc: EXP
00000dbd: SWAP1
00000dbe: DIV
00000dbf: PUSH1 0xff
00000dc1: AND
00000dc2: PUSH2 0x0df7
00000dc5: JUMPI
00000dc6: PUSH1 0x40
00000dc8: MLOAD
00000dc9: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000
00000dea: DUP2
00000deb: MSTORE
00000dec: PUSH1 0x04
00000dee: ADD
00000def: PUSH1 0x40
00000df1: MLOAD
00000df2: DUP1
00000df3: SWAP2
00000df4: SUB
00000df5: SWAP1
00000df6: REVERT
00000df7: JUMPDEST
00000df8: DUP4
00000df9: PUSH0
00000dfa: ISZERO
00000dfb: ISZERO
00000dfc: PUSH2 0x0e03
00000dff: PUSH2 0x2241
00000e02: JUMP
00000e03: JUMPDEST
00000e04: ISZERO
00000e05: ISZERO
00000e06: EQ
00000e07: DUP1
00000e08: ISZERO
00000e09: PUSH2 0x0e71
00000e0c: JUMPI
00000e0d: POP
00000e0e: PUSH1 0x36
00000e10: PUSH0
00000e11: DUP3
00000e12: DUP2
00000e13: MSTORE
00000e14: PUSH1 0x20
00000e16: ADD
00000e17: SWAP1
00000e18: DUP2
00000e19: MSTORE
00000e1a: PUSH1 0x20
00000e1c: ADD
00000e1d: PUSH0
00000e1e: KECCAK256
00000e1f: PUSH1 0x05
00000e21: ADD
00000e22: PUSH0
00000e23: SWAP1
00000e24: SLOAD
00000e25: SWAP1
00000e26: PUSH2 0x0100
00000e29: EXP
00000e2a: SWAP1
00000e2b: DIV
00000e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e41: AND
00000e42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e57: AND
00000e58: CALLER
00000e59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e6e: AND
00000e6f: EQ
00000e70: ISZERO
00000e71: JUMPDEST
00000e72: ISZERO
00000e73: PUSH2 0x0ea8
00000e76: JUMPI
00000e77: PUSH1 0x40
00000e79: MLOAD
00000e7a: PUSH32 0x399fa41c00000000000000000000000000000000000000000000000000000000
00000e9b: DUP2
00000e9c: MSTORE
00000e9d: PUSH1 0x04
00000e9f: ADD
00000ea0: PUSH1 0x40
00000ea2: MLOAD
00000ea3: DUP1
00000ea4: SWAP2
00000ea5: SUB
00000ea6: SWAP1
00000ea7: REVERT
00000ea8: JUMPDEST
00000ea9: PUSH0
00000eaa: DUP5
00000eab: SUB
00000eac: PUSH2 0x0ee1
00000eaf: JUMPI
00000eb0: PUSH1 0x40
00000eb2: MLOAD
00000eb3: PUSH32 0xdd484e7000000000000000000000000000000000000000000000000000000000
00000ed4: DUP2
00000ed5: MSTORE
00000ed6: PUSH1 0x04
00000ed8: ADD
00000ed9: PUSH1 0x40
00000edb: MLOAD
00000edc: DUP1
00000edd: SWAP2
00000ede: SUB
00000edf: SWAP1
00000ee0: REVERT
00000ee1: JUMPDEST
00000ee2: PUSH0
00000ee3: PUSH1 0x36
00000ee5: PUSH0
00000ee6: DUP8
00000ee7: DUP2
00000ee8: MSTORE
00000ee9: PUSH1 0x20
00000eeb: ADD
00000eec: SWAP1
00000eed: DUP2
00000eee: MSTORE
00000eef: PUSH1 0x20
00000ef1: ADD
00000ef2: PUSH0
00000ef3: KECCAK256
00000ef4: PUSH1 0x40
00000ef6: MLOAD
00000ef7: DUP1
00000ef8: PUSH2 0x0120
00000efb: ADD
00000efc: PUSH1 0x40
00000efe: MSTORE
00000eff: SWAP1
00000f00: DUP2
00000f01: PUSH0
00000f02: DUP3
00000f03: ADD
00000f04: SLOAD
00000f05: DUP2
00000f06: MSTORE
00000f07: PUSH1 0x20
00000f09: ADD
00000f0a: PUSH1 0x01
00000f0c: DUP3
00000f0d: ADD
00000f0e: SLOAD
00000f0f: DUP2
00000f10: MSTORE
00000f11: PUSH1 0x20
00000f13: ADD
00000f14: PUSH1 0x02
00000f16: DUP3
00000f17: ADD
00000f18: SLOAD
00000f19: DUP2
00000f1a: MSTORE
00000f1b: PUSH1 0x20
00000f1d: ADD
00000f1e: PUSH1 0x03
00000f20: DUP3
00000f21: ADD
00000f22: SLOAD
00000f23: DUP2
00000f24: MSTORE
00000f25: PUSH1 0x20
00000f27: ADD
00000f28: PUSH1 0x04
00000f2a: DUP3
00000f2b: ADD
00000f2c: SLOAD
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x20
00000f31: ADD
00000f32: PUSH1 0x05
00000f34: DUP3
00000f35: ADD
00000f36: PUSH0
00000f37: SWAP1
00000f38: SLOAD
00000f39: SWAP1
00000f3a: PUSH2 0x0100
00000f3d: EXP
00000f3e: SWAP1
00000f3f: DIV
00000f40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f55: AND
00000f56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6b: AND
00000f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f81: AND
00000f82: DUP2
00000f83: MSTORE
00000f84: PUSH1 0x20
00000f86: ADD
00000f87: PUSH1 0x06
00000f89: DUP3
00000f8a: ADD
00000f8b: PUSH0
00000f8c: SWAP1
00000f8d: SLOAD
00000f8e: SWAP1
00000f8f: PUSH2 0x0100
00000f92: EXP
00000f93: SWAP1
00000f94: DIV
00000f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000faa: AND
00000fab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc0: AND
00000fc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd6: AND
00000fd7: DUP2
00000fd8: MSTORE
00000fd9: PUSH1 0x20
00000fdb: ADD
00000fdc: PUSH1 0x07
00000fde: DUP3
00000fdf: ADD
00000fe0: PUSH0
00000fe1: SWAP1
00000fe2: SLOAD
00000fe3: SWAP1
00000fe4: PUSH2 0x0100
00000fe7: EXP
00000fe8: SWAP1
00000fe9: DIV
00000fea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fff: AND
00001000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001015: AND
00001016: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102b: AND
0000102c: DUP2
0000102d: MSTORE
0000102e: PUSH1 0x20
00001030: ADD
00001031: PUSH1 0x07
00001033: DUP3
00001034: ADD
00001035: PUSH1 0x14
00001037: SWAP1
00001038: SLOAD
00001039: SWAP1
0000103a: PUSH2 0x0100
0000103d: EXP
0000103e: SWAP1
0000103f: DIV
00001040: PUSH1 0xff
00001042: AND
00001043: ISZERO
00001044: ISZERO
00001045: ISZERO
00001046: ISZERO
00001047: DUP2
00001048: MSTORE
00001049: POP
0000104a: POP
0000104b: SWAP1
0000104c: POP
0000104d: PUSH0
0000104e: PUSH2 0x105b
00001051: DUP8
00001052: DUP4
00001053: PUSH1 0xa0
00001055: ADD
00001056: MLOAD
00001057: PUSH2 0x066d
0000105a: JUMP
0000105b: JUMPDEST
0000105c: SWAP1
0000105d: POP
0000105e: DUP6
0000105f: DUP2
00001060: LT
00001061: ISZERO
00001062: PUSH2 0x1097
00001065: JUMPI
00001066: PUSH1 0x40
00001068: MLOAD
00001069: PUSH32 0x4d9d73a300000000000000000000000000000000000000000000000000000000
0000108a: DUP2
0000108b: MSTORE
0000108c: PUSH1 0x04
0000108e: ADD
0000108f: PUSH1 0x40
00001091: MLOAD
00001092: DUP1
00001093: SWAP2
00001094: SUB
00001095: SWAP1
00001096: REVERT
00001097: JUMPDEST
00001098: DUP6
00001099: DUP3
0000109a: PUSH1 0x40
0000109c: ADD
0000109d: MLOAD
0000109e: PUSH2 0x10a7
000010a1: SWAP2
000010a2: SWAP1
000010a3: PUSH2 0x2c77
000010a6: JUMP
000010a7: JUMPDEST
000010a8: PUSH1 0x36
000010aa: PUSH0
000010ab: DUP10
000010ac: DUP2
000010ad: MSTORE
000010ae: PUSH1 0x20
000010b0: ADD
000010b1: SWAP1
000010b2: DUP2
000010b3: MSTORE
000010b4: PUSH1 0x20
000010b6: ADD
000010b7: PUSH0
000010b8: KECCAK256
000010b9: PUSH1 0x02
000010bb: ADD
000010bc: DUP2
000010bd: SWAP1
000010be: SSTORE
000010bf: POP
000010c0: PUSH0
000010c1: PUSH1 0x36
000010c3: PUSH0
000010c4: DUP10
000010c5: DUP2
000010c6: MSTORE
000010c7: PUSH1 0x20
000010c9: ADD
000010ca: SWAP1
000010cb: DUP2
000010cc: MSTORE
000010cd: PUSH1 0x20
000010cf: ADD
000010d0: PUSH0
000010d1: KECCAK256
000010d2: PUSH1 0x02
000010d4: ADD
000010d5: SLOAD
000010d6: SUB
000010d7: PUSH2 0x1197
000010da: JUMPI
000010db: PUSH1 0x36
000010dd: PUSH0
000010de: DUP9
000010df: DUP2
000010e0: MSTORE
000010e1: PUSH1 0x20
000010e3: ADD
000010e4: SWAP1
000010e5: DUP2
000010e6: MSTORE
000010e7: PUSH1 0x20
000010e9: ADD
000010ea: PUSH0
000010eb: KECCAK256
000010ec: PUSH0
000010ed: PUSH0
000010ee: DUP3
000010ef: ADD
000010f0: PUSH0
000010f1: SWAP1
000010f2: SSTORE
000010f3: PUSH1 0x01
000010f5: DUP3
000010f6: ADD
000010f7: PUSH0
000010f8: SWAP1
000010f9: SSTORE
000010fa: PUSH1 0x02
000010fc: DUP3
000010fd: ADD
000010fe: PUSH0
000010ff: SWAP1
00001100: SSTORE
00001101: PUSH1 0x03
00001103: DUP3
00001104: ADD
00001105: PUSH0
00001106: SWAP1
00001107: SSTORE
00001108: PUSH1 0x04
0000110a: DUP3
0000110b: ADD
0000110c: PUSH0
0000110d: SWAP1
0000110e: SSTORE
0000110f: PUSH1 0x05
00001111: DUP3
00001112: ADD
00001113: PUSH0
00001114: PUSH2 0x0100
00001117: EXP
00001118: DUP2
00001119: SLOAD
0000111a: SWAP1
0000111b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001130: MUL
00001131: NOT
00001132: AND
00001133: SWAP1
00001134: SSTORE
00001135: PUSH1 0x06
00001137: DUP3
00001138: ADD
00001139: PUSH0
0000113a: PUSH2 0x0100
0000113d: EXP
0000113e: DUP2
0000113f: SLOAD
00001140: SWAP1
00001141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001156: MUL
00001157: NOT
00001158: AND
00001159: SWAP1
0000115a: SSTORE
0000115b: PUSH1 0x07
0000115d: DUP3
0000115e: ADD
0000115f: PUSH0
00001160: PUSH2 0x0100
00001163: EXP
00001164: DUP2
00001165: SLOAD
00001166: SWAP1
00001167: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000117c: MUL
0000117d: NOT
0000117e: AND
0000117f: SWAP1
00001180: SSTORE
00001181: PUSH1 0x07
00001183: DUP3
00001184: ADD
00001185: PUSH1 0x14
00001187: PUSH2 0x0100
0000118a: EXP
0000118b: DUP2
0000118c: SLOAD
0000118d: SWAP1
0000118e: PUSH1 0xff
00001190: MUL
00001191: NOT
00001192: AND
00001193: SWAP1
00001194: SSTORE
00001195: POP
00001196: POP
00001197: JUMPDEST
00001198: PUSH2 0x11ca
0000119b: DUP3
0000119c: PUSH1 0xa0
0000119e: ADD
0000119f: MLOAD
000011a0: DUP8
000011a1: DUP5
000011a2: PUSH1 0xe0
000011a4: ADD
000011a5: MLOAD
000011a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bb: AND
000011bc: PUSH2 0x2271
000011bf: SWAP1
000011c0: SWAP3
000011c1: SWAP2
000011c2: SWAP1
000011c3: PUSH4 0xffffffff
000011c8: AND
000011c9: JUMP
000011ca: JUMPDEST
000011cb: DUP2
000011cc: PUSH1 0xa0
000011ce: ADD
000011cf: MLOAD
000011d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e5: AND
000011e6: DUP8
000011e7: PUSH32 0x36c3ab437e6a424ed25dc4bfdeb62706aa06558660fab2dab229d2555adaf89c
00001208: DUP9
00001209: PUSH1 0x40
0000120b: MLOAD
0000120c: PUSH2 0x1215
0000120f: SWAP2
00001210: SWAP1
00001211: PUSH2 0x2830
00001214: JUMP
00001215: JUMPDEST
00001216: PUSH1 0x40
00001218: MLOAD
00001219: DUP1
0000121a: SWAP2
0000121b: SUB
0000121c: SWAP1
0000121d: LOG3
0000121e: PUSH1 0x01
00001220: SWAP5
00001221: POP
00001222: POP
00001223: POP
00001224: POP
00001225: POP
00001226: PUSH2 0x122d
00001229: PUSH2 0x22f0
0000122c: JUMP
0000122d: JUMPDEST
0000122e: SWAP3
0000122f: SWAP2
00001230: POP
00001231: POP
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH0
00001235: PUSH0
00001236: PUSH0
00001237: PUSH0
00001238: PUSH0
00001239: PUSH0
0000123a: PUSH0
0000123b: PUSH0
0000123c: DUP9
0000123d: PUSH1 0x36
0000123f: PUSH0
00001240: DUP3
00001241: DUP2
00001242: MSTORE
00001243: PUSH1 0x20
00001245: ADD
00001246: SWAP1
00001247: DUP2
00001248: MSTORE
00001249: PUSH1 0x20
0000124b: ADD
0000124c: PUSH0
0000124d: KECCAK256
0000124e: PUSH1 0x07
00001250: ADD
00001251: PUSH1 0x14
00001253: SWAP1
00001254: SLOAD
00001255: SWAP1
00001256: PUSH2 0x0100
00001259: EXP
0000125a: SWAP1
0000125b: DIV
0000125c: PUSH1 0xff
0000125e: AND
0000125f: PUSH2 0x1294
00001262: JUMPI
00001263: PUSH1 0x40
00001265: MLOAD
00001266: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000
00001287: DUP2
00001288: MSTORE
00001289: PUSH1 0x04
0000128b: ADD
0000128c: PUSH1 0x40
0000128e: MLOAD
0000128f: DUP1
00001290: SWAP2
00001291: SUB
00001292: SWAP1
00001293: REVERT
00001294: JUMPDEST
00001295: PUSH1 0x36
00001297: PUSH0
00001298: DUP12
00001299: DUP2
0000129a: MSTORE
0000129b: PUSH1 0x20
0000129d: ADD
0000129e: SWAP1
0000129f: DUP2
000012a0: MSTORE
000012a1: PUSH1 0x20
000012a3: ADD
000012a4: PUSH0
000012a5: KECCAK256
000012a6: PUSH1 0x06
000012a8: ADD
000012a9: PUSH0
000012aa: SWAP1
000012ab: SLOAD
000012ac: SWAP1
000012ad: PUSH2 0x0100
000012b0: EXP
000012b1: SWAP1
000012b2: DIV
000012b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c8: AND
000012c9: SWAP9
000012ca: POP
000012cb: PUSH1 0x36
000012cd: PUSH0
000012ce: DUP12
000012cf: DUP2
000012d0: MSTORE
000012d1: PUSH1 0x20
000012d3: ADD
000012d4: SWAP1
000012d5: DUP2
000012d6: MSTORE
000012d7: PUSH1 0x20
000012d9: ADD
000012da: PUSH0
000012db: KECCAK256
000012dc: PUSH1 0x05
000012de: ADD
000012df: PUSH0
000012e0: SWAP1
000012e1: SLOAD
000012e2: SWAP1
000012e3: PUSH2 0x0100
000012e6: EXP
000012e7: SWAP1
000012e8: DIV
000012e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012fe: AND
000012ff: SWAP8
00001300: POP
00001301: PUSH1 0x36
00001303: PUSH0
00001304: DUP12
00001305: DUP2
00001306: MSTORE
00001307: PUSH1 0x20
00001309: ADD
0000130a: SWAP1
0000130b: DUP2
0000130c: MSTORE
0000130d: PUSH1 0x20
0000130f: ADD
00001310: PUSH0
00001311: KECCAK256
00001312: PUSH0
00001313: ADD
00001314: SLOAD
00001315: SWAP7
00001316: POP
00001317: PUSH1 0x36
00001319: PUSH0
0000131a: DUP12
0000131b: DUP2
0000131c: MSTORE
0000131d: PUSH1 0x20
0000131f: ADD
00001320: SWAP1
00001321: DUP2
00001322: MSTORE
00001323: PUSH1 0x20
00001325: ADD
00001326: PUSH0
00001327: KECCAK256
00001328: PUSH1 0x07
0000132a: ADD
0000132b: PUSH0
0000132c: SWAP1
0000132d: SLOAD
0000132e: SWAP1
0000132f: PUSH2 0x0100
00001332: EXP
00001333: SWAP1
00001334: DIV
00001335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000134a: AND
0000134b: SWAP6
0000134c: POP
0000134d: PUSH1 0x36
0000134f: PUSH0
00001350: DUP12
00001351: DUP2
00001352: MSTORE
00001353: PUSH1 0x20
00001355: ADD
00001356: SWAP1
00001357: DUP2
00001358: MSTORE
00001359: PUSH1 0x20
0000135b: ADD
0000135c: PUSH0
0000135d: KECCAK256
0000135e: PUSH1 0x03
00001360: ADD
00001361: SLOAD
00001362: SWAP5
00001363: POP
00001364: PUSH1 0x36
00001366: PUSH0
00001367: DUP12
00001368: DUP2
00001369: MSTORE
0000136a: PUSH1 0x20
0000136c: ADD
0000136d: SWAP1
0000136e: DUP2
0000136f: MSTORE
00001370: PUSH1 0x20
00001372: ADD
00001373: PUSH0
00001374: KECCAK256
00001375: PUSH1 0x04
00001377: ADD
00001378: SLOAD
00001379: SWAP4
0000137a: POP
0000137b: PUSH1 0x36
0000137d: PUSH0
0000137e: DUP12
0000137f: DUP2
00001380: MSTORE
00001381: PUSH1 0x20
00001383: ADD
00001384: SWAP1
00001385: DUP2
00001386: MSTORE
00001387: PUSH1 0x20
00001389: ADD
0000138a: PUSH0
0000138b: KECCAK256
0000138c: PUSH1 0x02
0000138e: ADD
0000138f: SLOAD
00001390: SWAP3
00001391: POP
00001392: PUSH1 0x36
00001394: PUSH0
00001395: DUP12
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x20
0000139a: ADD
0000139b: SWAP1
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x20
000013a0: ADD
000013a1: PUSH0
000013a2: KECCAK256
000013a3: PUSH1 0x01
000013a5: ADD
000013a6: SLOAD
000013a7: SWAP2
000013a8: POP
000013a9: POP
000013aa: SWAP2
000013ab: SWAP4
000013ac: SWAP6
000013ad: SWAP8
000013ae: POP
000013af: SWAP2
000013b0: SWAP4
000013b1: SWAP6
000013b2: SWAP8
000013b3: JUMP
000013b4: JUMPDEST
000013b5: PUSH0
000013b6: PUSH0
000013b7: PUSH2 0x13be
000013ba: PUSH2 0x1fbb
000013bd: JUMP
000013be: JUMPDEST
000013bf: SWAP1
000013c0: POP
000013c1: DUP1
000013c2: PUSH0
000013c3: ADD
000013c4: PUSH0
000013c5: DUP6
000013c6: DUP2
000013c7: MSTORE
000013c8: PUSH1 0x20
000013ca: ADD
000013cb: SWAP1
000013cc: DUP2
000013cd: MSTORE
000013ce: PUSH1 0x20
000013d0: ADD
000013d1: PUSH0
000013d2: KECCAK256
000013d3: PUSH0
000013d4: ADD
000013d5: PUSH0
000013d6: DUP5
000013d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ec: AND
000013ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001402: AND
00001403: DUP2
00001404: MSTORE
00001405: PUSH1 0x20
00001407: ADD
00001408: SWAP1
00001409: DUP2
0000140a: MSTORE
0000140b: PUSH1 0x20
0000140d: ADD
0000140e: PUSH0
0000140f: KECCAK256
00001410: PUSH0
00001411: SWAP1
00001412: SLOAD
00001413: SWAP1
00001414: PUSH2 0x0100
00001417: EXP
00001418: SWAP1
00001419: DIV
0000141a: PUSH1 0xff
0000141c: AND
0000141d: SWAP2
0000141e: POP
0000141f: POP
00001420: SWAP3
00001421: SWAP2
00001422: POP
00001423: POP
00001424: JUMP
00001425: JUMPDEST
00001426: PUSH32 0x46554e44535f41444d494e000000000000000000000000000000000000000000
00001447: DUP2
00001448: JUMP
00001449: JUMPDEST
0000144a: PUSH0
0000144b: PUSH0
0000144c: SHL
0000144d: DUP2
0000144e: JUMP
0000144f: JUMPDEST
00001450: PUSH0
00001451: DUP2
00001452: PUSH1 0x36
00001454: PUSH0
00001455: DUP3
00001456: DUP2
00001457: MSTORE
00001458: PUSH1 0x20
0000145a: ADD
0000145b: SWAP1
0000145c: DUP2
0000145d: MSTORE
0000145e: PUSH1 0x20
00001460: ADD
00001461: PUSH0
00001462: KECCAK256
00001463: PUSH1 0x07
00001465: ADD
00001466: PUSH1 0x14
00001468: SWAP1
00001469: SLOAD
0000146a: SWAP1
0000146b: PUSH2 0x0100
0000146e: EXP
0000146f: SWAP1
00001470: DIV
00001471: PUSH1 0xff
00001473: AND
00001474: PUSH2 0x14a9
00001477: JUMPI
00001478: PUSH1 0x40
0000147a: MLOAD
0000147b: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000
0000149c: DUP2
0000149d: MSTORE
0000149e: PUSH1 0x04
000014a0: ADD
000014a1: PUSH1 0x40
000014a3: MLOAD
000014a4: DUP1
000014a5: SWAP2
000014a6: SUB
000014a7: SWAP1
000014a8: REVERT
000014a9: JUMPDEST
000014aa: PUSH0
000014ab: PUSH1 0x36
000014ad: PUSH0
000014ae: DUP6
000014af: DUP2
000014b0: MSTORE
000014b1: PUSH1 0x20
000014b3: ADD
000014b4: SWAP1
000014b5: DUP2
000014b6: MSTORE
000014b7: PUSH1 0x20
000014b9: ADD
000014ba: PUSH0
000014bb: KECCAK256
000014bc: PUSH1 0x40
000014be: MLOAD
000014bf: DUP1
000014c0: PUSH2 0x0120
000014c3: ADD
000014c4: PUSH1 0x40
000014c6: MSTORE
000014c7: SWAP1
000014c8: DUP2
000014c9: PUSH0
000014ca: DUP3
000014cb: ADD
000014cc: SLOAD
000014cd: DUP2
000014ce: MSTORE
000014cf: PUSH1 0x20
000014d1: ADD
000014d2: PUSH1 0x01
000014d4: DUP3
000014d5: ADD
000014d6: SLOAD
000014d7: DUP2
000014d8: MSTORE
000014d9: PUSH1 0x20
000014db: ADD
000014dc: PUSH1 0x02
000014de: DUP3
000014df: ADD
000014e0: SLOAD
000014e1: DUP2
000014e2: MSTORE
000014e3: PUSH1 0x20
000014e5: ADD
000014e6: PUSH1 0x03
000014e8: DUP3
000014e9: ADD
000014ea: SLOAD
000014eb: DUP2
000014ec: MSTORE
000014ed: PUSH1 0x20
000014ef: ADD
000014f0: PUSH1 0x04
000014f2: DUP3
000014f3: ADD
000014f4: SLOAD
000014f5: DUP2
000014f6: MSTORE
000014f7: PUSH1 0x20
000014f9: ADD
000014fa: PUSH1 0x05
000014fc: DUP3
000014fd: ADD
000014fe: PUSH0
000014ff: SWAP1
00001500: SLOAD
00001501: SWAP1
00001502: PUSH2 0x0100
00001505: EXP
00001506: SWAP1
00001507: DIV
00001508: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000151d: AND
0000151e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001533: AND
00001534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001549: AND
0000154a: DUP2
0000154b: MSTORE
0000154c: PUSH1 0x20
0000154e: ADD
0000154f: PUSH1 0x06
00001551: DUP3
00001552: ADD
00001553: PUSH0
00001554: SWAP1
00001555: SLOAD
00001556: SWAP1
00001557: PUSH2 0x0100
0000155a: EXP
0000155b: SWAP1
0000155c: DIV
0000155d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001572: AND
00001573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001588: AND
00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159e: AND
0000159f: DUP2
000015a0: MSTORE
000015a1: PUSH1 0x20
000015a3: ADD
000015a4: PUSH1 0x07
000015a6: DUP3
000015a7: ADD
000015a8: PUSH0
000015a9: SWAP1
000015aa: SLOAD
000015ab: SWAP1
000015ac: PUSH2 0x0100
000015af: EXP
000015b0: SWAP1
000015b1: DIV
000015b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c7: AND
000015c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015dd: AND
000015de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f3: AND
000015f4: DUP2
000015f5: MSTORE
000015f6: PUSH1 0x20
000015f8: ADD
000015f9: PUSH1 0x07
000015fb: DUP3
000015fc: ADD
000015fd: PUSH1 0x14
000015ff: SWAP1
00001600: SLOAD
00001601: SWAP1
00001602: PUSH2 0x0100
00001605: EXP
00001606: SWAP1
00001607: DIV
00001608: PUSH1 0xff
0000160a: AND
0000160b: ISZERO
0000160c: ISZERO
0000160d: ISZERO
0000160e: ISZERO
0000160f: DUP2
00001610: MSTORE
00001611: POP
00001612: POP
00001613: SWAP1
00001614: POP
00001615: DUP1
00001616: PUSH1 0x60
00001618: ADD
00001619: MLOAD
0000161a: TIMESTAMP
0000161b: GT
0000161c: PUSH2 0x1628
0000161f: JUMPI
00001620: PUSH0
00001621: SWAP3
00001622: POP
00001623: POP
00001624: PUSH2 0x1664
00001627: JUMP
00001628: JUMPDEST
00001629: DUP1
0000162a: PUSH1 0x80
0000162c: ADD
0000162d: MLOAD
0000162e: TIMESTAMP
0000162f: LT
00001630: ISZERO
00001631: PUSH2 0x164c
00001634: JUMPI
00001635: DUP1
00001636: PUSH1 0x60
00001638: ADD
00001639: MLOAD
0000163a: TIMESTAMP
0000163b: PUSH2 0x1644
0000163e: SWAP2
0000163f: SWAP1
00001640: PUSH2 0x2c77
00001643: JUMP
00001644: JUMPDEST
00001645: SWAP3
00001646: POP
00001647: POP
00001648: PUSH2 0x1664
0000164b: JUMP
0000164c: JUMPDEST
0000164d: DUP1
0000164e: PUSH1 0x60
00001650: ADD
00001651: MLOAD
00001652: DUP2
00001653: PUSH1 0x80
00001655: ADD
00001656: MLOAD
00001657: PUSH2 0x1660
0000165a: SWAP2
0000165b: SWAP1
0000165c: PUSH2 0x2c77
0000165f: JUMP
00001660: JUMPDEST
00001661: SWAP3
00001662: POP
00001663: POP
00001664: JUMPDEST
00001665: POP
00001666: SWAP2
00001667: SWAP1
00001668: POP
00001669: JUMP
0000166a: JUMPDEST
0000166b: PUSH0
0000166c: ISZERO
0000166d: ISZERO
0000166e: PUSH2 0x1675
00001671: PUSH2 0x2241
00001674: JUMP
00001675: JUMPDEST
00001676: ISZERO
00001677: ISZERO
00001678: SUB
00001679: PUSH2 0x16ae
0000167c: JUMPI
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: PUSH32 0x277cf38100000000000000000000000000000000000000000000000000000000
000016a1: DUP2
000016a2: MSTORE
000016a3: PUSH1 0x04
000016a5: ADD
000016a6: PUSH1 0x40
000016a8: MLOAD
000016a9: DUP1
000016aa: SWAP2
000016ab: SUB
000016ac: SWAP1
000016ad: REVERT
000016ae: JUMPDEST
000016af: PUSH0
000016b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c5: AND
000016c6: DUP3
000016c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016dc: AND
000016dd: SUB
000016de: PUSH2 0x1713
000016e1: JUMPI
000016e2: PUSH1 0x40
000016e4: MLOAD
000016e5: PUSH32 0xf6b2911f00000000000000000000000000000000000000000000000000000000
00001706: DUP2
00001707: MSTORE
00001708: PUSH1 0x04
0000170a: ADD
0000170b: PUSH1 0x40
0000170d: MLOAD
0000170e: DUP1
0000170f: SWAP2
00001710: SUB
00001711: SWAP1
00001712: REVERT
00001713: JUMPDEST
00001714: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173e: AND
0000173f: DUP4
00001740: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001755: AND
00001756: SUB
00001757: PUSH2 0x1788
0000175a: JUMPI
0000175b: PUSH2 0x1783
0000175e: DUP2
0000175f: DUP4
00001760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001775: AND
00001776: PUSH2 0x2307
00001779: SWAP1
0000177a: SWAP2
0000177b: SWAP1
0000177c: PUSH4 0xffffffff
00001781: AND
00001782: JUMP
00001783: JUMPDEST
00001784: PUSH2 0x17b4
00001787: JUMP
00001788: JUMPDEST
00001789: PUSH2 0x17b3
0000178c: DUP3
0000178d: DUP3
0000178e: DUP6
0000178f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a4: AND
000017a5: PUSH2 0x2271
000017a8: SWAP1
000017a9: SWAP3
000017aa: SWAP2
000017ab: SWAP1
000017ac: PUSH4 0xffffffff
000017b1: AND
000017b2: JUMP
000017b3: JUMPDEST
000017b4: JUMPDEST
000017b5: POP
000017b6: POP
000017b7: POP
000017b8: JUMP
000017b9: JUMPDEST
000017ba: PUSH0
000017bb: PUSH0
000017bc: ISZERO
000017bd: ISZERO
000017be: PUSH2 0x17c5
000017c1: PUSH2 0x2241
000017c4: JUMP
000017c5: JUMPDEST
000017c6: ISZERO
000017c7: ISZERO
000017c8: SUB
000017c9: PUSH2 0x17fe
000017cc: JUMPI
000017cd: PUSH1 0x40
000017cf: MLOAD
000017d0: PUSH32 0x277cf38100000000000000000000000000000000000000000000000000000000
000017f1: DUP2
000017f2: MSTORE
000017f3: PUSH1 0x04
000017f5: ADD
000017f6: PUSH1 0x40
000017f8: MLOAD
000017f9: DUP1
000017fa: SWAP2
000017fb: SUB
000017fc: SWAP1
000017fd: REVERT
000017fe: JUMPDEST
000017ff: PUSH0
00001800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001815: AND
00001816: DUP7
00001817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182c: AND
0000182d: SUB
0000182e: PUSH2 0x1863
00001831: JUMPI
00001832: PUSH1 0x40
00001834: MLOAD
00001835: PUSH32 0xf6b2911f00000000000000000000000000000000000000000000000000000000
00001856: DUP2
00001857: MSTORE
00001858: PUSH1 0x04
0000185a: ADD
0000185b: PUSH1 0x40
0000185d: MLOAD
0000185e: DUP1
0000185f: SWAP2
00001860: SUB
00001861: SWAP1
00001862: REVERT
00001863: JUMPDEST
00001864: ADDRESS
00001865: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187a: AND
0000187b: DUP7
0000187c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001891: AND
00001892: SUB
00001893: PUSH2 0x18c8
00001896: JUMPI
00001897: PUSH1 0x40
00001899: MLOAD
0000189a: PUSH32 0x9c8d2cd200000000000000000000000000000000000000000000000000000000
000018bb: DUP2
000018bc: MSTORE
000018bd: PUSH1 0x04
000018bf: ADD
000018c0: PUSH1 0x40
000018c2: MLOAD
000018c3: DUP1
000018c4: SWAP2
000018c5: SUB
000018c6: SWAP1
000018c7: REVERT
000018c8: JUMPDEST
000018c9: CALLER
000018ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018df: AND
000018e0: DUP7
000018e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f6: AND
000018f7: SUB
000018f8: PUSH2 0x192d
000018fb: JUMPI
000018fc: PUSH1 0x40
000018fe: MLOAD
000018ff: PUSH32 0x9c8d2cd200000000000000000000000000000000000000000000000000000000
00001920: DUP2
00001921: MSTORE
00001922: PUSH1 0x04
00001924: ADD
00001925: PUSH1 0x40
00001927: MLOAD
00001928: DUP1
00001929: SWAP2
0000192a: SUB
0000192b: SWAP1
0000192c: REVERT
0000192d: JUMPDEST
0000192e: PUSH0
0000192f: DUP6
00001930: SUB
00001931: PUSH2 0x1966
00001934: JUMPI
00001935: PUSH1 0x40
00001937: MLOAD
00001938: PUSH32 0xdd484e7000000000000000000000000000000000000000000000000000000000
00001959: DUP2
0000195a: MSTORE
0000195b: PUSH1 0x04
0000195d: ADD
0000195e: PUSH1 0x40
00001960: MLOAD
00001961: DUP1
00001962: SWAP2
00001963: SUB
00001964: SWAP1
00001965: REVERT
00001966: JUMPDEST
00001967: TIMESTAMP
00001968: DUP4
00001969: LT
0000196a: ISZERO
0000196b: PUSH2 0x19a0
0000196e: JUMPI
0000196f: PUSH1 0x40
00001971: MLOAD
00001972: PUSH32 0xb290253c00000000000000000000000000000000000000000000000000000000
00001993: DUP2
00001994: MSTORE
00001995: PUSH1 0x04
00001997: ADD
00001998: PUSH1 0x40
0000199a: MLOAD
0000199b: DUP1
0000199c: SWAP2
0000199d: SUB
0000199e: SWAP1
0000199f: REVERT
000019a0: JUMPDEST
000019a1: DUP3
000019a2: DUP3
000019a3: GT
000019a4: PUSH2 0x19d9
000019a7: JUMPI
000019a8: PUSH1 0x40
000019aa: MLOAD
000019ab: PUSH32 0x5f5ab34900000000000000000000000000000000000000000000000000000000
000019cc: DUP2
000019cd: MSTORE
000019ce: PUSH1 0x04
000019d0: ADD
000019d1: PUSH1 0x40
000019d3: MLOAD
000019d4: DUP1
000019d5: SWAP2
000019d6: SUB
000019d7: SWAP1
000019d8: REVERT
000019d9: JUMPDEST
000019da: PUSH2 0x19e1
000019dd: PUSH2 0x2749
000019e0: JUMP
000019e1: JUMPDEST
000019e2: DUP4
000019e3: DUP4
000019e4: PUSH2 0x19ed
000019e7: SWAP2
000019e8: SWAP1
000019e9: PUSH2 0x2c77
000019ec: JUMP
000019ed: JUMPDEST
000019ee: DUP2
000019ef: PUSH0
000019f0: ADD
000019f1: DUP2
000019f2: DUP2
000019f3: MSTORE
000019f4: POP
000019f5: POP
000019f6: DUP1
000019f7: PUSH0
000019f8: ADD
000019f9: MLOAD
000019fa: DUP7
000019fb: LT
000019fc: ISZERO
000019fd: PUSH2 0x1a32
00001a00: JUMPI
00001a01: PUSH1 0x40
00001a03: MLOAD
00001a04: PUSH32 0xc4e1993b00000000000000000000000000000000000000000000000000000000
00001a25: DUP2
00001a26: MSTORE
00001a27: PUSH1 0x04
00001a29: ADD
00001a2a: PUSH1 0x40
00001a2c: MLOAD
00001a2d: DUP1
00001a2e: SWAP2
00001a2f: SUB
00001a30: SWAP1
00001a31: REVERT
00001a32: JUMPDEST
00001a33: PUSH0
00001a34: DUP2
00001a35: PUSH0
00001a36: ADD
00001a37: MLOAD
00001a38: DUP8
00001a39: PUSH2 0x1a42
00001a3c: SWAP2
00001a3d: SWAP1
00001a3e: PUSH2 0x2cfe
00001a41: JUMP
00001a42: JUMPDEST
00001a43: GT
00001a44: ISZERO
00001a45: PUSH2 0x1a7a
00001a48: JUMPI
00001a49: PUSH1 0x40
00001a4b: MLOAD
00001a4c: PUSH32 0xd6798b6e00000000000000000000000000000000000000000000000000000000
00001a6d: DUP2
00001a6e: MSTORE
00001a6f: PUSH1 0x04
00001a71: ADD
00001a72: PUSH1 0x40
00001a74: MLOAD
00001a75: DUP1
00001a76: SWAP2
00001a77: SUB
00001a78: SWAP1
00001a79: REVERT
00001a7a: JUMPDEST
00001a7b: DUP1
00001a7c: PUSH0
00001a7d: ADD
00001a7e: MLOAD
00001a7f: DUP7
00001a80: PUSH2 0x1a89
00001a83: SWAP2
00001a84: SWAP1
00001a85: PUSH2 0x2d2e
00001a88: JUMP
00001a89: JUMPDEST
00001a8a: DUP2
00001a8b: PUSH1 0x20
00001a8d: ADD
00001a8e: DUP2
00001a8f: DUP2
00001a90: MSTORE
00001a91: POP
00001a92: POP
00001a93: PUSH0
00001a94: PUSH1 0x35
00001a96: SLOAD
00001a97: SWAP1
00001a98: POP
00001a99: PUSH1 0x40
00001a9b: MLOAD
00001a9c: DUP1
00001a9d: PUSH2 0x0120
00001aa0: ADD
00001aa1: PUSH1 0x40
00001aa3: MSTORE
00001aa4: DUP1
00001aa5: DUP9
00001aa6: DUP2
00001aa7: MSTORE
00001aa8: PUSH1 0x20
00001aaa: ADD
00001aab: DUP4
00001aac: PUSH1 0x20
00001aae: ADD
00001aaf: MLOAD
00001ab0: DUP2
00001ab1: MSTORE
00001ab2: PUSH1 0x20
00001ab4: ADD
00001ab5: DUP9
00001ab6: DUP2
00001ab7: MSTORE
00001ab8: PUSH1 0x20
00001aba: ADD
00001abb: DUP7
00001abc: DUP2
00001abd: MSTORE
00001abe: PUSH1 0x20
00001ac0: ADD
00001ac1: DUP6
00001ac2: DUP2
00001ac3: MSTORE
00001ac4: PUSH1 0x20
00001ac6: ADD
00001ac7: DUP10
00001ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001add: AND
00001ade: DUP2
00001adf: MSTORE
00001ae0: PUSH1 0x20
00001ae2: ADD
00001ae3: ADDRESS
00001ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af9: AND
00001afa: DUP2
00001afb: MSTORE
00001afc: PUSH1 0x20
00001afe: ADD
00001aff: DUP8
00001b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b15: AND
00001b16: DUP2
00001b17: MSTORE
00001b18: PUSH1 0x20
00001b1a: ADD
00001b1b: PUSH1 0x01
00001b1d: ISZERO
00001b1e: ISZERO
00001b1f: DUP2
00001b20: MSTORE
00001b21: POP
00001b22: PUSH1 0x36
00001b24: PUSH0
00001b25: DUP4
00001b26: DUP2
00001b27: MSTORE
00001b28: PUSH1 0x20
00001b2a: ADD
00001b2b: SWAP1
00001b2c: DUP2
00001b2d: MSTORE
00001b2e: PUSH1 0x20
00001b30: ADD
00001b31: PUSH0
00001b32: KECCAK256
00001b33: PUSH0
00001b34: DUP3
00001b35: ADD
00001b36: MLOAD
00001b37: DUP2
00001b38: PUSH0
00001b39: ADD
00001b3a: SSTORE
00001b3b: PUSH1 0x20
00001b3d: DUP3
00001b3e: ADD
00001b3f: MLOAD
00001b40: DUP2
00001b41: PUSH1 0x01
00001b43: ADD
00001b44: SSTORE
00001b45: PUSH1 0x40
00001b47: DUP3
00001b48: ADD
00001b49: MLOAD
00001b4a: DUP2
00001b4b: PUSH1 0x02
00001b4d: ADD
00001b4e: SSTORE
00001b4f: PUSH1 0x60
00001b51: DUP3
00001b52: ADD
00001b53: MLOAD
00001b54: DUP2
00001b55: PUSH1 0x03
00001b57: ADD
00001b58: SSTORE
00001b59: PUSH1 0x80
00001b5b: DUP3
00001b5c: ADD
00001b5d: MLOAD
00001b5e: DUP2
00001b5f: PUSH1 0x04
00001b61: ADD
00001b62: SSTORE
00001b63: PUSH1 0xa0
00001b65: DUP3
00001b66: ADD
00001b67: MLOAD
00001b68: DUP2
00001b69: PUSH1 0x05
00001b6b: ADD
00001b6c: PUSH0
00001b6d: PUSH2 0x0100
00001b70: EXP
00001b71: DUP2
00001b72: SLOAD
00001b73: DUP2
00001b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b89: MUL
00001b8a: NOT
00001b8b: AND
00001b8c: SWAP1
00001b8d: DUP4
00001b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba3: AND
00001ba4: MUL
00001ba5: OR
00001ba6: SWAP1
00001ba7: SSTORE
00001ba8: POP
00001ba9: PUSH1 0xc0
00001bab: DUP3
00001bac: ADD
00001bad: MLOAD
00001bae: DUP2
00001baf: PUSH1 0x06
00001bb1: ADD
00001bb2: PUSH0
00001bb3: PUSH2 0x0100
00001bb6: EXP
00001bb7: DUP2
00001bb8: SLOAD
00001bb9: DUP2
00001bba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bcf: MUL
00001bd0: NOT
00001bd1: AND
00001bd2: SWAP1
00001bd3: DUP4
00001bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be9: AND
00001bea: MUL
00001beb: OR
00001bec: SWAP1
00001bed: SSTORE
00001bee: POP
00001bef: PUSH1 0xe0
00001bf1: DUP3
00001bf2: ADD
00001bf3: MLOAD
00001bf4: DUP2
00001bf5: PUSH1 0x07
00001bf7: ADD
00001bf8: PUSH0
00001bf9: PUSH2 0x0100
00001bfc: EXP
00001bfd: DUP2
00001bfe: SLOAD
00001bff: DUP2
00001c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c15: MUL
00001c16: NOT
00001c17: AND
00001c18: SWAP1
00001c19: DUP4
00001c1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c2f: AND
00001c30: MUL
00001c31: OR
00001c32: SWAP1
00001c33: SSTORE
00001c34: POP
00001c35: PUSH2 0x0100
00001c38: DUP3
00001c39: ADD
00001c3a: MLOAD
00001c3b: DUP2
00001c3c: PUSH1 0x07
00001c3e: ADD
00001c3f: PUSH1 0x14
00001c41: PUSH2 0x0100
00001c44: EXP
00001c45: DUP2
00001c46: SLOAD
00001c47: DUP2
00001c48: PUSH1 0xff
00001c4a: MUL
00001c4b: NOT
00001c4c: AND
00001c4d: SWAP1
00001c4e: DUP4
00001c4f: ISZERO
00001c50: ISZERO
00001c51: MUL
00001c52: OR
00001c53: SWAP1
00001c54: SSTORE
00001c55: POP
00001c56: SWAP1
00001c57: POP
00001c58: POP
00001c59: PUSH1 0x35
00001c5b: PUSH0
00001c5c: DUP2
00001c5d: SLOAD
00001c5e: DUP1
00001c5f: SWAP3
00001c60: SWAP2
00001c61: SWAP1
00001c62: PUSH2 0x1c6a
00001c65: SWAP1
00001c66: PUSH2 0x2d5e
00001c69: JUMP
00001c6a: JUMPDEST
00001c6b: SWAP2
00001c6c: SWAP1
00001c6d: POP
00001c6e: SSTORE
00001c6f: POP
00001c70: DUP8
00001c71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c86: AND
00001c87: ADDRESS
00001c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c9d: AND
00001c9e: DUP3
00001c9f: PUSH32 0x7b01d409597969366dc268d7f957a990d1ca3d3449baf8fb45db67351aecfe78
00001cc0: DUP11
00001cc1: DUP11
00001cc2: DUP11
00001cc3: DUP11
00001cc4: PUSH1 0x40
00001cc6: MLOAD
00001cc7: PUSH2 0x1cd3
00001cca: SWAP5
00001ccb: SWAP4
00001ccc: SWAP3
00001ccd: SWAP2
00001cce: SWAP1
00001ccf: PUSH2 0x2da5
00001cd2: JUMP
00001cd3: JUMPDEST
00001cd4: PUSH1 0x40
00001cd6: MLOAD
00001cd7: DUP1
00001cd8: SWAP2
00001cd9: SUB
00001cda: SWAP1
00001cdb: LOG4
00001cdc: DUP1
00001cdd: SWAP3
00001cde: POP
00001cdf: POP
00001ce0: POP
00001ce1: SWAP6
00001ce2: SWAP5
00001ce3: POP
00001ce4: POP
00001ce5: POP
00001ce6: POP
00001ce7: POP
00001ce8: JUMP
00001ce9: JUMPDEST
00001cea: PUSH2 0x1cf2
00001ced: DUP3
00001cee: PUSH2 0x05a6
00001cf1: JUMP
00001cf2: JUMPDEST
00001cf3: PUSH2 0x1cfb
00001cf6: DUP2
00001cf7: PUSH2 0x1fe2
00001cfa: JUMP
00001cfb: JUMPDEST
00001cfc: PUSH2 0x1d05
00001cff: DUP4
00001d00: DUP4
00001d01: PUSH2 0x20f5
00001d04: JUMP
00001d05: JUMPDEST
00001d06: POP
00001d07: POP
00001d08: POP
00001d09: POP
00001d0a: JUMP
00001d0b: JUMPDEST
00001d0c: PUSH0
00001d0d: PUSH2 0x1d14
00001d10: PUSH2 0x23f2
00001d13: JUMP
00001d14: JUMPDEST
00001d15: SWAP1
00001d16: POP
00001d17: PUSH0
00001d18: DUP2
00001d19: PUSH0
00001d1a: ADD
00001d1b: PUSH1 0x08
00001d1d: SWAP1
00001d1e: SLOAD
00001d1f: SWAP1
00001d20: PUSH2 0x0100
00001d23: EXP
00001d24: SWAP1
00001d25: DIV
00001d26: PUSH1 0xff
00001d28: AND
00001d29: ISZERO
00001d2a: SWAP1
00001d2b: POP
00001d2c: PUSH0
00001d2d: DUP3
00001d2e: PUSH0
00001d2f: ADD
00001d30: PUSH0
00001d31: SWAP1
00001d32: SLOAD
00001d33: SWAP1
00001d34: PUSH2 0x0100
00001d37: EXP
00001d38: SWAP1
00001d39: DIV
00001d3a: PUSH8 0xffffffffffffffff
00001d43: AND
00001d44: SWAP1
00001d45: POP
00001d46: PUSH0
00001d47: PUSH0
00001d48: DUP3
00001d49: PUSH8 0xffffffffffffffff
00001d52: AND
00001d53: EQ
00001d54: DUP1
00001d55: ISZERO
00001d56: PUSH2 0x1d5c
00001d59: JUMPI
00001d5a: POP
00001d5b: DUP3
00001d5c: JUMPDEST
00001d5d: SWAP1
00001d5e: POP
00001d5f: PUSH0
00001d60: PUSH1 0x01
00001d62: DUP4
00001d63: PUSH8 0xffffffffffffffff
00001d6c: AND
00001d6d: EQ
00001d6e: DUP1
00001d6f: ISZERO
00001d70: PUSH2 0x1d8f
00001d73: JUMPI
00001d74: POP
00001d75: PUSH0
00001d76: ADDRESS
00001d77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8c: AND
00001d8d: EXTCODESIZE
00001d8e: EQ
00001d8f: JUMPDEST
00001d90: SWAP1
00001d91: POP
00001d92: DUP2
00001d93: ISZERO
00001d94: DUP1
00001d95: ISZERO
00001d96: PUSH2 0x1d9d
00001d99: JUMPI
00001d9a: POP
00001d9b: DUP1
00001d9c: ISZERO
00001d9d: JUMPDEST
00001d9e: ISZERO
00001d9f: PUSH2 0x1dd4
00001da2: JUMPI
00001da3: PUSH1 0x40
00001da5: MLOAD
00001da6: PUSH32 0xf92ee8a900000000000000000000000000000000000000000000000000000000
00001dc7: DUP2
00001dc8: MSTORE
00001dc9: PUSH1 0x04
00001dcb: ADD
00001dcc: PUSH1 0x40
00001dce: MLOAD
00001dcf: DUP1
00001dd0: SWAP2
00001dd1: SUB
00001dd2: SWAP1
00001dd3: REVERT
00001dd4: JUMPDEST
00001dd5: PUSH1 0x01
00001dd7: DUP6
00001dd8: PUSH0
00001dd9: ADD
00001dda: PUSH0
00001ddb: PUSH2 0x0100
00001dde: EXP
00001ddf: DUP2
00001de0: SLOAD
00001de1: DUP2
00001de2: PUSH8 0xffffffffffffffff
00001deb: MUL
00001dec: NOT
00001ded: AND
00001dee: SWAP1
00001def: DUP4
00001df0: PUSH8 0xffffffffffffffff
00001df9: AND
00001dfa: MUL
00001dfb: OR
00001dfc: SWAP1
00001dfd: SSTORE
00001dfe: POP
00001dff: DUP4
00001e00: ISZERO
00001e01: PUSH2 0x1e21
00001e04: JUMPI
00001e05: PUSH1 0x01
00001e07: DUP6
00001e08: PUSH0
00001e09: ADD
00001e0a: PUSH1 0x08
00001e0c: PUSH2 0x0100
00001e0f: EXP
00001e10: DUP2
00001e11: SLOAD
00001e12: DUP2
00001e13: PUSH1 0xff
00001e15: MUL
00001e16: NOT
00001e17: AND
00001e18: SWAP1
00001e19: DUP4
00001e1a: ISZERO
00001e1b: ISZERO
00001e1c: MUL
00001e1d: OR
00001e1e: SWAP1
00001e1f: SSTORE
00001e20: POP
00001e21: JUMPDEST
00001e22: PUSH0
00001e23: PUSH0
00001e24: SSTORE
00001e25: PUSH0
00001e26: PUSH1 0x33
00001e28: SSTORE
00001e29: PUSH0
00001e2a: PUSH1 0x34
00001e2c: SSTORE
00001e2d: PUSH2 0x1e34
00001e30: PUSH2 0x2419
00001e33: JUMP
00001e34: JUMPDEST
00001e35: PUSH2 0x1e3c
00001e38: PUSH2 0x2423
00001e3b: JUMP
00001e3c: JUMPDEST
00001e3d: PUSH2 0x1e48
00001e40: PUSH0
00001e41: PUSH0
00001e42: SHL
00001e43: DUP8
00001e44: PUSH2 0x1ff6
00001e47: JUMP
00001e48: JUMPDEST
00001e49: POP
00001e4a: DUP4
00001e4b: ISZERO
00001e4c: PUSH2 0x1ea3
00001e4f: JUMPI
00001e50: PUSH0
00001e51: DUP6
00001e52: PUSH0
00001e53: ADD
00001e54: PUSH1 0x08
00001e56: PUSH2 0x0100
00001e59: EXP
00001e5a: DUP2
00001e5b: SLOAD
00001e5c: DUP2
00001e5d: PUSH1 0xff
00001e5f: MUL
00001e60: NOT
00001e61: AND
00001e62: SWAP1
00001e63: DUP4
00001e64: ISZERO
00001e65: ISZERO
00001e66: MUL
00001e67: OR
00001e68: SWAP1
00001e69: SSTORE
00001e6a: POP
00001e6b: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2
00001e8c: PUSH1 0x01
00001e8e: PUSH1 0x40
00001e90: MLOAD
00001e91: PUSH2 0x1e9a
00001e94: SWAP2
00001e95: SWAP1
00001e96: PUSH2 0x2e3d
00001e99: JUMP
00001e9a: JUMPDEST
00001e9b: PUSH1 0x40
00001e9d: MLOAD
00001e9e: DUP1
00001e9f: SWAP2
00001ea0: SUB
00001ea1: SWAP1
00001ea2: LOG1
00001ea3: JUMPDEST
00001ea4: POP
00001ea5: POP
00001ea6: POP
00001ea7: POP
00001ea8: POP
00001ea9: POP
00001eaa: POP
00001eab: JUMP
00001eac: JUMPDEST
00001ead: PUSH0
00001eae: ISZERO
00001eaf: ISZERO
00001eb0: PUSH2 0x1eb7
00001eb3: PUSH2 0x2241
00001eb6: JUMP
00001eb7: JUMPDEST
00001eb8: ISZERO
00001eb9: ISZERO
00001eba: SUB
00001ebb: PUSH2 0x1ef0
00001ebe: JUMPI
00001ebf: PUSH1 0x40
00001ec1: MLOAD
00001ec2: PUSH32 0x277cf38100000000000000000000000000000000000000000000000000000000
00001ee3: DUP2
00001ee4: MSTORE
00001ee5: PUSH1 0x04
00001ee7: ADD
00001ee8: PUSH1 0x40
00001eea: MLOAD
00001eeb: DUP1
00001eec: SWAP2
00001eed: SUB
00001eee: SWAP1
00001eef: REVERT
00001ef0: JUMPDEST
00001ef1: PUSH2 0x1f1b
00001ef4: DUP3
00001ef5: DUP3
00001ef6: DUP6
00001ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0c: AND
00001f0d: PUSH2 0x2435
00001f10: SWAP1
00001f11: SWAP3
00001f12: SWAP2
00001f13: SWAP1
00001f14: PUSH4 0xffffffff
00001f19: AND
00001f1a: JUMP
00001f1b: JUMPDEST
00001f1c: POP
00001f1d: POP
00001f1e: POP
00001f1f: JUMP
00001f20: JUMPDEST
00001f21: PUSH0
00001f22: PUSH2 0x1f4b
00001f25: PUSH32 0x46554e44535f41444d494e000000000000000000000000000000000000000000
00001f46: DUP4
00001f47: PUSH2 0x13b4
00001f4a: JUMP
00001f4b: JUMPDEST
00001f4c: SWAP1
00001f4d: POP
00001f4e: SWAP2
00001f4f: SWAP1
00001f50: POP
00001f51: JUMP
00001f52: JUMPDEST
00001f53: PUSH0
00001f54: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00001f75: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001f92: NOT
00001f93: AND
00001f94: DUP3
00001f95: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001fb2: NOT
00001fb3: AND
00001fb4: EQ
00001fb5: SWAP1
00001fb6: POP
00001fb7: SWAP2
00001fb8: SWAP1
00001fb9: POP
00001fba: JUMP
00001fbb: JUMPDEST
00001fbc: PUSH0
00001fbd: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
00001fde: SWAP1
00001fdf: POP
00001fe0: SWAP1
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: PUSH2 0x1ff3
00001fe6: DUP2
00001fe7: PUSH2 0x1fee
00001fea: PUSH2 0x20ee
00001fed: JUMP
00001fee: JUMPDEST
00001fef: PUSH2 0x2542
00001ff2: JUMP
00001ff3: JUMPDEST
00001ff4: POP
00001ff5: JUMP
00001ff6: JUMPDEST
00001ff7: PUSH0
00001ff8: PUSH0
00001ff9: PUSH2 0x2000
00001ffc: PUSH2 0x1fbb
00001fff: JUMP
00002000: JUMPDEST
00002001: SWAP1
00002002: POP
00002003: PUSH2 0x200c
00002006: DUP5
00002007: DUP5
00002008: PUSH2 0x13b4
0000200b: JUMP
0000200c: JUMPDEST
0000200d: PUSH2 0x20e3
00002010: JUMPI
00002011: PUSH1 0x01
00002013: DUP2
00002014: PUSH0
00002015: ADD
00002016: PUSH0
00002017: DUP7
00002018: DUP2
00002019: MSTORE
0000201a: PUSH1 0x20
0000201c: ADD
0000201d: SWAP1
0000201e: DUP2
0000201f: MSTORE
00002020: PUSH1 0x20
00002022: ADD
00002023: PUSH0
00002024: KECCAK256
00002025: PUSH0
00002026: ADD
00002027: PUSH0
00002028: DUP6
00002029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000203e: AND
0000203f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002054: AND
00002055: DUP2
00002056: MSTORE
00002057: PUSH1 0x20
00002059: ADD
0000205a: SWAP1
0000205b: DUP2
0000205c: MSTORE
0000205d: PUSH1 0x20
0000205f: ADD
00002060: PUSH0
00002061: KECCAK256
00002062: PUSH0
00002063: PUSH2 0x0100
00002066: EXP
00002067: DUP2
00002068: SLOAD
00002069: DUP2
0000206a: PUSH1 0xff
0000206c: MUL
0000206d: NOT
0000206e: AND
0000206f: SWAP1
00002070: DUP4
00002071: ISZERO
00002072: ISZERO
00002073: MUL
00002074: OR
00002075: SWAP1
00002076: SSTORE
00002077: POP
00002078: PUSH2 0x207f
0000207b: PUSH2 0x20ee
0000207e: JUMP
0000207f: JUMPDEST
00002080: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002095: AND
00002096: DUP4
00002097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ac: AND
000020ad: DUP6
000020ae: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
000020cf: PUSH1 0x40
000020d1: MLOAD
000020d2: PUSH1 0x40
000020d4: MLOAD
000020d5: DUP1
000020d6: SWAP2
000020d7: SUB
000020d8: SWAP1
000020d9: LOG4
000020da: PUSH1 0x01
000020dc: SWAP2
000020dd: POP
000020de: POP
000020df: PUSH2 0x20e8
000020e2: JUMP
000020e3: JUMPDEST
000020e4: PUSH0
000020e5: SWAP2
000020e6: POP
000020e7: POP
000020e8: JUMPDEST
000020e9: SWAP3
000020ea: SWAP2
000020eb: POP
000020ec: POP
000020ed: JUMP
000020ee: JUMPDEST
000020ef: PUSH0
000020f0: CALLER
000020f1: SWAP1
000020f2: POP
000020f3: SWAP1
000020f4: JUMP
000020f5: JUMPDEST
000020f6: PUSH0
000020f7: PUSH0
000020f8: PUSH2 0x20ff
000020fb: PUSH2 0x1fbb
000020fe: JUMP
000020ff: JUMPDEST
00002100: SWAP1
00002101: POP
00002102: PUSH2 0x210b
00002105: DUP5
00002106: DUP5
00002107: PUSH2 0x13b4
0000210a: JUMP
0000210b: JUMPDEST
0000210c: ISZERO
0000210d: PUSH2 0x21e2
00002110: JUMPI
00002111: PUSH0
00002112: DUP2
00002113: PUSH0
00002114: ADD
00002115: PUSH0
00002116: DUP7
00002117: DUP2
00002118: MSTORE
00002119: PUSH1 0x20
0000211b: ADD
0000211c: SWAP1
0000211d: DUP2
0000211e: MSTORE
0000211f: PUSH1 0x20
00002121: ADD
00002122: PUSH0
00002123: KECCAK256
00002124: PUSH0
00002125: ADD
00002126: PUSH0
00002127: DUP6
00002128: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000213d: AND
0000213e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002153: AND
00002154: DUP2
00002155: MSTORE
00002156: PUSH1 0x20
00002158: ADD
00002159: SWAP1
0000215a: DUP2
0000215b: MSTORE
0000215c: PUSH1 0x20
0000215e: ADD
0000215f: PUSH0
00002160: KECCAK256
00002161: PUSH0
00002162: PUSH2 0x0100
00002165: EXP
00002166: DUP2
00002167: SLOAD
00002168: DUP2
00002169: PUSH1 0xff
0000216b: MUL
0000216c: NOT
0000216d: AND
0000216e: SWAP1
0000216f: DUP4
00002170: ISZERO
00002171: ISZERO
00002172: MUL
00002173: OR
00002174: SWAP1
00002175: SSTORE
00002176: POP
00002177: PUSH2 0x217e
0000217a: PUSH2 0x20ee
0000217d: JUMP
0000217e: JUMPDEST
0000217f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002194: AND
00002195: DUP4
00002196: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ab: AND
000021ac: DUP6
000021ad: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
000021ce: PUSH1 0x40
000021d0: MLOAD
000021d1: PUSH1 0x40
000021d3: MLOAD
000021d4: DUP1
000021d5: SWAP2
000021d6: SUB
000021d7: SWAP1
000021d8: LOG4
000021d9: PUSH1 0x01
000021db: SWAP2
000021dc: POP
000021dd: POP
000021de: PUSH2 0x21e7
000021e1: JUMP
000021e2: JUMPDEST
000021e3: PUSH0
000021e4: SWAP2
000021e5: POP
000021e6: POP
000021e7: JUMPDEST
000021e8: SWAP3
000021e9: SWAP2
000021ea: POP
000021eb: POP
000021ec: JUMP
000021ed: JUMPDEST
000021ee: PUSH0
000021ef: PUSH2 0x21f6
000021f2: PUSH2 0x2593
000021f5: JUMP
000021f6: JUMPDEST
000021f7: SWAP1
000021f8: POP
000021f9: PUSH1 0x02
000021fb: DUP2
000021fc: PUSH0
000021fd: ADD
000021fe: SLOAD
000021ff: SUB
00002200: PUSH2 0x2235
00002203: JUMPI
00002204: PUSH1 0x40
00002206: MLOAD
00002207: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
00002228: DUP2
00002229: MSTORE
0000222a: PUSH1 0x04
0000222c: ADD
0000222d: PUSH1 0x40
0000222f: MLOAD
00002230: DUP1
00002231: SWAP2
00002232: SUB
00002233: SWAP1
00002234: REVERT
00002235: JUMPDEST
00002236: PUSH1 0x02
00002238: DUP2
00002239: PUSH0
0000223a: ADD
0000223b: DUP2
0000223c: SWAP1
0000223d: SSTORE
0000223e: POP
0000223f: POP
00002240: JUMP
00002241: JUMPDEST
00002242: PUSH0
00002243: PUSH2 0x226c
00002246: PUSH32 0x46554e44535f41444d494e000000000000000000000000000000000000000000
00002267: CALLER
00002268: PUSH2 0x13b4
0000226b: JUMP
0000226c: JUMPDEST
0000226d: SWAP1
0000226e: POP
0000226f: SWAP1
00002270: JUMP
00002271: JUMPDEST
00002272: PUSH2 0x22eb
00002275: DUP4
00002276: DUP5
00002277: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228c: AND
0000228d: PUSH4 0xa9059cbb
00002292: DUP6
00002293: DUP6
00002294: PUSH1 0x40
00002296: MLOAD
00002297: PUSH1 0x24
00002299: ADD
0000229a: PUSH2 0x22a4
0000229d: SWAP3
0000229e: SWAP2
0000229f: SWAP1
000022a0: PUSH2 0x2e56
000022a3: JUMP
000022a4: JUMPDEST
000022a5: PUSH1 0x40
000022a7: MLOAD
000022a8: PUSH1 0x20
000022aa: DUP2
000022ab: DUP4
000022ac: SUB
000022ad: SUB
000022ae: DUP2
000022af: MSTORE
000022b0: SWAP1
000022b1: PUSH1 0x40
000022b3: MSTORE
000022b4: SWAP2
000022b5: POP
000022b6: PUSH1 0xe0
000022b8: SHL
000022b9: PUSH1 0x20
000022bb: DUP3
000022bc: ADD
000022bd: DUP1
000022be: MLOAD
000022bf: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000022dc: DUP4
000022dd: DUP2
000022de: DUP4
000022df: AND
000022e0: OR
000022e1: DUP4
000022e2: MSTORE
000022e3: POP
000022e4: POP
000022e5: POP
000022e6: POP
000022e7: PUSH2 0x25ba
000022ea: JUMP
000022eb: JUMPDEST
000022ec: POP
000022ed: POP
000022ee: POP
000022ef: JUMP
000022f0: JUMPDEST
000022f1: PUSH0
000022f2: PUSH2 0x22f9
000022f5: PUSH2 0x2593
000022f8: JUMP
000022f9: JUMPDEST
000022fa: SWAP1
000022fb: POP
000022fc: PUSH1 0x01
000022fe: DUP2
000022ff: PUSH0
00002300: ADD
00002301: DUP2
00002302: SWAP1
00002303: SSTORE
00002304: POP
00002305: POP
00002306: JUMP
00002307: JUMPDEST
00002308: DUP1
00002309: SELFBALANCE
0000230a: LT
0000230b: ISZERO
0000230c: PUSH2 0x234e
0000230f: JUMPI
00002310: SELFBALANCE
00002311: DUP2
00002312: PUSH1 0x40
00002314: MLOAD
00002315: PUSH32 0xcf47918100000000000000000000000000000000000000000000000000000000
00002336: DUP2
00002337: MSTORE
00002338: PUSH1 0x04
0000233a: ADD
0000233b: PUSH2 0x2345
0000233e: SWAP3
0000233f: SWAP2
00002340: SWAP1
00002341: PUSH2 0x2caa
00002344: JUMP
00002345: JUMPDEST
00002346: PUSH1 0x40
00002348: MLOAD
00002349: DUP1
0000234a: SWAP2
0000234b: SUB
0000234c: SWAP1
0000234d: REVERT
0000234e: JUMPDEST
0000234f: PUSH0
00002350: DUP3
00002351: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002366: AND
00002367: DUP3
00002368: PUSH1 0x40
0000236a: MLOAD
0000236b: PUSH2 0x2373
0000236e: SWAP1
0000236f: PUSH2 0x2eaa
00002372: JUMP
00002373: JUMPDEST
00002374: PUSH0
00002375: PUSH1 0x40
00002377: MLOAD
00002378: DUP1
00002379: DUP4
0000237a: SUB
0000237b: DUP2
0000237c: DUP6
0000237d: DUP8
0000237e: GAS
0000237f: CALL
00002380: SWAP3
00002381: POP
00002382: POP
00002383: POP
00002384: RETURNDATASIZE
00002385: DUP1
00002386: PUSH0
00002387: DUP2
00002388: EQ
00002389: PUSH2 0x23ad
0000238c: JUMPI
0000238d: PUSH1 0x40
0000238f: MLOAD
00002390: SWAP2
00002391: POP
00002392: PUSH1 0x1f
00002394: NOT
00002395: PUSH1 0x3f
00002397: RETURNDATASIZE
00002398: ADD
00002399: AND
0000239a: DUP3
0000239b: ADD
0000239c: PUSH1 0x40
0000239e: MSTORE
0000239f: RETURNDATASIZE
000023a0: DUP3
000023a1: MSTORE
000023a2: RETURNDATASIZE
000023a3: PUSH0
000023a4: PUSH1 0x20
000023a6: DUP5
000023a7: ADD
000023a8: RETURNDATACOPY
000023a9: PUSH2 0x23b2
000023ac: JUMP
000023ad: JUMPDEST
000023ae: PUSH1 0x60
000023b0: SWAP2
000023b1: POP
000023b2: JUMPDEST
000023b3: POP
000023b4: POP
000023b5: SWAP1
000023b6: POP
000023b7: DUP1
000023b8: PUSH2 0x23ed
000023bb: JUMPI
000023bc: PUSH1 0x40
000023be: MLOAD
000023bf: PUSH32 0xd6bda27500000000000000000000000000000000000000000000000000000000
000023e0: DUP2
000023e1: MSTORE
000023e2: PUSH1 0x04
000023e4: ADD
000023e5: PUSH1 0x40
000023e7: MLOAD
000023e8: DUP1
000023e9: SWAP2
000023ea: SUB
000023eb: SWAP1
000023ec: REVERT
000023ed: JUMPDEST
000023ee: POP
000023ef: POP
000023f0: POP
000023f1: JUMP
000023f2: JUMPDEST
000023f3: PUSH0
000023f4: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
00002415: SWAP1
00002416: POP
00002417: SWAP1
00002418: JUMP
00002419: JUMPDEST
0000241a: PUSH2 0x2421
0000241d: PUSH2 0x2655
00002420: JUMP
00002421: JUMPDEST
00002422: JUMP
00002423: JUMPDEST
00002424: PUSH2 0x242b
00002427: PUSH2 0x2655
0000242a: JUMP
0000242b: JUMPDEST
0000242c: PUSH2 0x2433
0000242f: PUSH2 0x2695
00002432: JUMP
00002433: JUMPDEST
00002434: JUMP
00002435: JUMPDEST
00002436: PUSH0
00002437: DUP4
00002438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244d: AND
0000244e: PUSH4 0x095ea7b3
00002453: DUP5
00002454: DUP5
00002455: PUSH1 0x40
00002457: MLOAD
00002458: PUSH1 0x24
0000245a: ADD
0000245b: PUSH2 0x2465
0000245e: SWAP3
0000245f: SWAP2
00002460: SWAP1
00002461: PUSH2 0x2e56
00002464: JUMP
00002465: JUMPDEST
00002466: PUSH1 0x40
00002468: MLOAD
00002469: PUSH1 0x20
0000246b: DUP2
0000246c: DUP4
0000246d: SUB
0000246e: SUB
0000246f: DUP2
00002470: MSTORE
00002471: SWAP1
00002472: PUSH1 0x40
00002474: MSTORE
00002475: SWAP2
00002476: POP
00002477: PUSH1 0xe0
00002479: SHL
0000247a: PUSH1 0x20
0000247c: DUP3
0000247d: ADD
0000247e: DUP1
0000247f: MLOAD
00002480: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000249d: DUP4
0000249e: DUP2
0000249f: DUP4
000024a0: AND
000024a1: OR
000024a2: DUP4
000024a3: MSTORE
000024a4: POP
000024a5: POP
000024a6: POP
000024a7: POP
000024a8: SWAP1
000024a9: POP
000024aa: PUSH2 0x24b3
000024ad: DUP5
000024ae: DUP3
000024af: PUSH2 0x26b4
000024b2: JUMP
000024b3: JUMPDEST
000024b4: PUSH2 0x253c
000024b7: JUMPI
000024b8: PUSH2 0x2531
000024bb: DUP5
000024bc: DUP6
000024bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d2: AND
000024d3: PUSH4 0x095ea7b3
000024d8: DUP7
000024d9: PUSH0
000024da: PUSH1 0x40
000024dc: MLOAD
000024dd: PUSH1 0x24
000024df: ADD
000024e0: PUSH2 0x24ea
000024e3: SWAP3
000024e4: SWAP2
000024e5: SWAP1
000024e6: PUSH2 0x2ef7
000024e9: JUMP
000024ea: JUMPDEST
000024eb: PUSH1 0x40
000024ed: MLOAD
000024ee: PUSH1 0x20
000024f0: DUP2
000024f1: DUP4
000024f2: SUB
000024f3: SUB
000024f4: DUP2
000024f5: MSTORE
000024f6: SWAP1
000024f7: PUSH1 0x40
000024f9: MSTORE
000024fa: SWAP2
000024fb: POP
000024fc: PUSH1 0xe0
000024fe: SHL
000024ff: PUSH1 0x20
00002501: DUP3
00002502: ADD
00002503: DUP1
00002504: MLOAD
00002505: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002522: DUP4
00002523: DUP2
00002524: DUP4
00002525: AND
00002526: OR
00002527: DUP4
00002528: MSTORE
00002529: POP
0000252a: POP
0000252b: POP
0000252c: POP
0000252d: PUSH2 0x25ba
00002530: JUMP
00002531: JUMPDEST
00002532: PUSH2 0x253b
00002535: DUP5
00002536: DUP3
00002537: PUSH2 0x25ba
0000253a: JUMP
0000253b: JUMPDEST
0000253c: JUMPDEST
0000253d: POP
0000253e: POP
0000253f: POP
00002540: POP
00002541: JUMP
00002542: JUMPDEST
00002543: PUSH2 0x254c
00002546: DUP3
00002547: DUP3
00002548: PUSH2 0x13b4
0000254b: JUMP
0000254c: JUMPDEST
0000254d: PUSH2 0x258f
00002550: JUMPI
00002551: DUP1
00002552: DUP3
00002553: PUSH1 0x40
00002555: MLOAD
00002556: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
00002577: DUP2
00002578: MSTORE
00002579: PUSH1 0x04
0000257b: ADD
0000257c: PUSH2 0x2586
0000257f: SWAP3
00002580: SWAP2
00002581: SWAP1
00002582: PUSH2 0x2f1e
00002585: JUMP
00002586: JUMPDEST
00002587: PUSH1 0x40
00002589: MLOAD
0000258a: DUP1
0000258b: SWAP2
0000258c: SUB
0000258d: SWAP1
0000258e: REVERT
0000258f: JUMPDEST
00002590: POP
00002591: POP
00002592: JUMP
00002593: JUMPDEST
00002594: PUSH0
00002595: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
000025b6: SWAP1
000025b7: POP
000025b8: SWAP1
000025b9: JUMP
000025ba: JUMPDEST
000025bb: PUSH0
000025bc: PUSH0
000025bd: PUSH1 0x20
000025bf: PUSH0
000025c0: DUP5
000025c1: MLOAD
000025c2: PUSH1 0x20
000025c4: DUP7
000025c5: ADD
000025c6: PUSH0
000025c7: DUP9
000025c8: GAS
000025c9: CALL
000025ca: DUP1
000025cb: PUSH2 0x25d9
000025ce: JUMPI
000025cf: PUSH1 0x40
000025d1: MLOAD
000025d2: RETURNDATASIZE
000025d3: PUSH0
000025d4: DUP3
000025d5: RETURNDATACOPY
000025d6: RETURNDATASIZE
000025d7: DUP2
000025d8: REVERT
000025d9: JUMPDEST
000025da: RETURNDATASIZE
000025db: SWAP3
000025dc: POP
000025dd: PUSH0
000025de: MLOAD
000025df: SWAP2
000025e0: POP
000025e1: POP
000025e2: PUSH0
000025e3: DUP3
000025e4: EQ
000025e5: PUSH2 0x25f2
000025e8: JUMPI
000025e9: PUSH1 0x01
000025eb: DUP2
000025ec: EQ
000025ed: ISZERO
000025ee: PUSH2 0x260d
000025f1: JUMP
000025f2: JUMPDEST
000025f3: PUSH0
000025f4: DUP5
000025f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000260a: AND
0000260b: EXTCODESIZE
0000260c: EQ
0000260d: JUMPDEST
0000260e: ISZERO
0000260f: PUSH2 0x264f
00002612: JUMPI
00002613: DUP4
00002614: PUSH1 0x40
00002616: MLOAD
00002617: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
00002638: DUP2
00002639: MSTORE
0000263a: PUSH1 0x04
0000263c: ADD
0000263d: PUSH2 0x2646
00002640: SWAP2
00002641: SWAP1
00002642: PUSH2 0x29de
00002645: JUMP
00002646: JUMPDEST
00002647: PUSH1 0x40
00002649: MLOAD
0000264a: DUP1
0000264b: SWAP2
0000264c: SUB
0000264d: SWAP1
0000264e: REVERT
0000264f: JUMPDEST
00002650: POP
00002651: POP
00002652: POP
00002653: POP
00002654: JUMP
00002655: JUMPDEST
00002656: PUSH2 0x265d
00002659: PUSH2 0x270d
0000265c: JUMP
0000265d: JUMPDEST
0000265e: PUSH2 0x2693
00002661: JUMPI
00002662: PUSH1 0x40
00002664: MLOAD
00002665: PUSH32 0xd7e6bcf800000000000000000000000000000000000000000000000000000000
00002686: DUP2
00002687: MSTORE
00002688: PUSH1 0x04
0000268a: ADD
0000268b: PUSH1 0x40
0000268d: MLOAD
0000268e: DUP1
0000268f: SWAP2
00002690: SUB
00002691: SWAP1
00002692: REVERT
00002693: JUMPDEST
00002694: JUMP
00002695: JUMPDEST
00002696: PUSH2 0x269d
00002699: PUSH2 0x2655
0000269c: JUMP
0000269d: JUMPDEST
0000269e: PUSH0
0000269f: PUSH2 0x26a6
000026a2: PUSH2 0x2593
000026a5: JUMP
000026a6: JUMPDEST
000026a7: SWAP1
000026a8: POP
000026a9: PUSH1 0x01
000026ab: DUP2
000026ac: PUSH0
000026ad: ADD
000026ae: DUP2
000026af: SWAP1
000026b0: SSTORE
000026b1: POP
000026b2: POP
000026b3: JUMP
000026b4: JUMPDEST
000026b5: PUSH0
000026b6: PUSH0
000026b7: PUSH0
000026b8: PUSH0
000026b9: PUSH1 0x20
000026bb: PUSH0
000026bc: DUP7
000026bd: MLOAD
000026be: PUSH1 0x20
000026c0: DUP9
000026c1: ADD
000026c2: PUSH0
000026c3: DUP11
000026c4: GAS
000026c5: CALL
000026c6: SWAP3
000026c7: POP
000026c8: RETURNDATASIZE
000026c9: SWAP2
000026ca: POP
000026cb: PUSH0
000026cc: MLOAD
000026cd: SWAP1
000026ce: POP
000026cf: DUP3
000026d0: DUP1
000026d1: ISZERO
000026d2: PUSH2 0x2702
000026d5: JUMPI
000026d6: POP
000026d7: PUSH0
000026d8: DUP3
000026d9: EQ
000026da: PUSH2 0x26e6
000026dd: JUMPI
000026de: PUSH1 0x01
000026e0: DUP2
000026e1: EQ
000026e2: PUSH2 0x2701
000026e5: JUMP
000026e6: JUMPDEST
000026e7: PUSH0
000026e8: DUP7
000026e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026fe: AND
000026ff: EXTCODESIZE
00002700: GT
00002701: JUMPDEST
00002702: JUMPDEST
00002703: SWAP4
00002704: POP
00002705: POP
00002706: POP
00002707: POP
00002708: SWAP3
00002709: SWAP2
0000270a: POP
0000270b: POP
0000270c: JUMP
0000270d: JUMPDEST
0000270e: PUSH0
0000270f: PUSH2 0x2716
00002712: PUSH2 0x23f2
00002715: JUMP
00002716: JUMPDEST
00002717: PUSH0
00002718: ADD
00002719: PUSH1 0x08
0000271b: SWAP1
0000271c: SLOAD
0000271d: SWAP1
0000271e: PUSH2 0x0100
00002721: EXP
00002722: SWAP1
00002723: DIV
00002724: PUSH1 0xff
00002726: AND
00002727: SWAP1
00002728: POP
00002729: SWAP1
0000272a: JUMP
0000272b: JUMPDEST
0000272c: PUSH1 0x40
0000272e: MLOAD
0000272f: DUP1
00002730: PUSH1 0x60
00002732: ADD
00002733: PUSH1 0x40
00002735: MSTORE
00002736: DUP1
00002737: PUSH0
00002738: DUP2
00002739: MSTORE
0000273a: PUSH1 0x20
0000273c: ADD
0000273d: PUSH0
0000273e: DUP2
0000273f: MSTORE
00002740: PUSH1 0x20
00002742: ADD
00002743: PUSH0
00002744: DUP2
00002745: MSTORE
00002746: POP
00002747: SWAP1
00002748: JUMP
00002749: JUMPDEST
0000274a: PUSH1 0x40
0000274c: MLOAD
0000274d: DUP1
0000274e: PUSH1 0x40
00002750: ADD
00002751: PUSH1 0x40
00002753: MSTORE
00002754: DUP1
00002755: PUSH0
00002756: DUP2
00002757: MSTORE
00002758: PUSH1 0x20
0000275a: ADD
0000275b: PUSH0
0000275c: DUP2
0000275d: MSTORE
0000275e: POP
0000275f: SWAP1
00002760: JUMP
00002761: JUMPDEST
00002762: PUSH0
00002763: PUSH0
00002764: REVERT
00002765: JUMPDEST
00002766: PUSH0
00002767: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002788: DUP3
00002789: AND
0000278a: SWAP1
0000278b: POP
0000278c: SWAP2
0000278d: SWAP1
0000278e: POP
0000278f: JUMP
00002790: JUMPDEST
00002791: PUSH2 0x2799
00002794: DUP2
00002795: PUSH2 0x2765
00002798: JUMP
00002799: JUMPDEST
0000279a: DUP2
0000279b: EQ
0000279c: PUSH2 0x27a3
0000279f: JUMPI
000027a0: PUSH0
000027a1: PUSH0
000027a2: REVERT
000027a3: JUMPDEST
000027a4: POP
000027a5: JUMP
000027a6: JUMPDEST
000027a7: PUSH0
000027a8: DUP2
000027a9: CALLDATALOAD
000027aa: SWAP1
000027ab: POP
000027ac: PUSH2 0x27b4
000027af: DUP2
000027b0: PUSH2 0x2790
000027b3: JUMP
000027b4: JUMPDEST
000027b5: SWAP3
000027b6: SWAP2
000027b7: POP
000027b8: POP
000027b9: JUMP
000027ba: JUMPDEST
000027bb: PUSH0
000027bc: PUSH1 0x20
000027be: DUP3
000027bf: DUP5
000027c0: SUB
000027c1: SLT
000027c2: ISZERO
000027c3: PUSH2 0x27cf
000027c6: JUMPI
000027c7: PUSH2 0x27ce
000027ca: PUSH2 0x2761
000027cd: JUMP
000027ce: JUMPDEST
000027cf: JUMPDEST
000027d0: PUSH0
000027d1: PUSH2 0x27dc
000027d4: DUP5
000027d5: DUP3
000027d6: DUP6
000027d7: ADD
000027d8: PUSH2 0x27a6
000027db: JUMP
000027dc: JUMPDEST
000027dd: SWAP2
000027de: POP
000027df: POP
000027e0: SWAP3
000027e1: SWAP2
000027e2: POP
000027e3: POP
000027e4: JUMP
000027e5: JUMPDEST
000027e6: PUSH0
000027e7: DUP2
000027e8: ISZERO
000027e9: ISZERO
000027ea: SWAP1
000027eb: POP
000027ec: SWAP2
000027ed: SWAP1
000027ee: POP
000027ef: JUMP
000027f0: JUMPDEST
000027f1: PUSH2 0x27f9
000027f4: DUP2
000027f5: PUSH2 0x27e5
000027f8: JUMP
000027f9: JUMPDEST
000027fa: DUP3
000027fb: MSTORE
000027fc: POP
000027fd: POP
000027fe: JUMP
000027ff: JUMPDEST
00002800: PUSH0
00002801: PUSH1 0x20
00002803: DUP3
00002804: ADD
00002805: SWAP1
00002806: POP
00002807: PUSH2 0x2812
0000280a: PUSH0
0000280b: DUP4
0000280c: ADD
0000280d: DUP5
0000280e: PUSH2 0x27f0
00002811: JUMP
00002812: JUMPDEST
00002813: SWAP3
00002814: SWAP2
00002815: POP
00002816: POP
00002817: JUMP
00002818: JUMPDEST
00002819: PUSH0
0000281a: DUP2
0000281b: SWAP1
0000281c: POP
0000281d: SWAP2
0000281e: SWAP1
0000281f: POP
00002820: JUMP
00002821: JUMPDEST
00002822: PUSH2 0x282a
00002825: DUP2
00002826: PUSH2 0x2818
00002829: JUMP
0000282a: JUMPDEST
0000282b: DUP3
0000282c: MSTORE
0000282d: POP
0000282e: POP
0000282f: JUMP
00002830: JUMPDEST
00002831: PUSH0
00002832: PUSH1 0x20
00002834: DUP3
00002835: ADD
00002836: SWAP1
00002837: POP
00002838: PUSH2 0x2843
0000283b: PUSH0
0000283c: DUP4
0000283d: ADD
0000283e: DUP5
0000283f: PUSH2 0x2821
00002842: JUMP
00002843: JUMPDEST
00002844: SWAP3
00002845: SWAP2
00002846: POP
00002847: POP
00002848: JUMP
00002849: JUMPDEST
0000284a: PUSH0
0000284b: DUP2
0000284c: SWAP1
0000284d: POP
0000284e: SWAP2
0000284f: SWAP1
00002850: POP
00002851: JUMP
00002852: JUMPDEST
00002853: PUSH2 0x285b
00002856: DUP2
00002857: PUSH2 0x2849
0000285a: JUMP
0000285b: JUMPDEST
0000285c: DUP2
0000285d: EQ
0000285e: PUSH2 0x2865
00002861: JUMPI
00002862: PUSH0
00002863: PUSH0
00002864: REVERT
00002865: JUMPDEST
00002866: POP
00002867: JUMP
00002868: JUMPDEST
00002869: PUSH0
0000286a: DUP2
0000286b: CALLDATALOAD
0000286c: SWAP1
0000286d: POP
0000286e: PUSH2 0x2876
00002871: DUP2
00002872: PUSH2 0x2852
00002875: JUMP
00002876: JUMPDEST
00002877: SWAP3
00002878: SWAP2
00002879: POP
0000287a: POP
0000287b: JUMP
0000287c: JUMPDEST
0000287d: PUSH0
0000287e: PUSH1 0x20
00002880: DUP3
00002881: DUP5
00002882: SUB
00002883: SLT
00002884: ISZERO
00002885: PUSH2 0x2891
00002888: JUMPI
00002889: PUSH2 0x2890
0000288c: PUSH2 0x2761
0000288f: JUMP
00002890: JUMPDEST
00002891: JUMPDEST
00002892: PUSH0
00002893: PUSH2 0x289e
00002896: DUP5
00002897: DUP3
00002898: DUP6
00002899: ADD
0000289a: PUSH2 0x2868
0000289d: JUMP
0000289e: JUMPDEST
0000289f: SWAP2
000028a0: POP
000028a1: POP
000028a2: SWAP3
000028a3: SWAP2
000028a4: POP
000028a5: POP
000028a6: JUMP
000028a7: JUMPDEST
000028a8: PUSH2 0x28b0
000028ab: DUP2
000028ac: PUSH2 0x2849
000028af: JUMP
000028b0: JUMPDEST
000028b1: DUP3
000028b2: MSTORE
000028b3: POP
000028b4: POP
000028b5: JUMP
000028b6: JUMPDEST
000028b7: PUSH0
000028b8: PUSH1 0x20
000028ba: DUP3
000028bb: ADD
000028bc: SWAP1
000028bd: POP
000028be: PUSH2 0x28c9
000028c1: PUSH0
000028c2: DUP4
000028c3: ADD
000028c4: DUP5
000028c5: PUSH2 0x28a7
000028c8: JUMP
000028c9: JUMPDEST
000028ca: SWAP3
000028cb: SWAP2
000028cc: POP
000028cd: POP
000028ce: JUMP
000028cf: JUMPDEST
000028d0: PUSH0
000028d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e6: DUP3
000028e7: AND
000028e8: SWAP1
000028e9: POP
000028ea: SWAP2
000028eb: SWAP1
000028ec: POP
000028ed: JUMP
000028ee: JUMPDEST
000028ef: PUSH0
000028f0: PUSH2 0x28f8
000028f3: DUP3
000028f4: PUSH2 0x28cf
000028f7: JUMP
000028f8: JUMPDEST
000028f9: SWAP1
000028fa: POP
000028fb: SWAP2
000028fc: SWAP1
000028fd: POP
000028fe: JUMP
000028ff: JUMPDEST
00002900: PUSH2 0x2908
00002903: DUP2
00002904: PUSH2 0x28ee
00002907: JUMP
00002908: JUMPDEST
00002909: DUP2
0000290a: EQ
0000290b: PUSH2 0x2912
0000290e: JUMPI
0000290f: PUSH0
00002910: PUSH0
00002911: REVERT
00002912: JUMPDEST
00002913: POP
00002914: JUMP
00002915: JUMPDEST
00002916: PUSH0
00002917: DUP2
00002918: CALLDATALOAD
00002919: SWAP1
0000291a: POP
0000291b: PUSH2 0x2923
0000291e: DUP2
0000291f: PUSH2 0x28ff
00002922: JUMP
00002923: JUMPDEST
00002924: SWAP3
00002925: SWAP2
00002926: POP
00002927: POP
00002928: JUMP
00002929: JUMPDEST
0000292a: PUSH0
0000292b: PUSH0
0000292c: PUSH1 0x40
0000292e: DUP4
0000292f: DUP6
00002930: SUB
00002931: SLT
00002932: ISZERO
00002933: PUSH2 0x293f
00002936: JUMPI
00002937: PUSH2 0x293e
0000293a: PUSH2 0x2761
0000293d: JUMP
0000293e: JUMPDEST
0000293f: JUMPDEST
00002940: PUSH0
00002941: PUSH2 0x294c
00002944: DUP6
00002945: DUP3
00002946: DUP7
00002947: ADD
00002948: PUSH2 0x2868
0000294b: JUMP
0000294c: JUMPDEST
0000294d: SWAP3
0000294e: POP
0000294f: POP
00002950: PUSH1 0x20
00002952: PUSH2 0x295d
00002955: DUP6
00002956: DUP3
00002957: DUP7
00002958: ADD
00002959: PUSH2 0x2915
0000295c: JUMP
0000295d: JUMPDEST
0000295e: SWAP2
0000295f: POP
00002960: POP
00002961: SWAP3
00002962: POP
00002963: SWAP3
00002964: SWAP1
00002965: POP
00002966: JUMP
00002967: JUMPDEST
00002968: PUSH2 0x2970
0000296b: DUP2
0000296c: PUSH2 0x2818
0000296f: JUMP
00002970: JUMPDEST
00002971: DUP2
00002972: EQ
00002973: PUSH2 0x297a
00002976: JUMPI
00002977: PUSH0
00002978: PUSH0
00002979: REVERT
0000297a: JUMPDEST
0000297b: POP
0000297c: JUMP
0000297d: JUMPDEST
0000297e: PUSH0
0000297f: DUP2
00002980: CALLDATALOAD
00002981: SWAP1
00002982: POP
00002983: PUSH2 0x298b
00002986: DUP2
00002987: PUSH2 0x2967
0000298a: JUMP
0000298b: JUMPDEST
0000298c: SWAP3
0000298d: SWAP2
0000298e: POP
0000298f: POP
00002990: JUMP
00002991: JUMPDEST
00002992: PUSH0
00002993: PUSH0
00002994: PUSH1 0x40
00002996: DUP4
00002997: DUP6
00002998: SUB
00002999: SLT
0000299a: ISZERO
0000299b: PUSH2 0x29a7
0000299e: JUMPI
0000299f: PUSH2 0x29a6
000029a2: PUSH2 0x2761
000029a5: JUMP
000029a6: JUMPDEST
000029a7: JUMPDEST
000029a8: PUSH0
000029a9: PUSH2 0x29b4
000029ac: DUP6
000029ad: DUP3
000029ae: DUP7
000029af: ADD
000029b0: PUSH2 0x297d
000029b3: JUMP
000029b4: JUMPDEST
000029b5: SWAP3
000029b6: POP
000029b7: POP
000029b8: PUSH1 0x20
000029ba: PUSH2 0x29c5
000029bd: DUP6
000029be: DUP3
000029bf: DUP7
000029c0: ADD
000029c1: PUSH2 0x2915
000029c4: JUMP
000029c5: JUMPDEST
000029c6: SWAP2
000029c7: POP
000029c8: POP
000029c9: SWAP3
000029ca: POP
000029cb: SWAP3
000029cc: SWAP1
000029cd: POP
000029ce: JUMP
000029cf: JUMPDEST
000029d0: PUSH2 0x29d8
000029d3: DUP2
000029d4: PUSH2 0x28ee
000029d7: JUMP
000029d8: JUMPDEST
000029d9: DUP3
000029da: MSTORE
000029db: POP
000029dc: POP
000029dd: JUMP
000029de: JUMPDEST
000029df: PUSH0
000029e0: PUSH1 0x20
000029e2: DUP3
000029e3: ADD
000029e4: SWAP1
000029e5: POP
000029e6: PUSH2 0x29f1
000029e9: PUSH0
000029ea: DUP4
000029eb: ADD
000029ec: DUP5
000029ed: PUSH2 0x29cf
000029f0: JUMP
000029f1: JUMPDEST
000029f2: SWAP3
000029f3: SWAP2
000029f4: POP
000029f5: POP
000029f6: JUMP
000029f7: JUMPDEST
000029f8: PUSH0
000029f9: PUSH1 0x20
000029fb: DUP3
000029fc: DUP5
000029fd: SUB
000029fe: SLT
000029ff: ISZERO
00002a00: PUSH2 0x2a0c
00002a03: JUMPI
00002a04: PUSH2 0x2a0b
00002a07: PUSH2 0x2761
00002a0a: JUMP
00002a0b: JUMPDEST
00002a0c: JUMPDEST
00002a0d: PUSH0
00002a0e: PUSH2 0x2a19
00002a11: DUP5
00002a12: DUP3
00002a13: DUP6
00002a14: ADD
00002a15: PUSH2 0x297d
00002a18: JUMP
00002a19: JUMPDEST
00002a1a: SWAP2
00002a1b: POP
00002a1c: POP
00002a1d: SWAP3
00002a1e: SWAP2
00002a1f: POP
00002a20: POP
00002a21: JUMP
00002a22: JUMPDEST
00002a23: PUSH0
00002a24: PUSH0
00002a25: PUSH1 0x40
00002a27: DUP4
00002a28: DUP6
00002a29: SUB
00002a2a: SLT
00002a2b: ISZERO
00002a2c: PUSH2 0x2a38
00002a2f: JUMPI
00002a30: PUSH2 0x2a37
00002a33: PUSH2 0x2761
00002a36: JUMP
00002a37: JUMPDEST
00002a38: JUMPDEST
00002a39: PUSH0
00002a3a: PUSH2 0x2a45
00002a3d: DUP6
00002a3e: DUP3
00002a3f: DUP7
00002a40: ADD
00002a41: PUSH2 0x297d
00002a44: JUMP
00002a45: JUMPDEST
00002a46: SWAP3
00002a47: POP
00002a48: POP
00002a49: PUSH1 0x20
00002a4b: PUSH2 0x2a56
00002a4e: DUP6
00002a4f: DUP3
00002a50: DUP7
00002a51: ADD
00002a52: PUSH2 0x297d
00002a55: JUMP
00002a56: JUMPDEST
00002a57: SWAP2
00002a58: POP
00002a59: POP
00002a5a: SWAP3
00002a5b: POP
00002a5c: SWAP3
00002a5d: SWAP1
00002a5e: POP
00002a5f: JUMP
00002a60: JUMPDEST
00002a61: PUSH0
00002a62: PUSH2 0x0100
00002a65: DUP3
00002a66: ADD
00002a67: SWAP1
00002a68: POP
00002a69: PUSH2 0x2a74
00002a6c: PUSH0
00002a6d: DUP4
00002a6e: ADD
00002a6f: DUP12
00002a70: PUSH2 0x29cf
00002a73: JUMP
00002a74: JUMPDEST
00002a75: PUSH2 0x2a81
00002a78: PUSH1 0x20
00002a7a: DUP4
00002a7b: ADD
00002a7c: DUP11
00002a7d: PUSH2 0x29cf
00002a80: JUMP
00002a81: JUMPDEST
00002a82: PUSH2 0x2a8e
00002a85: PUSH1 0x40
00002a87: DUP4
00002a88: ADD
00002a89: DUP10
00002a8a: PUSH2 0x2821
00002a8d: JUMP
00002a8e: JUMPDEST
00002a8f: PUSH2 0x2a9b
00002a92: PUSH1 0x60
00002a94: DUP4
00002a95: ADD
00002a96: DUP9
00002a97: PUSH2 0x29cf
00002a9a: JUMP
00002a9b: JUMPDEST
00002a9c: PUSH2 0x2aa8
00002a9f: PUSH1 0x80
00002aa1: DUP4
00002aa2: ADD
00002aa3: DUP8
00002aa4: PUSH2 0x2821
00002aa7: JUMP
00002aa8: JUMPDEST
00002aa9: PUSH2 0x2ab5
00002aac: PUSH1 0xa0
00002aae: DUP4
00002aaf: ADD
00002ab0: DUP7
00002ab1: PUSH2 0x2821
00002ab4: JUMP
00002ab5: JUMPDEST
00002ab6: PUSH2 0x2ac2
00002ab9: PUSH1 0xc0
00002abb: DUP4
00002abc: ADD
00002abd: DUP6
00002abe: PUSH2 0x2821
00002ac1: JUMP
00002ac2: JUMPDEST
00002ac3: PUSH2 0x2acf
00002ac6: PUSH1 0xe0
00002ac8: DUP4
00002ac9: ADD
00002aca: DUP5
00002acb: PUSH2 0x2821
00002ace: JUMP
00002acf: JUMPDEST
00002ad0: SWAP10
00002ad1: SWAP9
00002ad2: POP
00002ad3: POP
00002ad4: POP
00002ad5: POP
00002ad6: POP
00002ad7: POP
00002ad8: POP
00002ad9: POP
00002ada: POP
00002adb: JUMP
00002adc: JUMPDEST
00002add: PUSH0
00002ade: PUSH2 0x2ae6
00002ae1: DUP3
00002ae2: PUSH2 0x28ee
00002ae5: JUMP
00002ae6: JUMPDEST
00002ae7: SWAP1
00002ae8: POP
00002ae9: SWAP2
00002aea: SWAP1
00002aeb: POP
00002aec: JUMP
00002aed: JUMPDEST
00002aee: PUSH2 0x2af6
00002af1: DUP2
00002af2: PUSH2 0x2adc
00002af5: JUMP
00002af6: JUMPDEST
00002af7: DUP2
00002af8: EQ
00002af9: PUSH2 0x2b00
00002afc: JUMPI
00002afd: PUSH0
00002afe: PUSH0
00002aff: REVERT
00002b00: JUMPDEST
00002b01: POP
00002b02: JUMP
00002b03: JUMPDEST
00002b04: PUSH0
00002b05: DUP2
00002b06: CALLDATALOAD
00002b07: SWAP1
00002b08: POP
00002b09: PUSH2 0x2b11
00002b0c: DUP2
00002b0d: PUSH2 0x2aed
00002b10: JUMP
00002b11: JUMPDEST
00002b12: SWAP3
00002b13: SWAP2
00002b14: POP
00002b15: POP
00002b16: JUMP
00002b17: JUMPDEST
00002b18: PUSH0
00002b19: PUSH0
00002b1a: PUSH0
00002b1b: PUSH1 0x60
00002b1d: DUP5
00002b1e: DUP7
00002b1f: SUB
00002b20: SLT
00002b21: ISZERO
00002b22: PUSH2 0x2b2e
00002b25: JUMPI
00002b26: PUSH2 0x2b2d
00002b29: PUSH2 0x2761
00002b2c: JUMP
00002b2d: JUMPDEST
00002b2e: JUMPDEST
00002b2f: PUSH0
00002b30: PUSH2 0x2b3b
00002b33: DUP7
00002b34: DUP3
00002b35: DUP8
00002b36: ADD
00002b37: PUSH2 0x2b03
00002b3a: JUMP
00002b3b: JUMPDEST
00002b3c: SWAP4
00002b3d: POP
00002b3e: POP
00002b3f: PUSH1 0x20
00002b41: PUSH2 0x2b4c
00002b44: DUP7
00002b45: DUP3
00002b46: DUP8
00002b47: ADD
00002b48: PUSH2 0x2915
00002b4b: JUMP
00002b4c: JUMPDEST
00002b4d: SWAP3
00002b4e: POP
00002b4f: POP
00002b50: PUSH1 0x40
00002b52: PUSH2 0x2b5d
00002b55: DUP7
00002b56: DUP3
00002b57: DUP8
00002b58: ADD
00002b59: PUSH2 0x297d
00002b5c: JUMP
00002b5d: JUMPDEST
00002b5e: SWAP2
00002b5f: POP
00002b60: POP
00002b61: SWAP3
00002b62: POP
00002b63: SWAP3
00002b64: POP
00002b65: SWAP3
00002b66: JUMP
00002b67: JUMPDEST
00002b68: PUSH0
00002b69: PUSH0
00002b6a: PUSH0
00002b6b: PUSH0
00002b6c: PUSH0
00002b6d: PUSH1 0xa0
00002b6f: DUP7
00002b70: DUP9
00002b71: SUB
00002b72: SLT
00002b73: ISZERO
00002b74: PUSH2 0x2b80
00002b77: JUMPI
00002b78: PUSH2 0x2b7f
00002b7b: PUSH2 0x2761
00002b7e: JUMP
00002b7f: JUMPDEST
00002b80: JUMPDEST
00002b81: PUSH0
00002b82: PUSH2 0x2b8d
00002b85: DUP9
00002b86: DUP3
00002b87: DUP10
00002b88: ADD
00002b89: PUSH2 0x2915
00002b8c: JUMP
00002b8d: JUMPDEST
00002b8e: SWAP6
00002b8f: POP
00002b90: POP
00002b91: PUSH1 0x20
00002b93: PUSH2 0x2b9e
00002b96: DUP9
00002b97: DUP3
00002b98: DUP10
00002b99: ADD
00002b9a: PUSH2 0x297d
00002b9d: JUMP
00002b9e: JUMPDEST
00002b9f: SWAP5
00002ba0: POP
00002ba1: POP
00002ba2: PUSH1 0x40
00002ba4: PUSH2 0x2baf
00002ba7: DUP9
00002ba8: DUP3
00002ba9: DUP10
00002baa: ADD
00002bab: PUSH2 0x2915
00002bae: JUMP
00002baf: JUMPDEST
00002bb0: SWAP4
00002bb1: POP
00002bb2: POP
00002bb3: PUSH1 0x60
00002bb5: PUSH2 0x2bc0
00002bb8: DUP9
00002bb9: DUP3
00002bba: DUP10
00002bbb: ADD
00002bbc: PUSH2 0x297d
00002bbf: JUMP
00002bc0: JUMPDEST
00002bc1: SWAP3
00002bc2: POP
00002bc3: POP
00002bc4: PUSH1 0x80
00002bc6: PUSH2 0x2bd1
00002bc9: DUP9
00002bca: DUP3
00002bcb: DUP10
00002bcc: ADD
00002bcd: PUSH2 0x297d
00002bd0: JUMP
00002bd1: JUMPDEST
00002bd2: SWAP2
00002bd3: POP
00002bd4: POP
00002bd5: SWAP3
00002bd6: SWAP6
00002bd7: POP
00002bd8: SWAP3
00002bd9: SWAP6
00002bda: SWAP1
00002bdb: SWAP4
00002bdc: POP
00002bdd: JUMP
00002bde: JUMPDEST
00002bdf: PUSH0
00002be0: PUSH1 0x20
00002be2: DUP3
00002be3: DUP5
00002be4: SUB
00002be5: SLT
00002be6: ISZERO
00002be7: PUSH2 0x2bf3
00002bea: JUMPI
00002beb: PUSH2 0x2bf2
00002bee: PUSH2 0x2761
00002bf1: JUMP
00002bf2: JUMPDEST
00002bf3: JUMPDEST
00002bf4: PUSH0
00002bf5: PUSH2 0x2c00
00002bf8: DUP5
00002bf9: DUP3
00002bfa: DUP6
00002bfb: ADD
00002bfc: PUSH2 0x2915
00002bff: JUMP
00002c00: JUMPDEST
00002c01: SWAP2
00002c02: POP
00002c03: POP
00002c04: SWAP3
00002c05: SWAP2
00002c06: POP
00002c07: POP
00002c08: JUMP
00002c09: JUMPDEST
00002c0a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002c2b: PUSH0
00002c2c: MSTORE
00002c2d: PUSH1 0x11
00002c2f: PUSH1 0x04
00002c31: MSTORE
00002c32: PUSH1 0x24
00002c34: PUSH0
00002c35: REVERT
00002c36: JUMPDEST
00002c37: PUSH0
00002c38: PUSH2 0x2c40
00002c3b: DUP3
00002c3c: PUSH2 0x2818
00002c3f: JUMP
00002c40: JUMPDEST
00002c41: SWAP2
00002c42: POP
00002c43: PUSH2 0x2c4b
00002c46: DUP4
00002c47: PUSH2 0x2818
00002c4a: JUMP
00002c4b: JUMPDEST
00002c4c: SWAP3
00002c4d: POP
00002c4e: DUP3
00002c4f: DUP3
00002c50: MUL
00002c51: PUSH2 0x2c59
00002c54: DUP2
00002c55: PUSH2 0x2818
00002c58: JUMP
00002c59: JUMPDEST
00002c5a: SWAP2
00002c5b: POP
00002c5c: DUP3
00002c5d: DUP3
00002c5e: DIV
00002c5f: DUP5
00002c60: EQ
00002c61: DUP4
00002c62: ISZERO
00002c63: OR
00002c64: PUSH2 0x2c70
00002c67: JUMPI
00002c68: PUSH2 0x2c6f
00002c6b: PUSH2 0x2c09
00002c6e: JUMP
00002c6f: JUMPDEST
00002c70: JUMPDEST
00002c71: POP
00002c72: SWAP3
00002c73: SWAP2
00002c74: POP
00002c75: POP
00002c76: JUMP
00002c77: JUMPDEST
00002c78: PUSH0
00002c79: PUSH2 0x2c81
00002c7c: DUP3
00002c7d: PUSH2 0x2818
00002c80: JUMP
00002c81: JUMPDEST
00002c82: SWAP2
00002c83: POP
00002c84: PUSH2 0x2c8c
00002c87: DUP4
00002c88: PUSH2 0x2818
00002c8b: JUMP
00002c8c: JUMPDEST
00002c8d: SWAP3
00002c8e: POP
00002c8f: DUP3
00002c90: DUP3
00002c91: SUB
00002c92: SWAP1
00002c93: POP
00002c94: DUP2
00002c95: DUP2
00002c96: GT
00002c97: ISZERO
00002c98: PUSH2 0x2ca4
00002c9b: JUMPI
00002c9c: PUSH2 0x2ca3
00002c9f: PUSH2 0x2c09
00002ca2: JUMP
00002ca3: JUMPDEST
00002ca4: JUMPDEST
00002ca5: SWAP3
00002ca6: SWAP2
00002ca7: POP
00002ca8: POP
00002ca9: JUMP
00002caa: JUMPDEST
00002cab: PUSH0
00002cac: PUSH1 0x40
00002cae: DUP3
00002caf: ADD
00002cb0: SWAP1
00002cb1: POP
00002cb2: PUSH2 0x2cbd
00002cb5: PUSH0
00002cb6: DUP4
00002cb7: ADD
00002cb8: DUP6
00002cb9: PUSH2 0x2821
00002cbc: JUMP
00002cbd: JUMPDEST
00002cbe: PUSH2 0x2cca
00002cc1: PUSH1 0x20
00002cc3: DUP4
00002cc4: ADD
00002cc5: DUP5
00002cc6: PUSH2 0x2821
00002cc9: JUMP
00002cca: JUMPDEST
00002ccb: SWAP4
00002ccc: SWAP3
00002ccd: POP
00002cce: POP
00002ccf: POP
00002cd0: JUMP
00002cd1: JUMPDEST
00002cd2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002cf3: PUSH0
00002cf4: MSTORE
00002cf5: PUSH1 0x12
00002cf7: PUSH1 0x04
00002cf9: MSTORE
00002cfa: PUSH1 0x24
00002cfc: PUSH0
00002cfd: REVERT
00002cfe: JUMPDEST
00002cff: PUSH0
00002d00: PUSH2 0x2d08
00002d03: DUP3
00002d04: PUSH2 0x2818
00002d07: JUMP
00002d08: JUMPDEST
00002d09: SWAP2
00002d0a: POP
00002d0b: PUSH2 0x2d13
00002d0e: DUP4
00002d0f: PUSH2 0x2818
00002d12: JUMP
00002d13: JUMPDEST
00002d14: SWAP3
00002d15: POP
00002d16: DUP3
00002d17: PUSH2 0x2d23
00002d1a: JUMPI
00002d1b: PUSH2 0x2d22
00002d1e: PUSH2 0x2cd1
00002d21: JUMP
00002d22: JUMPDEST
00002d23: JUMPDEST
00002d24: DUP3
00002d25: DUP3
00002d26: MOD
00002d27: SWAP1
00002d28: POP
00002d29: SWAP3
00002d2a: SWAP2
00002d2b: POP
00002d2c: POP
00002d2d: JUMP
00002d2e: JUMPDEST
00002d2f: PUSH0
00002d30: PUSH2 0x2d38
00002d33: DUP3
00002d34: PUSH2 0x2818
00002d37: JUMP
00002d38: JUMPDEST
00002d39: SWAP2
00002d3a: POP
00002d3b: PUSH2 0x2d43
00002d3e: DUP4
00002d3f: PUSH2 0x2818
00002d42: JUMP
00002d43: JUMPDEST
00002d44: SWAP3
00002d45: POP
00002d46: DUP3
00002d47: PUSH2 0x2d53
00002d4a: JUMPI
00002d4b: PUSH2 0x2d52
00002d4e: PUSH2 0x2cd1
00002d51: JUMP
00002d52: JUMPDEST
00002d53: JUMPDEST
00002d54: DUP3
00002d55: DUP3
00002d56: DIV
00002d57: SWAP1
00002d58: POP
00002d59: SWAP3
00002d5a: SWAP2
00002d5b: POP
00002d5c: POP
00002d5d: JUMP
00002d5e: JUMPDEST
00002d5f: PUSH0
00002d60: PUSH2 0x2d68
00002d63: DUP3
00002d64: PUSH2 0x2818
00002d67: JUMP
00002d68: JUMPDEST
00002d69: SWAP2
00002d6a: POP
00002d6b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002d8c: DUP3
00002d8d: SUB
00002d8e: PUSH2 0x2d9a
00002d91: JUMPI
00002d92: PUSH2 0x2d99
00002d95: PUSH2 0x2c09
00002d98: JUMP
00002d99: JUMPDEST
00002d9a: JUMPDEST
00002d9b: PUSH1 0x01
00002d9d: DUP3
00002d9e: ADD
00002d9f: SWAP1
00002da0: POP
00002da1: SWAP2
00002da2: SWAP1
00002da3: POP
00002da4: JUMP
00002da5: JUMPDEST
00002da6: PUSH0
00002da7: PUSH1 0x80
00002da9: DUP3
00002daa: ADD
00002dab: SWAP1
00002dac: POP
00002dad: PUSH2 0x2db8
00002db0: PUSH0
00002db1: DUP4
00002db2: ADD
00002db3: DUP8
00002db4: PUSH2 0x2821
00002db7: JUMP
00002db8: JUMPDEST
00002db9: PUSH2 0x2dc5
00002dbc: PUSH1 0x20
00002dbe: DUP4
00002dbf: ADD
00002dc0: DUP7
00002dc1: PUSH2 0x29cf
00002dc4: JUMP
00002dc5: JUMPDEST
00002dc6: PUSH2 0x2dd2
00002dc9: PUSH1 0x40
00002dcb: DUP4
00002dcc: ADD
00002dcd: DUP6
00002dce: PUSH2 0x2821
00002dd1: JUMP
00002dd2: JUMPDEST
00002dd3: PUSH2 0x2ddf
00002dd6: PUSH1 0x60
00002dd8: DUP4
00002dd9: ADD
00002dda: DUP5
00002ddb: PUSH2 0x2821
00002dde: JUMP
00002ddf: JUMPDEST
00002de0: SWAP6
00002de1: SWAP5
00002de2: POP
00002de3: POP
00002de4: POP
00002de5: POP
00002de6: POP
00002de7: JUMP
00002de8: JUMPDEST
00002de9: PUSH0
00002dea: DUP2
00002deb: SWAP1
00002dec: POP
00002ded: SWAP2
00002dee: SWAP1
00002def: POP
00002df0: JUMP
00002df1: JUMPDEST
00002df2: PUSH0
00002df3: PUSH8 0xffffffffffffffff
00002dfc: DUP3
00002dfd: AND
00002dfe: SWAP1
00002dff: POP
00002e00: SWAP2
00002e01: SWAP1
00002e02: POP
00002e03: JUMP
00002e04: JUMPDEST
00002e05: PUSH0
00002e06: DUP2
00002e07: SWAP1
00002e08: POP
00002e09: SWAP2
00002e0a: SWAP1
00002e0b: POP
00002e0c: JUMP
00002e0d: JUMPDEST
00002e0e: PUSH0
00002e0f: PUSH2 0x2e27
00002e12: PUSH2 0x2e22
00002e15: PUSH2 0x2e1d
00002e18: DUP5
00002e19: PUSH2 0x2de8
00002e1c: JUMP
00002e1d: JUMPDEST
00002e1e: PUSH2 0x2e04
00002e21: JUMP
00002e22: JUMPDEST
00002e23: PUSH2 0x2df1
00002e26: JUMP
00002e27: JUMPDEST
00002e28: SWAP1
00002e29: POP
00002e2a: SWAP2
00002e2b: SWAP1
00002e2c: POP
00002e2d: JUMP
00002e2e: JUMPDEST
00002e2f: PUSH2 0x2e37
00002e32: DUP2
00002e33: PUSH2 0x2e0d
00002e36: JUMP
00002e37: JUMPDEST
00002e38: DUP3
00002e39: MSTORE
00002e3a: POP
00002e3b: POP
00002e3c: JUMP
00002e3d: JUMPDEST
00002e3e: PUSH0
00002e3f: PUSH1 0x20
00002e41: DUP3
00002e42: ADD
00002e43: SWAP1
00002e44: POP
00002e45: PUSH2 0x2e50
00002e48: PUSH0
00002e49: DUP4
00002e4a: ADD
00002e4b: DUP5
00002e4c: PUSH2 0x2e2e
00002e4f: JUMP
00002e50: JUMPDEST
00002e51: SWAP3
00002e52: SWAP2
00002e53: POP
00002e54: POP
00002e55: JUMP
00002e56: JUMPDEST
00002e57: PUSH0
00002e58: PUSH1 0x40
00002e5a: DUP3
00002e5b: ADD
00002e5c: SWAP1
00002e5d: POP
00002e5e: PUSH2 0x2e69
00002e61: PUSH0
00002e62: DUP4
00002e63: ADD
00002e64: DUP6
00002e65: PUSH2 0x29cf
00002e68: JUMP
00002e69: JUMPDEST
00002e6a: PUSH2 0x2e76
00002e6d: PUSH1 0x20
00002e6f: DUP4
00002e70: ADD
00002e71: DUP5
00002e72: PUSH2 0x2821
00002e75: JUMP
00002e76: JUMPDEST
00002e77: SWAP4
00002e78: SWAP3
00002e79: POP
00002e7a: POP
00002e7b: POP
00002e7c: JUMP
00002e7d: JUMPDEST
00002e7e: PUSH0
00002e7f: DUP2
00002e80: SWAP1
00002e81: POP
00002e82: SWAP3
00002e83: SWAP2
00002e84: POP
00002e85: POP
00002e86: JUMP
00002e87: JUMPDEST
00002e88: POP
00002e89: JUMP
00002e8a: JUMPDEST
00002e8b: PUSH0
00002e8c: PUSH2 0x2e95
00002e8f: PUSH0
00002e90: DUP4
00002e91: PUSH2 0x2e7d
00002e94: JUMP
00002e95: JUMPDEST
00002e96: SWAP2
00002e97: POP
00002e98: PUSH2 0x2ea0
00002e9b: DUP3
00002e9c: PUSH2 0x2e87
00002e9f: JUMP
00002ea0: JUMPDEST
00002ea1: PUSH0
00002ea2: DUP3
00002ea3: ADD
00002ea4: SWAP1
00002ea5: POP
00002ea6: SWAP2
00002ea7: SWAP1
00002ea8: POP
00002ea9: JUMP
00002eaa: JUMPDEST
00002eab: PUSH0
00002eac: PUSH2 0x2eb4
00002eaf: DUP3
00002eb0: PUSH2 0x2e8a
00002eb3: JUMP
00002eb4: JUMPDEST
00002eb5: SWAP2
00002eb6: POP
00002eb7: DUP2
00002eb8: SWAP1
00002eb9: POP
00002eba: SWAP2
00002ebb: SWAP1
00002ebc: POP
00002ebd: JUMP
00002ebe: JUMPDEST
00002ebf: PUSH0
00002ec0: DUP2
00002ec1: SWAP1
00002ec2: POP
00002ec3: SWAP2
00002ec4: SWAP1
00002ec5: POP
00002ec6: JUMP
00002ec7: JUMPDEST
00002ec8: PUSH0
00002ec9: PUSH2 0x2ee1
00002ecc: PUSH2 0x2edc
00002ecf: PUSH2 0x2ed7
00002ed2: DUP5
00002ed3: PUSH2 0x2ebe
00002ed6: JUMP
00002ed7: JUMPDEST
00002ed8: PUSH2 0x2e04
00002edb: JUMP
00002edc: JUMPDEST
00002edd: PUSH2 0x2818
00002ee0: JUMP
00002ee1: JUMPDEST
00002ee2: SWAP1
00002ee3: POP
00002ee4: SWAP2
00002ee5: SWAP1
00002ee6: POP
00002ee7: JUMP
00002ee8: JUMPDEST
00002ee9: PUSH2 0x2ef1
00002eec: DUP2
00002eed: PUSH2 0x2ec7
00002ef0: JUMP
00002ef1: JUMPDEST
00002ef2: DUP3
00002ef3: MSTORE
00002ef4: POP
00002ef5: POP
00002ef6: JUMP
00002ef7: JUMPDEST
00002ef8: PUSH0
00002ef9: PUSH1 0x40
00002efb: DUP3
00002efc: ADD
00002efd: SWAP1
00002efe: POP
00002eff: PUSH2 0x2f0a
00002f02: PUSH0
00002f03: DUP4
00002f04: ADD
00002f05: DUP6
00002f06: PUSH2 0x29cf
00002f09: JUMP
00002f0a: JUMPDEST
00002f0b: PUSH2 0x2f17
00002f0e: PUSH1 0x20
00002f10: DUP4
00002f11: ADD
00002f12: DUP5
00002f13: PUSH2 0x2ee8
00002f16: JUMP
00002f17: JUMPDEST
00002f18: SWAP4
00002f19: SWAP3
00002f1a: POP
00002f1b: POP
00002f1c: POP
00002f1d: JUMP
00002f1e: JUMPDEST
00002f1f: PUSH0
00002f20: PUSH1 0x40
00002f22: DUP3
00002f23: ADD
00002f24: SWAP1
00002f25: POP
00002f26: PUSH2 0x2f31
00002f29: PUSH0
00002f2a: DUP4
00002f2b: ADD
00002f2c: DUP6
00002f2d: PUSH2 0x29cf
00002f30: JUMP
00002f31: JUMPDEST
00002f32: PUSH2 0x2f3e
00002f35: PUSH1 0x20
00002f37: DUP4
00002f38: ADD
00002f39: DUP5
00002f3a: PUSH2 0x28a7
00002f3d: JUMP
00002f3e: JUMPDEST
00002f3f: SWAP4
00002f40: SWAP3
00002f41: POP
00002f42: POP
00002f43: POP
00002f44: JUMP
00002f45: INVALID
00002f46: LOG2
00002f47: PUSH5 0x6970667358
00002f4d: UNKNOWN(0x22)
00002f4e: SLT
00002f4f: KECCAK256
00002f50: LT
00002f51: DUP4
00002f52: PUSH6 0xc2fbfaaf9b7f
00002f59: UNKNOWN(0xB8)
00002f5a: DUP15
00002f5b: UNKNOWN(0xB4)
00002f5c: UNKNOWN(0xED)
00002f5d: UNKNOWN(0xBD)
00002f5e: UNKNOWN(0xEE)
00002f5f: UNKNOWN(0xCA)
00002f60: UNKNOWN(0x2E)
00002f61: UNKNOWN(0xDC)
00002f62: CHAINID
00002f63: UNKNOWN(0xD6)
00002f64: JUMP
00002f65: UNKNOWN(0x29)
00002f66: CALLER
00002f67: UNKNOWN(0xAC)
00002f68: UNKNOWN(0xCA)
00002f69: UNKNOWN(0xB2)
00002f6a: UNKNOWN(0x21)
00002f6b: UNKNOWN(0xCC)
00002f6c: UNKNOWN(0xF9)
00002f6d: UNKNOWN(0xB1)
00002f6e: UNKNOWN(0xAA)
00002f6f: TIMESTAMP
00002f70: PUSH5 0x736f6c6343
00002f76: STOP
00002f77: ADDMOD
00002f78: SHR
00002f79: STOP
00002f7a: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xa5be53362eaaf88f81ecdd5e70dac04c5454c4fc5918a7dbb415bac701413653
call_targets: 0x83b7ce402a0e756e901c4a9d1cafa27ca9572afc
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa5be53362eaaf88f81ecdd5e70dac04c5454c4fc5918a7dbb415bac701413653",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x83b7ce402a0e756e901c4a9d1cafa27ca9572afc"
    ],
    "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": "0xcc1b4bf6",
            "selector": "0xcc1b4bf6",
            "calldata_variants": [
                "0xcc1b4bf6",
                "0xcc1b4bf60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd547741f",
            "selector": "0xd547741f",
            "calldata_variants": [
                "0xd547741f",
                "0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xda35a26f",
            "selector": "0xda35a26f",
            "calldata_variants": [
                "0xda35a26f",
                "0xda35a26f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe1f21c67",
            "selector": "0xe1f21c67",
            "calldata_variants": [
                "0xe1f21c67",
                "0xe1f21c670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf501148c",
            "selector": "0xf501148c",
            "calldata_variants": [
                "0xf501148c",
                "0xf501148c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91d14854",
            "selector": "0x91d14854",
            "calldata_variants": [
                "0x91d14854",
                "0x91d148540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x97713592",
            "selector": "0x97713592",
            "calldata_variants": [
                "0x97713592",
                "0x977135920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa217fddf",
            "selector": "0xa217fddf",
            "calldata_variants": [
                "0xa217fddf",
                "0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 9087,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9673,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant_zero",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 2613,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3672,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xa5be53362eaaf88f81ecdd5e70dac04c5454c4fc5918a7dbb415bac701413653
call_targets: 0x83b7ce402a0e756e901c4a9d1cafa27ca9572afc
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa5be53362eaaf88f81ecdd5e70dac04c5454c4fc5918a7dbb415bac701413653",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x83b7ce402a0e756e901c4a9d1cafa27ca9572afc"
    ],
    "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": "0xcc1b4bf6",
            "selector": "0xcc1b4bf6",
            "calldata_variants": [
                "0xcc1b4bf6",
                "0xcc1b4bf60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd547741f",
            "selector": "0xd547741f",
            "calldata_variants": [
                "0xd547741f",
                "0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xda35a26f",
            "selector": "0xda35a26f",
            "calldata_variants": [
                "0xda35a26f",
                "0xda35a26f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe1f21c67",
            "selector": "0xe1f21c67",
            "calldata_variants": [
                "0xe1f21c67",
                "0xe1f21c670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf501148c",
            "selector": "0xf501148c",
            "calldata_variants": [
                "0xf501148c",
                "0xf501148c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91d14854",
            "selector": "0x91d14854",
            "calldata_variants": [
                "0x91d14854",
                "0x91d148540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x97713592",
            "selector": "0x97713592",
            "calldata_variants": [
                "0x97713592",
                "0x977135920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa217fddf",
            "selector": "0xa217fddf",
            "calldata_variants": [
                "0xa217fddf",
                "0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 9087,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 2613,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3672,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}