Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ...  contract cVToken is IERC20 *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function burn(uint256 amount)    - function transferMany(address[] calld ...    - function permit(address owner, addres ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-29
*/

// Dependency file: @openzeppelin/contracts/token/ERC20/IERC20.sol

// SPDX-License-Identifier: MIT

// pragma solidity ^0.6.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * // importANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}


// Dependency file: @openzeppelin/contracts/math/SafeMath.sol


// pragma solidity ^0.6.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}


// Root file: contracts/cVToken.sol

pragma solidity 0.6.12;

// import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
// import "@openzeppelin/contracts/math/SafeMath.sol";


contract cVToken is IERC20 {
    using SafeMath for uint256;

    uint256 constant private MAX_UINT256 = ~uint256(0);

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name = "cVToken";
    string private _symbol = "cV";
    uint8 private _decimals = 18;

    bytes32 public DOMAIN_SEPARATOR;
    // keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    bytes32 public constant PERMIT_TYPEHASH = 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
    mapping(address => uint256) public nonces;

    constructor () public {
        _totalSupply = 9931143978000000000000000000; // https://etherscan.io/address/0xda6cb58a0d0c01610a29c5a65c303e13e885887c
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);

        uint256 chainId;
        assembly {
            chainId := chainid()
        }

        DOMAIN_SEPARATOR = keccak256(
            abi.encode(
                keccak256('EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)'),
                keccak256(bytes(_name)),
                keccak256(bytes('1')),
                chainId,
                address(this)
            )
        );    
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless {_setupDecimals} is
     * called.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view override returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);
        if (_allowances[sender][msg.sender] < MAX_UINT256) { // treat MAX_UINT256 approve as infinite approval
            _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount, "ERC20: transfer amount exceeds allowance"));
        }
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 amount) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(msg.sender, amount);
    }

    function transferMany(address[] calldata recipients, uint256[] calldata amounts) external {
        require(recipients.length == amounts.length, "cVToken: Wrong array length");

        uint256 total = 0;
        for (uint256 i = 0; i < amounts.length; i++) {
            total = total.add(amounts[i]);
        }

        _balances[msg.sender] = _balances[msg.sender].sub(total, "ERC20: transfer amount exceeds balance");

        for (uint256 i = 0; i < recipients.length; i++) {
            address recipient = recipients[i];
            uint256 amount = amounts[i];
            require(recipient != address(0), "ERC20: transfer to the zero address");

            _balances[recipient] = _balances[recipient].add(amount);
            emit Transfer(msg.sender, recipient, amount);
        }
    }

    function permit(address owner, address spender, uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s) external {
        require(deadline >= block.timestamp, 'cVToken: EXPIRED');
        bytes32 digest = keccak256(
            abi.encodePacked(
                '\x19\x01',
                DOMAIN_SEPARATOR,
                keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, nonces[owner]++, deadline))
            )
        );

        address recoveredAddress = ecrecover(digest, v, r, s);

        require(recoveredAddress != address(0) && recoveredAddress == owner, 'cVToken: INVALID_SIGNATURE');
        _approve(owner, spender, value);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"recipients","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"}],"name":"transferMany","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60c0604052600760808190526631ab2a37b5b2b760c91b60a09081526200002a9160039190620001d9565b506040805180820190915260028082526131ab60f11b60209092019182526200005691600491620001d9565b506005805460ff191660121790553480156200007157600080fd5b506b2016d989cf89d23182680000600281905533600081815260208181526040808320859055805194855251929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a360004690507f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60036040518082805460018160011615610100020316600290048015620001525780601f106200012f57610100808354040283529182019162000152565b820191906000526020600020905b8154815290600101906020018083116200013d575b505060408051918290038220828201825260018352603160f81b602093840152815180840196909652858201527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606086015260808501959095523060a0808601919091528551808603909101815260c09094019094525050805191012060065562000275565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200021c57805160ff19168380011785556200024c565b828001600101855582156200024c579182015b828111156200024c5782518255916020019190600101906200022f565b506200025a9291506200025e565b5090565b5b808211156200025a57600081556001016200025f565b6114cf80620002856000396000f3fe608060405234801561001057600080fd5b506004361061011b5760003560e01c806342966c68116100b2578063a457c2d711610081578063b7fc661211610066578063b7fc6612146103ad578063d505accf1461046f578063dd62ed3e146104cd5761011b565b8063a457c2d71461033b578063a9059cbb146103745761011b565b806342966c68146102ae57806370a08231146102cd5780637ecebe001461030057806395d89b41146103335761011b565b806330adf81f116100ee57806330adf81f14610247578063313ce5671461024f5780633644e5151461026d57806339509351146102755761011b565b806306fdde0314610120578063095ea7b31461019d57806318160ddd146101ea57806323b872dd14610204575b600080fd5b610128610508565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561016257818101518382015260200161014a565b50505050905090810190601f16801561018f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101d6600480360360408110156101b357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356105bc565b604080519115158252519081900360200190f35b6101f26105d2565b60408051918252519081900360200190f35b6101d66004803603606081101561021a57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013590911690604001356105d8565b6101f26106a6565b6102576106ca565b6040805160ff9092168252519081900360200190f35b6101f26106d3565b6101d66004803603604081101561028b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356106d9565b6102cb600480360360208110156102c457600080fd5b503561071c565b005b6101f2600480360360208110156102e357600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610729565b6101f26004803603602081101561031657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610751565b610128610763565b6101d66004803603604081101561035157600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356107e2565b6101d66004803603604081101561038a57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020013561083e565b6102cb600480360360408110156103c357600080fd5b8101906020810181356401000000008111156103de57600080fd5b8201836020820111156103f057600080fd5b8035906020019184602083028401116401000000008311171561041257600080fd5b91939092909160208101903564010000000081111561043057600080fd5b82018360208201111561044257600080fd5b8035906020019184602083028401116401000000008311171561046457600080fd5b50909250905061084b565b6102cb600480360360e081101561048557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135610a99565b6101f2600480360360408110156104e357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516610d65565b60038054604080516020601f60027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105b25780601f10610587576101008083540402835291602001916105b2565b820191906000526020600020905b81548152906001019060200180831161059557829003601f168201915b5050505050905090565b60006105c9338484610d9d565b50600192915050565b60025490565b60006105e5848484610ee4565b73ffffffffffffffffffffffffffffffffffffffff841660009081526001602090815260408083203384529091529020547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff111561069c5761069c8433610697856040518060600160405280602881526020016113e36028913973ffffffffffffffffffffffffffffffffffffffff8a16600090815260016020908152604080832033845290915290205491906110a9565b610d9d565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b60055460ff1690565b60065481565b33600081815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716845290915281205490916105c9918590610697908661115a565b61072633826111d5565b50565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b60076020526000908152604090205481565b60048054604080516020601f60027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105b25780601f10610587576101008083540402835291602001916105b2565b60006105c93384610697856040518060600160405280602581526020016114756025913933600090815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8d16845290915290205491906110a9565b60006105c9338484610ee4565b8281146108b957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f6356546f6b656e3a2057726f6e67206172726179206c656e6774680000000000604482015290519081900360640190fd5b6000805b828110156108f4576108ea8484838181106108d457fe5b905060200201358361115a90919063ffffffff16565b91506001016108bd565b50610929816040518060600160405280602681526020016113bd602691393360009081526020819052604090205491906110a9565b336000908152602081905260408120919091555b84811015610a9157600086868381811061095357fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff169050600085858481811061098057fe5b602002919091013591505073ffffffffffffffffffffffffffffffffffffffff82166109f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806113566023913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216600090815260208190526040902054610a27908261115a565b73ffffffffffffffffffffffffffffffffffffffff8316600081815260208181526040918290209390935580518481529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3505060010161093d565b505050505050565b42841015610b0857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f6356546f6b656e3a204558504952454400000000000000000000000000000000604482015290519081900360640190fd5b60065473ffffffffffffffffffffffffffffffffffffffff80891660008181526007602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015610c69573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590610ce457508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610d4f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f6356546f6b656e3a20494e56414c49445f5349474e4154555245000000000000604482015290519081900360640190fd5b610d5a898989610d9d565b505050505050505050565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260016020908152604080832093909416825291909152205490565b73ffffffffffffffffffffffffffffffffffffffff8316610e09576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806114516024913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216610e75576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018061139b6022913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316610f50576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061142c6025913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216610fbc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806113566023913960400191505060405180910390fd5b611006816040518060600160405280602681526020016113bd6026913973ffffffffffffffffffffffffffffffffffffffff861660009081526020819052604090205491906110a9565b73ffffffffffffffffffffffffffffffffffffffff8085166000908152602081905260408082209390935590841681522054611042908261115a565b73ffffffffffffffffffffffffffffffffffffffff8084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008184841115611152576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156111175781810151838201526020016110ff565b50505050905090810190601f1680156111445780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6000828201838110156111ce57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216611241576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061140b6021913960400191505060405180910390fd5b61128b816040518060600160405280602281526020016113796022913973ffffffffffffffffffffffffffffffffffffffff851660009081526020819052604090205491906110a9565b73ffffffffffffffffffffffffffffffffffffffff83166000908152602081905260409020556002546112be9082611313565b60025560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b60006111ce83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110a956fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220d3af0e37cead84aff8b42169ebf280ce7da0da2b25c77837e63bb673024f30a964736f6c634300060c0033

0x608060405234801561001057600080fd5b506004361061011b5760003560e01c806342966c68116100b2578063a457c2d711610081578063b7fc661211610066578063b7fc6612146103ad578063d505accf1461046f578063dd62ed3e146104cd5761011b565b8063a457c2d71461033b578063a9059cbb146103745761011b565b806342966c68146102ae57806370a08231146102cd5780637ecebe001461030057806395d89b41146103335761011b565b806330adf81f116100ee57806330adf81f14610247578063313ce5671461024f5780633644e5151461026d57806339509351146102755761011b565b806306fdde0314610120578063095ea7b31461019d57806318160ddd146101ea57806323b872dd14610204575b600080fd5b610128610508565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561016257818101518382015260200161014a565b50505050905090810190601f16801561018f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101d6600480360360408110156101b357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356105bc565b604080519115158252519081900360200190f35b6101f26105d2565b60408051918252519081900360200190f35b6101d66004803603606081101561021a57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013590911690604001356105d8565b6101f26106a6565b6102576106ca565b6040805160ff9092168252519081900360200190f35b6101f26106d3565b6101d66004803603604081101561028b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356106d9565b6102cb600480360360208110156102c457600080fd5b503561071c565b005b6101f2600480360360208110156102e357600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610729565b6101f26004803603602081101561031657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610751565b610128610763565b6101d66004803603604081101561035157600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356107e2565b6101d66004803603604081101561038a57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020013561083e565b6102cb600480360360408110156103c357600080fd5b8101906020810181356401000000008111156103de57600080fd5b8201836020820111156103f057600080fd5b8035906020019184602083028401116401000000008311171561041257600080fd5b91939092909160208101903564010000000081111561043057600080fd5b82018360208201111561044257600080fd5b8035906020019184602083028401116401000000008311171561046457600080fd5b50909250905061084b565b6102cb600480360360e081101561048557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135610a99565b6101f2600480360360408110156104e357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516610d65565b60038054604080516020601f60027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105b25780601f10610587576101008083540402835291602001916105b2565b820191906000526020600020905b81548152906001019060200180831161059557829003601f168201915b5050505050905090565b60006105c9338484610d9d565b50600192915050565b60025490565b60006105e5848484610ee4565b73ffffffffffffffffffffffffffffffffffffffff841660009081526001602090815260408083203384529091529020547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff111561069c5761069c8433610697856040518060600160405280602881526020016113e36028913973ffffffffffffffffffffffffffffffffffffffff8a16600090815260016020908152604080832033845290915290205491906110a9565b610d9d565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b60055460ff1690565b60065481565b33600081815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716845290915281205490916105c9918590610697908661115a565b61072633826111d5565b50565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b60076020526000908152604090205481565b60048054604080516020601f60027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105b25780601f10610587576101008083540402835291602001916105b2565b60006105c93384610697856040518060600160405280602581526020016114756025913933600090815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8d16845290915290205491906110a9565b60006105c9338484610ee4565b8281146108b957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f6356546f6b656e3a2057726f6e67206172726179206c656e6774680000000000604482015290519081900360640190fd5b6000805b828110156108f4576108ea8484838181106108d457fe5b905060200201358361115a90919063ffffffff16565b91506001016108bd565b50610929816040518060600160405280602681526020016113bd602691393360009081526020819052604090205491906110a9565b336000908152602081905260408120919091555b84811015610a9157600086868381811061095357fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff169050600085858481811061098057fe5b602002919091013591505073ffffffffffffffffffffffffffffffffffffffff82166109f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806113566023913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216600090815260208190526040902054610a27908261115a565b73ffffffffffffffffffffffffffffffffffffffff8316600081815260208181526040918290209390935580518481529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3505060010161093d565b505050505050565b42841015610b0857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f6356546f6b656e3a204558504952454400000000000000000000000000000000604482015290519081900360640190fd5b60065473ffffffffffffffffffffffffffffffffffffffff80891660008181526007602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015610c69573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590610ce457508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610d4f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f6356546f6b656e3a20494e56414c49445f5349474e4154555245000000000000604482015290519081900360640190fd5b610d5a898989610d9d565b505050505050505050565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260016020908152604080832093909416825291909152205490565b73ffffffffffffffffffffffffffffffffffffffff8316610e09576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806114516024913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216610e75576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018061139b6022913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316610f50576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061142c6025913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216610fbc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806113566023913960400191505060405180910390fd5b611006816040518060600160405280602681526020016113bd6026913973ffffffffffffffffffffffffffffffffffffffff861660009081526020819052604090205491906110a9565b73ffffffffffffffffffffffffffffffffffffffff8085166000908152602081905260408082209390935590841681522054611042908261115a565b73ffffffffffffffffffffffffffffffffffffffff8084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008184841115611152576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156111175781810151838201526020016110ff565b50505050905090810190601f1680156111445780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6000828201838110156111ce57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216611241576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061140b6021913960400191505060405180910390fd5b61128b816040518060600160405280602281526020016113796022913973ffffffffffffffffffffffffffffffffffffffff851660009081526020819052604090205491906110a9565b73ffffffffffffffffffffffffffffffffffffffff83166000908152602081905260409020556002546112be9082611313565b60025560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b60006111ce83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110a956fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220d3af0e37cead84aff8b42169ebf280ce7da0da2b25c77837e63bb673024f30a964736f6c634300060c0033

8439:10239:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9938:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12042:167;;;;;;;;;;;;;;;;-1:-1:-1;12042:167:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;11013:100;;;:::i;:::-;;;;;;;;;;;;;;;;12683:444;;;;;;;;;;;;;;;;-1:-1:-1;12683:444:0;;;;;;;;;;;;;;;;;;:::i;8992:108::-;;;:::i;10865:83::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8849:31;;;:::i;13536:214::-;;;;;;;;;;;;;;;;-1:-1:-1;13536:214:0;;;;;;;;;:::i;17075:89::-;;;;;;;;;;;;;;;;-1:-1:-1;17075:89:0;;:::i;:::-;;11176:119;;;;;;;;;;;;;;;;-1:-1:-1;11176:119:0;;;;:::i;9107:41::-;;;;;;;;;;;;;;;;-1:-1:-1;9107:41:0;;;;:::i;10140:87::-;;;:::i;14253:265::-;;;;;;;;;;;;;;;;-1:-1:-1;14253:265:0;;;;;;;;;:::i;11508:173::-;;;;;;;;;;;;;;;;-1:-1:-1;11508:173:0;;;;;;;;;:::i;17172:815::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;17172:815:0;;-1:-1:-1;17172:815:0;-1:-1:-1;17172:815:0;:::i;17995:680::-;;;;;;;;;;;;;;;;-1:-1:-1;17995:680:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;11744:151::-;;;;;;;;;;;;;;;;-1:-1:-1;11744:151:0;;;;;;;;;;;:::i;9938:83::-;10008:5;10001:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9975:13;;10001:12;;10008:5;;10001:12;;10008:5;10001:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9938:83;:::o;12042:167::-;12125:4;12142:37;12151:10;12163:7;12172:6;12142:8;:37::i;:::-;-1:-1:-1;12197:4:0;12042:167;;;;:::o;11013:100::-;11093:12;;11013:100;:::o;12683:444::-;12789:4;12806:36;12816:6;12824:9;12835:6;12806:9;:36::i;:::-;12857:19;;;8556:1;12857:19;;;:11;:19;;;;;;;;12877:10;12857:31;;;;;;;;8547:11;-1:-1:-1;12853:245:0;;;12969:117;12978:6;12986:10;12998:87;13034:6;12998:87;;;;;;;;;;;;;;;;;:19;;;;;;;:11;:19;;;;;;;;13018:10;12998:31;;;;;;;;;:87;:35;:87::i;:::-;12969:8;:117::i;:::-;-1:-1:-1;13115:4:0;12683:444;;;;;:::o;8992:108::-;9034:66;8992:108;:::o;10865:83::-;10931:9;;;;10865:83;:::o;8849:31::-;;;;:::o;13536:214::-;13650:10;13624:4;13671:23;;;:11;:23;;;;;;;;;:32;;;;;;;;;;13624:4;;13641:79;;13662:7;;13671:48;;13708:10;13671:36;:48::i;17075:89::-;17131:25;17137:10;17149:6;17131:5;:25::i;:::-;17075:89;:::o;11176:119::-;11269:18;;11242:7;11269:18;;;;;;;;;;;;11176:119::o;9107:41::-;;;;;;;;;;;;;:::o;10140:87::-;10212:7;10205:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10179:13;;10205:14;;10212:7;;10205:14;;10212:7;10205:14;;;;;;;;;;;;;;;;;;;;;;;;14253:265;14346:4;14363:125;14372:10;14384:7;14393:94;14430:15;14393:94;;;;;;;;;;;;;;;;;14405:10;14393:23;;;;:11;:23;;;;;;;;;:32;;;;;;;;;;;:94;:36;:94::i;11508:173::-;11594:4;11611:40;11621:10;11633:9;11644:6;11611:9;:40::i;17172:815::-;17281:35;;;17273:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17361:13;17394:9;17389:101;17409:18;;;17389:101;;;17457:21;17467:7;;17475:1;17467:10;;;;;;;;;;;;;17457:5;:9;;:21;;;;:::i;:::-;17449:29;-1:-1:-1;17429:3:0;;17389:101;;;;17526:74;17552:5;17526:74;;;;;;;;;;;;;;;;;17536:10;17526:9;:21;;;;;;;;;;;;:74;:25;:74::i;:::-;17512:10;17502:9;:21;;;;;;;;;;:98;;;;17613:367;17633:21;;;17613:367;;;17676:17;17696:10;;17707:1;17696:13;;;;;;;;;;;;;;;17676:33;;17724:14;17741:7;;17749:1;17741:10;;;;;;;;;;;;;;;-1:-1:-1;;17774:23:0;;;17766:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17877:20;;;:9;:20;;;;;;;;;;;:32;;17902:6;17877:24;:32::i;:::-;17854:20;;;:9;:20;;;;;;;;;;;;:55;;;;17929:39;;;;;;;17854:20;;17938:10;;17929:39;;;;;;;;;;-1:-1:-1;;17656:3:0;;17613:367;;;;17172:815;;;;;:::o;17995:680::-;18147:15;18135:8;:27;;18127:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18299:16;;18395:13;;;;18194:14;18395:13;;;:6;:13;;;;;;;;:15;;;;;;;;;18344:77;;9034:66;18344:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18334:88;;;;;;18235:202;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18211:237;;;;;;;;;18488:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18194:14;;18395:15;18488:26;;;;;-1:-1:-1;18488:26:0;;;;;;;;;;18395:15;18488:26;;;;;;;;;;;;;;;-1:-1:-1;;18488:26:0;;;;;;-1:-1:-1;;18535:30:0;;;;;;;:59;;;18589:5;18569:25;;:16;:25;;;18535:59;18527:98;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18636:31;18645:5;18652:7;18661:5;18636:8;:31::i;:::-;17995:680;;;;;;;;;:::o;11744:151::-;11860:18;;;;11833:7;11860:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;11744:151::o;16613:346::-;16715:19;;;16707:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16794:21;;;16786:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16867:18;;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;16919:32;;;;;;;;;;;;;;;;;16613:346;;;:::o;15008:479::-;15114:20;;;15106:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15195:23;;;15187:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15291;15313:6;15291:71;;;;;;;;;;;;;;;;;:17;;;:9;:17;;;;;;;;;;;;:71;:21;:71::i;:::-;15271:17;;;;:9;:17;;;;;;;;;;;:91;;;;15396:20;;;;;;;:32;;15421:6;15396:24;:32::i;:::-;15373:20;;;;:9;:20;;;;;;;;;;;;:55;;;;15444:35;;;;;;;15373:20;;15444:35;;;;;;;;;;;;;15008:479;;;:::o;4693:192::-;4779:7;4815:12;4807:6;;;;4799:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;4851:5:0;;;4693:192::o;3790:181::-;3848:7;3880:5;;;3904:6;;;;3896:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3962:1;3790:181;-1:-1:-1;;;3790:181:0:o;15819:356::-;15903:21;;;15895:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15996:68;16019:6;15996:68;;;;;;;;;;;;;;;;;:18;;;:9;:18;;;;;;;;;;;;:68;:22;:68::i;:::-;15975:18;;;:9;:18;;;;;;;;;;:89;16090:12;;:24;;16107:6;16090:16;:24::i;:::-;16075:12;:39;16130:37;;;;;;;;16156:1;;16130:37;;;;;;;;;;;;;15819:356;;:::o;4254:136::-;4312:7;4339:43;4343:1;4346;4339:43;;;;;;;;;;;;;;;;;:3;:43::i

ipfs://d3af0e37cead84aff8b42169ebf280ce7da0da2b25c77837e63bb673024f30a9