Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function _msgSender()
•    - function _msgData()
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _spendAllowance(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
• interface IERC20Permit
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
• library Strings
•    - function toString(uint256 value)
•    - function toHexString(uint256 value)
•    - function toHexString(uint256 value, u ...
•    - function toHexString(address addr)
• library ECDSA
•    - function _throwError(RecoverError err ...
•    - function tryRecover(bytes32 hash, byt ...
•    - function recover(bytes32 hash, bytes ...
•    - function tryRecover(
•    - function recover(
•    - function tryRecover(
•    - function recover(
•    - function toEthSignedMessageHash(bytes ...
•    - function toEthSignedMessageHash(bytes ...
•    - function toTypedDataHash(bytes32 doma ...
•    - function _domainSeparatorV4()
•    - function _buildDomainSeparator(
•    - function _hashTypedDataV4(bytes32 str ...
• library Counters
•    - function current(Counter storage coun ...
•    - function increment(Counter storage co ...
•    - function decrement(Counter storage co ...
•    - function reset(Counter storage counte ...
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
•    - function _useNonce(address owner)
• library Math
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
•    - function ceilDiv(uint256 a, uint256 b ...
•    - function mulDiv(
•    - function mulDiv(
•    - function sqrt(uint256 a)
•    - function sqrt(uint256 a, Rounding rou ...
• interface IVotes
•    - function getVotes(address account)
•    - function getPastVotes(address account ...
•    - function getPastTotalSupply(uint256 b ...
•    - function delegates(address account)
•    - function delegate(address delegatee)
•    - function delegateBySig(
• library SafeCast
•    - function toUint248(uint256 value)
•    - function toUint240(uint256 value)
•    - function toUint232(uint256 value)
•    - function toUint224(uint256 value)
•    - function toUint216(uint256 value)
•    - function toUint208(uint256 value)
•    - function toUint200(uint256 value)
•    - function toUint192(uint256 value)
•    - function toUint184(uint256 value)
•    - function toUint176(uint256 value)
•    - function toUint168(uint256 value)
•    - function toUint160(uint256 value)
•    - function toUint152(uint256 value)
•    - function toUint144(uint256 value)
•    - function toUint136(uint256 value)
•    - function toUint128(uint256 value)
•    - function toUint120(uint256 value)
•    - function toUint112(uint256 value)
•    - function toUint104(uint256 value)
•    - function toUint96(uint256 value)
•    - function toUint88(uint256 value)
•    - function toUint80(uint256 value)
•    - function toUint72(uint256 value)
•    - function toUint64(uint256 value)
•    - function toUint56(uint256 value)
•    - function toUint48(uint256 value)
•    - function toUint40(uint256 value)
•    - function toUint32(uint256 value)
•    - function toUint24(uint256 value)
•    - function toUint16(uint256 value)
•    - function toUint8(uint256 value)
•    - function toUint256(int256 value)
•    - function toInt248(int256 value)
•    - function toInt240(int256 value)
•    - function toInt232(int256 value)
•    - function toInt224(int256 value)
•    - function toInt216(int256 value)
•    - function toInt208(int256 value)
•    - function toInt200(int256 value)
•    - function toInt192(int256 value)
•    - function toInt184(int256 value)
•    - function toInt176(int256 value)
•    - function toInt168(int256 value)
•    - function toInt160(int256 value)
•    - function toInt152(int256 value)
•    - function toInt144(int256 value)
•    - function toInt136(int256 value)
•    - function toInt128(int256 value)
•    - function toInt120(int256 value)
•    - function toInt112(int256 value)
•    - function toInt104(int256 value)
•    - function toInt96(int256 value)
•    - function toInt88(int256 value)
•    - function toInt80(int256 value)
•    - function toInt72(int256 value)
•    - function toInt64(int256 value)
•    - function toInt56(int256 value)
•    - function toInt48(int256 value)
•    - function toInt40(int256 value)
•    - function toInt32(int256 value)
•    - function toInt24(int256 value)
•    - function toInt16(int256 value)
•    - function toInt8(int256 value)
•    - function toInt256(uint256 value)
•    - function checkpoints(address account, ...
•    - function numCheckpoints(address accou ...
•    - function delegates(address account)
•    - function getVotes(address account)
•    - function getPastVotes(address account ...
•    - function getPastTotalSupply(uint256 b ...
•    - function _checkpointsLookup(Checkpoin ...
•    - function delegate(address delegatee)
•    - function delegateBySig(
•    - function _maxSupply()
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _afterTokenTransfer(
•    - function _delegate(address delegator, ...
•    - function _moveVotingPower(
•    - function _writeCheckpoint(
•    - function(uint256, uint256)
•    - function _add(uint256 a, uint256 b)
•    - function _subtract(uint256 a, uint256 ...
•  contract LEAPToken is ERC20, ERC20 ... *
•    - function _afterTokenTransfer(address ...
•    - function _mint(address to, uint256 am ...
•    - function _burn(address account, uint2 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-09-12
*/

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @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);

    /**
     * @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 `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, 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 `from` to `to` 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 from,
        address to,
        uint256 amount
    ) external returns (bool);
}


/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}



/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}



/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override 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 this function is
     * overridden;
     *
     * 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 virtual override returns (uint8) {
        return 18;
    }

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

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

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address to, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, 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}.
     *
     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _approve(owner, 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}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual override returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, amount);
        _transfer(from, to, amount);
        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) {
        address owner = _msgSender();
        _approve(owner, spender, allowance(owner, spender) + 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) {
        address owner = _msgSender();
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `from` to `to`.
     *
     * This 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:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     */
    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
        }
        _balances[to] += amount;

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, 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");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(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 Updates `owner` s allowance for `spender` based on spent `amount`.
     *
     * Does not update the allowance amount in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Might emit an {Approval} event.
     */
    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}



/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    /**
     * @dev Returns the current nonce for `owner`. This value must be
     * included whenever a signature is generated for {permit}.
     *
     * Every successful call to {permit} increases ``owner``'s nonce by one. This
     * prevents a signature from being used multiple times.
     */
    function nonces(address owner) external view returns (uint256);

    /**
     * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view returns (bytes32);
}






/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant _HEX_SYMBOLS = "0123456789abcdef";
    uint8 private constant _ADDRESS_LENGTH = 20;

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        // Inspired by OraclizeAPI's implementation - MIT licence
        // https://github.com/oraclize/ethereum-api/blob/b42146b063c7d6ee1358846c198246239e9360e8/oraclizeAPI_0.4.25.sol

        if (value == 0) {
            return "0";
        }
        uint256 temp = value;
        uint256 digits;
        while (temp != 0) {
            digits++;
            temp /= 10;
        }
        bytes memory buffer = new bytes(digits);
        while (value != 0) {
            digits -= 1;
            buffer[digits] = bytes1(uint8(48 + uint256(value % 10)));
            value /= 10;
        }
        return string(buffer);
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        if (value == 0) {
            return "0x00";
        }
        uint256 temp = value;
        uint256 length = 0;
        while (temp != 0) {
            length++;
            temp >>= 8;
        }
        return toHexString(value, length);
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.
     */
    function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {
        bytes memory buffer = new bytes(2 * length + 2);
        buffer[0] = "0";
        buffer[1] = "x";
        for (uint256 i = 2 * length + 1; i > 1; --i) {
            buffer[i] = _HEX_SYMBOLS[value & 0xf];
            value >>= 4;
        }
        require(value == 0, "Strings: hex length insufficient");
        return string(buffer);
    }

    /**
     * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal representation.
     */
    function toHexString(address addr) internal pure returns (string memory) {
        return toHexString(uint256(uint160(addr)), _ADDRESS_LENGTH);
    }
}



/**
 * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
 *
 * These functions can be used to verify that a message was signed by the holder
 * of the private keys of a given address.
 */
library ECDSA {
    enum RecoverError {
        NoError,
        InvalidSignature,
        InvalidSignatureLength,
        InvalidSignatureS,
        InvalidSignatureV
    }

    function _throwError(RecoverError error) private pure {
        if (error == RecoverError.NoError) {
            return; // no error: do nothing
        } else if (error == RecoverError.InvalidSignature) {
            revert("ECDSA: invalid signature");
        } else if (error == RecoverError.InvalidSignatureLength) {
            revert("ECDSA: invalid signature length");
        } else if (error == RecoverError.InvalidSignatureS) {
            revert("ECDSA: invalid signature 's' value");
        } else if (error == RecoverError.InvalidSignatureV) {
            revert("ECDSA: invalid signature 'v' value");
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature` or error string. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     *
     * Documentation for signature generation:
     * - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]
     * - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, bytes memory signature) internal pure returns (address, RecoverError) {
        if (signature.length == 65) {
            bytes32 r;
            bytes32 s;
            uint8 v;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            /// @solidity memory-safe-assembly
            assembly {
                r := mload(add(signature, 0x20))
                s := mload(add(signature, 0x40))
                v := byte(0, mload(add(signature, 0x60)))
            }
            return tryRecover(hash, v, r, s);
        } else {
            return (address(0), RecoverError.InvalidSignatureLength);
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature`. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, signature);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `r` and `vs` short-signature fields separately.
     *
     * See https://eips.ethereum.org/EIPS/eip-2098[EIP-2098 short signatures]
     *
     * _Available since v4.3._
     */
    function tryRecover(
        bytes32 hash,
        bytes32 r,
        bytes32 vs
    ) internal pure returns (address, RecoverError) {
        bytes32 s = vs & bytes32(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
        uint8 v = uint8((uint256(vs) >> 255) + 27);
        return tryRecover(hash, v, r, s);
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `r and `vs` short-signature fields separately.
     *
     * _Available since v4.2._
     */
    function recover(
        bytes32 hash,
        bytes32 r,
        bytes32 vs
    ) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, r, vs);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `v`,
     * `r` and `s` signature fields separately.
     *
     * _Available since v4.3._
     */
    function tryRecover(
        bytes32 hash,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal pure returns (address, RecoverError) {
        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
        // the valid range for s in (301): 0 < s < secp256k1n ÷ 2 + 1, and for v in (302): v ∈ {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {
            return (address(0), RecoverError.InvalidSignatureS);
        }
        if (v != 27 && v != 28) {
            return (address(0), RecoverError.InvalidSignatureV);
        }

        // If the signature is valid (and not malleable), return the signer address
        address signer = ecrecover(hash, v, r, s);
        if (signer == address(0)) {
            return (address(0), RecoverError.InvalidSignature);
        }

        return (signer, RecoverError.NoError);
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `v`,
     * `r` and `s` signature fields separately.
     */
    function recover(
        bytes32 hash,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, v, r, s);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from a `hash`. This
     * produces hash corresponding to the one signed with the
     * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]
     * JSON-RPC method as part of EIP-191.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes32 hash) internal pure returns (bytes32) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", hash));
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from `s`. This
     * produces hash corresponding to the one signed with the
     * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]
     * JSON-RPC method as part of EIP-191.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes memory s) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n", Strings.toString(s.length), s));
    }

    /**
     * @dev Returns an Ethereum Signed Typed Data, created from a
     * `domainSeparator` and a `structHash`. This produces hash corresponding
     * to the one signed with the
     * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`]
     * JSON-RPC method as part of EIP-712.
     *
     * See {recover}.
     */
    function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));
    }
}



/**
 * @dev https://eips.ethereum.org/EIPS/eip-712[EIP 712] is a standard for hashing and signing of typed structured data.
 *
 * The encoding specified in the EIP is very generic, and such a generic implementation in Solidity is not feasible,
 * thus this contract does not implement the encoding itself. Protocols need to implement the type-specific encoding
 * they need in their contracts using a combination of `abi.encode` and `keccak256`.
 *
 * This contract implements the EIP 712 domain separator ({_domainSeparatorV4}) that is used as part of the encoding
 * scheme, and the final step of the encoding to obtain the message digest that is then signed via ECDSA
 * ({_hashTypedDataV4}).
 *
 * The implementation of the domain separator was designed to be as efficient as possible while still properly updating
 * the chain id to protect against replay attacks on an eventual fork of the chain.
 *
 * NOTE: This contract implements the version of the encoding known as "v4", as implemented by the JSON RPC method
 * https://docs.metamask.io/guide/signing-data.html[`eth_signTypedDataV4` in MetaMask].
 *
 * _Available since v3.4._
 */
abstract contract EIP712 {
    /* solhint-disable var-name-mixedcase */
    // Cache the domain separator as an immutable value, but also store the chain id that it corresponds to, in order to
    // invalidate the cached domain separator if the chain id changes.
    bytes32 private immutable _CACHED_DOMAIN_SEPARATOR;
    uint256 private immutable _CACHED_CHAIN_ID;
    address private immutable _CACHED_THIS;

    bytes32 private immutable _HASHED_NAME;
    bytes32 private immutable _HASHED_VERSION;
    bytes32 private immutable _TYPE_HASH;

    /* solhint-enable var-name-mixedcase */

    /**
     * @dev Initializes the domain separator and parameter caches.
     *
     * The meaning of `name` and `version` is specified in
     * https://eips.ethereum.org/EIPS/eip-712#definition-of-domainseparator[EIP 712]:
     *
     * - `name`: the user readable name of the signing domain, i.e. the name of the DApp or the protocol.
     * - `version`: the current major version of the signing domain.
     *
     * NOTE: These parameters cannot be changed except through a xref:learn::upgrading-smart-contracts.adoc[smart
     * contract upgrade].
     */
    constructor(string memory name, string memory version) {
        bytes32 hashedName = keccak256(bytes(name));
        bytes32 hashedVersion = keccak256(bytes(version));
        bytes32 typeHash = keccak256(
            "EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"
        );
        _HASHED_NAME = hashedName;
        _HASHED_VERSION = hashedVersion;
        _CACHED_CHAIN_ID = block.chainid;
        _CACHED_DOMAIN_SEPARATOR = _buildDomainSeparator(typeHash, hashedName, hashedVersion);
        _CACHED_THIS = address(this);
        _TYPE_HASH = typeHash;
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (address(this) == _CACHED_THIS && block.chainid == _CACHED_CHAIN_ID) {
            return _CACHED_DOMAIN_SEPARATOR;
        } else {
            return _buildDomainSeparator(_TYPE_HASH, _HASHED_NAME, _HASHED_VERSION);
        }
    }

    function _buildDomainSeparator(
        bytes32 typeHash,
        bytes32 nameHash,
        bytes32 versionHash
    ) private view returns (bytes32) {
        return keccak256(abi.encode(typeHash, nameHash, versionHash, block.chainid, address(this)));
    }

    /**
     * @dev Given an already https://eips.ethereum.org/EIPS/eip-712#definition-of-hashstruct[hashed struct], this
     * function returns the hash of the fully encoded EIP712 message for this domain.
     *
     * This hash can be used together with {ECDSA-recover} to obtain the signer of a message. For example:
     *
     * ```solidity
     * bytes32 digest = _hashTypedDataV4(keccak256(abi.encode(
     *     keccak256("Mail(address to,string contents)"),
     *     mailTo,
     *     keccak256(bytes(mailContents))
     * )));
     * address signer = ECDSA.recover(digest, signature);
     * ```
     */
    function _hashTypedDataV4(bytes32 structHash) internal view virtual returns (bytes32) {
        return ECDSA.toTypedDataHash(_domainSeparatorV4(), structHash);
    }
}


/**
 * @title Counters
 * @author Matt Condon (@shrugs)
 * @dev Provides counters that can only be incremented, decremented or reset. This can be used e.g. to track the number
 * of elements in a mapping, issuing ERC721 ids, or counting request ids.
 *
 * Include with `using Counters for Counters.Counter;`
 */
library Counters {
    struct Counter {
        // This variable should never be directly accessed by users of the library: interactions must be restricted to
        // the library's function. As of Solidity v0.5.2, this cannot be enforced, though there is a proposal to add
        // this feature: see https://github.com/ethereum/solidity/issues/4637
        uint256 _value; // default: 0
    }

    function current(Counter storage counter) internal view returns (uint256) {
        return counter._value;
    }

    function increment(Counter storage counter) internal {
        unchecked {
            counter._value += 1;
        }
    }

    function decrement(Counter storage counter) internal {
        uint256 value = counter._value;
        require(value > 0, "Counter: decrement overflow");
        unchecked {
            counter._value = value - 1;
        }
    }

    function reset(Counter storage counter) internal {
        counter._value = 0;
    }
}





/**
 * @dev Implementation of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on `{IERC20-approve}`, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 *
 * _Available since v3.4._
 */
abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712 {
    using Counters for Counters.Counter;

    mapping(address => Counters.Counter) private _nonces;

    // solhint-disable-next-line var-name-mixedcase
    bytes32 private constant _PERMIT_TYPEHASH =
        keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    /**
     * @dev In previous versions `_PERMIT_TYPEHASH` was declared as `immutable`.
     * However, to ensure consistency with the upgradeable transpiler, we will continue
     * to reserve a slot.
     * @custom:oz-renamed-from _PERMIT_TYPEHASH
     */
    // solhint-disable-next-line var-name-mixedcase
    bytes32 private _PERMIT_TYPEHASH_DEPRECATED_SLOT;

    /**
     * @dev Initializes the {EIP712} domain separator using the `name` parameter, and setting `version` to `"1"`.
     *
     * It's a good idea to use the same `name` that is defined as the ERC20 token name.
     */
    constructor(string memory name) EIP712(name, "1") {}

    /**
     * @dev See {IERC20Permit-permit}.
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual override {
        require(block.timestamp <= deadline, "ERC20Permit: expired deadline");

        bytes32 structHash = keccak256(abi.encode(_PERMIT_TYPEHASH, owner, spender, value, _useNonce(owner), deadline));

        bytes32 hash = _hashTypedDataV4(structHash);

        address signer = ECDSA.recover(hash, v, r, s);
        require(signer == owner, "ERC20Permit: invalid signature");

        _approve(owner, spender, value);
    }

    /**
     * @dev See {IERC20Permit-nonces}.
     */
    function nonces(address owner) public view virtual override returns (uint256) {
        return _nonces[owner].current();
    }

    /**
     * @dev See {IERC20Permit-DOMAIN_SEPARATOR}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view override returns (bytes32) {
        return _domainSeparatorV4();
    }

    /**
     * @dev "Consume a nonce": return the current value and increment.
     *
     * _Available since v4.1._
     */
    function _useNonce(address owner) internal virtual returns (uint256 current) {
        Counters.Counter storage nonce = _nonces[owner];
        current = nonce.current();
        nonce.increment();
    }
}




/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    enum Rounding {
        Down, // Toward negative infinity
        Up, // Toward infinity
        Zero // Toward zero
    }

    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow.
        return (a & b) + (a ^ b) / 2;
    }

    /**
     * @dev Returns the ceiling of the division of two numbers.
     *
     * This differs from standard division with `/` in that it rounds up instead
     * of rounding down.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b - 1) / b can overflow on addition, so we distribute.
        return a == 0 ? 0 : (a - 1) / b + 1;
    }

    /**
     * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0
     * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv)
     * with further edits by Uniswap Labs also under MIT license.
     */
    function mulDiv(
        uint256 x,
        uint256 y,
        uint256 denominator
    ) internal pure returns (uint256 result) {
        unchecked {
            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use
            // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
            // variables such that product = prod1 * 2^256 + prod0.
            uint256 prod0; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod0 := mul(x, y)
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 0) {
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1);

            ///////////////////////////////////////////////
            // 512 by 256 division.
            ///////////////////////////////////////////////

            // Make division exact by subtracting the remainder from [prod1 prod0].
            uint256 remainder;
            assembly {
                // Compute remainder using mulmod.
                remainder := mulmod(x, y, denominator)

                // Subtract 256 bit number from 512 bit number.
                prod1 := sub(prod1, gt(remainder, prod0))
                prod0 := sub(prod0, remainder)
            }

            // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1.
            // See https://cs.stackexchange.com/q/138556/92363.

            // Does not overflow because the denominator cannot be zero at this stage in the function.
            uint256 twos = denominator & (~denominator + 1);
            assembly {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

                // Divide [prod1 prod0] by twos.
                prod0 := div(prod0, twos)

                // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.
                twos := add(div(sub(0, twos), twos), 1)
            }

            // Shift in bits from prod1 into prod0.
            prod0 |= prod1 * twos;

            // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such
            // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for
            // four bits. That is, denominator * inv = 1 mod 2^4.
            uint256 inverse = (3 * denominator) ^ 2;

            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works
            // in modular arithmetic, doubling the correct bits in each step.
            inverse *= 2 - denominator * inverse; // inverse mod 2^8
            inverse *= 2 - denominator * inverse; // inverse mod 2^16
            inverse *= 2 - denominator * inverse; // inverse mod 2^32
            inverse *= 2 - denominator * inverse; // inverse mod 2^64
            inverse *= 2 - denominator * inverse; // inverse mod 2^128
            inverse *= 2 - denominator * inverse; // inverse mod 2^256

            // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.
            // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is
            // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1
            // is no longer required.
            result = prod0 * inverse;
            return result;
        }
    }

    /**
     * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.
     */
    function mulDiv(
        uint256 x,
        uint256 y,
        uint256 denominator,
        Rounding rounding
    ) internal pure returns (uint256) {
        uint256 result = mulDiv(x, y, denominator);
        if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {
            result += 1;
        }
        return result;
    }

    /**
     * @dev Returns the square root of a number. It the number is not a perfect square, the value is rounded down.
     *
     * Inspired by Henry S. Warren, Jr.'s "Hacker's Delight" (Chapter 11).
     */
    function sqrt(uint256 a) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
        // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
        // `msb(a) <= a < 2*msb(a)`.
        // We also know that `k`, the position of the most significant bit, is such that `msb(a) = 2**k`.
        // This gives `2**k < a <= 2**(k+1)` → `2**(k/2) <= sqrt(a) < 2 ** (k/2+1)`.
        // Using an algorithm similar to the msb conmputation, we are able to compute `result = 2**(k/2)` which is a
        // good first aproximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1;
        uint256 x = a;
        if (x >> 128 > 0) {
            x >>= 128;
            result <<= 64;
        }
        if (x >> 64 > 0) {
            x >>= 64;
            result <<= 32;
        }
        if (x >> 32 > 0) {
            x >>= 32;
            result <<= 16;
        }
        if (x >> 16 > 0) {
            x >>= 16;
            result <<= 8;
        }
        if (x >> 8 > 0) {
            x >>= 8;
            result <<= 4;
        }
        if (x >> 4 > 0) {
            x >>= 4;
            result <<= 2;
        }
        if (x >> 2 > 0) {
            result <<= 1;
        }

        // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,
        // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at
        // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision
        // into the expected uint128 result.
        unchecked {
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            return min(result, a / result);
        }
    }

    /**
     * @notice Calculates sqrt(a), following the selected rounding direction.
     */
    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {
        uint256 result = sqrt(a);
        if (rounding == Rounding.Up && result * result < a) {
            result += 1;
        }
        return result;
    }
}



/**
 * @dev Common interface for {ERC20Votes}, {ERC721Votes}, and other {Votes}-enabled contracts.
 *
 * _Available since v4.5._
 */
interface IVotes {
    /**
     * @dev Emitted when an account changes their delegate.
     */
    event DelegateChanged(address indexed delegator, address indexed fromDelegate, address indexed toDelegate);

    /**
     * @dev Emitted when a token transfer or delegate change results in changes to a delegate's number of votes.
     */
    event DelegateVotesChanged(address indexed delegate, uint256 previousBalance, uint256 newBalance);

    /**
     * @dev Returns the current amount of votes that `account` has.
     */
    function getVotes(address account) external view returns (uint256);

    /**
     * @dev Returns the amount of votes that `account` had at the end of a past block (`blockNumber`).
     */
    function getPastVotes(address account, uint256 blockNumber) external view returns (uint256);

    /**
     * @dev Returns the total supply of votes available at the end of a past block (`blockNumber`).
     *
     * NOTE: This value is the sum of all available votes, which is not necessarily the sum of all delegated votes.
     * Votes that have not been delegated are still part of total supply, even though they would not participate in a
     * vote.
     */
    function getPastTotalSupply(uint256 blockNumber) external view returns (uint256);

    /**
     * @dev Returns the delegate that `account` has chosen.
     */
    function delegates(address account) external view returns (address);

    /**
     * @dev Delegates votes from the sender to `delegatee`.
     */
    function delegate(address delegatee) external;

    /**
     * @dev Delegates votes from signer to `delegatee`.
     */
    function delegateBySig(
        address delegatee,
        uint256 nonce,
        uint256 expiry,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;
}


/**
 * @dev Wrappers over Solidity's uintXX/intXX casting operators with added overflow
 * checks.
 *
 * Downcasting from uint256/int256 in Solidity does not revert on overflow. This can
 * easily result in undesired exploitation or bugs, since developers usually
 * assume that overflows raise errors. `SafeCast` restores this intuition by
 * reverting the transaction when such 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.
 *
 * Can be combined with {SafeMath} and {SignedSafeMath} to extend it to smaller types, by performing
 * all math on `uint256` and `int256` and then downcasting.
 */
library SafeCast {
    /**
     * @dev Returns the downcasted uint248 from uint256, reverting on
     * overflow (when the input is greater than largest uint248).
     *
     * Counterpart to Solidity's `uint248` operator.
     *
     * Requirements:
     *
     * - input must fit into 248 bits
     *
     * _Available since v4.7._
     */
    function toUint248(uint256 value) internal pure returns (uint248) {
        require(value <= type(uint248).max, "SafeCast: value doesn't fit in 248 bits");
        return uint248(value);
    }

    /**
     * @dev Returns the downcasted uint240 from uint256, reverting on
     * overflow (when the input is greater than largest uint240).
     *
     * Counterpart to Solidity's `uint240` operator.
     *
     * Requirements:
     *
     * - input must fit into 240 bits
     *
     * _Available since v4.7._
     */
    function toUint240(uint256 value) internal pure returns (uint240) {
        require(value <= type(uint240).max, "SafeCast: value doesn't fit in 240 bits");
        return uint240(value);
    }

    /**
     * @dev Returns the downcasted uint232 from uint256, reverting on
     * overflow (when the input is greater than largest uint232).
     *
     * Counterpart to Solidity's `uint232` operator.
     *
     * Requirements:
     *
     * - input must fit into 232 bits
     *
     * _Available since v4.7._
     */
    function toUint232(uint256 value) internal pure returns (uint232) {
        require(value <= type(uint232).max, "SafeCast: value doesn't fit in 232 bits");
        return uint232(value);
    }

    /**
     * @dev Returns the downcasted uint224 from uint256, reverting on
     * overflow (when the input is greater than largest uint224).
     *
     * Counterpart to Solidity's `uint224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     *
     * _Available since v4.2._
     */
    function toUint224(uint256 value) internal pure returns (uint224) {
        require(value <= type(uint224).max, "SafeCast: value doesn't fit in 224 bits");
        return uint224(value);
    }

    /**
     * @dev Returns the downcasted uint216 from uint256, reverting on
     * overflow (when the input is greater than largest uint216).
     *
     * Counterpart to Solidity's `uint216` operator.
     *
     * Requirements:
     *
     * - input must fit into 216 bits
     *
     * _Available since v4.7._
     */
    function toUint216(uint256 value) internal pure returns (uint216) {
        require(value <= type(uint216).max, "SafeCast: value doesn't fit in 216 bits");
        return uint216(value);
    }

    /**
     * @dev Returns the downcasted uint208 from uint256, reverting on
     * overflow (when the input is greater than largest uint208).
     *
     * Counterpart to Solidity's `uint208` operator.
     *
     * Requirements:
     *
     * - input must fit into 208 bits
     *
     * _Available since v4.7._
     */
    function toUint208(uint256 value) internal pure returns (uint208) {
        require(value <= type(uint208).max, "SafeCast: value doesn't fit in 208 bits");
        return uint208(value);
    }

    /**
     * @dev Returns the downcasted uint200 from uint256, reverting on
     * overflow (when the input is greater than largest uint200).
     *
     * Counterpart to Solidity's `uint200` operator.
     *
     * Requirements:
     *
     * - input must fit into 200 bits
     *
     * _Available since v4.7._
     */
    function toUint200(uint256 value) internal pure returns (uint200) {
        require(value <= type(uint200).max, "SafeCast: value doesn't fit in 200 bits");
        return uint200(value);
    }

    /**
     * @dev Returns the downcasted uint192 from uint256, reverting on
     * overflow (when the input is greater than largest uint192).
     *
     * Counterpart to Solidity's `uint192` operator.
     *
     * Requirements:
     *
     * - input must fit into 192 bits
     *
     * _Available since v4.7._
     */
    function toUint192(uint256 value) internal pure returns (uint192) {
        require(value <= type(uint192).max, "SafeCast: value doesn't fit in 192 bits");
        return uint192(value);
    }

    /**
     * @dev Returns the downcasted uint184 from uint256, reverting on
     * overflow (when the input is greater than largest uint184).
     *
     * Counterpart to Solidity's `uint184` operator.
     *
     * Requirements:
     *
     * - input must fit into 184 bits
     *
     * _Available since v4.7._
     */
    function toUint184(uint256 value) internal pure returns (uint184) {
        require(value <= type(uint184).max, "SafeCast: value doesn't fit in 184 bits");
        return uint184(value);
    }

    /**
     * @dev Returns the downcasted uint176 from uint256, reverting on
     * overflow (when the input is greater than largest uint176).
     *
     * Counterpart to Solidity's `uint176` operator.
     *
     * Requirements:
     *
     * - input must fit into 176 bits
     *
     * _Available since v4.7._
     */
    function toUint176(uint256 value) internal pure returns (uint176) {
        require(value <= type(uint176).max, "SafeCast: value doesn't fit in 176 bits");
        return uint176(value);
    }

    /**
     * @dev Returns the downcasted uint168 from uint256, reverting on
     * overflow (when the input is greater than largest uint168).
     *
     * Counterpart to Solidity's `uint168` operator.
     *
     * Requirements:
     *
     * - input must fit into 168 bits
     *
     * _Available since v4.7._
     */
    function toUint168(uint256 value) internal pure returns (uint168) {
        require(value <= type(uint168).max, "SafeCast: value doesn't fit in 168 bits");
        return uint168(value);
    }

    /**
     * @dev Returns the downcasted uint160 from uint256, reverting on
     * overflow (when the input is greater than largest uint160).
     *
     * Counterpart to Solidity's `uint160` operator.
     *
     * Requirements:
     *
     * - input must fit into 160 bits
     *
     * _Available since v4.7._
     */
    function toUint160(uint256 value) internal pure returns (uint160) {
        require(value <= type(uint160).max, "SafeCast: value doesn't fit in 160 bits");
        return uint160(value);
    }

    /**
     * @dev Returns the downcasted uint152 from uint256, reverting on
     * overflow (when the input is greater than largest uint152).
     *
     * Counterpart to Solidity's `uint152` operator.
     *
     * Requirements:
     *
     * - input must fit into 152 bits
     *
     * _Available since v4.7._
     */
    function toUint152(uint256 value) internal pure returns (uint152) {
        require(value <= type(uint152).max, "SafeCast: value doesn't fit in 152 bits");
        return uint152(value);
    }

    /**
     * @dev Returns the downcasted uint144 from uint256, reverting on
     * overflow (when the input is greater than largest uint144).
     *
     * Counterpart to Solidity's `uint144` operator.
     *
     * Requirements:
     *
     * - input must fit into 144 bits
     *
     * _Available since v4.7._
     */
    function toUint144(uint256 value) internal pure returns (uint144) {
        require(value <= type(uint144).max, "SafeCast: value doesn't fit in 144 bits");
        return uint144(value);
    }

    /**
     * @dev Returns the downcasted uint136 from uint256, reverting on
     * overflow (when the input is greater than largest uint136).
     *
     * Counterpart to Solidity's `uint136` operator.
     *
     * Requirements:
     *
     * - input must fit into 136 bits
     *
     * _Available since v4.7._
     */
    function toUint136(uint256 value) internal pure returns (uint136) {
        require(value <= type(uint136).max, "SafeCast: value doesn't fit in 136 bits");
        return uint136(value);
    }

    /**
     * @dev Returns the downcasted uint128 from uint256, reverting on
     * overflow (when the input is greater than largest uint128).
     *
     * Counterpart to Solidity's `uint128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     *
     * _Available since v2.5._
     */
    function toUint128(uint256 value) internal pure returns (uint128) {
        require(value <= type(uint128).max, "SafeCast: value doesn't fit in 128 bits");
        return uint128(value);
    }

    /**
     * @dev Returns the downcasted uint120 from uint256, reverting on
     * overflow (when the input is greater than largest uint120).
     *
     * Counterpart to Solidity's `uint120` operator.
     *
     * Requirements:
     *
     * - input must fit into 120 bits
     *
     * _Available since v4.7._
     */
    function toUint120(uint256 value) internal pure returns (uint120) {
        require(value <= type(uint120).max, "SafeCast: value doesn't fit in 120 bits");
        return uint120(value);
    }

    /**
     * @dev Returns the downcasted uint112 from uint256, reverting on
     * overflow (when the input is greater than largest uint112).
     *
     * Counterpart to Solidity's `uint112` operator.
     *
     * Requirements:
     *
     * - input must fit into 112 bits
     *
     * _Available since v4.7._
     */
    function toUint112(uint256 value) internal pure returns (uint112) {
        require(value <= type(uint112).max, "SafeCast: value doesn't fit in 112 bits");
        return uint112(value);
    }

    /**
     * @dev Returns the downcasted uint104 from uint256, reverting on
     * overflow (when the input is greater than largest uint104).
     *
     * Counterpart to Solidity's `uint104` operator.
     *
     * Requirements:
     *
     * - input must fit into 104 bits
     *
     * _Available since v4.7._
     */
    function toUint104(uint256 value) internal pure returns (uint104) {
        require(value <= type(uint104).max, "SafeCast: value doesn't fit in 104 bits");
        return uint104(value);
    }

    /**
     * @dev Returns the downcasted uint96 from uint256, reverting on
     * overflow (when the input is greater than largest uint96).
     *
     * Counterpart to Solidity's `uint96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     *
     * _Available since v4.2._
     */
    function toUint96(uint256 value) internal pure returns (uint96) {
        require(value <= type(uint96).max, "SafeCast: value doesn't fit in 96 bits");
        return uint96(value);
    }

    /**
     * @dev Returns the downcasted uint88 from uint256, reverting on
     * overflow (when the input is greater than largest uint88).
     *
     * Counterpart to Solidity's `uint88` operator.
     *
     * Requirements:
     *
     * - input must fit into 88 bits
     *
     * _Available since v4.7._
     */
    function toUint88(uint256 value) internal pure returns (uint88) {
        require(value <= type(uint88).max, "SafeCast: value doesn't fit in 88 bits");
        return uint88(value);
    }

    /**
     * @dev Returns the downcasted uint80 from uint256, reverting on
     * overflow (when the input is greater than largest uint80).
     *
     * Counterpart to Solidity's `uint80` operator.
     *
     * Requirements:
     *
     * - input must fit into 80 bits
     *
     * _Available since v4.7._
     */
    function toUint80(uint256 value) internal pure returns (uint80) {
        require(value <= type(uint80).max, "SafeCast: value doesn't fit in 80 bits");
        return uint80(value);
    }

    /**
     * @dev Returns the downcasted uint72 from uint256, reverting on
     * overflow (when the input is greater than largest uint72).
     *
     * Counterpart to Solidity's `uint72` operator.
     *
     * Requirements:
     *
     * - input must fit into 72 bits
     *
     * _Available since v4.7._
     */
    function toUint72(uint256 value) internal pure returns (uint72) {
        require(value <= type(uint72).max, "SafeCast: value doesn't fit in 72 bits");
        return uint72(value);
    }

    /**
     * @dev Returns the downcasted uint64 from uint256, reverting on
     * overflow (when the input is greater than largest uint64).
     *
     * Counterpart to Solidity's `uint64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     *
     * _Available since v2.5._
     */
    function toUint64(uint256 value) internal pure returns (uint64) {
        require(value <= type(uint64).max, "SafeCast: value doesn't fit in 64 bits");
        return uint64(value);
    }

    /**
     * @dev Returns the downcasted uint56 from uint256, reverting on
     * overflow (when the input is greater than largest uint56).
     *
     * Counterpart to Solidity's `uint56` operator.
     *
     * Requirements:
     *
     * - input must fit into 56 bits
     *
     * _Available since v4.7._
     */
    function toUint56(uint256 value) internal pure returns (uint56) {
        require(value <= type(uint56).max, "SafeCast: value doesn't fit in 56 bits");
        return uint56(value);
    }

    /**
     * @dev Returns the downcasted uint48 from uint256, reverting on
     * overflow (when the input is greater than largest uint48).
     *
     * Counterpart to Solidity's `uint48` operator.
     *
     * Requirements:
     *
     * - input must fit into 48 bits
     *
     * _Available since v4.7._
     */
    function toUint48(uint256 value) internal pure returns (uint48) {
        require(value <= type(uint48).max, "SafeCast: value doesn't fit in 48 bits");
        return uint48(value);
    }

    /**
     * @dev Returns the downcasted uint40 from uint256, reverting on
     * overflow (when the input is greater than largest uint40).
     *
     * Counterpart to Solidity's `uint40` operator.
     *
     * Requirements:
     *
     * - input must fit into 40 bits
     *
     * _Available since v4.7._
     */
    function toUint40(uint256 value) internal pure returns (uint40) {
        require(value <= type(uint40).max, "SafeCast: value doesn't fit in 40 bits");
        return uint40(value);
    }

    /**
     * @dev Returns the downcasted uint32 from uint256, reverting on
     * overflow (when the input is greater than largest uint32).
     *
     * Counterpart to Solidity's `uint32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     *
     * _Available since v2.5._
     */
    function toUint32(uint256 value) internal pure returns (uint32) {
        require(value <= type(uint32).max, "SafeCast: value doesn't fit in 32 bits");
        return uint32(value);
    }

    /**
     * @dev Returns the downcasted uint24 from uint256, reverting on
     * overflow (when the input is greater than largest uint24).
     *
     * Counterpart to Solidity's `uint24` operator.
     *
     * Requirements:
     *
     * - input must fit into 24 bits
     *
     * _Available since v4.7._
     */
    function toUint24(uint256 value) internal pure returns (uint24) {
        require(value <= type(uint24).max, "SafeCast: value doesn't fit in 24 bits");
        return uint24(value);
    }

    /**
     * @dev Returns the downcasted uint16 from uint256, reverting on
     * overflow (when the input is greater than largest uint16).
     *
     * Counterpart to Solidity's `uint16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     *
     * _Available since v2.5._
     */
    function toUint16(uint256 value) internal pure returns (uint16) {
        require(value <= type(uint16).max, "SafeCast: value doesn't fit in 16 bits");
        return uint16(value);
    }

    /**
     * @dev Returns the downcasted uint8 from uint256, reverting on
     * overflow (when the input is greater than largest uint8).
     *
     * Counterpart to Solidity's `uint8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits
     *
     * _Available since v2.5._
     */
    function toUint8(uint256 value) internal pure returns (uint8) {
        require(value <= type(uint8).max, "SafeCast: value doesn't fit in 8 bits");
        return uint8(value);
    }

    /**
     * @dev Converts a signed int256 into an unsigned uint256.
     *
     * Requirements:
     *
     * - input must be greater than or equal to 0.
     *
     * _Available since v3.0._
     */
    function toUint256(int256 value) internal pure returns (uint256) {
        require(value >= 0, "SafeCast: value must be positive");
        return uint256(value);
    }

    /**
     * @dev Returns the downcasted int248 from int256, reverting on
     * overflow (when the input is less than smallest int248 or
     * greater than largest int248).
     *
     * Counterpart to Solidity's `int248` operator.
     *
     * Requirements:
     *
     * - input must fit into 248 bits
     *
     * _Available since v4.7._
     */
    function toInt248(int256 value) internal pure returns (int248) {
        require(value >= type(int248).min && value <= type(int248).max, "SafeCast: value doesn't fit in 248 bits");
        return int248(value);
    }

    /**
     * @dev Returns the downcasted int240 from int256, reverting on
     * overflow (when the input is less than smallest int240 or
     * greater than largest int240).
     *
     * Counterpart to Solidity's `int240` operator.
     *
     * Requirements:
     *
     * - input must fit into 240 bits
     *
     * _Available since v4.7._
     */
    function toInt240(int256 value) internal pure returns (int240) {
        require(value >= type(int240).min && value <= type(int240).max, "SafeCast: value doesn't fit in 240 bits");
        return int240(value);
    }

    /**
     * @dev Returns the downcasted int232 from int256, reverting on
     * overflow (when the input is less than smallest int232 or
     * greater than largest int232).
     *
     * Counterpart to Solidity's `int232` operator.
     *
     * Requirements:
     *
     * - input must fit into 232 bits
     *
     * _Available since v4.7._
     */
    function toInt232(int256 value) internal pure returns (int232) {
        require(value >= type(int232).min && value <= type(int232).max, "SafeCast: value doesn't fit in 232 bits");
        return int232(value);
    }

    /**
     * @dev Returns the downcasted int224 from int256, reverting on
     * overflow (when the input is less than smallest int224 or
     * greater than largest int224).
     *
     * Counterpart to Solidity's `int224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     *
     * _Available since v4.7._
     */
    function toInt224(int256 value) internal pure returns (int224) {
        require(value >= type(int224).min && value <= type(int224).max, "SafeCast: value doesn't fit in 224 bits");
        return int224(value);
    }

    /**
     * @dev Returns the downcasted int216 from int256, reverting on
     * overflow (when the input is less than smallest int216 or
     * greater than largest int216).
     *
     * Counterpart to Solidity's `int216` operator.
     *
     * Requirements:
     *
     * - input must fit into 216 bits
     *
     * _Available since v4.7._
     */
    function toInt216(int256 value) internal pure returns (int216) {
        require(value >= type(int216).min && value <= type(int216).max, "SafeCast: value doesn't fit in 216 bits");
        return int216(value);
    }

    /**
     * @dev Returns the downcasted int208 from int256, reverting on
     * overflow (when the input is less than smallest int208 or
     * greater than largest int208).
     *
     * Counterpart to Solidity's `int208` operator.
     *
     * Requirements:
     *
     * - input must fit into 208 bits
     *
     * _Available since v4.7._
     */
    function toInt208(int256 value) internal pure returns (int208) {
        require(value >= type(int208).min && value <= type(int208).max, "SafeCast: value doesn't fit in 208 bits");
        return int208(value);
    }

    /**
     * @dev Returns the downcasted int200 from int256, reverting on
     * overflow (when the input is less than smallest int200 or
     * greater than largest int200).
     *
     * Counterpart to Solidity's `int200` operator.
     *
     * Requirements:
     *
     * - input must fit into 200 bits
     *
     * _Available since v4.7._
     */
    function toInt200(int256 value) internal pure returns (int200) {
        require(value >= type(int200).min && value <= type(int200).max, "SafeCast: value doesn't fit in 200 bits");
        return int200(value);
    }

    /**
     * @dev Returns the downcasted int192 from int256, reverting on
     * overflow (when the input is less than smallest int192 or
     * greater than largest int192).
     *
     * Counterpart to Solidity's `int192` operator.
     *
     * Requirements:
     *
     * - input must fit into 192 bits
     *
     * _Available since v4.7._
     */
    function toInt192(int256 value) internal pure returns (int192) {
        require(value >= type(int192).min && value <= type(int192).max, "SafeCast: value doesn't fit in 192 bits");
        return int192(value);
    }

    /**
     * @dev Returns the downcasted int184 from int256, reverting on
     * overflow (when the input is less than smallest int184 or
     * greater than largest int184).
     *
     * Counterpart to Solidity's `int184` operator.
     *
     * Requirements:
     *
     * - input must fit into 184 bits
     *
     * _Available since v4.7._
     */
    function toInt184(int256 value) internal pure returns (int184) {
        require(value >= type(int184).min && value <= type(int184).max, "SafeCast: value doesn't fit in 184 bits");
        return int184(value);
    }

    /**
     * @dev Returns the downcasted int176 from int256, reverting on
     * overflow (when the input is less than smallest int176 or
     * greater than largest int176).
     *
     * Counterpart to Solidity's `int176` operator.
     *
     * Requirements:
     *
     * - input must fit into 176 bits
     *
     * _Available since v4.7._
     */
    function toInt176(int256 value) internal pure returns (int176) {
        require(value >= type(int176).min && value <= type(int176).max, "SafeCast: value doesn't fit in 176 bits");
        return int176(value);
    }

    /**
     * @dev Returns the downcasted int168 from int256, reverting on
     * overflow (when the input is less than smallest int168 or
     * greater than largest int168).
     *
     * Counterpart to Solidity's `int168` operator.
     *
     * Requirements:
     *
     * - input must fit into 168 bits
     *
     * _Available since v4.7._
     */
    function toInt168(int256 value) internal pure returns (int168) {
        require(value >= type(int168).min && value <= type(int168).max, "SafeCast: value doesn't fit in 168 bits");
        return int168(value);
    }

    /**
     * @dev Returns the downcasted int160 from int256, reverting on
     * overflow (when the input is less than smallest int160 or
     * greater than largest int160).
     *
     * Counterpart to Solidity's `int160` operator.
     *
     * Requirements:
     *
     * - input must fit into 160 bits
     *
     * _Available since v4.7._
     */
    function toInt160(int256 value) internal pure returns (int160) {
        require(value >= type(int160).min && value <= type(int160).max, "SafeCast: value doesn't fit in 160 bits");
        return int160(value);
    }

    /**
     * @dev Returns the downcasted int152 from int256, reverting on
     * overflow (when the input is less than smallest int152 or
     * greater than largest int152).
     *
     * Counterpart to Solidity's `int152` operator.
     *
     * Requirements:
     *
     * - input must fit into 152 bits
     *
     * _Available since v4.7._
     */
    function toInt152(int256 value) internal pure returns (int152) {
        require(value >= type(int152).min && value <= type(int152).max, "SafeCast: value doesn't fit in 152 bits");
        return int152(value);
    }

    /**
     * @dev Returns the downcasted int144 from int256, reverting on
     * overflow (when the input is less than smallest int144 or
     * greater than largest int144).
     *
     * Counterpart to Solidity's `int144` operator.
     *
     * Requirements:
     *
     * - input must fit into 144 bits
     *
     * _Available since v4.7._
     */
    function toInt144(int256 value) internal pure returns (int144) {
        require(value >= type(int144).min && value <= type(int144).max, "SafeCast: value doesn't fit in 144 bits");
        return int144(value);
    }

    /**
     * @dev Returns the downcasted int136 from int256, reverting on
     * overflow (when the input is less than smallest int136 or
     * greater than largest int136).
     *
     * Counterpart to Solidity's `int136` operator.
     *
     * Requirements:
     *
     * - input must fit into 136 bits
     *
     * _Available since v4.7._
     */
    function toInt136(int256 value) internal pure returns (int136) {
        require(value >= type(int136).min && value <= type(int136).max, "SafeCast: value doesn't fit in 136 bits");
        return int136(value);
    }

    /**
     * @dev Returns the downcasted int128 from int256, reverting on
     * overflow (when the input is less than smallest int128 or
     * greater than largest int128).
     *
     * Counterpart to Solidity's `int128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     *
     * _Available since v3.1._
     */
    function toInt128(int256 value) internal pure returns (int128) {
        require(value >= type(int128).min && value <= type(int128).max, "SafeCast: value doesn't fit in 128 bits");
        return int128(value);
    }

    /**
     * @dev Returns the downcasted int120 from int256, reverting on
     * overflow (when the input is less than smallest int120 or
     * greater than largest int120).
     *
     * Counterpart to Solidity's `int120` operator.
     *
     * Requirements:
     *
     * - input must fit into 120 bits
     *
     * _Available since v4.7._
     */
    function toInt120(int256 value) internal pure returns (int120) {
        require(value >= type(int120).min && value <= type(int120).max, "SafeCast: value doesn't fit in 120 bits");
        return int120(value);
    }

    /**
     * @dev Returns the downcasted int112 from int256, reverting on
     * overflow (when the input is less than smallest int112 or
     * greater than largest int112).
     *
     * Counterpart to Solidity's `int112` operator.
     *
     * Requirements:
     *
     * - input must fit into 112 bits
     *
     * _Available since v4.7._
     */
    function toInt112(int256 value) internal pure returns (int112) {
        require(value >= type(int112).min && value <= type(int112).max, "SafeCast: value doesn't fit in 112 bits");
        return int112(value);
    }

    /**
     * @dev Returns the downcasted int104 from int256, reverting on
     * overflow (when the input is less than smallest int104 or
     * greater than largest int104).
     *
     * Counterpart to Solidity's `int104` operator.
     *
     * Requirements:
     *
     * - input must fit into 104 bits
     *
     * _Available since v4.7._
     */
    function toInt104(int256 value) internal pure returns (int104) {
        require(value >= type(int104).min && value <= type(int104).max, "SafeCast: value doesn't fit in 104 bits");
        return int104(value);
    }

    /**
     * @dev Returns the downcasted int96 from int256, reverting on
     * overflow (when the input is less than smallest int96 or
     * greater than largest int96).
     *
     * Counterpart to Solidity's `int96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     *
     * _Available since v4.7._
     */
    function toInt96(int256 value) internal pure returns (int96) {
        require(value >= type(int96).min && value <= type(int96).max, "SafeCast: value doesn't fit in 96 bits");
        return int96(value);
    }

    /**
     * @dev Returns the downcasted int88 from int256, reverting on
     * overflow (when the input is less than smallest int88 or
     * greater than largest int88).
     *
     * Counterpart to Solidity's `int88` operator.
     *
     * Requirements:
     *
     * - input must fit into 88 bits
     *
     * _Available since v4.7._
     */
    function toInt88(int256 value) internal pure returns (int88) {
        require(value >= type(int88).min && value <= type(int88).max, "SafeCast: value doesn't fit in 88 bits");
        return int88(value);
    }

    /**
     * @dev Returns the downcasted int80 from int256, reverting on
     * overflow (when the input is less than smallest int80 or
     * greater than largest int80).
     *
     * Counterpart to Solidity's `int80` operator.
     *
     * Requirements:
     *
     * - input must fit into 80 bits
     *
     * _Available since v4.7._
     */
    function toInt80(int256 value) internal pure returns (int80) {
        require(value >= type(int80).min && value <= type(int80).max, "SafeCast: value doesn't fit in 80 bits");
        return int80(value);
    }

    /**
     * @dev Returns the downcasted int72 from int256, reverting on
     * overflow (when the input is less than smallest int72 or
     * greater than largest int72).
     *
     * Counterpart to Solidity's `int72` operator.
     *
     * Requirements:
     *
     * - input must fit into 72 bits
     *
     * _Available since v4.7._
     */
    function toInt72(int256 value) internal pure returns (int72) {
        require(value >= type(int72).min && value <= type(int72).max, "SafeCast: value doesn't fit in 72 bits");
        return int72(value);
    }

    /**
     * @dev Returns the downcasted int64 from int256, reverting on
     * overflow (when the input is less than smallest int64 or
     * greater than largest int64).
     *
     * Counterpart to Solidity's `int64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     *
     * _Available since v3.1._
     */
    function toInt64(int256 value) internal pure returns (int64) {
        require(value >= type(int64).min && value <= type(int64).max, "SafeCast: value doesn't fit in 64 bits");
        return int64(value);
    }

    /**
     * @dev Returns the downcasted int56 from int256, reverting on
     * overflow (when the input is less than smallest int56 or
     * greater than largest int56).
     *
     * Counterpart to Solidity's `int56` operator.
     *
     * Requirements:
     *
     * - input must fit into 56 bits
     *
     * _Available since v4.7._
     */
    function toInt56(int256 value) internal pure returns (int56) {
        require(value >= type(int56).min && value <= type(int56).max, "SafeCast: value doesn't fit in 56 bits");
        return int56(value);
    }

    /**
     * @dev Returns the downcasted int48 from int256, reverting on
     * overflow (when the input is less than smallest int48 or
     * greater than largest int48).
     *
     * Counterpart to Solidity's `int48` operator.
     *
     * Requirements:
     *
     * - input must fit into 48 bits
     *
     * _Available since v4.7._
     */
    function toInt48(int256 value) internal pure returns (int48) {
        require(value >= type(int48).min && value <= type(int48).max, "SafeCast: value doesn't fit in 48 bits");
        return int48(value);
    }

    /**
     * @dev Returns the downcasted int40 from int256, reverting on
     * overflow (when the input is less than smallest int40 or
     * greater than largest int40).
     *
     * Counterpart to Solidity's `int40` operator.
     *
     * Requirements:
     *
     * - input must fit into 40 bits
     *
     * _Available since v4.7._
     */
    function toInt40(int256 value) internal pure returns (int40) {
        require(value >= type(int40).min && value <= type(int40).max, "SafeCast: value doesn't fit in 40 bits");
        return int40(value);
    }

    /**
     * @dev Returns the downcasted int32 from int256, reverting on
     * overflow (when the input is less than smallest int32 or
     * greater than largest int32).
     *
     * Counterpart to Solidity's `int32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     *
     * _Available since v3.1._
     */
    function toInt32(int256 value) internal pure returns (int32) {
        require(value >= type(int32).min && value <= type(int32).max, "SafeCast: value doesn't fit in 32 bits");
        return int32(value);
    }

    /**
     * @dev Returns the downcasted int24 from int256, reverting on
     * overflow (when the input is less than smallest int24 or
     * greater than largest int24).
     *
     * Counterpart to Solidity's `int24` operator.
     *
     * Requirements:
     *
     * - input must fit into 24 bits
     *
     * _Available since v4.7._
     */
    function toInt24(int256 value) internal pure returns (int24) {
        require(value >= type(int24).min && value <= type(int24).max, "SafeCast: value doesn't fit in 24 bits");
        return int24(value);
    }

    /**
     * @dev Returns the downcasted int16 from int256, reverting on
     * overflow (when the input is less than smallest int16 or
     * greater than largest int16).
     *
     * Counterpart to Solidity's `int16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     *
     * _Available since v3.1._
     */
    function toInt16(int256 value) internal pure returns (int16) {
        require(value >= type(int16).min && value <= type(int16).max, "SafeCast: value doesn't fit in 16 bits");
        return int16(value);
    }

    /**
     * @dev Returns the downcasted int8 from int256, reverting on
     * overflow (when the input is less than smallest int8 or
     * greater than largest int8).
     *
     * Counterpart to Solidity's `int8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits
     *
     * _Available since v3.1._
     */
    function toInt8(int256 value) internal pure returns (int8) {
        require(value >= type(int8).min && value <= type(int8).max, "SafeCast: value doesn't fit in 8 bits");
        return int8(value);
    }

    /**
     * @dev Converts an unsigned uint256 into a signed int256.
     *
     * Requirements:
     *
     * - input must be less than or equal to maxInt256.
     *
     * _Available since v3.0._
     */
    function toInt256(uint256 value) internal pure returns (int256) {
        // Note: Unsafe cast below is okay because `type(int256).max` is guaranteed to be positive
        require(value <= uint256(type(int256).max), "SafeCast: value doesn't fit in an int256");
        return int256(value);
    }
}






/**
 * @dev Extension of ERC20 to support Compound-like voting and delegation. This version is more generic than Compound's,
 * and supports token supply up to 2^224^ - 1, while COMP is limited to 2^96^ - 1.
 *
 * NOTE: If exact COMP compatibility is required, use the {ERC20VotesComp} variant of this module.
 *
 * This extension keeps a history (checkpoints) of each account's vote power. Vote power can be delegated either
 * by calling the {delegate} function directly, or by providing a signature to be used with {delegateBySig}. Voting
 * power can be queried through the public accessors {getVotes} and {getPastVotes}.
 *
 * By default, token balance does not account for voting power. This makes transfers cheaper. The downside is that it
 * requires users to delegate to themselves in order to activate checkpoints and have their voting power tracked.
 *
 * _Available since v4.2._
 */
abstract contract ERC20Votes is IVotes, ERC20Permit {
    struct Checkpoint {
        uint32 fromBlock;
        uint224 votes;
    }

    bytes32 private constant _DELEGATION_TYPEHASH =
        keccak256("Delegation(address delegatee,uint256 nonce,uint256 expiry)");

    mapping(address => address) private _delegates;
    mapping(address => Checkpoint[]) private _checkpoints;
    Checkpoint[] private _totalSupplyCheckpoints;

    /**
     * @dev Get the `pos`-th checkpoint for `account`.
     */
    function checkpoints(address account, uint32 pos) public view virtual returns (Checkpoint memory) {
        return _checkpoints[account][pos];
    }

    /**
     * @dev Get number of checkpoints for `account`.
     */
    function numCheckpoints(address account) public view virtual returns (uint32) {
        return SafeCast.toUint32(_checkpoints[account].length);
    }

    /**
     * @dev Get the address `account` is currently delegating to.
     */
    function delegates(address account) public view virtual override returns (address) {
        return _delegates[account];
    }

    /**
     * @dev Gets the current votes balance for `account`
     */
    function getVotes(address account) public view virtual override returns (uint256) {
        uint256 pos = _checkpoints[account].length;
        return pos == 0 ? 0 : _checkpoints[account][pos - 1].votes;
    }

    /**
     * @dev Retrieve the number of votes for `account` at the end of `blockNumber`.
     *
     * Requirements:
     *
     * - `blockNumber` must have been already mined
     */
    function getPastVotes(address account, uint256 blockNumber) public view virtual override returns (uint256) {
        require(blockNumber < block.number, "ERC20Votes: block not yet mined");
        return _checkpointsLookup(_checkpoints[account], blockNumber);
    }

    /**
     * @dev Retrieve the `totalSupply` at the end of `blockNumber`. Note, this value is the sum of all balances.
     * It is but NOT the sum of all the delegated votes!
     *
     * Requirements:
     *
     * - `blockNumber` must have been already mined
     */
    function getPastTotalSupply(uint256 blockNumber) public view virtual override returns (uint256) {
        require(blockNumber < block.number, "ERC20Votes: block not yet mined");
        return _checkpointsLookup(_totalSupplyCheckpoints, blockNumber);
    }

    /**
     * @dev Lookup a value in a list of (sorted) checkpoints.
     */
    function _checkpointsLookup(Checkpoint[] storage ckpts, uint256 blockNumber) private view returns (uint256) {
        // We run a binary search to look for the earliest checkpoint taken after `blockNumber`.
        //
        // During the loop, the index of the wanted checkpoint remains in the range [low-1, high).
        // With each iteration, either `low` or `high` is moved towards the middle of the range to maintain the invariant.
        // - If the middle checkpoint is after `blockNumber`, we look in [low, mid)
        // - If the middle checkpoint is before or equal to `blockNumber`, we look in [mid+1, high)
        // Once we reach a single value (when low == high), we've found the right checkpoint at the index high-1, if not
        // out of bounds (in which case we're looking too far in the past and the result is 0).
        // Note that if the latest checkpoint available is exactly for `blockNumber`, we end up with an index that is
        // past the end of the array, so we technically don't find a checkpoint after `blockNumber`, but it works out
        // the same.
        uint256 high = ckpts.length;
        uint256 low = 0;
        while (low < high) {
            uint256 mid = Math.average(low, high);
            if (ckpts[mid].fromBlock > blockNumber) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        return high == 0 ? 0 : ckpts[high - 1].votes;
    }

    /**
     * @dev Delegate votes from the sender to `delegatee`.
     */
    function delegate(address delegatee) public virtual override {
        _delegate(_msgSender(), delegatee);
    }

    /**
     * @dev Delegates votes from signer to `delegatee`
     */
    function delegateBySig(
        address delegatee,
        uint256 nonce,
        uint256 expiry,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual override {
        require(block.timestamp <= expiry, "ERC20Votes: signature expired");
        address signer = ECDSA.recover(
            _hashTypedDataV4(keccak256(abi.encode(_DELEGATION_TYPEHASH, delegatee, nonce, expiry))),
            v,
            r,
            s
        );
        require(nonce == _useNonce(signer), "ERC20Votes: invalid nonce");
        _delegate(signer, delegatee);
    }

    /**
     * @dev Maximum token supply. Defaults to `type(uint224).max` (2^224^ - 1).
     */
    function _maxSupply() internal view virtual returns (uint224) {
        return type(uint224).max;
    }

    /**
     * @dev Snapshots the totalSupply after it has been increased.
     */
    function _mint(address account, uint256 amount) internal virtual override {
        super._mint(account, amount);
        require(totalSupply() <= _maxSupply(), "ERC20Votes: total supply risks overflowing votes");

        _writeCheckpoint(_totalSupplyCheckpoints, _add, amount);
    }

    /**
     * @dev Snapshots the totalSupply after it has been decreased.
     */
    function _burn(address account, uint256 amount) internal virtual override {
        super._burn(account, amount);

        _writeCheckpoint(_totalSupplyCheckpoints, _subtract, amount);
    }

    /**
     * @dev Move voting power when tokens are transferred.
     *
     * Emits a {DelegateVotesChanged} event.
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual override {
        super._afterTokenTransfer(from, to, amount);

        _moveVotingPower(delegates(from), delegates(to), amount);
    }

    /**
     * @dev Change delegation for `delegator` to `delegatee`.
     *
     * Emits events {DelegateChanged} and {DelegateVotesChanged}.
     */
    function _delegate(address delegator, address delegatee) internal virtual {
        address currentDelegate = delegates(delegator);
        uint256 delegatorBalance = balanceOf(delegator);
        _delegates[delegator] = delegatee;

        emit DelegateChanged(delegator, currentDelegate, delegatee);

        _moveVotingPower(currentDelegate, delegatee, delegatorBalance);
    }

    function _moveVotingPower(
        address src,
        address dst,
        uint256 amount
    ) private {
        if (src != dst && amount > 0) {
            if (src != address(0)) {
                (uint256 oldWeight, uint256 newWeight) = _writeCheckpoint(_checkpoints[src], _subtract, amount);
                emit DelegateVotesChanged(src, oldWeight, newWeight);
            }

            if (dst != address(0)) {
                (uint256 oldWeight, uint256 newWeight) = _writeCheckpoint(_checkpoints[dst], _add, amount);
                emit DelegateVotesChanged(dst, oldWeight, newWeight);
            }
        }
    }

    function _writeCheckpoint(
        Checkpoint[] storage ckpts,
        function(uint256, uint256) view returns (uint256) op,
        uint256 delta
    ) private returns (uint256 oldWeight, uint256 newWeight) {
        uint256 pos = ckpts.length;
        oldWeight = pos == 0 ? 0 : ckpts[pos - 1].votes;
        newWeight = op(oldWeight, delta);

        if (pos > 0 && ckpts[pos - 1].fromBlock == block.number) {
            ckpts[pos - 1].votes = SafeCast.toUint224(newWeight);
        } else {
            ckpts.push(Checkpoint({fromBlock: SafeCast.toUint32(block.number), votes: SafeCast.toUint224(newWeight)}));
        }
    }

    function _add(uint256 a, uint256 b) private pure returns (uint256) {
        return a + b;
    }

    function _subtract(uint256 a, uint256 b) private pure returns (uint256) {
        return a - b;
    }
}




contract LEAPToken is ERC20, ERC20Permit, ERC20Votes {

    uint256 initialSupply = 200000000 * 10**18; // 200 000 000 tokens

    constructor() ERC20("LEAP Token", "LEAP") ERC20Permit("LEAP Token") {
        _mint(msg.sender, initialSupply);
    }

    function _afterTokenTransfer(address from, address to, uint256 amount)
        internal
        override(ERC20, ERC20Votes)
    {
        super._afterTokenTransfer(from, to, amount);
    }

    function _mint(address to, uint256 amount)
        internal
        override(ERC20, ERC20Votes)
    {
        super._mint(to, amount);
    }

    function _burn(address account, uint256 amount)
        internal
        override(ERC20, ERC20Votes)
    {
        super._burn(account, amount);
    }
}

• 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":"delegator","type":"address"},{"indexed":true,"internalType":"address","name":"fromDelegate","type":"address"},{"indexed":true,"internalType":"address","name":"toDelegate","type":"address"}],"name":"DelegateChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegate","type":"address"},{"indexed":false,"internalType":"uint256","name":"previousBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newBalance","type":"uint256"}],"name":"DelegateVotesChanged","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":[{"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":"address","name":"account","type":"address"},{"internalType":"uint32","name":"pos","type":"uint32"}],"name":"checkpoints","outputs":[{"components":[{"internalType":"uint32","name":"fromBlock","type":"uint32"},{"internalType":"uint224","name":"votes","type":"uint224"}],"internalType":"struct ERC20Votes.Checkpoint","name":"","type":"tuple"}],"stateMutability":"view","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":"delegatee","type":"address"}],"name":"delegate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"delegatee","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"delegateBySig","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastTotalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"owner","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"numCheckpoints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"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":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

6101406040526aa56fa5b99019a5c8000000600a553480156200002157600080fd5b506040518060400160405280600a81526020017f4c45415020546f6b656e00000000000000000000000000000000000000000000815250806040518060400160405280600181526020017f31000000000000000000000000000000000000000000000000000000000000008152506040518060400160405280600a81526020017f4c45415020546f6b656e000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f4c4541500000000000000000000000000000000000000000000000000000000081525081600390805190602001906200011392919062000b63565b5080600490805190602001906200012c92919062000b63565b50505060008280519060200120905060008280519060200120905060007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f90508260e081815250508161010081815250504660a0818152505062000198818484620001ff60201b60201c565b608081815250503073ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff1660601b81525050806101208181525050505050505050620001f933600a546200023b60201b60201c565b620010db565b600083838346306040516020016200021c95949392919062000ce2565b6040516020818303038152906040528051906020012090509392505050565b6200025282826200025660201b62000e7b1760201c565b5050565b6200026d82826200031460201b62000f081760201c565b6200027d6200048d60201b60201c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16620002ab620004b160201b60201c565b1115620002ef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002e69062000d3f565b60405180910390fd5b6200030e6009620004bb60201b620010681783620004d360201b60201c565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000387576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200037e9062000da5565b60405180910390fd5b6200039b600083836200078460201b60201c565b8060026000828254620003af919062000e22565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825462000406919062000e22565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200046d919062000dc7565b60405180910390a362000489600083836200078960201b60201c565b5050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b6000600254905090565b60008183620004cb919062000e22565b905092915050565b60008060008580549050905060008114620005485785600182620004f8919062000e7f565b815481106200050c576200050b62000f96565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166200054b565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1692506200057783858760201c565b9150600081118015620005d05750438660018362000596919062000e7f565b81548110620005aa57620005a962000f96565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff16145b156200067157620005ec82620007a660201b6200107e1760201c565b86600183620005fc919062000e7f565b8154811062000610576200060f62000f96565b5b9060005260206000200160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055506200077b565b85604051806040016040528062000693436200081460201b620010e91760201c565b63ffffffff168152602001620006b485620007a660201b6200107e1760201c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b50935093915050565b505050565b620007a18383836200086a60201b6200113c1760201c565b505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156200080c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620008039062000d61565b60405180910390fd5b819050919050565b600063ffffffff801682111562000862576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620008599062000d83565b60405180910390fd5b819050919050565b62000882838383620008ba60201b620011671760201c565b620008b56200089784620008bf60201b60201c565b620008a884620008bf60201b60201c565b836200092860201b60201c565b505050565b505050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015620009655750600081115b1562000b4657600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161462000a5857600080620009ff600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002062000b4b60201b6200116c1785620004d360201b60201c565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405162000a4d92919062000de4565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161462000b455760008062000aec600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020620004bb60201b620010681785620004d360201b60201c565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405162000b3a92919062000de4565b60405180910390a250505b5b505050565b6000818362000b5b919062000e7f565b905092915050565b82805462000b719062000f02565b90600052602060002090601f01602090048101928262000b95576000855562000be1565b82601f1062000bb057805160ff191683800117855562000be1565b8280016001018555821562000be1579182015b8281111562000be057825182559160200191906001019062000bc3565b5b50905062000bf0919062000bf4565b5090565b5b8082111562000c0f57600081600090555060010162000bf5565b5090565b62000c1e8162000eba565b82525050565b62000c2f8162000ece565b82525050565b600062000c4460308362000e11565b915062000c518262000fc5565b604082019050919050565b600062000c6b60278362000e11565b915062000c788262001014565b604082019050919050565b600062000c9260268362000e11565b915062000c9f8262001063565b604082019050919050565b600062000cb9601f8362000e11565b915062000cc682620010b2565b602082019050919050565b62000cdc8162000ef8565b82525050565b600060a08201905062000cf9600083018862000c24565b62000d08602083018762000c24565b62000d17604083018662000c24565b62000d26606083018562000cd1565b62000d35608083018462000c13565b9695505050505050565b6000602082019050818103600083015262000d5a8162000c35565b9050919050565b6000602082019050818103600083015262000d7c8162000c5c565b9050919050565b6000602082019050818103600083015262000d9e8162000c83565b9050919050565b6000602082019050818103600083015262000dc08162000caa565b9050919050565b600060208201905062000dde600083018462000cd1565b92915050565b600060408201905062000dfb600083018562000cd1565b62000e0a602083018462000cd1565b9392505050565b600082825260208201905092915050565b600062000e2f8262000ef8565b915062000e3c8362000ef8565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111562000e745762000e7362000f38565b5b828201905092915050565b600062000e8c8262000ef8565b915062000e998362000ef8565b92508282101562000eaf5762000eae62000f38565b5b828203905092915050565b600062000ec78262000ed8565b9050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000600282049050600182168062000f1b57607f821691505b6020821081141562000f325762000f3162000f67565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b60805160a05160c05160601c60e051610100516101205161372f6200112e6000396000611710015260006117520152600061173101526000611666015260006116bc015260006116e5015261372f6000f3fe608060405234801561001057600080fd5b50600436106101425760003560e01c806370a08231116100b8578063a457c2d71161007c578063a457c2d7146103d9578063a9059cbb14610409578063c3cda52014610439578063d505accf14610455578063dd62ed3e14610471578063f1127ed8146104a157610142565b806370a08231146102fb5780637ecebe001461032b5780638e539e8c1461035b57806395d89b411461038b5780639ab24eb0146103a957610142565b80633644e5151161010a5780633644e51514610201578063395093511461021f5780633a46b1a81461024f578063587cde1e1461027f5780635c19a95c146102af5780636fcfff45146102cb57610142565b806306fdde0314610147578063095ea7b31461016557806318160ddd1461019557806323b872dd146101b3578063313ce567146101e3575b600080fd5b61014f6104d1565b60405161015c9190612b67565b60405180910390f35b61017f600480360381019061017a9190612491565b610563565b60405161018c91906129f3565b60405180910390f35b61019d610586565b6040516101aa9190612e24565b60405180910390f35b6101cd60048036038101906101c8919061239c565b610590565b6040516101da91906129f3565b60405180910390f35b6101eb6105bf565b6040516101f89190612e83565b60405180910390f35b6102096105c8565b6040516102169190612a0e565b60405180910390f35b61023960048036038101906102349190612491565b6105d7565b60405161024691906129f3565b60405180910390f35b61026960048036038101906102649190612491565b61060e565b6040516102769190612e24565b60405180910390f35b6102996004803603810190610294919061232f565b6106a2565b6040516102a691906129d8565b60405180910390f35b6102c960048036038101906102c4919061232f565b61070b565b005b6102e560048036038101906102e0919061232f565b61071f565b6040516102f29190612e68565b60405180910390f35b6103156004803603810190610310919061232f565b610773565b6040516103229190612e24565b60405180910390f35b6103456004803603810190610340919061232f565b6107bb565b6040516103529190612e24565b60405180910390f35b6103756004803603810190610370919061259e565b61080b565b6040516103829190612e24565b60405180910390f35b610393610861565b6040516103a09190612b67565b60405180910390f35b6103c360048036038101906103be919061232f565b6108f3565b6040516103d09190612e24565b60405180910390f35b6103f360048036038101906103ee9190612491565b610a04565b60405161040091906129f3565b60405180910390f35b610423600480360381019061041e9190612491565b610a7b565b60405161043091906129f3565b60405180910390f35b610453600480360381019061044e91906124d1565b610a9e565b005b61046f600480360381019061046a91906123ef565b610ba2565b005b61048b6004803603810190610486919061235c565b610ce4565b6040516104989190612e24565b60405180910390f35b6104bb60048036038101906104b6919061255e565b610d6b565b6040516104c89190612e09565b60405180910390f35b6060600380546104e09061304a565b80601f016020809104026020016040519081016040528092919081815260200182805461050c9061304a565b80156105595780601f1061052e57610100808354040283529160200191610559565b820191906000526020600020905b81548152906001019060200180831161053c57829003601f168201915b5050505050905090565b60008061056e611182565b905061057b81858561118a565b600191505092915050565b6000600254905090565b60008061059b611182565b90506105a8858285611355565b6105b38585856113e1565b60019150509392505050565b60006012905090565b60006105d2611662565b905090565b6000806105e2611182565b90506106038185856105f48589610ce4565b6105fe9190612ec5565b61118a565b600191505092915050565b6000438210610652576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064990612bc9565b60405180910390fd5b61069a600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208361177c565b905092915050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b61071c610716611182565b82611888565b50565b600061076c600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506110e9565b9050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000610804600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206119a2565b9050919050565b600043821061084f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084690612bc9565b60405180910390fd5b61085a60098361177c565b9050919050565b6060600480546108709061304a565b80601f016020809104026020016040519081016040528092919081815260200182805461089c9061304a565b80156108e95780601f106108be576101008083540402835291602001916108e9565b820191906000526020600020905b8154815290600101906020018083116108cc57829003601f168201915b5050505050905090565b600080600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490509050600081146109db57600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060018261098f9190612f4c565b815481106109a05761099f613142565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166109de565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16915050919050565b600080610a0f611182565b90506000610a1d8286610ce4565b905083811015610a62576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5990612dc9565b60405180910390fd5b610a6f828686840361118a565b60019250505092915050565b600080610a86611182565b9050610a938185856113e1565b600191505092915050565b83421115610ae1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad890612be9565b60405180910390fd5b6000610b43610b3b7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf898989604051602001610b209493929190612a8a565b604051602081830303815290604052805190602001206119b0565b8585856119ca565b9050610b4e816119f5565b8614610b8f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b8690612c29565b60405180910390fd5b610b998188611888565b50505050505050565b83421115610be5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bdc90612c89565b60405180910390fd5b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888610c148c6119f5565b89604051602001610c2a96959493929190612a29565b6040516020818303038152906040528051906020012090506000610c4d826119b0565b90506000610c5d828787876119ca565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610ccd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cc490612d09565b60405180910390fd5b610cd88a8a8a61118a565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610d73612288565b600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208263ffffffff1681548110610dca57610dc9613142565b5b906000526020600020016040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050905092915050565b610e858282610f08565b610e8d611a53565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16610eb3610586565b1115610ef4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eeb90612d29565b60405180910390fd5b610f02600961106883611a77565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610f78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6f90612de9565b60405180910390fd5b610f8460008383611cef565b8060026000828254610f969190612ec5565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610feb9190612ec5565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516110509190612e24565b60405180910390a361106460008383611cf4565b5050565b600081836110769190612ec5565b905092915050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156110e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110d890612d49565b60405180910390fd5b819050919050565b600063ffffffff8016821115611134576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161112b90612d89565b60405180910390fd5b819050919050565b611147838383611167565b611162611153846106a2565b61115c846106a2565b83611d04565b505050565b505050565b6000818361117a9190612f4c565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156111fa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111f190612da9565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561126a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161126190612c49565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516113489190612e24565b60405180910390a3505050565b60006113618484610ce4565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146113db57818110156113cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113c490612c69565b60405180910390fd5b6113da848484840361118a565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611451576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161144890612d69565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156114c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114b890612ba9565b60405180910390fd5b6114cc838383611cef565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611552576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161154990612ca9565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546115e59190612ec5565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516116499190612e24565b60405180910390a361165c848484611cf4565b50505050565b60007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff161480156116de57507f000000000000000000000000000000000000000000000000000000000000000046145b1561170b577f00000000000000000000000000000000000000000000000000000000000000009050611779565b6117767f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000611efd565b90505b90565b6000808380549050905060005b818110156117fb57600061179d8284611f37565b9050848682815481106117b3576117b2613142565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff1611156117e5578092506117f5565b6001816117f29190612ec5565b91505b50611789565b6000821461185d57846001836118119190612f4c565b8154811061182257611821613142565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611860565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169250505092915050565b6000611893836106a2565b905060006118a084610773565b905082600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a461199c828483611d04565b50505050565b600081600001549050919050565b60006119c36119bd611662565b83611f5d565b9050919050565b60008060006119db87878787611f90565b915091506119e88161209d565b8192505050949350505050565b600080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050611a42816119a2565b9150611a4d81612272565b50919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b60008060008580549050905060008114611ae55785600182611a999190612f4c565b81548110611aaa57611aa9613142565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611ae8565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169250611b1683858763ffffffff16565b9150600081118015611b6957504386600183611b329190612f4c565b81548110611b4357611b42613142565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff16145b15611bf657611b778261107e565b86600183611b859190612f4c565b81548110611b9657611b95613142565b5b9060005260206000200160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550611ce6565b856040518060400160405280611c0b436110e9565b63ffffffff168152602001611c1f8561107e565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b50935093915050565b505050565b611cff83838361113c565b505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611d405750600081115b15611ef857600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611e1e57600080611dc7600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061116c85611a77565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051611e13929190612e3f565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611ef757600080611ea0600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061106885611a77565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051611eec929190612e3f565b60405180910390a250505b5b505050565b60008383834630604051602001611f18959493929190612acf565b6040516020818303038152906040528051906020012090509392505050565b60006002828418611f489190612f1b565b828416611f559190612ec5565b905092915050565b60008282604051602001611f729291906129a1565b60405160208183030381529060405280519060200120905092915050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08360001c1115611fcb576000600391509150612094565b601b8560ff1614158015611fe35750601c8560ff1614155b15611ff5576000600491509150612094565b60006001878787876040516000815260200160405260405161201a9493929190612b22565b6020604051602081039080840390855afa15801561203c573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561208b57600060019250925050612094565b80600092509250505b94509492505050565b600060048111156120b1576120b06130e4565b5b8160048111156120c4576120c36130e4565b5b14156120cf5761226f565b600160048111156120e3576120e26130e4565b5b8160048111156120f6576120f56130e4565b5b1415612137576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161212e90612b89565b60405180910390fd5b6002600481111561214b5761214a6130e4565b5b81600481111561215e5761215d6130e4565b5b141561219f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161219690612c09565b60405180910390fd5b600360048111156121b3576121b26130e4565b5b8160048111156121c6576121c56130e4565b5b1415612207576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016121fe90612cc9565b60405180910390fd5b60048081111561221a576122196130e4565b5b81600481111561222d5761222c6130e4565b5b141561226e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161226590612ce9565b60405180910390fd5b5b50565b6001816000016000828254019250508190555050565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b6000813590506122d581613686565b92915050565b6000813590506122ea8161369d565b92915050565b6000813590506122ff816136b4565b92915050565b600081359050612314816136cb565b92915050565b600081359050612329816136e2565b92915050565b60006020828403121561234557612344613171565b5b6000612353848285016122c6565b91505092915050565b6000806040838503121561237357612372613171565b5b6000612381858286016122c6565b9250506020612392858286016122c6565b9150509250929050565b6000806000606084860312156123b5576123b4613171565b5b60006123c3868287016122c6565b93505060206123d4868287016122c6565b92505060406123e5868287016122f0565b9150509250925092565b600080600080600080600060e0888a03121561240e5761240d613171565b5b600061241c8a828b016122c6565b975050602061242d8a828b016122c6565b965050604061243e8a828b016122f0565b955050606061244f8a828b016122f0565b94505060806124608a828b0161231a565b93505060a06124718a828b016122db565b92505060c06124828a828b016122db565b91505092959891949750929550565b600080604083850312156124a8576124a7613171565b5b60006124b6858286016122c6565b92505060206124c7858286016122f0565b9150509250929050565b60008060008060008060c087890312156124ee576124ed613171565b5b60006124fc89828a016122c6565b965050602061250d89828a016122f0565b955050604061251e89828a016122f0565b945050606061252f89828a0161231a565b935050608061254089828a016122db565b92505060a061255189828a016122db565b9150509295509295509295565b6000806040838503121561257557612574613171565b5b6000612583858286016122c6565b925050602061259485828601612305565b9150509250929050565b6000602082840312156125b4576125b3613171565b5b60006125c2848285016122f0565b91505092915050565b6125d481612f80565b82525050565b6125e381612f92565b82525050565b6125f281612f9e565b82525050565b61260961260482612f9e565b61307c565b82525050565b600061261a82612e9e565b6126248185612ea9565b9350612634818560208601613017565b61263d81613176565b840191505092915050565b6000612655601883612ea9565b915061266082613187565b602082019050919050565b6000612678602383612ea9565b9150612683826131b0565b604082019050919050565b600061269b601f83612ea9565b91506126a6826131ff565b602082019050919050565b60006126be601d83612ea9565b91506126c982613228565b602082019050919050565b60006126e1601f83612ea9565b91506126ec82613251565b602082019050919050565b6000612704601983612ea9565b915061270f8261327a565b602082019050919050565b6000612727602283612ea9565b9150612732826132a3565b604082019050919050565b600061274a600283612eba565b9150612755826132f2565b600282019050919050565b600061276d601d83612ea9565b91506127788261331b565b602082019050919050565b6000612790601d83612ea9565b915061279b82613344565b602082019050919050565b60006127b3602683612ea9565b91506127be8261336d565b604082019050919050565b60006127d6602283612ea9565b91506127e1826133bc565b604082019050919050565b60006127f9602283612ea9565b91506128048261340b565b604082019050919050565b600061281c601e83612ea9565b91506128278261345a565b602082019050919050565b600061283f603083612ea9565b915061284a82613483565b604082019050919050565b6000612862602783612ea9565b915061286d826134d2565b604082019050919050565b6000612885602583612ea9565b915061289082613521565b604082019050919050565b60006128a8602683612ea9565b91506128b382613570565b604082019050919050565b60006128cb602483612ea9565b91506128d6826135bf565b604082019050919050565b60006128ee602583612ea9565b91506128f98261360e565b604082019050919050565b6000612911601f83612ea9565b915061291c8261365d565b602082019050919050565b60408201600082015161293d6000850182612974565b5060208201516129506020850182612956565b50505050565b61295f81612fc8565b82525050565b61296e81612ff0565b82525050565b61297d81612ffa565b82525050565b61298c81612ffa565b82525050565b61299b8161300a565b82525050565b60006129ac8261273d565b91506129b882856125f8565b6020820191506129c882846125f8565b6020820191508190509392505050565b60006020820190506129ed60008301846125cb565b92915050565b6000602082019050612a0860008301846125da565b92915050565b6000602082019050612a2360008301846125e9565b92915050565b600060c082019050612a3e60008301896125e9565b612a4b60208301886125cb565b612a5860408301876125cb565b612a656060830186612965565b612a726080830185612965565b612a7f60a0830184612965565b979650505050505050565b6000608082019050612a9f60008301876125e9565b612aac60208301866125cb565b612ab96040830185612965565b612ac66060830184612965565b95945050505050565b600060a082019050612ae460008301886125e9565b612af160208301876125e9565b612afe60408301866125e9565b612b0b6060830185612965565b612b1860808301846125cb565b9695505050505050565b6000608082019050612b3760008301876125e9565b612b446020830186612992565b612b5160408301856125e9565b612b5e60608301846125e9565b95945050505050565b60006020820190508181036000830152612b81818461260f565b905092915050565b60006020820190508181036000830152612ba281612648565b9050919050565b60006020820190508181036000830152612bc28161266b565b9050919050565b60006020820190508181036000830152612be28161268e565b9050919050565b60006020820190508181036000830152612c02816126b1565b9050919050565b60006020820190508181036000830152612c22816126d4565b9050919050565b60006020820190508181036000830152612c42816126f7565b9050919050565b60006020820190508181036000830152612c628161271a565b9050919050565b60006020820190508181036000830152612c8281612760565b9050919050565b60006020820190508181036000830152612ca281612783565b9050919050565b60006020820190508181036000830152612cc2816127a6565b9050919050565b60006020820190508181036000830152612ce2816127c9565b9050919050565b60006020820190508181036000830152612d02816127ec565b9050919050565b60006020820190508181036000830152612d228161280f565b9050919050565b60006020820190508181036000830152612d4281612832565b9050919050565b60006020820190508181036000830152612d6281612855565b9050919050565b60006020820190508181036000830152612d8281612878565b9050919050565b60006020820190508181036000830152612da28161289b565b9050919050565b60006020820190508181036000830152612dc2816128be565b9050919050565b60006020820190508181036000830152612de2816128e1565b9050919050565b60006020820190508181036000830152612e0281612904565b9050919050565b6000604082019050612e1e6000830184612927565b92915050565b6000602082019050612e396000830184612965565b92915050565b6000604082019050612e546000830185612965565b612e616020830184612965565b9392505050565b6000602082019050612e7d6000830184612983565b92915050565b6000602082019050612e986000830184612992565b92915050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612ed082612ff0565b9150612edb83612ff0565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115612f1057612f0f613086565b5b828201905092915050565b6000612f2682612ff0565b9150612f3183612ff0565b925082612f4157612f406130b5565b5b828204905092915050565b6000612f5782612ff0565b9150612f6283612ff0565b925082821015612f7557612f74613086565b5b828203905092915050565b6000612f8b82612fa8565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60005b8381101561303557808201518184015260208101905061301a565b83811115613044576000848401525b50505050565b6000600282049050600182168061306257607f821691505b6020821081141561307657613075613113565b5b50919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45434453413a20696e76616c6964207369676e61747572650000000000000000600082015250565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e656400600082015250565b7f4552433230566f7465733a207369676e61747572652065787069726564000000600082015250565b7f45434453413a20696e76616c6964207369676e6174757265206c656e67746800600082015250565b7f4552433230566f7465733a20696e76616c6964206e6f6e636500000000000000600082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332305065726d69743a206578706972656420646561646c696e65000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f45434453413a20696e76616c6964207369676e6174757265202776272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332305065726d69743a20696e76616c6964207369676e61747572650000600082015250565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b61368f81612f80565b811461369a57600080fd5b50565b6136a681612f9e565b81146136b157600080fd5b50565b6136bd81612ff0565b81146136c857600080fd5b50565b6136d481612ffa565b81146136df57600080fd5b50565b6136eb8161300a565b81146136f657600080fd5b5056fea2646970667358221220c363e3bada307c3da357932e331d22bd6478232faa75c6aa4044a00aeedcddd864736f6c63430008060033

0x608060405234801561001057600080fd5b50600436106101425760003560e01c806370a08231116100b8578063a457c2d71161007c578063a457c2d7146103d9578063a9059cbb14610409578063c3cda52014610439578063d505accf14610455578063dd62ed3e14610471578063f1127ed8146104a157610142565b806370a08231146102fb5780637ecebe001461032b5780638e539e8c1461035b57806395d89b411461038b5780639ab24eb0146103a957610142565b80633644e5151161010a5780633644e51514610201578063395093511461021f5780633a46b1a81461024f578063587cde1e1461027f5780635c19a95c146102af5780636fcfff45146102cb57610142565b806306fdde0314610147578063095ea7b31461016557806318160ddd1461019557806323b872dd146101b3578063313ce567146101e3575b600080fd5b61014f6104d1565b60405161015c9190612b67565b60405180910390f35b61017f600480360381019061017a9190612491565b610563565b60405161018c91906129f3565b60405180910390f35b61019d610586565b6040516101aa9190612e24565b60405180910390f35b6101cd60048036038101906101c8919061239c565b610590565b6040516101da91906129f3565b60405180910390f35b6101eb6105bf565b6040516101f89190612e83565b60405180910390f35b6102096105c8565b6040516102169190612a0e565b60405180910390f35b61023960048036038101906102349190612491565b6105d7565b60405161024691906129f3565b60405180910390f35b61026960048036038101906102649190612491565b61060e565b6040516102769190612e24565b60405180910390f35b6102996004803603810190610294919061232f565b6106a2565b6040516102a691906129d8565b60405180910390f35b6102c960048036038101906102c4919061232f565b61070b565b005b6102e560048036038101906102e0919061232f565b61071f565b6040516102f29190612e68565b60405180910390f35b6103156004803603810190610310919061232f565b610773565b6040516103229190612e24565b60405180910390f35b6103456004803603810190610340919061232f565b6107bb565b6040516103529190612e24565b60405180910390f35b6103756004803603810190610370919061259e565b61080b565b6040516103829190612e24565b60405180910390f35b610393610861565b6040516103a09190612b67565b60405180910390f35b6103c360048036038101906103be919061232f565b6108f3565b6040516103d09190612e24565b60405180910390f35b6103f360048036038101906103ee9190612491565b610a04565b60405161040091906129f3565b60405180910390f35b610423600480360381019061041e9190612491565b610a7b565b60405161043091906129f3565b60405180910390f35b610453600480360381019061044e91906124d1565b610a9e565b005b61046f600480360381019061046a91906123ef565b610ba2565b005b61048b6004803603810190610486919061235c565b610ce4565b6040516104989190612e24565b60405180910390f35b6104bb60048036038101906104b6919061255e565b610d6b565b6040516104c89190612e09565b60405180910390f35b6060600380546104e09061304a565b80601f016020809104026020016040519081016040528092919081815260200182805461050c9061304a565b80156105595780601f1061052e57610100808354040283529160200191610559565b820191906000526020600020905b81548152906001019060200180831161053c57829003601f168201915b5050505050905090565b60008061056e611182565b905061057b81858561118a565b600191505092915050565b6000600254905090565b60008061059b611182565b90506105a8858285611355565b6105b38585856113e1565b60019150509392505050565b60006012905090565b60006105d2611662565b905090565b6000806105e2611182565b90506106038185856105f48589610ce4565b6105fe9190612ec5565b61118a565b600191505092915050565b6000438210610652576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064990612bc9565b60405180910390fd5b61069a600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208361177c565b905092915050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b61071c610716611182565b82611888565b50565b600061076c600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506110e9565b9050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000610804600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206119a2565b9050919050565b600043821061084f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084690612bc9565b60405180910390fd5b61085a60098361177c565b9050919050565b6060600480546108709061304a565b80601f016020809104026020016040519081016040528092919081815260200182805461089c9061304a565b80156108e95780601f106108be576101008083540402835291602001916108e9565b820191906000526020600020905b8154815290600101906020018083116108cc57829003601f168201915b5050505050905090565b600080600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490509050600081146109db57600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060018261098f9190612f4c565b815481106109a05761099f613142565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166109de565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16915050919050565b600080610a0f611182565b90506000610a1d8286610ce4565b905083811015610a62576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5990612dc9565b60405180910390fd5b610a6f828686840361118a565b60019250505092915050565b600080610a86611182565b9050610a938185856113e1565b600191505092915050565b83421115610ae1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad890612be9565b60405180910390fd5b6000610b43610b3b7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf898989604051602001610b209493929190612a8a565b604051602081830303815290604052805190602001206119b0565b8585856119ca565b9050610b4e816119f5565b8614610b8f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b8690612c29565b60405180910390fd5b610b998188611888565b50505050505050565b83421115610be5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bdc90612c89565b60405180910390fd5b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888610c148c6119f5565b89604051602001610c2a96959493929190612a29565b6040516020818303038152906040528051906020012090506000610c4d826119b0565b90506000610c5d828787876119ca565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610ccd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cc490612d09565b60405180910390fd5b610cd88a8a8a61118a565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610d73612288565b600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208263ffffffff1681548110610dca57610dc9613142565b5b906000526020600020016040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050905092915050565b610e858282610f08565b610e8d611a53565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16610eb3610586565b1115610ef4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eeb90612d29565b60405180910390fd5b610f02600961106883611a77565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610f78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6f90612de9565b60405180910390fd5b610f8460008383611cef565b8060026000828254610f969190612ec5565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610feb9190612ec5565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516110509190612e24565b60405180910390a361106460008383611cf4565b5050565b600081836110769190612ec5565b905092915050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156110e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110d890612d49565b60405180910390fd5b819050919050565b600063ffffffff8016821115611134576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161112b90612d89565b60405180910390fd5b819050919050565b611147838383611167565b611162611153846106a2565b61115c846106a2565b83611d04565b505050565b505050565b6000818361117a9190612f4c565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156111fa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111f190612da9565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561126a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161126190612c49565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516113489190612e24565b60405180910390a3505050565b60006113618484610ce4565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146113db57818110156113cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113c490612c69565b60405180910390fd5b6113da848484840361118a565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611451576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161144890612d69565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156114c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114b890612ba9565b60405180910390fd5b6114cc838383611cef565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611552576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161154990612ca9565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546115e59190612ec5565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516116499190612e24565b60405180910390a361165c848484611cf4565b50505050565b60007f00000000000000000000000053263d9ef74db583b15fbc6d5d4e8b83833fa13473ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff161480156116de57507f000000000000000000000000000000000000000000000000000000000000000146145b1561170b577fc62b9fe7fc4a3cf29f1e24d2d7c12ba17333bd0729e87256c5521f83c64c5fda9050611779565b6117767f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7ff50259db7266258577622f50b0923f653ce92f9ee563162d9b092b0f56b77c4e7fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6611efd565b90505b90565b6000808380549050905060005b818110156117fb57600061179d8284611f37565b9050848682815481106117b3576117b2613142565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff1611156117e5578092506117f5565b6001816117f29190612ec5565b91505b50611789565b6000821461185d57846001836118119190612f4c565b8154811061182257611821613142565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611860565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169250505092915050565b6000611893836106a2565b905060006118a084610773565b905082600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a461199c828483611d04565b50505050565b600081600001549050919050565b60006119c36119bd611662565b83611f5d565b9050919050565b60008060006119db87878787611f90565b915091506119e88161209d565b8192505050949350505050565b600080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050611a42816119a2565b9150611a4d81612272565b50919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b60008060008580549050905060008114611ae55785600182611a999190612f4c565b81548110611aaa57611aa9613142565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611ae8565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169250611b1683858763ffffffff16565b9150600081118015611b6957504386600183611b329190612f4c565b81548110611b4357611b42613142565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff16145b15611bf657611b778261107e565b86600183611b859190612f4c565b81548110611b9657611b95613142565b5b9060005260206000200160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550611ce6565b856040518060400160405280611c0b436110e9565b63ffffffff168152602001611c1f8561107e565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b50935093915050565b505050565b611cff83838361113c565b505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611d405750600081115b15611ef857600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611e1e57600080611dc7600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061116c85611a77565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051611e13929190612e3f565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611ef757600080611ea0600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061106885611a77565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051611eec929190612e3f565b60405180910390a250505b5b505050565b60008383834630604051602001611f18959493929190612acf565b6040516020818303038152906040528051906020012090509392505050565b60006002828418611f489190612f1b565b828416611f559190612ec5565b905092915050565b60008282604051602001611f729291906129a1565b60405160208183030381529060405280519060200120905092915050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08360001c1115611fcb576000600391509150612094565b601b8560ff1614158015611fe35750601c8560ff1614155b15611ff5576000600491509150612094565b60006001878787876040516000815260200160405260405161201a9493929190612b22565b6020604051602081039080840390855afa15801561203c573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561208b57600060019250925050612094565b80600092509250505b94509492505050565b600060048111156120b1576120b06130e4565b5b8160048111156120c4576120c36130e4565b5b14156120cf5761226f565b600160048111156120e3576120e26130e4565b5b8160048111156120f6576120f56130e4565b5b1415612137576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161212e90612b89565b60405180910390fd5b6002600481111561214b5761214a6130e4565b5b81600481111561215e5761215d6130e4565b5b141561219f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161219690612c09565b60405180910390fd5b600360048111156121b3576121b26130e4565b5b8160048111156121c6576121c56130e4565b5b1415612207576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016121fe90612cc9565b60405180910390fd5b60048081111561221a576122196130e4565b5b81600481111561222d5761222c6130e4565b5b141561226e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161226590612ce9565b60405180910390fd5b5b50565b6001816000016000828254019250508190555050565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b6000813590506122d581613686565b92915050565b6000813590506122ea8161369d565b92915050565b6000813590506122ff816136b4565b92915050565b600081359050612314816136cb565b92915050565b600081359050612329816136e2565b92915050565b60006020828403121561234557612344613171565b5b6000612353848285016122c6565b91505092915050565b6000806040838503121561237357612372613171565b5b6000612381858286016122c6565b9250506020612392858286016122c6565b9150509250929050565b6000806000606084860312156123b5576123b4613171565b5b60006123c3868287016122c6565b93505060206123d4868287016122c6565b92505060406123e5868287016122f0565b9150509250925092565b600080600080600080600060e0888a03121561240e5761240d613171565b5b600061241c8a828b016122c6565b975050602061242d8a828b016122c6565b965050604061243e8a828b016122f0565b955050606061244f8a828b016122f0565b94505060806124608a828b0161231a565b93505060a06124718a828b016122db565b92505060c06124828a828b016122db565b91505092959891949750929550565b600080604083850312156124a8576124a7613171565b5b60006124b6858286016122c6565b92505060206124c7858286016122f0565b9150509250929050565b60008060008060008060c087890312156124ee576124ed613171565b5b60006124fc89828a016122c6565b965050602061250d89828a016122f0565b955050604061251e89828a016122f0565b945050606061252f89828a0161231a565b935050608061254089828a016122db565b92505060a061255189828a016122db565b9150509295509295509295565b6000806040838503121561257557612574613171565b5b6000612583858286016122c6565b925050602061259485828601612305565b9150509250929050565b6000602082840312156125b4576125b3613171565b5b60006125c2848285016122f0565b91505092915050565b6125d481612f80565b82525050565b6125e381612f92565b82525050565b6125f281612f9e565b82525050565b61260961260482612f9e565b61307c565b82525050565b600061261a82612e9e565b6126248185612ea9565b9350612634818560208601613017565b61263d81613176565b840191505092915050565b6000612655601883612ea9565b915061266082613187565b602082019050919050565b6000612678602383612ea9565b9150612683826131b0565b604082019050919050565b600061269b601f83612ea9565b91506126a6826131ff565b602082019050919050565b60006126be601d83612ea9565b91506126c982613228565b602082019050919050565b60006126e1601f83612ea9565b91506126ec82613251565b602082019050919050565b6000612704601983612ea9565b915061270f8261327a565b602082019050919050565b6000612727602283612ea9565b9150612732826132a3565b604082019050919050565b600061274a600283612eba565b9150612755826132f2565b600282019050919050565b600061276d601d83612ea9565b91506127788261331b565b602082019050919050565b6000612790601d83612ea9565b915061279b82613344565b602082019050919050565b60006127b3602683612ea9565b91506127be8261336d565b604082019050919050565b60006127d6602283612ea9565b91506127e1826133bc565b604082019050919050565b60006127f9602283612ea9565b91506128048261340b565b604082019050919050565b600061281c601e83612ea9565b91506128278261345a565b602082019050919050565b600061283f603083612ea9565b915061284a82613483565b604082019050919050565b6000612862602783612ea9565b915061286d826134d2565b604082019050919050565b6000612885602583612ea9565b915061289082613521565b604082019050919050565b60006128a8602683612ea9565b91506128b382613570565b604082019050919050565b60006128cb602483612ea9565b91506128d6826135bf565b604082019050919050565b60006128ee602583612ea9565b91506128f98261360e565b604082019050919050565b6000612911601f83612ea9565b915061291c8261365d565b602082019050919050565b60408201600082015161293d6000850182612974565b5060208201516129506020850182612956565b50505050565b61295f81612fc8565b82525050565b61296e81612ff0565b82525050565b61297d81612ffa565b82525050565b61298c81612ffa565b82525050565b61299b8161300a565b82525050565b60006129ac8261273d565b91506129b882856125f8565b6020820191506129c882846125f8565b6020820191508190509392505050565b60006020820190506129ed60008301846125cb565b92915050565b6000602082019050612a0860008301846125da565b92915050565b6000602082019050612a2360008301846125e9565b92915050565b600060c082019050612a3e60008301896125e9565b612a4b60208301886125cb565b612a5860408301876125cb565b612a656060830186612965565b612a726080830185612965565b612a7f60a0830184612965565b979650505050505050565b6000608082019050612a9f60008301876125e9565b612aac60208301866125cb565b612ab96040830185612965565b612ac66060830184612965565b95945050505050565b600060a082019050612ae460008301886125e9565b612af160208301876125e9565b612afe60408301866125e9565b612b0b6060830185612965565b612b1860808301846125cb565b9695505050505050565b6000608082019050612b3760008301876125e9565b612b446020830186612992565b612b5160408301856125e9565b612b5e60608301846125e9565b95945050505050565b60006020820190508181036000830152612b81818461260f565b905092915050565b60006020820190508181036000830152612ba281612648565b9050919050565b60006020820190508181036000830152612bc28161266b565b9050919050565b60006020820190508181036000830152612be28161268e565b9050919050565b60006020820190508181036000830152612c02816126b1565b9050919050565b60006020820190508181036000830152612c22816126d4565b9050919050565b60006020820190508181036000830152612c42816126f7565b9050919050565b60006020820190508181036000830152612c628161271a565b9050919050565b60006020820190508181036000830152612c8281612760565b9050919050565b60006020820190508181036000830152612ca281612783565b9050919050565b60006020820190508181036000830152612cc2816127a6565b9050919050565b60006020820190508181036000830152612ce2816127c9565b9050919050565b60006020820190508181036000830152612d02816127ec565b9050919050565b60006020820190508181036000830152612d228161280f565b9050919050565b60006020820190508181036000830152612d4281612832565b9050919050565b60006020820190508181036000830152612d6281612855565b9050919050565b60006020820190508181036000830152612d8281612878565b9050919050565b60006020820190508181036000830152612da28161289b565b9050919050565b60006020820190508181036000830152612dc2816128be565b9050919050565b60006020820190508181036000830152612de2816128e1565b9050919050565b60006020820190508181036000830152612e0281612904565b9050919050565b6000604082019050612e1e6000830184612927565b92915050565b6000602082019050612e396000830184612965565b92915050565b6000604082019050612e546000830185612965565b612e616020830184612965565b9392505050565b6000602082019050612e7d6000830184612983565b92915050565b6000602082019050612e986000830184612992565b92915050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612ed082612ff0565b9150612edb83612ff0565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115612f1057612f0f613086565b5b828201905092915050565b6000612f2682612ff0565b9150612f3183612ff0565b925082612f4157612f406130b5565b5b828204905092915050565b6000612f5782612ff0565b9150612f6283612ff0565b925082821015612f7557612f74613086565b5b828203905092915050565b6000612f8b82612fa8565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60005b8381101561303557808201518184015260208101905061301a565b83811115613044576000848401525b50505050565b6000600282049050600182168061306257607f821691505b6020821081141561307657613075613113565b5b50919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45434453413a20696e76616c6964207369676e61747572650000000000000000600082015250565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e656400600082015250565b7f4552433230566f7465733a207369676e61747572652065787069726564000000600082015250565b7f45434453413a20696e76616c6964207369676e6174757265206c656e67746800600082015250565b7f4552433230566f7465733a20696e76616c6964206e6f6e636500000000000000600082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332305065726d69743a206578706972656420646561646c696e65000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f45434453413a20696e76616c6964207369676e6174757265202776272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332305065726d69743a20696e76616c6964207369676e61747572650000600082015250565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b61368f81612f80565b811461369a57600080fd5b50565b6136a681612f9e565b81146136b157600080fd5b50565b6136bd81612ff0565b81146136c857600080fd5b50565b6136d481612ffa565b81146136df57600080fd5b50565b6136eb8161300a565b81146136f657600080fd5b5056fea2646970667358221220c363e3bada307c3da357932e331d22bd6478232faa75c6aa4044a00aeedcddd864736f6c63430008060033

95734:774:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6139:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8490:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7259:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9271:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7101:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;38644:115;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9975:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;89102:268;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;88476:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;91575:114;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;88232:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7430:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;38386:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;89659:259;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6358:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;88688:212;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10716:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7763:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;91771:591;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;37675:645;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8019:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;88002:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6139:100;6193:13;6226:5;6219:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6139:100;:::o;8490:201::-;8573:4;8590:13;8606:12;:10;:12::i;:::-;8590:28;;8629:32;8638:5;8645:7;8654:6;8629:8;:32::i;:::-;8679:4;8672:11;;;8490:201;;;;:::o;7259:108::-;7320:7;7347:12;;7340:19;;7259:108;:::o;9271:295::-;9402:4;9419:15;9437:12;:10;:12::i;:::-;9419:30;;9460:38;9476:4;9482:7;9491:6;9460:15;:38::i;:::-;9509:27;9519:4;9525:2;9529:6;9509:9;:27::i;:::-;9554:4;9547:11;;;9271:295;;;;;:::o;7101:93::-;7159:5;7184:2;7177:9;;7101:93;:::o;38644:115::-;38704:7;38731:20;:18;:20::i;:::-;38724:27;;38644:115;:::o;9975:238::-;10063:4;10080:13;10096:12;:10;:12::i;:::-;10080:28;;10119:64;10128:5;10135:7;10172:10;10144:25;10154:5;10161:7;10144:9;:25::i;:::-;:38;;;;:::i;:::-;10119:8;:64::i;:::-;10201:4;10194:11;;;9975:238;;;;:::o;89102:268::-;89200:7;89242:12;89228:11;:26;89220:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;89308:54;89327:12;:21;89340:7;89327:21;;;;;;;;;;;;;;;89350:11;89308:18;:54::i;:::-;89301:61;;89102:268;;;;:::o;88476:128::-;88550:7;88577:10;:19;88588:7;88577:19;;;;;;;;;;;;;;;;;;;;;;;;;88570:26;;88476:128;;;:::o;91575:114::-;91647:34;91657:12;:10;:12::i;:::-;91671:9;91647;:34::i;:::-;91575:114;:::o;88232:151::-;88302:6;88328:47;88346:12;:21;88359:7;88346:21;;;;;;;;;;;;;;;:28;;;;88328:17;:47::i;:::-;88321:54;;88232:151;;;:::o;7430:127::-;7504:7;7531:9;:18;7541:7;7531:18;;;;;;;;;;;;;;;;7524:25;;7430:127;;;:::o;38386:128::-;38455:7;38482:24;:7;:14;38490:5;38482:14;;;;;;;;;;;;;;;:22;:24::i;:::-;38475:31;;38386:128;;;:::o;89659:259::-;89746:7;89788:12;89774:11;:26;89766:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;89854:56;89873:23;89898:11;89854:18;:56::i;:::-;89847:63;;89659:259;;;:::o;6358:104::-;6414:13;6447:7;6440:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6358:104;:::o;88688:212::-;88761:7;88781:11;88795:12;:21;88808:7;88795:21;;;;;;;;;;;;;;;:28;;;;88781:42;;88848:1;88841:3;:8;:51;;88856:12;:21;88869:7;88856:21;;;;;;;;;;;;;;;88884:1;88878:3;:7;;;;:::i;:::-;88856:30;;;;;;;;:::i;:::-;;;;;;;;;:36;;;;;;;;;;;;88841:51;;;88852:1;88841:51;88834:58;;;;;88688:212;;;:::o;10716:436::-;10809:4;10826:13;10842:12;:10;:12::i;:::-;10826:28;;10865:24;10892:25;10902:5;10909:7;10892:9;:25::i;:::-;10865:52;;10956:15;10936:16;:35;;10928:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;11049:60;11058:5;11065:7;11093:15;11074:16;:34;11049:8;:60::i;:::-;11140:4;11133:11;;;;10716:436;;;;:::o;7763:193::-;7842:4;7859:13;7875:12;:10;:12::i;:::-;7859:28;;7898;7908:5;7915:2;7919:6;7898:9;:28::i;:::-;7944:4;7937:11;;;7763:193;;;;:::o;91771:591::-;91998:6;91979:15;:25;;91971:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;92049:14;92066:174;92094:87;87682:71;92154:9;92165:5;92172:6;92121:58;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;92111:69;;;;;;92094:16;:87::i;:::-;92196:1;92212;92228;92066:13;:174::i;:::-;92049:191;;92268:17;92278:6;92268:9;:17::i;:::-;92259:5;:26;92251:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;92326:28;92336:6;92344:9;92326;:28::i;:::-;91960:402;91771:591;;;;;;:::o;37675:645::-;37919:8;37900:15;:27;;37892:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;37974:18;36850:95;38034:5;38041:7;38050:5;38057:16;38067:5;38057:9;:16::i;:::-;38075:8;38005:79;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;37995:90;;;;;;37974:111;;38098:12;38113:28;38130:10;38113:16;:28::i;:::-;38098:43;;38154:14;38171:28;38185:4;38191:1;38194;38197;38171:13;:28::i;:::-;38154:45;;38228:5;38218:15;;:6;:15;;;38210:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;38281:31;38290:5;38297:7;38306:5;38281:8;:31::i;:::-;37881:439;;;37675:645;;;;;;;:::o;8019:151::-;8108:7;8135:11;:18;8147:5;8135:18;;;;;;;;;;;;;;;:27;8154:7;8135:27;;;;;;;;;;;;;;;;8128:34;;8019:151;;;;:::o;88002:150::-;88081:17;;:::i;:::-;88118:12;:21;88131:7;88118:21;;;;;;;;;;;;;;;88140:3;88118:26;;;;;;;;;;:::i;:::-;;;;;;;;;88111:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;88002:150;;;;:::o;92668:290::-;92753:28;92765:7;92774:6;92753:11;:28::i;:::-;92817:12;:10;:12::i;:::-;92800:29;;:13;:11;:13::i;:::-;:29;;92792:90;;;;;;;;;;;;:::i;:::-;;;;;;;;;92895:55;92912:23;92937:4;92943:6;92895:16;:55::i;:::-;;;92668:290;;:::o;12580:399::-;12683:1;12664:21;;:7;:21;;;;12656:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;12734:49;12763:1;12767:7;12776:6;12734:20;:49::i;:::-;12812:6;12796:12;;:22;;;;;;;:::i;:::-;;;;;;;;12851:6;12829:9;:18;12839:7;12829:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;12894:7;12873:37;;12890:1;12873:37;;;12903:6;12873:37;;;;;;:::i;:::-;;;;;;;;12923:48;12951:1;12955:7;12964:6;12923:19;:48::i;:::-;12580:399;;:::o;95512:98::-;95570:7;95601:1;95597;:5;;;;:::i;:::-;95590:12;;95512:98;;;;:::o;52731:195::-;52788:7;52825:17;52816:26;;:5;:26;;52808:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;52912:5;52897:21;;52731:195;;;:::o;65567:190::-;65623:6;65659:16;65650:25;;:5;:25;;65642:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;65743:5;65729:20;;65567:190;;;:::o;93386:262::-;93528:43;93554:4;93560:2;93564:6;93528:25;:43::i;:::-;93584:56;93601:15;93611:4;93601:9;:15::i;:::-;93618:13;93628:2;93618:9;:13::i;:::-;93633:6;93584:16;:56::i;:::-;93386:262;;;:::o;16794:124::-;;;;:::o;95618:103::-;95681:7;95712:1;95708;:5;;;;:::i;:::-;95701:12;;95618:103;;;;:::o;3943:98::-;3996:7;4023:10;4016:17;;3943:98;:::o;14341:380::-;14494:1;14477:19;;:5;:19;;;;14469:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14575:1;14556:21;;:7;:21;;;;14548:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14659:6;14629:11;:18;14641:5;14629:18;;;;;;;;;;;;;;;:27;14648:7;14629:27;;;;;;;;;;;;;;;:36;;;;14697:7;14681:32;;14690:5;14681:32;;;14706:6;14681:32;;;;;;:::i;:::-;;;;;;;;14341:380;;;:::o;15012:453::-;15147:24;15174:25;15184:5;15191:7;15174:9;:25::i;:::-;15147:52;;15234:17;15214:16;:37;15210:248;;15296:6;15276:16;:26;;15268:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15380:51;15389:5;15396:7;15424:6;15405:16;:25;15380:8;:51::i;:::-;15210:248;15136:329;15012:453;;;:::o;11622:671::-;11769:1;11753:18;;:4;:18;;;;11745:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;11846:1;11832:16;;:2;:16;;;;11824:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;11901:38;11922:4;11928:2;11932:6;11901:20;:38::i;:::-;11952:19;11974:9;:15;11984:4;11974:15;;;;;;;;;;;;;;;;11952:37;;12023:6;12008:11;:21;;12000:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;12140:6;12126:11;:20;12108:9;:15;12118:4;12108:15;;;;;;;;;;;;;;;:38;;;;12185:6;12168:9;:13;12178:2;12168:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;12224:2;12209:26;;12218:4;12209:26;;;12228:6;12209:26;;;;;;:::i;:::-;;;;;;;;12248:37;12268:4;12274:2;12278:6;12248:19;:37::i;:::-;11734:559;11622:671;;;:::o;33308:314::-;33361:7;33402:12;33385:29;;33393:4;33385:29;;;:66;;;;;33435:16;33418:13;:33;33385:66;33381:234;;;33475:24;33468:31;;;;33381:234;33539:64;33561:10;33573:12;33587:15;33539:21;:64::i;:::-;33532:71;;33308:314;;:::o;90007:1482::-;90106:7;91125:12;91140:5;:12;;;;91125:27;;91163:11;91189:236;91202:4;91196:3;:10;91189:236;;;91223:11;91237:23;91250:3;91255:4;91237:12;:23::i;:::-;91223:37;;91302:11;91279:5;91285:3;91279:10;;;;;;;;:::i;:::-;;;;;;;;;:20;;;;;;;;;;;;:34;;;91275:139;;;91341:3;91334:10;;91275:139;;;91397:1;91391:3;:7;;;;:::i;:::-;91385:13;;91275:139;91208:217;91189:236;;;91452:1;91444:4;:9;:37;;91460:5;91473:1;91466:4;:8;;;;:::i;:::-;91460:15;;;;;;;;:::i;:::-;;;;;;;;;:21;;;;;;;;;;;;91444:37;;;91456:1;91444:37;91437:44;;;;;;90007:1482;;;;:::o;93812:388::-;93897:23;93923:20;93933:9;93923;:20::i;:::-;93897:46;;93954:24;93981:20;93991:9;93981;:20::i;:::-;93954:47;;94036:9;94012:10;:21;94023:9;94012:21;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;94107:9;94063:54;;94090:15;94063:54;;94079:9;94063:54;;;;;;;;;;;;94130:62;94147:15;94164:9;94175:16;94130;:62::i;:::-;93886:314;;93812:388;;:::o;35442:114::-;35507:7;35534;:14;;;35527:21;;35442:114;;;:::o;34535:167::-;34612:7;34639:55;34661:20;:18;:20::i;:::-;34683:10;34639:21;:55::i;:::-;34632:62;;34535:167;;;:::o;28357:279::-;28485:7;28506:17;28525:18;28547:25;28558:4;28564:1;28567;28570;28547:10;:25::i;:::-;28505:67;;;;28583:18;28595:5;28583:11;:18::i;:::-;28619:9;28612:16;;;;28357:279;;;;;;:::o;38897:207::-;38957:15;38985:30;39018:7;:14;39026:5;39018:14;;;;;;;;;;;;;;;38985:47;;39053:15;:5;:13;:15::i;:::-;39043:25;;39079:17;:5;:15;:17::i;:::-;38974:130;38897:207;;;:::o;92469:105::-;92522:7;92549:17;92542:24;;92469:105;:::o;94859:645::-;95033:17;95052;95082:11;95096:5;:12;;;;95082:26;;95138:1;95131:3;:8;:35;;95146:5;95158:1;95152:3;:7;;;;:::i;:::-;95146:14;;;;;;;;:::i;:::-;;;;;;;;;:20;;;;;;;;;;;;95131:35;;;95142:1;95131:35;95119:47;;;;95189:20;95192:9;95203:5;95189:2;:20;;:::i;:::-;95177:32;;95232:1;95226:3;:7;:51;;;;;95265:12;95237:5;95249:1;95243:3;:7;;;;:::i;:::-;95237:14;;;;;;;;:::i;:::-;;;;;;;;;:24;;;;;;;;;;;;:40;;;95226:51;95222:275;;;95317:29;95336:9;95317:18;:29::i;:::-;95294:5;95306:1;95300:3;:7;;;;:::i;:::-;95294:14;;;;;;;;:::i;:::-;;;;;;;;;:20;;;:52;;;;;;;;;;;;;;;;;;95222:275;;;95379:5;95390:94;;;;;;;;95413:31;95431:12;95413:17;:31::i;:::-;95390:94;;;;;;95453:29;95472:9;95453:18;:29::i;:::-;95390:94;;;;;95379:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;95222:275;95071:433;94859:645;;;;;;:::o;16065:125::-;;;;:::o;95996:193::-;96138:43;96164:4;96170:2;96174:6;96138:25;:43::i;:::-;95996:193;;;:::o;94208:643::-;94340:3;94333:10;;:3;:10;;;;:24;;;;;94356:1;94347:6;:10;94333:24;94329:515;;;94393:1;94378:17;;:3;:17;;;94374:224;;94417:17;94436;94457:54;94474:12;:17;94487:3;94474:17;;;;;;;;;;;;;;;94493:9;94504:6;94457:16;:54::i;:::-;94416:95;;;;94556:3;94535:47;;;94561:9;94572;94535:47;;;;;;;:::i;:::-;;;;;;;;94397:201;;94374:224;94633:1;94618:17;;:3;:17;;;94614:219;;94657:17;94676;94697:49;94714:12;:17;94727:3;94714:17;;;;;;;;;;;;;;;94733:4;94739:6;94697:16;:49::i;:::-;94656:90;;;;94791:3;94770:47;;;94796:9;94807;94770:47;;;;;;;:::i;:::-;;;;;;;;94637:196;;94614:219;94329:515;94208:643;;;:::o;33630:263::-;33774:7;33822:8;33832;33842:11;33855:13;33878:4;33811:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;33801:84;;;;;;33794:91;;33630:263;;;;;:::o;39823:156::-;39885:7;39970:1;39965;39961;:5;39960:11;;;;:::i;:::-;39955:1;39951;:5;39950:21;;;;:::i;:::-;39943:28;;39823:156;;;;:::o;30048:196::-;30141:7;30207:15;30224:10;30178:57;;;;;;;;;:::i;:::-;;;;;;;;;;;;;30168:68;;;;;;30161:75;;30048:196;;;;:::o;26586:1632::-;26717:7;26726:12;27651:66;27646:1;27638:10;;:79;27634:163;;;27750:1;27754:30;27734:51;;;;;;27634:163;27816:2;27811:1;:7;;;;:18;;;;;27827:2;27822:1;:7;;;;27811:18;27807:102;;;27862:1;27866:30;27846:51;;;;;;27807:102;28006:14;28023:24;28033:4;28039:1;28042;28045;28023:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28006:41;;28080:1;28062:20;;:6;:20;;;28058:103;;;28115:1;28119:29;28099:50;;;;;;;28058:103;28181:6;28189:20;28173:37;;;;;26586:1632;;;;;;;;:::o;21856:643::-;21934:20;21925:29;;;;;;;;:::i;:::-;;:5;:29;;;;;;;;:::i;:::-;;;21921:571;;;21971:7;;21921:571;22032:29;22023:38;;;;;;;;:::i;:::-;;:5;:38;;;;;;;;:::i;:::-;;;22019:473;;;22078:34;;;;;;;;;;:::i;:::-;;;;;;;;22019:473;22143:35;22134:44;;;;;;;;:::i;:::-;;:5;:44;;;;;;;;:::i;:::-;;;22130:362;;;22195:41;;;;;;;;;;:::i;:::-;;;;;;;;22130:362;22267:30;22258:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;22254:238;;;22314:44;;;;;;;;;;:::i;:::-;;;;;;;;22254:238;22389:30;22380:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;22376:116;;;22436:44;;;;;;;;;;:::i;:::-;;;;;;;;22376:116;21856:643;;:::o;35564:127::-;35671:1;35653:7;:14;;;:19;;;;;;;;;;;35564:127;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:139::-;343:5;381:6;368:20;359:29;;397:33;424:5;397:33;:::i;:::-;349:87;;;;:::o;442:137::-;487:5;525:6;512:20;503:29;;541:32;567:5;541:32;:::i;:::-;493:86;;;;:::o;585:135::-;629:5;667:6;654:20;645:29;;683:31;708:5;683:31;:::i;:::-;635:85;;;;:::o;726:329::-;785:6;834:2;822:9;813:7;809:23;805:32;802:2;;;840:79;;:::i;:::-;802:2;960:1;985:53;1030:7;1021:6;1010:9;1006:22;985:53;:::i;:::-;975:63;;931:117;792:263;;;;:::o;1061:474::-;1129:6;1137;1186:2;1174:9;1165:7;1161:23;1157:32;1154:2;;;1192:79;;:::i;:::-;1154:2;1312:1;1337:53;1382:7;1373:6;1362:9;1358:22;1337:53;:::i;:::-;1327:63;;1283:117;1439:2;1465:53;1510:7;1501:6;1490:9;1486:22;1465:53;:::i;:::-;1455:63;;1410:118;1144:391;;;;;:::o;1541:619::-;1618:6;1626;1634;1683:2;1671:9;1662:7;1658:23;1654:32;1651:2;;;1689:79;;:::i;:::-;1651:2;1809:1;1834:53;1879:7;1870:6;1859:9;1855:22;1834:53;:::i;:::-;1824:63;;1780:117;1936:2;1962:53;2007:7;1998:6;1987:9;1983:22;1962:53;:::i;:::-;1952:63;;1907:118;2064:2;2090:53;2135:7;2126:6;2115:9;2111:22;2090:53;:::i;:::-;2080:63;;2035:118;1641:519;;;;;:::o;2166:1199::-;2277:6;2285;2293;2301;2309;2317;2325;2374:3;2362:9;2353:7;2349:23;2345:33;2342:2;;;2381:79;;:::i;:::-;2342:2;2501:1;2526:53;2571:7;2562:6;2551:9;2547:22;2526:53;:::i;:::-;2516:63;;2472:117;2628:2;2654:53;2699:7;2690:6;2679:9;2675:22;2654:53;:::i;:::-;2644:63;;2599:118;2756:2;2782:53;2827:7;2818:6;2807:9;2803:22;2782:53;:::i;:::-;2772:63;;2727:118;2884:2;2910:53;2955:7;2946:6;2935:9;2931:22;2910:53;:::i;:::-;2900:63;;2855:118;3012:3;3039:51;3082:7;3073:6;3062:9;3058:22;3039:51;:::i;:::-;3029:61;;2983:117;3139:3;3166:53;3211:7;3202:6;3191:9;3187:22;3166:53;:::i;:::-;3156:63;;3110:119;3268:3;3295:53;3340:7;3331:6;3320:9;3316:22;3295:53;:::i;:::-;3285:63;;3239:119;2332:1033;;;;;;;;;;:::o;3371:474::-;3439:6;3447;3496:2;3484:9;3475:7;3471:23;3467:32;3464:2;;;3502:79;;:::i;:::-;3464:2;3622:1;3647:53;3692:7;3683:6;3672:9;3668:22;3647:53;:::i;:::-;3637:63;;3593:117;3749:2;3775:53;3820:7;3811:6;3800:9;3796:22;3775:53;:::i;:::-;3765:63;;3720:118;3454:391;;;;;:::o;3851:1053::-;3953:6;3961;3969;3977;3985;3993;4042:3;4030:9;4021:7;4017:23;4013:33;4010:2;;;4049:79;;:::i;:::-;4010:2;4169:1;4194:53;4239:7;4230:6;4219:9;4215:22;4194:53;:::i;:::-;4184:63;;4140:117;4296:2;4322:53;4367:7;4358:6;4347:9;4343:22;4322:53;:::i;:::-;4312:63;;4267:118;4424:2;4450:53;4495:7;4486:6;4475:9;4471:22;4450:53;:::i;:::-;4440:63;;4395:118;4552:2;4578:51;4621:7;4612:6;4601:9;4597:22;4578:51;:::i;:::-;4568:61;;4523:116;4678:3;4705:53;4750:7;4741:6;4730:9;4726:22;4705:53;:::i;:::-;4695:63;;4649:119;4807:3;4834:53;4879:7;4870:6;4859:9;4855:22;4834:53;:::i;:::-;4824:63;;4778:119;4000:904;;;;;;;;:::o;4910:472::-;4977:6;4985;5034:2;5022:9;5013:7;5009:23;5005:32;5002:2;;;5040:79;;:::i;:::-;5002:2;5160:1;5185:53;5230:7;5221:6;5210:9;5206:22;5185:53;:::i;:::-;5175:63;;5131:117;5287:2;5313:52;5357:7;5348:6;5337:9;5333:22;5313:52;:::i;:::-;5303:62;;5258:117;4992:390;;;;;:::o;5388:329::-;5447:6;5496:2;5484:9;5475:7;5471:23;5467:32;5464:2;;;5502:79;;:::i;:::-;5464:2;5622:1;5647:53;5692:7;5683:6;5672:9;5668:22;5647:53;:::i;:::-;5637:63;;5593:117;5454:263;;;;:::o;5723:118::-;5810:24;5828:5;5810:24;:::i;:::-;5805:3;5798:37;5788:53;;:::o;5847:109::-;5928:21;5943:5;5928:21;:::i;:::-;5923:3;5916:34;5906:50;;:::o;5962:118::-;6049:24;6067:5;6049:24;:::i;:::-;6044:3;6037:37;6027:53;;:::o;6086:157::-;6191:45;6211:24;6229:5;6211:24;:::i;:::-;6191:45;:::i;:::-;6186:3;6179:58;6169:74;;:::o;6249:364::-;6337:3;6365:39;6398:5;6365:39;:::i;:::-;6420:71;6484:6;6479:3;6420:71;:::i;:::-;6413:78;;6500:52;6545:6;6540:3;6533:4;6526:5;6522:16;6500:52;:::i;:::-;6577:29;6599:6;6577:29;:::i;:::-;6572:3;6568:39;6561:46;;6341:272;;;;;:::o;6619:366::-;6761:3;6782:67;6846:2;6841:3;6782:67;:::i;:::-;6775:74;;6858:93;6947:3;6858:93;:::i;:::-;6976:2;6971:3;6967:12;6960:19;;6765:220;;;:::o;6991:366::-;7133:3;7154:67;7218:2;7213:3;7154:67;:::i;:::-;7147:74;;7230:93;7319:3;7230:93;:::i;:::-;7348:2;7343:3;7339:12;7332:19;;7137:220;;;:::o;7363:366::-;7505:3;7526:67;7590:2;7585:3;7526:67;:::i;:::-;7519:74;;7602:93;7691:3;7602:93;:::i;:::-;7720:2;7715:3;7711:12;7704:19;;7509:220;;;:::o;7735:366::-;7877:3;7898:67;7962:2;7957:3;7898:67;:::i;:::-;7891:74;;7974:93;8063:3;7974:93;:::i;:::-;8092:2;8087:3;8083:12;8076:19;;7881:220;;;:::o;8107:366::-;8249:3;8270:67;8334:2;8329:3;8270:67;:::i;:::-;8263:74;;8346:93;8435:3;8346:93;:::i;:::-;8464:2;8459:3;8455:12;8448:19;;8253:220;;;:::o;8479:366::-;8621:3;8642:67;8706:2;8701:3;8642:67;:::i;:::-;8635:74;;8718:93;8807:3;8718:93;:::i;:::-;8836:2;8831:3;8827:12;8820:19;;8625:220;;;:::o;8851:366::-;8993:3;9014:67;9078:2;9073:3;9014:67;:::i;:::-;9007:74;;9090:93;9179:3;9090:93;:::i;:::-;9208:2;9203:3;9199:12;9192:19;;8997:220;;;:::o;9223:400::-;9383:3;9404:84;9486:1;9481:3;9404:84;:::i;:::-;9397:91;;9497:93;9586:3;9497:93;:::i;:::-;9615:1;9610:3;9606:11;9599:18;;9387:236;;;:::o;9629:366::-;9771:3;9792:67;9856:2;9851:3;9792:67;:::i;:::-;9785:74;;9868:93;9957:3;9868:93;:::i;:::-;9986:2;9981:3;9977:12;9970:19;;9775:220;;;:::o;10001:366::-;10143:3;10164:67;10228:2;10223:3;10164:67;:::i;:::-;10157:74;;10240:93;10329:3;10240:93;:::i;:::-;10358:2;10353:3;10349:12;10342:19;;10147:220;;;:::o;10373:366::-;10515:3;10536:67;10600:2;10595:3;10536:67;:::i;:::-;10529:74;;10612:93;10701:3;10612:93;:::i;:::-;10730:2;10725:3;10721:12;10714:19;;10519:220;;;:::o;10745:366::-;10887:3;10908:67;10972:2;10967:3;10908:67;:::i;:::-;10901:74;;10984:93;11073:3;10984:93;:::i;:::-;11102:2;11097:3;11093:12;11086:19;;10891:220;;;:::o;11117:366::-;11259:3;11280:67;11344:2;11339:3;11280:67;:::i;:::-;11273:74;;11356:93;11445:3;11356:93;:::i;:::-;11474:2;11469:3;11465:12;11458:19;;11263:220;;;:::o;11489:366::-;11631:3;11652:67;11716:2;11711:3;11652:67;:::i;:::-;11645:74;;11728:93;11817:3;11728:93;:::i;:::-;11846:2;11841:3;11837:12;11830:19;;11635:220;;;:::o;11861:366::-;12003:3;12024:67;12088:2;12083:3;12024:67;:::i;:::-;12017:74;;12100:93;12189:3;12100:93;:::i;:::-;12218:2;12213:3;12209:12;12202:19;;12007:220;;;:::o;12233:366::-;12375:3;12396:67;12460:2;12455:3;12396:67;:::i;:::-;12389:74;;12472:93;12561:3;12472:93;:::i;:::-;12590:2;12585:3;12581:12;12574:19;;12379:220;;;:::o;12605:366::-;12747:3;12768:67;12832:2;12827:3;12768:67;:::i;:::-;12761:74;;12844:93;12933:3;12844:93;:::i;:::-;12962:2;12957:3;12953:12;12946:19;;12751:220;;;:::o;12977:366::-;13119:3;13140:67;13204:2;13199:3;13140:67;:::i;:::-;13133:74;;13216:93;13305:3;13216:93;:::i;:::-;13334:2;13329:3;13325:12;13318:19;;13123:220;;;:::o;13349:366::-;13491:3;13512:67;13576:2;13571:3;13512:67;:::i;:::-;13505:74;;13588:93;13677:3;13588:93;:::i;:::-;13706:2;13701:3;13697:12;13690:19;;13495:220;;;:::o;13721:366::-;13863:3;13884:67;13948:2;13943:3;13884:67;:::i;:::-;13877:74;;13960:93;14049:3;13960:93;:::i;:::-;14078:2;14073:3;14069:12;14062:19;;13867:220;;;:::o;14093:366::-;14235:3;14256:67;14320:2;14315:3;14256:67;:::i;:::-;14249:74;;14332:93;14421:3;14332:93;:::i;:::-;14450:2;14445:3;14441:12;14434:19;;14239:220;;;:::o;14533:517::-;14686:4;14681:3;14677:14;14778:4;14771:5;14767:16;14761:23;14797:61;14852:4;14847:3;14843:14;14829:12;14797:61;:::i;:::-;14701:167;14951:4;14944:5;14940:16;14934:23;14970:63;15027:4;15022:3;15018:14;15004:12;14970:63;:::i;:::-;14878:165;14655:395;;;:::o;15056:108::-;15133:24;15151:5;15133:24;:::i;:::-;15128:3;15121:37;15111:53;;:::o;15170:118::-;15257:24;15275:5;15257:24;:::i;:::-;15252:3;15245:37;15235:53;;:::o;15294:105::-;15369:23;15386:5;15369:23;:::i;:::-;15364:3;15357:36;15347:52;;:::o;15405:115::-;15490:23;15507:5;15490:23;:::i;:::-;15485:3;15478:36;15468:52;;:::o;15526:112::-;15609:22;15625:5;15609:22;:::i;:::-;15604:3;15597:35;15587:51;;:::o;15644:663::-;15885:3;15907:148;16051:3;15907:148;:::i;:::-;15900:155;;16065:75;16136:3;16127:6;16065:75;:::i;:::-;16165:2;16160:3;16156:12;16149:19;;16178:75;16249:3;16240:6;16178:75;:::i;:::-;16278:2;16273:3;16269:12;16262:19;;16298:3;16291:10;;15889:418;;;;;:::o;16313:222::-;16406:4;16444:2;16433:9;16429:18;16421:26;;16457:71;16525:1;16514:9;16510:17;16501:6;16457:71;:::i;:::-;16411:124;;;;:::o;16541:210::-;16628:4;16666:2;16655:9;16651:18;16643:26;;16679:65;16741:1;16730:9;16726:17;16717:6;16679:65;:::i;:::-;16633:118;;;;:::o;16757:222::-;16850:4;16888:2;16877:9;16873:18;16865:26;;16901:71;16969:1;16958:9;16954:17;16945:6;16901:71;:::i;:::-;16855:124;;;;:::o;16985:775::-;17218:4;17256:3;17245:9;17241:19;17233:27;;17270:71;17338:1;17327:9;17323:17;17314:6;17270:71;:::i;:::-;17351:72;17419:2;17408:9;17404:18;17395:6;17351:72;:::i;:::-;17433;17501:2;17490:9;17486:18;17477:6;17433:72;:::i;:::-;17515;17583:2;17572:9;17568:18;17559:6;17515:72;:::i;:::-;17597:73;17665:3;17654:9;17650:19;17641:6;17597:73;:::i;:::-;17680;17748:3;17737:9;17733:19;17724:6;17680:73;:::i;:::-;17223:537;;;;;;;;;:::o;17766:553::-;17943:4;17981:3;17970:9;17966:19;17958:27;;17995:71;18063:1;18052:9;18048:17;18039:6;17995:71;:::i;:::-;18076:72;18144:2;18133:9;18129:18;18120:6;18076:72;:::i;:::-;18158;18226:2;18215:9;18211:18;18202:6;18158:72;:::i;:::-;18240;18308:2;18297:9;18293:18;18284:6;18240:72;:::i;:::-;17948:371;;;;;;;:::o;18325:664::-;18530:4;18568:3;18557:9;18553:19;18545:27;;18582:71;18650:1;18639:9;18635:17;18626:6;18582:71;:::i;:::-;18663:72;18731:2;18720:9;18716:18;18707:6;18663:72;:::i;:::-;18745;18813:2;18802:9;18798:18;18789:6;18745:72;:::i;:::-;18827;18895:2;18884:9;18880:18;18871:6;18827:72;:::i;:::-;18909:73;18977:3;18966:9;18962:19;18953:6;18909:73;:::i;:::-;18535:454;;;;;;;;:::o;18995:545::-;19168:4;19206:3;19195:9;19191:19;19183:27;;19220:71;19288:1;19277:9;19273:17;19264:6;19220:71;:::i;:::-;19301:68;19365:2;19354:9;19350:18;19341:6;19301:68;:::i;:::-;19379:72;19447:2;19436:9;19432:18;19423:6;19379:72;:::i;:::-;19461;19529:2;19518:9;19514:18;19505:6;19461:72;:::i;:::-;19173:367;;;;;;;:::o;19546:313::-;19659:4;19697:2;19686:9;19682:18;19674:26;;19746:9;19740:4;19736:20;19732:1;19721:9;19717:17;19710:47;19774:78;19847:4;19838:6;19774:78;:::i;:::-;19766:86;;19664:195;;;;:::o;19865:419::-;20031:4;20069:2;20058:9;20054:18;20046:26;;20118:9;20112:4;20108:20;20104:1;20093:9;20089:17;20082:47;20146:131;20272:4;20146:131;:::i;:::-;20138:139;;20036:248;;;:::o;20290:419::-;20456:4;20494:2;20483:9;20479:18;20471:26;;20543:9;20537:4;20533:20;20529:1;20518:9;20514:17;20507:47;20571:131;20697:4;20571:131;:::i;:::-;20563:139;;20461:248;;;:::o;20715:419::-;20881:4;20919:2;20908:9;20904:18;20896:26;;20968:9;20962:4;20958:20;20954:1;20943:9;20939:17;20932:47;20996:131;21122:4;20996:131;:::i;:::-;20988:139;;20886:248;;;:::o;21140:419::-;21306:4;21344:2;21333:9;21329:18;21321:26;;21393:9;21387:4;21383:20;21379:1;21368:9;21364:17;21357:47;21421:131;21547:4;21421:131;:::i;:::-;21413:139;;21311:248;;;:::o;21565:419::-;21731:4;21769:2;21758:9;21754:18;21746:26;;21818:9;21812:4;21808:20;21804:1;21793:9;21789:17;21782:47;21846:131;21972:4;21846:131;:::i;:::-;21838:139;;21736:248;;;:::o;21990:419::-;22156:4;22194:2;22183:9;22179:18;22171:26;;22243:9;22237:4;22233:20;22229:1;22218:9;22214:17;22207:47;22271:131;22397:4;22271:131;:::i;:::-;22263:139;;22161:248;;;:::o;22415:419::-;22581:4;22619:2;22608:9;22604:18;22596:26;;22668:9;22662:4;22658:20;22654:1;22643:9;22639:17;22632:47;22696:131;22822:4;22696:131;:::i;:::-;22688:139;;22586:248;;;:::o;22840:419::-;23006:4;23044:2;23033:9;23029:18;23021:26;;23093:9;23087:4;23083:20;23079:1;23068:9;23064:17;23057:47;23121:131;23247:4;23121:131;:::i;:::-;23113:139;;23011:248;;;:::o;23265:419::-;23431:4;23469:2;23458:9;23454:18;23446:26;;23518:9;23512:4;23508:20;23504:1;23493:9;23489:17;23482:47;23546:131;23672:4;23546:131;:::i;:::-;23538:139;;23436:248;;;:::o;23690:419::-;23856:4;23894:2;23883:9;23879:18;23871:26;;23943:9;23937:4;23933:20;23929:1;23918:9;23914:17;23907:47;23971:131;24097:4;23971:131;:::i;:::-;23963:139;;23861:248;;;:::o;24115:419::-;24281:4;24319:2;24308:9;24304:18;24296:26;;24368:9;24362:4;24358:20;24354:1;24343:9;24339:17;24332:47;24396:131;24522:4;24396:131;:::i;:::-;24388:139;;24286:248;;;:::o;24540:419::-;24706:4;24744:2;24733:9;24729:18;24721:26;;24793:9;24787:4;24783:20;24779:1;24768:9;24764:17;24757:47;24821:131;24947:4;24821:131;:::i;:::-;24813:139;;24711:248;;;:::o;24965:419::-;25131:4;25169:2;25158:9;25154:18;25146:26;;25218:9;25212:4;25208:20;25204:1;25193:9;25189:17;25182:47;25246:131;25372:4;25246:131;:::i;:::-;25238:139;;25136:248;;;:::o;25390:419::-;25556:4;25594:2;25583:9;25579:18;25571:26;;25643:9;25637:4;25633:20;25629:1;25618:9;25614:17;25607:47;25671:131;25797:4;25671:131;:::i;:::-;25663:139;;25561:248;;;:::o;25815:419::-;25981:4;26019:2;26008:9;26004:18;25996:26;;26068:9;26062:4;26058:20;26054:1;26043:9;26039:17;26032:47;26096:131;26222:4;26096:131;:::i;:::-;26088:139;;25986:248;;;:::o;26240:419::-;26406:4;26444:2;26433:9;26429:18;26421:26;;26493:9;26487:4;26483:20;26479:1;26468:9;26464:17;26457:47;26521:131;26647:4;26521:131;:::i;:::-;26513:139;;26411:248;;;:::o;26665:419::-;26831:4;26869:2;26858:9;26854:18;26846:26;;26918:9;26912:4;26908:20;26904:1;26893:9;26889:17;26882:47;26946:131;27072:4;26946:131;:::i;:::-;26938:139;;26836:248;;;:::o;27090:419::-;27256:4;27294:2;27283:9;27279:18;27271:26;;27343:9;27337:4;27333:20;27329:1;27318:9;27314:17;27307:47;27371:131;27497:4;27371:131;:::i;:::-;27363:139;;27261:248;;;:::o;27515:419::-;27681:4;27719:2;27708:9;27704:18;27696:26;;27768:9;27762:4;27758:20;27754:1;27743:9;27739:17;27732:47;27796:131;27922:4;27796:131;:::i;:::-;27788:139;;27686:248;;;:::o;27940:419::-;28106:4;28144:2;28133:9;28129:18;28121:26;;28193:9;28187:4;28183:20;28179:1;28168:9;28164:17;28157:47;28221:131;28347:4;28221:131;:::i;:::-;28213:139;;28111:248;;;:::o;28365:334::-;28514:4;28552:2;28541:9;28537:18;28529:26;;28565:127;28689:1;28678:9;28674:17;28665:6;28565:127;:::i;:::-;28519:180;;;;:::o;28705:222::-;28798:4;28836:2;28825:9;28821:18;28813:26;;28849:71;28917:1;28906:9;28902:17;28893:6;28849:71;:::i;:::-;28803:124;;;;:::o;28933:332::-;29054:4;29092:2;29081:9;29077:18;29069:26;;29105:71;29173:1;29162:9;29158:17;29149:6;29105:71;:::i;:::-;29186:72;29254:2;29243:9;29239:18;29230:6;29186:72;:::i;:::-;29059:206;;;;;:::o;29271:218::-;29362:4;29400:2;29389:9;29385:18;29377:26;;29413:69;29479:1;29468:9;29464:17;29455:6;29413:69;:::i;:::-;29367:122;;;;:::o;29495:214::-;29584:4;29622:2;29611:9;29607:18;29599:26;;29635:67;29699:1;29688:9;29684:17;29675:6;29635:67;:::i;:::-;29589:120;;;;:::o;29796:99::-;29848:6;29882:5;29876:12;29866:22;;29855:40;;;:::o;29901:169::-;29985:11;30019:6;30014:3;30007:19;30059:4;30054:3;30050:14;30035:29;;29997:73;;;;:::o;30076:148::-;30178:11;30215:3;30200:18;;30190:34;;;;:::o;30230:305::-;30270:3;30289:20;30307:1;30289:20;:::i;:::-;30284:25;;30323:20;30341:1;30323:20;:::i;:::-;30318:25;;30477:1;30409:66;30405:74;30402:1;30399:81;30396:2;;;30483:18;;:::i;:::-;30396:2;30527:1;30524;30520:9;30513:16;;30274:261;;;;:::o;30541:185::-;30581:1;30598:20;30616:1;30598:20;:::i;:::-;30593:25;;30632:20;30650:1;30632:20;:::i;:::-;30627:25;;30671:1;30661:2;;30676:18;;:::i;:::-;30661:2;30718:1;30715;30711:9;30706:14;;30583:143;;;;:::o;30732:191::-;30772:4;30792:20;30810:1;30792:20;:::i;:::-;30787:25;;30826:20;30844:1;30826:20;:::i;:::-;30821:25;;30865:1;30862;30859:8;30856:2;;;30870:18;;:::i;:::-;30856:2;30915:1;30912;30908:9;30900:17;;30777:146;;;;:::o;30929:96::-;30966:7;30995:24;31013:5;30995:24;:::i;:::-;30984:35;;30974:51;;;:::o;31031:90::-;31065:7;31108:5;31101:13;31094:21;31083:32;;31073:48;;;:::o;31127:77::-;31164:7;31193:5;31182:16;;31172:32;;;:::o;31210:126::-;31247:7;31287:42;31280:5;31276:54;31265:65;;31255:81;;;:::o;31342:142::-;31379:7;31419:58;31412:5;31408:70;31397:81;;31387:97;;;:::o;31490:77::-;31527:7;31556:5;31545:16;;31535:32;;;:::o;31573:93::-;31609:7;31649:10;31642:5;31638:22;31627:33;;31617:49;;;:::o;31672:86::-;31707:7;31747:4;31740:5;31736:16;31725:27;;31715:43;;;:::o;31764:307::-;31832:1;31842:113;31856:6;31853:1;31850:13;31842:113;;;31941:1;31936:3;31932:11;31926:18;31922:1;31917:3;31913:11;31906:39;31878:2;31875:1;31871:10;31866:15;;31842:113;;;31973:6;31970:1;31967:13;31964:2;;;32053:1;32044:6;32039:3;32035:16;32028:27;31964:2;31813:258;;;;:::o;32077:320::-;32121:6;32158:1;32152:4;32148:12;32138:22;;32205:1;32199:4;32195:12;32226:18;32216:2;;32282:4;32274:6;32270:17;32260:27;;32216:2;32344;32336:6;32333:14;32313:18;32310:38;32307:2;;;32363:18;;:::i;:::-;32307:2;32128:269;;;;:::o;32403:79::-;32442:7;32471:5;32460:16;;32450:32;;;:::o;32488:180::-;32536:77;32533:1;32526:88;32633:4;32630:1;32623:15;32657:4;32654:1;32647:15;32674:180;32722:77;32719:1;32712:88;32819:4;32816:1;32809:15;32843:4;32840:1;32833:15;32860:180;32908:77;32905:1;32898:88;33005:4;33002:1;32995:15;33029:4;33026:1;33019:15;33046:180;33094:77;33091:1;33084:88;33191:4;33188:1;33181:15;33215:4;33212:1;33205:15;33232:180;33280:77;33277:1;33270:88;33377:4;33374:1;33367:15;33401:4;33398:1;33391:15;33541:117;33650:1;33647;33640:12;33664:102;33705:6;33756:2;33752:7;33747:2;33740:5;33736:14;33732:28;33722:38;;33712:54;;;:::o;33772:174::-;33912:26;33908:1;33900:6;33896:14;33889:50;33878:68;:::o;33952:222::-;34092:34;34088:1;34080:6;34076:14;34069:58;34161:5;34156:2;34148:6;34144:15;34137:30;34058:116;:::o;34180:181::-;34320:33;34316:1;34308:6;34304:14;34297:57;34286:75;:::o;34367:179::-;34507:31;34503:1;34495:6;34491:14;34484:55;34473:73;:::o;34552:181::-;34692:33;34688:1;34680:6;34676:14;34669:57;34658:75;:::o;34739:175::-;34879:27;34875:1;34867:6;34863:14;34856:51;34845:69;:::o;34920:221::-;35060:34;35056:1;35048:6;35044:14;35037:58;35129:4;35124:2;35116:6;35112:15;35105:29;35026:115;:::o;35147:214::-;35287:66;35283:1;35275:6;35271:14;35264:90;35253:108;:::o;35367:179::-;35507:31;35503:1;35495:6;35491:14;35484:55;35473:73;:::o;35552:179::-;35692:31;35688:1;35680:6;35676:14;35669:55;35658:73;:::o;35737:225::-;35877:34;35873:1;35865:6;35861:14;35854:58;35946:8;35941:2;35933:6;35929:15;35922:33;35843:119;:::o;35968:221::-;36108:34;36104:1;36096:6;36092:14;36085:58;36177:4;36172:2;36164:6;36160:15;36153:29;36074:115;:::o;36195:221::-;36335:34;36331:1;36323:6;36319:14;36312:58;36404:4;36399:2;36391:6;36387:15;36380:29;36301:115;:::o;36422:180::-;36562:32;36558:1;36550:6;36546:14;36539:56;36528:74;:::o;36608:235::-;36748:34;36744:1;36736:6;36732:14;36725:58;36817:18;36812:2;36804:6;36800:15;36793:43;36714:129;:::o;36849:226::-;36989:34;36985:1;36977:6;36973:14;36966:58;37058:9;37053:2;37045:6;37041:15;37034:34;36955:120;:::o;37081:224::-;37221:34;37217:1;37209:6;37205:14;37198:58;37290:7;37285:2;37277:6;37273:15;37266:32;37187:118;:::o;37311:225::-;37451:34;37447:1;37439:6;37435:14;37428:58;37520:8;37515:2;37507:6;37503:15;37496:33;37417:119;:::o;37542:223::-;37682:34;37678:1;37670:6;37666:14;37659:58;37751:6;37746:2;37738:6;37734:15;37727:31;37648:117;:::o;37771:224::-;37911:34;37907:1;37899:6;37895:14;37888:58;37980:7;37975:2;37967:6;37963:15;37956:32;37877:118;:::o;38001:181::-;38141:33;38137:1;38129:6;38125:14;38118:57;38107:75;:::o;38188:122::-;38261:24;38279:5;38261:24;:::i;:::-;38254:5;38251:35;38241:2;;38300:1;38297;38290:12;38241:2;38231:79;:::o;38316:122::-;38389:24;38407:5;38389:24;:::i;:::-;38382:5;38379:35;38369:2;;38428:1;38425;38418:12;38369:2;38359:79;:::o;38444:122::-;38517:24;38535:5;38517:24;:::i;:::-;38510:5;38507:35;38497:2;;38556:1;38553;38546:12;38497:2;38487:79;:::o;38572:120::-;38644:23;38661:5;38644:23;:::i;:::-;38637:5;38634:34;38624:2;;38682:1;38679;38672:12;38624:2;38614:78;:::o;38698:118::-;38769:22;38785:5;38769:22;:::i;:::-;38762:5;38759:33;38749:2;;38806:1;38803;38796:12;38749:2;38739:77;:::o

ipfs://c363e3bada307c3da357932e331d22bd6478232faa75c6aa4044a00aeedcddd8