Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2026-01-27
*/

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/token/ERC20/IERC20.sol


// OpenZeppelin Contracts (last updated v4.9.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);
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/token/ERC20/extensions/IERC20Metadata.sol


// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.0;


/**
 * @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);
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/Context.sol


// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

/**
 * @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;
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/token/ERC20/ERC20.sol


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0;




/**
 * @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.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * 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}.
     *
     * 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 default value returned by this function, unless
     * it's 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;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _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;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _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;
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _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 {}
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/token/ERC20/extensions/ERC20Burnable.sol


// OpenZeppelin Contracts (last updated v4.5.0) (token/ERC20/extensions/ERC20Burnable.sol)

pragma solidity ^0.8.0;



/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
abstract contract ERC20Burnable is Context, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for ``accounts``'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) public virtual {
        _spendAllowance(account, _msgSender(), amount);
        _burn(account, amount);
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/access/Ownable.sol


// OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)

pragma solidity ^0.8.0;


/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/token/ERC20/extensions/IERC20Permit.sol


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/extensions/IERC20Permit.sol)

pragma solidity ^0.8.0;

/**
 * @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);
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/math/Math.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/math/Math.sol)

pragma solidity ^0.8.0;

/**
 * @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) {
                // Solidity will revert if denominator == 0, unlike the div opcode on its own.
                // The surrounding unchecked block does not change this fact.
                // See https://docs.soliditylang.org/en/latest/control-structures.html#checked-or-unchecked-arithmetic.
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1, "Math: mulDiv overflow");

            ///////////////////////////////////////////////
            // 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. If 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)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.
        //
        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`
        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`
        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`
        //
        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1 << (log2(a) >> 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) {
        unchecked {
            uint256 result = sqrt(a);
            return result + (rounding == Rounding.Up && result * result < a ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 2, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 128;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 64;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 32;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 16;
            }
            if (value >> 8 > 0) {
                value >>= 8;
                result += 8;
            }
            if (value >> 4 > 0) {
                value >>= 4;
                result += 4;
            }
            if (value >> 2 > 0) {
                value >>= 2;
                result += 2;
            }
            if (value >> 1 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 2, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log2(value);
            return result + (rounding == Rounding.Up && 1 << result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 10, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >= 10 ** 64) {
                value /= 10 ** 64;
                result += 64;
            }
            if (value >= 10 ** 32) {
                value /= 10 ** 32;
                result += 32;
            }
            if (value >= 10 ** 16) {
                value /= 10 ** 16;
                result += 16;
            }
            if (value >= 10 ** 8) {
                value /= 10 ** 8;
                result += 8;
            }
            if (value >= 10 ** 4) {
                value /= 10 ** 4;
                result += 4;
            }
            if (value >= 10 ** 2) {
                value /= 10 ** 2;
                result += 2;
            }
            if (value >= 10 ** 1) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log10(value);
            return result + (rounding == Rounding.Up && 10 ** result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 256, rounded down, of a positive value.
     * Returns 0 if given 0.
     *
     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
     */
    function log256(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 16;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 8;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 4;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 2;
            }
            if (value >> 8 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 256, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log256(value);
            return result + (rounding == Rounding.Up && 1 << (result << 3) < value ? 1 : 0);
        }
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/math/SignedMath.sol


// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/SignedMath.sol)

pragma solidity ^0.8.0;

/**
 * @dev Standard signed math utilities missing in the Solidity language.
 */
library SignedMath {
    /**
     * @dev Returns the largest of two signed numbers.
     */
    function max(int256 a, int256 b) internal pure returns (int256) {
        return a > b ? a : b;
    }

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

    /**
     * @dev Returns the average of two signed numbers without overflow.
     * The result is rounded towards zero.
     */
    function average(int256 a, int256 b) internal pure returns (int256) {
        // Formula from the book "Hacker's Delight"
        int256 x = (a & b) + ((a ^ b) >> 1);
        return x + (int256(uint256(x) >> 255) & (a ^ b));
    }

    /**
     * @dev Returns the absolute unsigned value of a signed value.
     */
    function abs(int256 n) internal pure returns (uint256) {
        unchecked {
            // must be unchecked in order to support `n = type(int256).min`
            return uint256(n >= 0 ? n : -n);
        }
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/Strings.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/Strings.sol)

pragma solidity ^0.8.0;



/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant _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) {
        unchecked {
            uint256 length = Math.log10(value) + 1;
            string memory buffer = new string(length);
            uint256 ptr;
            /// @solidity memory-safe-assembly
            assembly {
                ptr := add(buffer, add(32, length))
            }
            while (true) {
                ptr--;
                /// @solidity memory-safe-assembly
                assembly {
                    mstore8(ptr, byte(mod(value, 10), _SYMBOLS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

    /**
     * @dev Converts a `int256` to its ASCII `string` decimal representation.
     */
    function toString(int256 value) internal pure returns (string memory) {
        return string(abi.encodePacked(value < 0 ? "-" : "", toString(SignedMath.abs(value))));
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        unchecked {
            return toHexString(value, Math.log256(value) + 1);
        }
    }

    /**
     * @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] = _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 Returns true if the two strings are equal.
     */
    function equal(string memory a, string memory b) internal pure returns (bool) {
        return keccak256(bytes(a)) == keccak256(bytes(b));
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/cryptography/ECDSA.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/cryptography/ECDSA.sol)

pragma solidity ^0.8.0;


/**
 * @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 // Deprecated in v4.8
    }

    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");
        }
    }

    /**
     * @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 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 message) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x00, "\x19Ethereum Signed Message:\n32")
            mstore(0x1c, hash)
            message := keccak256(0x00, 0x3c)
        }
    }

    /**
     * @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 data) {
        /// @solidity memory-safe-assembly
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, "\x19\x01")
            mstore(add(ptr, 0x02), domainSeparator)
            mstore(add(ptr, 0x22), structHash)
            data := keccak256(ptr, 0x42)
        }
    }

    /**
     * @dev Returns an Ethereum Signed Data with intended validator, created from a
     * `validator` and `data` according to the version 0 of EIP-191.
     *
     * See {recover}.
     */
    function toDataWithIntendedValidatorHash(address validator, bytes memory data) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19\x00", validator, data));
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/StorageSlot.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/StorageSlot.sol)
// This file was procedurally generated from scripts/generate/templates/StorageSlot.js.

pragma solidity ^0.8.0;

/**
 * @dev Library for reading and writing primitive types to specific storage slots.
 *
 * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
 * This library helps with reading and writing to such slots without the need for inline assembly.
 *
 * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
 *
 * Example usage to set ERC1967 implementation slot:
 * ```solidity
 * contract ERC1967 {
 *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
 *
 *     function _getImplementation() internal view returns (address) {
 *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
 *     }
 *
 *     function _setImplementation(address newImplementation) internal {
 *         require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
 *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
 *     }
 * }
 * ```
 *
 * _Available since v4.1 for `address`, `bool`, `bytes32`, `uint256`._
 * _Available since v4.9 for `string`, `bytes`._
 */
library StorageSlot {
    struct AddressSlot {
        address value;
    }

    struct BooleanSlot {
        bool value;
    }

    struct Bytes32Slot {
        bytes32 value;
    }

    struct Uint256Slot {
        uint256 value;
    }

    struct StringSlot {
        string value;
    }

    struct BytesSlot {
        bytes value;
    }

    /**
     * @dev Returns an `AddressSlot` with member `value` located at `slot`.
     */
    function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `BooleanSlot` with member `value` located at `slot`.
     */
    function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `Bytes32Slot` with member `value` located at `slot`.
     */
    function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `Uint256Slot` with member `value` located at `slot`.
     */
    function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `StringSlot` with member `value` located at `slot`.
     */
    function getStringSlot(bytes32 slot) internal pure returns (StringSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `StringSlot` representation of the string storage pointer `store`.
     */
    function getStringSlot(string storage store) internal pure returns (StringSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := store.slot
        }
    }

    /**
     * @dev Returns an `BytesSlot` with member `value` located at `slot`.
     */
    function getBytesSlot(bytes32 slot) internal pure returns (BytesSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `BytesSlot` representation of the bytes storage pointer `store`.
     */
    function getBytesSlot(bytes storage store) internal pure returns (BytesSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := store.slot
        }
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/ShortStrings.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/ShortStrings.sol)

pragma solidity ^0.8.8;


// | string  | 0xAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA   |
// | length  | 0x                                                              BB |
type ShortString is bytes32;

/**
 * @dev This library provides functions to convert short memory strings
 * into a `ShortString` type that can be used as an immutable variable.
 *
 * Strings of arbitrary length can be optimized using this library if
 * they are short enough (up to 31 bytes) by packing them with their
 * length (1 byte) in a single EVM word (32 bytes). Additionally, a
 * fallback mechanism can be used for every other case.
 *
 * Usage example:
 *
 * ```solidity
 * contract Named {
 *     using ShortStrings for *;
 *
 *     ShortString private immutable _name;
 *     string private _nameFallback;
 *
 *     constructor(string memory contractName) {
 *         _name = contractName.toShortStringWithFallback(_nameFallback);
 *     }
 *
 *     function name() external view returns (string memory) {
 *         return _name.toStringWithFallback(_nameFallback);
 *     }
 * }
 * ```
 */
library ShortStrings {
    // Used as an identifier for strings longer than 31 bytes.
    bytes32 private constant _FALLBACK_SENTINEL = 0x00000000000000000000000000000000000000000000000000000000000000FF;

    error StringTooLong(string str);
    error InvalidShortString();

    /**
     * @dev Encode a string of at most 31 chars into a `ShortString`.
     *
     * This will trigger a `StringTooLong` error is the input string is too long.
     */
    function toShortString(string memory str) internal pure returns (ShortString) {
        bytes memory bstr = bytes(str);
        if (bstr.length > 31) {
            revert StringTooLong(str);
        }
        return ShortString.wrap(bytes32(uint256(bytes32(bstr)) | bstr.length));
    }

    /**
     * @dev Decode a `ShortString` back to a "normal" string.
     */
    function toString(ShortString sstr) internal pure returns (string memory) {
        uint256 len = byteLength(sstr);
        // using `new string(len)` would work locally but is not memory safe.
        string memory str = new string(32);
        /// @solidity memory-safe-assembly
        assembly {
            mstore(str, len)
            mstore(add(str, 0x20), sstr)
        }
        return str;
    }

    /**
     * @dev Return the length of a `ShortString`.
     */
    function byteLength(ShortString sstr) internal pure returns (uint256) {
        uint256 result = uint256(ShortString.unwrap(sstr)) & 0xFF;
        if (result > 31) {
            revert InvalidShortString();
        }
        return result;
    }

    /**
     * @dev Encode a string into a `ShortString`, or write it to storage if it is too long.
     */
    function toShortStringWithFallback(string memory value, string storage store) internal returns (ShortString) {
        if (bytes(value).length < 32) {
            return toShortString(value);
        } else {
            StorageSlot.getStringSlot(store).value = value;
            return ShortString.wrap(_FALLBACK_SENTINEL);
        }
    }

    /**
     * @dev Decode a string that was encoded to `ShortString` or written to storage using {setWithFallback}.
     */
    function toStringWithFallback(ShortString value, string storage store) internal pure returns (string memory) {
        if (ShortString.unwrap(value) != _FALLBACK_SENTINEL) {
            return toString(value);
        } else {
            return store;
        }
    }

    /**
     * @dev Return the length of a string that was encoded to `ShortString` or written to storage using {setWithFallback}.
     *
     * WARNING: This will return the "byte length" of the string. This may not reflect the actual length in terms of
     * actual characters as the UTF-8 encoding of a single character can span over multiple bytes.
     */
    function byteLengthWithFallback(ShortString value, string storage store) internal view returns (uint256) {
        if (ShortString.unwrap(value) != _FALLBACK_SENTINEL) {
            return byteLength(value);
        } else {
            return bytes(store).length;
        }
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/interfaces/IERC5267.sol


// OpenZeppelin Contracts (last updated v4.9.0) (interfaces/IERC5267.sol)

pragma solidity ^0.8.0;

interface IERC5267 {
    /**
     * @dev MAY be emitted to signal that the domain could have changed.
     */
    event EIP712DomainChanged();

    /**
     * @dev returns the fields and values that describe the domain separator used by this contract for EIP-712
     * signature.
     */
    function eip712Domain()
        external
        view
        returns (
            bytes1 fields,
            string memory name,
            string memory version,
            uint256 chainId,
            address verifyingContract,
            bytes32 salt,
            uint256[] memory extensions
        );
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/cryptography/EIP712.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/cryptography/EIP712.sol)

pragma solidity ^0.8.8;




/**
 * @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].
 *
 * NOTE: In the upgradeable version of this contract, the cached values will correspond to the address, and the domain
 * separator of the implementation contract. This will cause the `_domainSeparatorV4` function to always rebuild the
 * separator from the immutable values, which is cheaper than accessing a cached version in cold storage.
 *
 * _Available since v3.4._
 *
 * @custom:oz-upgrades-unsafe-allow state-variable-immutable state-variable-assignment
 */
abstract contract EIP712 is IERC5267 {
    using ShortStrings for *;

    bytes32 private constant _TYPE_HASH =
        keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)");

    // 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 _cachedDomainSeparator;
    uint256 private immutable _cachedChainId;
    address private immutable _cachedThis;

    bytes32 private immutable _hashedName;
    bytes32 private immutable _hashedVersion;

    ShortString private immutable _name;
    ShortString private immutable _version;
    string private _nameFallback;
    string private _versionFallback;

    /**
     * @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) {
        _name = name.toShortStringWithFallback(_nameFallback);
        _version = version.toShortStringWithFallback(_versionFallback);
        _hashedName = keccak256(bytes(name));
        _hashedVersion = keccak256(bytes(version));

        _cachedChainId = block.chainid;
        _cachedDomainSeparator = _buildDomainSeparator();
        _cachedThis = address(this);
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (address(this) == _cachedThis && block.chainid == _cachedChainId) {
            return _cachedDomainSeparator;
        } else {
            return _buildDomainSeparator();
        }
    }

    function _buildDomainSeparator() private view returns (bytes32) {
        return keccak256(abi.encode(_TYPE_HASH, _hashedName, _hashedVersion, 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);
    }

    /**
     * @dev See {EIP-5267}.
     *
     * _Available since v4.9._
     */
    function eip712Domain()
        public
        view
        virtual
        override
        returns (
            bytes1 fields,
            string memory name,
            string memory version,
            uint256 chainId,
            address verifyingContract,
            bytes32 salt,
            uint256[] memory extensions
        )
    {
        return (
            hex"0f", // 01111
            _name.toStringWithFallback(_nameFallback),
            _version.toStringWithFallback(_versionFallback),
            block.chainid,
            address(this),
            bytes32(0),
            new uint256[](0)
        );
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/Counters.sol


// OpenZeppelin Contracts v4.4.1 (utils/Counters.sol)

pragma solidity ^0.8.0;

/**
 * @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;
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/token/ERC20/extensions/ERC20Permit.sol


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/extensions/ERC20Permit.sol)

pragma solidity ^0.8.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();
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/governance/utils/IVotes.sol


// OpenZeppelin Contracts (last updated v4.9.0) (governance/utils/IVotes.sol)
pragma solidity ^0.8.0;

/**
 * @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 a specific moment in the past. If the `clock()` is
     * configured to use block numbers, this will return the value at the end of the corresponding block.
     */
    function getPastVotes(address account, uint256 timepoint) external view returns (uint256);

    /**
     * @dev Returns the total supply of votes available at a specific moment in the past. If the `clock()` is
     * configured to use block numbers, this will return the value at the end of the corresponding block.
     *
     * 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 timepoint) 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;
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/interfaces/IERC6372.sol


// OpenZeppelin Contracts (last updated v4.9.0) (interfaces/IERC6372.sol)

pragma solidity ^0.8.0;

interface IERC6372 {
    /**
     * @dev Clock used for flagging checkpoints. Can be overridden to implement timestamp based checkpoints (and voting).
     */
    function clock() external view returns (uint48);

    /**
     * @dev Description of the clock
     */
    // solhint-disable-next-line func-name-mixedcase
    function CLOCK_MODE() external view returns (string memory);
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/interfaces/IERC5805.sol


// OpenZeppelin Contracts (last updated v4.9.0) (interfaces/IERC5805.sol)

pragma solidity ^0.8.0;



interface IERC5805 is IERC6372, IVotes {}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/utils/math/SafeCast.sol


// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/SafeCast.sol)
// This file was procedurally generated from scripts/generate/templates/SafeCast.js.

pragma solidity ^0.8.0;

/**
 * @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 downcasted) {
        downcasted = int248(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 248 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int240(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 240 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int232(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 232 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int224(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 224 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int216(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 216 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int208(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 208 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int200(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 200 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int192(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 192 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int184(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 184 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int176(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 176 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int168(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 168 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int160(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 160 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int152(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 152 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int144(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 144 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int136(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 136 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int128(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 128 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int120(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 120 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int112(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 112 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int104(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 104 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int96(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 96 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int88(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 88 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int80(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 80 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int72(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 72 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int64(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 64 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int56(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 56 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int48(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 48 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int40(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 40 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int32(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 32 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int24(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 24 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int16(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 16 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int8(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 8 bits");
    }

    /**
     * @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);
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/contracts/token/ERC20/extensions/ERC20Votes.sol


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/extensions/ERC20Votes.sol)

pragma solidity ^0.8.0;






/**
 * @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 ERC20Permit, IERC5805 {
    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 Clock used for flagging checkpoints. Can be overridden to implement timestamp based checkpoints (and voting).
     */
    function clock() public view virtual override returns (uint48) {
        return SafeCast.toUint48(block.number);
    }

    /**
     * @dev Description of the clock
     */
    // solhint-disable-next-line func-name-mixedcase
    function CLOCK_MODE() public view virtual override returns (string memory) {
        // Check that the clock was not modified
        require(clock() == block.number, "ERC20Votes: broken clock mode");
        return "mode=blocknumber&from=default";
    }

    /**
     * @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;
        unchecked {
            return pos == 0 ? 0 : _checkpoints[account][pos - 1].votes;
        }
    }

    /**
     * @dev Retrieve the number of votes for `account` at the end of `timepoint`.
     *
     * Requirements:
     *
     * - `timepoint` must be in the past
     */
    function getPastVotes(address account, uint256 timepoint) public view virtual override returns (uint256) {
        require(timepoint < clock(), "ERC20Votes: future lookup");
        return _checkpointsLookup(_checkpoints[account], timepoint);
    }

    /**
     * @dev Retrieve the `totalSupply` at the end of `timepoint`. Note, this value is the sum of all balances.
     * It is NOT the sum of all the delegated votes!
     *
     * Requirements:
     *
     * - `timepoint` must be in the past
     */
    function getPastTotalSupply(uint256 timepoint) public view virtual override returns (uint256) {
        require(timepoint < clock(), "ERC20Votes: future lookup");
        return _checkpointsLookup(_totalSupplyCheckpoints, timepoint);
    }

    /**
     * @dev Lookup a value in a list of (sorted) checkpoints.
     */
    function _checkpointsLookup(Checkpoint[] storage ckpts, uint256 timepoint) private view returns (uint256) {
        // We run a binary search to look for the last (most recent) checkpoint taken before (or at) `timepoint`.
        //
        // Initially we check if the block is recent to narrow the search range.
        // 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 `timepoint`, we look in [low, mid)
        // - If the middle checkpoint is before or equal to `timepoint`, 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 `timepoint`, we end up with an index that is
        // past the end of the array, so we technically don't find a checkpoint after `timepoint`, but it works out
        // the same.
        uint256 length = ckpts.length;

        uint256 low = 0;
        uint256 high = length;

        if (length > 5) {
            uint256 mid = length - Math.sqrt(length);
            if (_unsafeAccess(ckpts, mid).fromBlock > timepoint) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        while (low < high) {
            uint256 mid = Math.average(low, high);
            if (_unsafeAccess(ckpts, mid).fromBlock > timepoint) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        unchecked {
            return high == 0 ? 0 : _unsafeAccess(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 {IVotes-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 {IVotes-DelegateChanged} and {IVotes-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;

        unchecked {
            Checkpoint memory oldCkpt = pos == 0 ? Checkpoint(0, 0) : _unsafeAccess(ckpts, pos - 1);

            oldWeight = oldCkpt.votes;
            newWeight = op(oldWeight, delta);

            if (pos > 0 && oldCkpt.fromBlock == clock()) {
                _unsafeAccess(ckpts, pos - 1).votes = SafeCast.toUint224(newWeight);
            } else {
                ckpts.push(Checkpoint({fromBlock: SafeCast.toUint32(clock()), 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;
    }

    /**
     * @dev Access an element of the array without performing bounds check. The position is assumed to be within bounds.
     */
    function _unsafeAccess(Checkpoint[] storage ckpts, uint256 pos) private pure returns (Checkpoint storage result) {
        assembly {
            mstore(0, ckpts.slot)
            result.slot := add(keccak256(0, 0x20), pos)
        }
    }
}

// File: RUSSIAN GUY.sol


pragma solidity 0.8.19;

// ייבוא ספריות בגרסה 4.9 (הגרסה הקלה)






contract RussianGuy is ERC20, ERC20Burnable, Ownable, ERC20Permit, ERC20Votes {
    
    constructor() 
        ERC20("RUSSIAN GUY", "RUGY") 
        ERC20Permit("RUSSIAN GUY") 
    {
        // הנפקה של 200 מיליארד מטבעות
        // החישוב מתבצע אוטומטית לפי הדצימלים שהגדרנו למטה (9)
        _mint(msg.sender, 200000000000 * 10 ** decimals());
    }

    // --- הגדרת דצימלים מותאמת אישית (9) ---
    function decimals() public view virtual override returns (uint8) {
        return 9;
    }

    // --- פונקציות Override (חובה טכנית) ---

    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 from, uint256 amount)
        internal
        override(ERC20, ERC20Votes)
    {
        super._burn(from, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"InvalidShortString","type":"error"},{"inputs":[{"internalType":"string","name":"str","type":"string"}],"name":"StringTooLong","type":"error"},{"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":[],"name":"EIP712DomainChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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":"CLOCK_MODE","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"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":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","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":"clock","outputs":[{"internalType":"uint48","name":"","type":"uint48"}],"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":[],"name":"eip712Domain","outputs":[{"internalType":"bytes1","name":"fields","type":"bytes1"},{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"version","type":"string"},{"internalType":"uint256","name":"chainId","type":"uint256"},{"internalType":"address","name":"verifyingContract","type":"address"},{"internalType":"bytes32","name":"salt","type":"bytes32"},{"internalType":"uint256[]","name":"extensions","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"timepoint","type":"uint256"}],"name":"getPastTotalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"timepoint","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":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"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":"renounceOwnership","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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6101606040523480156200001257600080fd5b506040518060400160405280600b81526020016a5255535349414e2047555960a81b81525080604051806040016040528060018152602001603160f81b8152506040518060400160405280600b81526020016a5255535349414e2047555960a81b815250604051806040016040528060048152602001635255475960e01b8152508160039081620000a4919062000948565b506004620000b3828262000948565b505050620000d0620000ca620001b660201b60201c565b620001ba565b620000dd8260066200020c565b61012052620000ee8160076200020c565b61014052815160208084019190912060e052815190820120610100524660a0526200017c60e05161010051604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60208201529081019290925260608201524660808201523060a082015260009060c00160405160208183030381529060405280519060200120905090565b60805250503060c05250620001b033620001996009600a62000b27565b620001aa90642e90edd00062000b38565b62000245565b62000bf3565b3390565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b60006020835110156200022c57620002248362000255565b90506200023f565b8162000239848262000948565b5060ff90505b92915050565b620002518282620002a1565b5050565b600080829050601f815111156200028c578260405163305a27a960e01b815260040162000283919062000b52565b60405180910390fd5b8051620002998262000ba2565b179392505050565b620002ad828262000349565b6001600160e01b03620002c1620004168216565b11156200032a5760405162461bcd60e51b815260206004820152603060248201527f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60448201526f766572666c6f77696e6720766f74657360801b606482015260840162000283565b62000343600c62000c5e6200041c60201b178362000431565b50505050565b6001600160a01b038216620003a15760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640162000283565b8060026000828254620003b5919062000bc7565b90915550506001600160a01b038216600081815260208181526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a36200025160008383620005be565b60025490565b60006200042a828462000bc7565b9392505050565b82546000908190818115620004805760008781526020902082016000190160408051808201909152905463ffffffff8116825264010000000090046001600160e01b0316602082015262000495565b60408051808201909152600080825260208201525b905080602001516001600160e01b03169350620004b384868860201c565b9250600082118015620004e05750620004cb620005cb565b65ffffffffffff16816000015163ffffffff16145b156200052957620004f183620005dd565b60008881526020902083016000190180546001600160e01b03929092166401000000000263ffffffff909216919091179055620005af565b8660405180604001604052806200055762000549620005cb60201b60201c565b65ffffffffffff166200064c565b63ffffffff1681526020016200056d86620005dd565b6001600160e01b0390811690915282546001810184556000938452602093849020835194909301519091166401000000000263ffffffff909316929092179101555b5050935093915050565b505050565b620005b9838383620006b3565b6000620005d843620006d4565b905090565b60006001600160e01b03821115620006485760405162461bcd60e51b815260206004820152602760248201527f53616665436173743a2076616c756520646f65736e27742066697420696e20326044820152663234206269747360c81b606482015260840162000283565b5090565b600063ffffffff821115620006485760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203360448201526532206269747360d01b606482015260840162000283565b620005b9620006c2846200073d565b620006cd846200073d565b836200075b565b600065ffffffffffff821115620006485760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203460448201526538206269747360d01b606482015260840162000283565b6001600160a01b039081166000908152600a60205260409020541690565b816001600160a01b0316836001600160a01b0316141580156200077e5750600081115b15620005b9576001600160a01b038316156200080b576001600160a01b0383166000908152600b6020908152604082208291620007c8919062000896901b62000c6a178562000431565b91509150846001600160a01b031660008051602062002e1b833981519152838360405162000800929190918252602082015260400190565b60405180910390a250505b6001600160a01b03821615620005b9576001600160a01b0382166000908152600b60209081526040822082916200084f91906200041c901b62000c5e178562000431565b91509150836001600160a01b031660008051602062002e1b833981519152838360405162000887929190918252602082015260400190565b60405180910390a25050505050565b60006200042a828462000bdd565b634e487b7160e01b600052604160045260246000fd5b600181811c90821680620008cf57607f821691505b602082108103620008f057634e487b7160e01b600052602260045260246000fd5b50919050565b601f821115620005b957600081815260208120601f850160051c810160208610156200091f5750805b601f850160051c820191505b8181101562000940578281556001016200092b565b505050505050565b81516001600160401b03811115620009645762000964620008a4565b6200097c81620009758454620008ba565b84620008f6565b602080601f831160018114620009b457600084156200099b5750858301515b600019600386901b1c1916600185901b17855562000940565b600085815260208120601f198616915b82811015620009e557888601518255948401946001909101908401620009c4565b508582101562000a045787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000a6b57816000190482111562000a4f5762000a4f62000a14565b8085161562000a5d57918102915b93841c939080029062000a2f565b509250929050565b60008262000a84575060016200023f565b8162000a93575060006200023f565b816001811462000aac576002811462000ab75762000ad7565b60019150506200023f565b60ff84111562000acb5762000acb62000a14565b50506001821b6200023f565b5060208310610133831016604e8410600b841016171562000afc575081810a6200023f565b62000b08838362000a2a565b806000190482111562000b1f5762000b1f62000a14565b029392505050565b60006200042a60ff84168362000a73565b80820281158282048414176200023f576200023f62000a14565b600060208083528351808285015260005b8181101562000b815785810183015185820160400152820162000b63565b506000604082860101526040601f19601f8301168501019250505092915050565b80516020808301519190811015620008f05760001960209190910360031b1b16919050565b808201808211156200023f576200023f62000a14565b818103818111156200023f576200023f62000a14565b60805160a05160c05160e0516101005161012051610140516121cd62000c4e60003960006106e6015260006106bb015260006110860152600061105e01526000610fb901526000610fe30152600061100d01526121cd6000f3fe608060405234801561001057600080fd5b506004361061016a5760003560e01c806306fdde031461016f578063095ea7b31461018d57806318160ddd146101b057806323b872dd146101c2578063313ce567146101d55780633644e515146101e457806339509351146101ec5780633a46b1a8146101ff57806342966c68146102125780634bf5d7e914610227578063587cde1e1461022f5780635c19a95c1461025a5780636fcfff451461026d57806370a0823114610295578063715018a6146102a857806379cc6790146102b05780637ecebe00146102c357806384b0196e146102d65780638da5cb5b146102f15780638e539e8c146102f957806391ddadf41461030c57806395d89b411461032b5780639ab24eb014610333578063a457c2d714610346578063a9059cbb14610359578063c3cda5201461036c578063d505accf1461037f578063dd62ed3e14610392578063f1127ed8146103a5578063f2fde38b146103e2575b600080fd5b6101776103f5565b6040516101849190611dab565b60405180910390f35b6101a061019b366004611dda565b610487565b6040519015158152602001610184565b6002545b604051908152602001610184565b6101a06101d0366004611e04565b6104a1565b60405160098152602001610184565b6101b46104c5565b6101a06101fa366004611dda565b6104d4565b6101b461020d366004611dda565b6104f6565b610225610220366004611e40565b610558565b005b610177610565565b61024261023d366004611e59565b6105fd565b6040516001600160a01b039091168152602001610184565b610225610268366004611e59565b61061b565b61028061027b366004611e59565b610625565b60405163ffffffff9091168152602001610184565b6101b46102a3366004611e59565b610647565b610225610662565b6102256102be366004611dda565b610676565b6101b46102d1366004611e59565b61068f565b6102de6106ad565b6040516101849796959493929190611e74565b610242610736565b6101b4610307366004611e40565b610745565b610314610780565b60405165ffffffffffff9091168152602001610184565b61017761078b565b6101b4610341366004611e59565b61079a565b6101a0610354366004611dda565b61081b565b6101a0610367366004611dda565b610896565b61022561037a366004611f1b565b6108a4565b61022561038d366004611f73565b6109d6565b6101b46103a0366004611fdd565b610b3a565b6103b86103b3366004612010565b610b65565b60408051825163ffffffff1681526020928301516001600160e01b03169281019290925201610184565b6102256103f0366004611e59565b610be8565b60606003805461040490612050565b80601f016020809104026020016040519081016040528092919081815260200182805461043090612050565b801561047d5780601f106104525761010080835404028352916020019161047d565b820191906000526020600020905b81548152906001019060200180831161046057829003601f168201915b5050505050905090565b600033610495818585610c76565b60019150505b92915050565b6000336104af858285610d9a565b6104ba858585610e14565b506001949350505050565b60006104cf610fac565b905090565b6000336104958185856104e78383610b3a565b6104f1919061209a565b610c76565b6000610500610780565b65ffffffffffff16821061052f5760405162461bcd60e51b8152600401610526906120ad565b60405180910390fd5b6001600160a01b0383166000908152600b6020526040902061055190836110d7565b9392505050565b61056233826111b7565b50565b606043610570610780565b65ffffffffffff16146105c55760405162461bcd60e51b815260206004820152601d60248201527f4552433230566f7465733a2062726f6b656e20636c6f636b206d6f64650000006044820152606401610526565b5060408051808201909152601d81527f6d6f64653d626c6f636b6e756d6265722666726f6d3d64656661756c74000000602082015290565b6001600160a01b039081166000908152600a60205260409020541690565b61056233826111c1565b6001600160a01b0381166000908152600b602052604081205461049b90611241565b6001600160a01b031660009081526020819052604090205490565b61066a6112aa565b6106746000611309565b565b610681823383610d9a565b61068b82826111b7565b5050565b6001600160a01b03811660009081526008602052604081205461049b565b6000606080828080836106e17f0000000000000000000000000000000000000000000000000000000000000000600661135b565b61070c7f0000000000000000000000000000000000000000000000000000000000000000600761135b565b60408051600080825260208201909252600f60f81b9b939a50919850469750309650945092509050565b6005546001600160a01b031690565b600061074f610780565b65ffffffffffff1682106107755760405162461bcd60e51b8152600401610526906120ad565b61049b600c836110d7565b60006104cf43611406565b60606004805461040490612050565b6001600160a01b0381166000908152600b60205260408120548015610808576001600160a01b0383166000908152600b60205260409020805460001983019081106107e7576107e76120e0565b600091825260209091200154600160201b90046001600160e01b031661080b565b60005b6001600160e01b03169392505050565b600033816108298286610b3a565b9050838110156108895760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610526565b6104ba8286868403610c76565b600033610495818585610e14565b834211156108f45760405162461bcd60e51b815260206004820152601d60248201527f4552433230566f7465733a207369676e617475726520657870697265640000006044820152606401610526565b604080517fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf60208201526001600160a01b03881691810191909152606081018690526080810185905260009061096e906109669060a0016040516020818303038152906040528051906020012061146d565b85858561149a565b9050610979816114c2565b86146109c35760405162461bcd60e51b81526020600482015260196024820152784552433230566f7465733a20696e76616c6964206e6f6e636560381b6044820152606401610526565b6109cd81886111c1565b50505050505050565b83421115610a265760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e650000006044820152606401610526565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888610a558c6114c2565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e0016040516020818303038152906040528051906020012090506000610ab08261146d565b90506000610ac08287878761149a565b9050896001600160a01b0316816001600160a01b031614610b235760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e617475726500006044820152606401610526565b610b2e8a8a8a610c76565b50505050505050505050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60408051808201909152600080825260208201526001600160a01b0383166000908152600b60205260409020805463ffffffff8416908110610ba957610ba96120e0565b60009182526020918290206040805180820190915291015463ffffffff81168252600160201b90046001600160e01b0316918101919091529392505050565b610bf06112aa565b6001600160a01b038116610c555760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610526565b61056281611309565b6000610551828461209a565b600061055182846120f6565b6001600160a01b038316610cd85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610526565b6001600160a01b038216610d395760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610526565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6000610da68484610b3a565b90506000198114610e0e5781811015610e015760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006044820152606401610526565b610e0e8484848403610c76565b50505050565b6001600160a01b038316610e785760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610526565b6001600160a01b038216610eda5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610526565b6001600160a01b03831660009081526020819052604090205481811015610f525760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610526565b6001600160a01b0384811660008181526020818152604080832087870390559387168083529184902080548701905592518581529092600080516020612158833981519152910160405180910390a3610e0e8484846114ef565b6000306001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614801561100557507f000000000000000000000000000000000000000000000000000000000000000046145b1561102f57507f000000000000000000000000000000000000000000000000000000000000000090565b6104cf604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60208201527f0000000000000000000000000000000000000000000000000000000000000000918101919091527f000000000000000000000000000000000000000000000000000000000000000060608201524660808201523060a082015260009060c00160405160208183030381529060405280519060200120905090565b81546000908181600581111561112e5760006110f2846114fa565b6110fc90856120f6565b90508561110988836115e2565b5463ffffffff16111561111e5780915061112c565b61112981600161209a565b92505b505b8082101561117857600061114283836115f0565b90508561114f88836115e2565b5463ffffffff16111561116457809150611172565b61116f81600161209a565b92505b5061112e565b80156111a15761118b86600183036115e2565b54600160201b90046001600160e01b03166111a4565b60005b6001600160e01b03169695505050505050565b61068b828261160b565b60006111cc836105fd565b905060006111d984610647565b6001600160a01b038581166000818152600a602052604080822080546001600160a01b031916898616908117909155905194955093928616927f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a4610e0e828483611623565b600063ffffffff8211156112a65760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203360448201526532206269747360d01b6064820152608401610526565b5090565b336112b3610736565b6001600160a01b0316146106745760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610526565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b606060ff83146113755761136e8361173c565b905061049b565b81805461138190612050565b80601f01602080910402602001604051908101604052809291908181526020018280546113ad90612050565b80156113fa5780601f106113cf576101008083540402835291602001916113fa565b820191906000526020600020905b8154815290600101906020018083116113dd57829003601f168201915b5050505050905061049b565b600065ffffffffffff8211156112a65760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203460448201526538206269747360d01b6064820152608401610526565b600061049b61147a610fac565b8360405161190160f01b8152600281019290925260228201526042902090565b60008060006114ab8787878761177b565b915091506114b881611835565b5095945050505050565b6001600160a01b03811660009081526008602052604090208054600181018255905b50919050565b505050565b6114ea83838361197a565b60008160000361150c57506000919050565b6000600161151984611995565b901c6001901b9050600181848161153257611532612109565b048201901c9050600181848161154a5761154a612109565b048201901c9050600181848161156257611562612109565b048201901c9050600181848161157a5761157a612109565b048201901c9050600181848161159257611592612109565b048201901c905060018184816115aa576115aa612109565b048201901c905060018184816115c2576115c2612109565b048201901c9050610551818285816115dc576115dc612109565b04611a29565b600091825260209091200190565b60006115ff600284841861211f565b6105519084841661209a565b6116158282611a3f565b610e0e600c610c6a83611b66565b816001600160a01b0316836001600160a01b0316141580156116455750600081115b156114ea576001600160a01b038316156116c1576001600160a01b0383166000908152600b60205260408120819061168090610c6a85611b66565b91509150846001600160a01b031660008051602061217883398151915283836040516116b6929190918252602082015260400190565b60405180910390a250505b6001600160a01b038216156114ea576001600160a01b0382166000908152600b6020526040812081906116f790610c5e85611b66565b91509150836001600160a01b0316600080516020612178833981519152838360405161172d929190918252602082015260400190565b60405180910390a25050505050565b6060600061174983611cd4565b604080516020808252818301909252919250600091906020820181803683375050509182525060208101929092525090565b6000806fa2a8918ca85bafe22016d0b997e4df60600160ff1b038311156117a8575060009050600361182c565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa1580156117fc573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166118255760006001925092505061182c565b9150600090505b94509492505050565b600081600481111561184957611849612141565b036118515750565b600181600481111561186557611865612141565b036118ad5760405162461bcd60e51b815260206004820152601860248201527745434453413a20696e76616c6964207369676e617475726560401b6044820152606401610526565b60028160048111156118c1576118c1612141565b0361190e5760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e677468006044820152606401610526565b600381600481111561192257611922612141565b036105625760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b6064820152608401610526565b6114ea611986846105fd565b61198f846105fd565b83611623565b600080608083901c156119aa57608092831c92015b604083901c156119bc57604092831c92015b602083901c156119ce57602092831c92015b601083901c156119e057601092831c92015b600883901c156119f257600892831c92015b600483901c15611a0457600492831c92015b600283901c15611a1657600292831c92015b600183901c1561049b5760010192915050565b6000818310611a385781610551565b5090919050565b6001600160a01b038216611a9f5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b6064820152608401610526565b6001600160a01b03821660009081526020819052604090205481811015611b135760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610526565b6001600160a01b038316600081815260208181526040808320868603905560028054879003905551858152919291600080516020612158833981519152910160405180910390a36114ea836000846114ef565b82546000908190818115611bb057611b8187600184036115e2565b60408051808201909152905463ffffffff81168252600160201b90046001600160e01b03166020820152611bc5565b60408051808201909152600080825260208201525b905080602001516001600160e01b03169350611be584868863ffffffff16565b9250600082118015611c0f5750611bfa610780565b65ffffffffffff16816000015163ffffffff16145b15611c5157611c1d83611cfc565b611c2a88600185036115e2565b80546001600160e01b0392909216600160201b0263ffffffff909216919091179055611cca565b866040518060400160405280611c75611c68610780565b65ffffffffffff16611241565b63ffffffff168152602001611c8986611cfc565b6001600160e01b039081169091528254600181018455600093845260209384902083519490930151909116600160201b0263ffffffff909316929092179101555b5050935093915050565b600060ff8216601f81111561049b57604051632cd44ac360e21b815260040160405180910390fd5b60006001600160e01b038211156112a65760405162461bcd60e51b815260206004820152602760248201527f53616665436173743a2076616c756520646f65736e27742066697420696e20326044820152663234206269747360c81b6064820152608401610526565b6000815180845260005b81811015611d8b57602081850181015186830182015201611d6f565b506000602082860101526020601f19601f83011685010191505092915050565b6020815260006105516020830184611d65565b80356001600160a01b0381168114611dd557600080fd5b919050565b60008060408385031215611ded57600080fd5b611df683611dbe565b946020939093013593505050565b600080600060608486031215611e1957600080fd5b611e2284611dbe565b9250611e3060208501611dbe565b9150604084013590509250925092565b600060208284031215611e5257600080fd5b5035919050565b600060208284031215611e6b57600080fd5b61055182611dbe565b60ff60f81b881681526000602060e081840152611e9460e084018a611d65565b8381036040850152611ea6818a611d65565b606085018990526001600160a01b038816608086015260a0850187905284810360c0860152855180825283870192509083019060005b81811015611ef857835183529284019291840191600101611edc565b50909c9b505050505050505050505050565b803560ff81168114611dd557600080fd5b60008060008060008060c08789031215611f3457600080fd5b611f3d87611dbe565b95506020870135945060408701359350611f5960608801611f0a565b92506080870135915060a087013590509295509295509295565b600080600080600080600060e0888a031215611f8e57600080fd5b611f9788611dbe565b9650611fa560208901611dbe565b95506040880135945060608801359350611fc160808901611f0a565b925060a0880135915060c0880135905092959891949750929550565b60008060408385031215611ff057600080fd5b611ff983611dbe565b915061200760208401611dbe565b90509250929050565b6000806040838503121561202357600080fd5b61202c83611dbe565b9150602083013563ffffffff8116811461204557600080fd5b809150509250929050565b600181811c9082168061206457607f821691505b6020821081036114e457634e487b7160e01b600052602260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b8082018082111561049b5761049b612084565b60208082526019908201527804552433230566f7465733a20667574757265206c6f6f6b757603c1b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b8181038181111561049b5761049b612084565b634e487b7160e01b600052601260045260246000fd5b60008261213c57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052602160045260246000fdfeddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724a2646970667358221220dbf62e30c9c8fc2c125f6d7114706ac0e3bfc65a4465a0b4c212b3bf94f3547864736f6c63430008130033dec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724

0x608060405234801561001057600080fd5b506004361061016a5760003560e01c806306fdde031461016f578063095ea7b31461018d57806318160ddd146101b057806323b872dd146101c2578063313ce567146101d55780633644e515146101e457806339509351146101ec5780633a46b1a8146101ff57806342966c68146102125780634bf5d7e914610227578063587cde1e1461022f5780635c19a95c1461025a5780636fcfff451461026d57806370a0823114610295578063715018a6146102a857806379cc6790146102b05780637ecebe00146102c357806384b0196e146102d65780638da5cb5b146102f15780638e539e8c146102f957806391ddadf41461030c57806395d89b411461032b5780639ab24eb014610333578063a457c2d714610346578063a9059cbb14610359578063c3cda5201461036c578063d505accf1461037f578063dd62ed3e14610392578063f1127ed8146103a5578063f2fde38b146103e2575b600080fd5b6101776103f5565b6040516101849190611dab565b60405180910390f35b6101a061019b366004611dda565b610487565b6040519015158152602001610184565b6002545b604051908152602001610184565b6101a06101d0366004611e04565b6104a1565b60405160098152602001610184565b6101b46104c5565b6101a06101fa366004611dda565b6104d4565b6101b461020d366004611dda565b6104f6565b610225610220366004611e40565b610558565b005b610177610565565b61024261023d366004611e59565b6105fd565b6040516001600160a01b039091168152602001610184565b610225610268366004611e59565b61061b565b61028061027b366004611e59565b610625565b60405163ffffffff9091168152602001610184565b6101b46102a3366004611e59565b610647565b610225610662565b6102256102be366004611dda565b610676565b6101b46102d1366004611e59565b61068f565b6102de6106ad565b6040516101849796959493929190611e74565b610242610736565b6101b4610307366004611e40565b610745565b610314610780565b60405165ffffffffffff9091168152602001610184565b61017761078b565b6101b4610341366004611e59565b61079a565b6101a0610354366004611dda565b61081b565b6101a0610367366004611dda565b610896565b61022561037a366004611f1b565b6108a4565b61022561038d366004611f73565b6109d6565b6101b46103a0366004611fdd565b610b3a565b6103b86103b3366004612010565b610b65565b60408051825163ffffffff1681526020928301516001600160e01b03169281019290925201610184565b6102256103f0366004611e59565b610be8565b60606003805461040490612050565b80601f016020809104026020016040519081016040528092919081815260200182805461043090612050565b801561047d5780601f106104525761010080835404028352916020019161047d565b820191906000526020600020905b81548152906001019060200180831161046057829003601f168201915b5050505050905090565b600033610495818585610c76565b60019150505b92915050565b6000336104af858285610d9a565b6104ba858585610e14565b506001949350505050565b60006104cf610fac565b905090565b6000336104958185856104e78383610b3a565b6104f1919061209a565b610c76565b6000610500610780565b65ffffffffffff16821061052f5760405162461bcd60e51b8152600401610526906120ad565b60405180910390fd5b6001600160a01b0383166000908152600b6020526040902061055190836110d7565b9392505050565b61056233826111b7565b50565b606043610570610780565b65ffffffffffff16146105c55760405162461bcd60e51b815260206004820152601d60248201527f4552433230566f7465733a2062726f6b656e20636c6f636b206d6f64650000006044820152606401610526565b5060408051808201909152601d81527f6d6f64653d626c6f636b6e756d6265722666726f6d3d64656661756c74000000602082015290565b6001600160a01b039081166000908152600a60205260409020541690565b61056233826111c1565b6001600160a01b0381166000908152600b602052604081205461049b90611241565b6001600160a01b031660009081526020819052604090205490565b61066a6112aa565b6106746000611309565b565b610681823383610d9a565b61068b82826111b7565b5050565b6001600160a01b03811660009081526008602052604081205461049b565b6000606080828080836106e17f5255535349414e2047555900000000000000000000000000000000000000000b600661135b565b61070c7f3100000000000000000000000000000000000000000000000000000000000001600761135b565b60408051600080825260208201909252600f60f81b9b939a50919850469750309650945092509050565b6005546001600160a01b031690565b600061074f610780565b65ffffffffffff1682106107755760405162461bcd60e51b8152600401610526906120ad565b61049b600c836110d7565b60006104cf43611406565b60606004805461040490612050565b6001600160a01b0381166000908152600b60205260408120548015610808576001600160a01b0383166000908152600b60205260409020805460001983019081106107e7576107e76120e0565b600091825260209091200154600160201b90046001600160e01b031661080b565b60005b6001600160e01b03169392505050565b600033816108298286610b3a565b9050838110156108895760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610526565b6104ba8286868403610c76565b600033610495818585610e14565b834211156108f45760405162461bcd60e51b815260206004820152601d60248201527f4552433230566f7465733a207369676e617475726520657870697265640000006044820152606401610526565b604080517fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf60208201526001600160a01b03881691810191909152606081018690526080810185905260009061096e906109669060a0016040516020818303038152906040528051906020012061146d565b85858561149a565b9050610979816114c2565b86146109c35760405162461bcd60e51b81526020600482015260196024820152784552433230566f7465733a20696e76616c6964206e6f6e636560381b6044820152606401610526565b6109cd81886111c1565b50505050505050565b83421115610a265760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e650000006044820152606401610526565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888610a558c6114c2565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e0016040516020818303038152906040528051906020012090506000610ab08261146d565b90506000610ac08287878761149a565b9050896001600160a01b0316816001600160a01b031614610b235760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e617475726500006044820152606401610526565b610b2e8a8a8a610c76565b50505050505050505050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60408051808201909152600080825260208201526001600160a01b0383166000908152600b60205260409020805463ffffffff8416908110610ba957610ba96120e0565b60009182526020918290206040805180820190915291015463ffffffff81168252600160201b90046001600160e01b0316918101919091529392505050565b610bf06112aa565b6001600160a01b038116610c555760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610526565b61056281611309565b6000610551828461209a565b600061055182846120f6565b6001600160a01b038316610cd85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610526565b6001600160a01b038216610d395760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610526565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6000610da68484610b3a565b90506000198114610e0e5781811015610e015760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006044820152606401610526565b610e0e8484848403610c76565b50505050565b6001600160a01b038316610e785760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610526565b6001600160a01b038216610eda5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610526565b6001600160a01b03831660009081526020819052604090205481811015610f525760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610526565b6001600160a01b0384811660008181526020818152604080832087870390559387168083529184902080548701905592518581529092600080516020612158833981519152910160405180910390a3610e0e8484846114ef565b6000306001600160a01b037f000000000000000000000000045bf9ff4601a4597c58be1c98f3e45d990522a61614801561100557507f000000000000000000000000000000000000000000000000000000000000000146145b1561102f57507fe91cc7bbbb3d40285ce4d71afc4894c590685d1f7045811aca2ca8b1f03e3e1990565b6104cf604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60208201527fc91d6872f29849a5426ae0e32ebd0f5a45d82c067d86fbc74e555bc444e8065b918101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260009060c00160405160208183030381529060405280519060200120905090565b81546000908181600581111561112e5760006110f2846114fa565b6110fc90856120f6565b90508561110988836115e2565b5463ffffffff16111561111e5780915061112c565b61112981600161209a565b92505b505b8082101561117857600061114283836115f0565b90508561114f88836115e2565b5463ffffffff16111561116457809150611172565b61116f81600161209a565b92505b5061112e565b80156111a15761118b86600183036115e2565b54600160201b90046001600160e01b03166111a4565b60005b6001600160e01b03169695505050505050565b61068b828261160b565b60006111cc836105fd565b905060006111d984610647565b6001600160a01b038581166000818152600a602052604080822080546001600160a01b031916898616908117909155905194955093928616927f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a4610e0e828483611623565b600063ffffffff8211156112a65760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203360448201526532206269747360d01b6064820152608401610526565b5090565b336112b3610736565b6001600160a01b0316146106745760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610526565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b606060ff83146113755761136e8361173c565b905061049b565b81805461138190612050565b80601f01602080910402602001604051908101604052809291908181526020018280546113ad90612050565b80156113fa5780601f106113cf576101008083540402835291602001916113fa565b820191906000526020600020905b8154815290600101906020018083116113dd57829003601f168201915b5050505050905061049b565b600065ffffffffffff8211156112a65760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203460448201526538206269747360d01b6064820152608401610526565b600061049b61147a610fac565b8360405161190160f01b8152600281019290925260228201526042902090565b60008060006114ab8787878761177b565b915091506114b881611835565b5095945050505050565b6001600160a01b03811660009081526008602052604090208054600181018255905b50919050565b505050565b6114ea83838361197a565b60008160000361150c57506000919050565b6000600161151984611995565b901c6001901b9050600181848161153257611532612109565b048201901c9050600181848161154a5761154a612109565b048201901c9050600181848161156257611562612109565b048201901c9050600181848161157a5761157a612109565b048201901c9050600181848161159257611592612109565b048201901c905060018184816115aa576115aa612109565b048201901c905060018184816115c2576115c2612109565b048201901c9050610551818285816115dc576115dc612109565b04611a29565b600091825260209091200190565b60006115ff600284841861211f565b6105519084841661209a565b6116158282611a3f565b610e0e600c610c6a83611b66565b816001600160a01b0316836001600160a01b0316141580156116455750600081115b156114ea576001600160a01b038316156116c1576001600160a01b0383166000908152600b60205260408120819061168090610c6a85611b66565b91509150846001600160a01b031660008051602061217883398151915283836040516116b6929190918252602082015260400190565b60405180910390a250505b6001600160a01b038216156114ea576001600160a01b0382166000908152600b6020526040812081906116f790610c5e85611b66565b91509150836001600160a01b0316600080516020612178833981519152838360405161172d929190918252602082015260400190565b60405180910390a25050505050565b6060600061174983611cd4565b604080516020808252818301909252919250600091906020820181803683375050509182525060208101929092525090565b6000806fa2a8918ca85bafe22016d0b997e4df60600160ff1b038311156117a8575060009050600361182c565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa1580156117fc573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166118255760006001925092505061182c565b9150600090505b94509492505050565b600081600481111561184957611849612141565b036118515750565b600181600481111561186557611865612141565b036118ad5760405162461bcd60e51b815260206004820152601860248201527745434453413a20696e76616c6964207369676e617475726560401b6044820152606401610526565b60028160048111156118c1576118c1612141565b0361190e5760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e677468006044820152606401610526565b600381600481111561192257611922612141565b036105625760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b6064820152608401610526565b6114ea611986846105fd565b61198f846105fd565b83611623565b600080608083901c156119aa57608092831c92015b604083901c156119bc57604092831c92015b602083901c156119ce57602092831c92015b601083901c156119e057601092831c92015b600883901c156119f257600892831c92015b600483901c15611a0457600492831c92015b600283901c15611a1657600292831c92015b600183901c1561049b5760010192915050565b6000818310611a385781610551565b5090919050565b6001600160a01b038216611a9f5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b6064820152608401610526565b6001600160a01b03821660009081526020819052604090205481811015611b135760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610526565b6001600160a01b038316600081815260208181526040808320868603905560028054879003905551858152919291600080516020612158833981519152910160405180910390a36114ea836000846114ef565b82546000908190818115611bb057611b8187600184036115e2565b60408051808201909152905463ffffffff81168252600160201b90046001600160e01b03166020820152611bc5565b60408051808201909152600080825260208201525b905080602001516001600160e01b03169350611be584868863ffffffff16565b9250600082118015611c0f5750611bfa610780565b65ffffffffffff16816000015163ffffffff16145b15611c5157611c1d83611cfc565b611c2a88600185036115e2565b80546001600160e01b0392909216600160201b0263ffffffff909216919091179055611cca565b866040518060400160405280611c75611c68610780565b65ffffffffffff16611241565b63ffffffff168152602001611c8986611cfc565b6001600160e01b039081169091528254600181018455600093845260209384902083519490930151909116600160201b0263ffffffff909316929092179101555b5050935093915050565b600060ff8216601f81111561049b57604051632cd44ac360e21b815260040160405180910390fd5b60006001600160e01b038211156112a65760405162461bcd60e51b815260206004820152602760248201527f53616665436173743a2076616c756520646f65736e27742066697420696e20326044820152663234206269747360c81b6064820152608401610526565b6000815180845260005b81811015611d8b57602081850181015186830182015201611d6f565b506000602082860101526020601f19601f83011685010191505092915050565b6020815260006105516020830184611d65565b80356001600160a01b0381168114611dd557600080fd5b919050565b60008060408385031215611ded57600080fd5b611df683611dbe565b946020939093013593505050565b600080600060608486031215611e1957600080fd5b611e2284611dbe565b9250611e3060208501611dbe565b9150604084013590509250925092565b600060208284031215611e5257600080fd5b5035919050565b600060208284031215611e6b57600080fd5b61055182611dbe565b60ff60f81b881681526000602060e081840152611e9460e084018a611d65565b8381036040850152611ea6818a611d65565b606085018990526001600160a01b038816608086015260a0850187905284810360c0860152855180825283870192509083019060005b81811015611ef857835183529284019291840191600101611edc565b50909c9b505050505050505050505050565b803560ff81168114611dd557600080fd5b60008060008060008060c08789031215611f3457600080fd5b611f3d87611dbe565b95506020870135945060408701359350611f5960608801611f0a565b92506080870135915060a087013590509295509295509295565b600080600080600080600060e0888a031215611f8e57600080fd5b611f9788611dbe565b9650611fa560208901611dbe565b95506040880135945060608801359350611fc160808901611f0a565b925060a0880135915060c0880135905092959891949750929550565b60008060408385031215611ff057600080fd5b611ff983611dbe565b915061200760208401611dbe565b90509250929050565b6000806040838503121561202357600080fd5b61202c83611dbe565b9150602083013563ffffffff8116811461204557600080fd5b809150509250929050565b600181811c9082168061206457607f821691505b6020821081036114e457634e487b7160e01b600052602260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b8082018082111561049b5761049b612084565b60208082526019908201527804552433230566f7465733a20667574757265206c6f6f6b757603c1b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b8181038181111561049b5761049b612084565b634e487b7160e01b600052601260045260246000fd5b60008261213c57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052602160045260246000fdfeddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724a2646970667358221220dbf62e30c9c8fc2c125f6d7114706ac0e3bfc65a4465a0b4c212b3bf94f3547864736f6c63430008130033

dec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724

-----Decoded View---------------

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : dec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724

122059:1171:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6833:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9193:201;;;;;;:::i;:::-;;:::i;:::-;;;1269:14:1;;1262:22;1244:41;;1232:2;1217:18;9193:201:0;1104:187:1;7962:108:0;8050:12;;7962:108;;;1442:25:1;;;1430:2;1415:18;7962:108:0;1296:177:1;9974:261:0;;;;;;:::i;:::-;;:::i;122558:92::-;;;122641:1;1953:36:1;;1941:2;1926:18;122558:92:0;1811:184:1;70916:115:0;;;:::i;10644:238::-;;;;;;:::i;:::-;;:::i;114411:251::-;;;;;;:::i;:::-;;:::i;18462:91::-;;;;;;:::i;:::-;;:::i;:::-;;112948:258;;;:::i;113762:128::-;;;;;;:::i;:::-;;:::i;:::-;;;-1:-1:-1;;;;;2722:32:1;;;2704:51;;2692:2;2677:18;113762:128:0;2558:203:1;117285:114:0;;;;;;:::i;:::-;;:::i;113518:151::-;;;;;;:::i;:::-;;:::i;:::-;;;2940:10:1;2928:23;;;2910:42;;2898:2;2883:18;113518:151:0;2766:192:1;8133:127:0;;;;;;:::i;:::-;;:::i;20972:103::-;;;:::i;18872:164::-;;;;;;:::i;:::-;;:::i;70658:128::-;;;;;;:::i;:::-;;:::i;65874:657::-;;;:::i;:::-;;;;;;;;;;;;;:::i;20331:87::-;;;:::i;114934:242::-;;;;;;:::i;:::-;;:::i;112710:120::-;;;:::i;:::-;;;4401:14:1;4389:27;;;4371:46;;4359:2;4344:18;112710:120:0;4227:196:1;7052:104:0;;;:::i;113974:248::-;;;;;;:::i;:::-;;:::i;11385:436::-;;;;;;:::i;:::-;;:::i;8466:193::-;;;;;;:::i;:::-;;:::i;117481:591::-;;;;;;:::i;:::-;;:::i;69947:645::-;;;;;;:::i;:::-;;:::i;8722:151::-;;;;;;:::i;:::-;;:::i;113288:150::-;;;;;;:::i;:::-;;:::i;:::-;;;;6580:13:1;;6595:10;6576:30;6558:49;;6667:4;6655:17;;;6649:24;-1:-1:-1;;;;;6645:50:1;6623:20;;;6616:80;;;;6531:18;113288:150:0;6356:346:1;21230:201:0;;;;;;:::i;:::-;;:::i;6833:100::-;6887:13;6920:5;6913:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6833:100;:::o;9193:201::-;9276:4;4498:10;9332:32;4498:10;9348:7;9357:6;9332:8;:32::i;:::-;9382:4;9375:11;;;9193:201;;;;;:::o;9974:261::-;10071:4;4498:10;10129:38;10145:4;4498:10;10160:6;10129:15;:38::i;:::-;10178:27;10188:4;10194:2;10198:6;10178:9;:27::i;:::-;-1:-1:-1;10223:4:0;;9974:261;-1:-1:-1;;;;9974:261:0:o;70916:115::-;70976:7;71003:20;:18;:20::i;:::-;70996:27;;70916:115;:::o;10644:238::-;10732:4;4498:10;10788:64;4498:10;10804:7;10841:10;10813:25;4498:10;10804:7;10813:9;:25::i;:::-;:38;;;;:::i;:::-;10788:8;:64::i;114411:251::-;114507:7;114547;:5;:7::i;:::-;114535:19;;:9;:19;114527:57;;;;-1:-1:-1;;;114527:57:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;114621:21:0;;;;;;:12;:21;;;;;114602:52;;114644:9;114602:18;:52::i;:::-;114595:59;114411:251;-1:-1:-1;;;114411:251:0:o;18462:91::-;18518:27;4498:10;18538:6;18518:5;:27::i;:::-;18462:91;:::o;112948:258::-;113008:13;113103:12;113092:7;:5;:7::i;:::-;:23;;;113084:65;;;;-1:-1:-1;;;113084:65:0;;7910:2:1;113084:65:0;;;7892:21:1;7949:2;7929:18;;;7922:30;7988:31;7968:18;;;7961:59;8037:18;;113084:65:0;7708:353:1;113084:65:0;-1:-1:-1;113160:38:0;;;;;;;;;;;;;;;;;;112948:258::o;113762:128::-;-1:-1:-1;;;;;113863:19:0;;;113836:7;113863:19;;;:10;:19;;;;;;;;113762:128::o;117285:114::-;117357:34;4498:10;117381:9;117357;:34::i;113518:151::-;-1:-1:-1;;;;;113632:21:0;;113588:6;113632:21;;;:12;:21;;;;;:28;113614:47;;:17;:47::i;8133:127::-;-1:-1:-1;;;;;8234:18:0;8207:7;8234:18;;;;;;;;;;;;8133:127::o;20972:103::-;20217:13;:11;:13::i;:::-;21037:30:::1;21064:1;21037:18;:30::i;:::-;20972:103::o:0;18872:164::-;18949:46;18965:7;4498:10;18988:6;18949:15;:46::i;:::-;19006:22;19012:7;19021:6;19006:5;:22::i;:::-;18872:164;;:::o;70658:128::-;-1:-1:-1;;;;;70754:14:0;;70727:7;70754:14;;;:7;:14;;;;;67555;70754:24;67463:114;65874:657;65995:13;66023:18;;65995:13;;;66023:18;66297:41;:5;66324:13;66297:26;:41::i;:::-;66353:47;:8;66383:16;66353:29;:47::i;:::-;66496:16;;;66479:1;66496:16;;;;;;;;;-1:-1:-1;;;66244:279:0;;;-1:-1:-1;66244:279:0;;-1:-1:-1;66415:13:0;;-1:-1:-1;66451:4:0;;-1:-1:-1;66479:1:0;-1:-1:-1;66496:16:0;-1:-1:-1;66244:279:0;-1:-1:-1;65874:657:0:o;20331:87::-;20404:6;;-1:-1:-1;;;;;20404:6:0;;20331:87::o;114934:242::-;115019:7;115059;:5;:7::i;:::-;115047:19;;:9;:19;115039:57;;;;-1:-1:-1;;;115039:57:0;;;;;;;:::i;:::-;115114:54;115133:23;115158:9;115114:18;:54::i;112710:120::-;112765:6;112791:31;112809:12;112791:17;:31::i;7052:104::-;7108:13;7141:7;7134:14;;;;;:::i;113974:248::-;-1:-1:-1;;;;;114081:21:0;;114047:7;114081:21;;;:12;:21;;;;;:28;114152:8;;:51;;-1:-1:-1;;;;;114167:21:0;;;;;;:12;:21;;;;;:30;;-1:-1:-1;;114189:7:0;;;114167:30;;;;;;:::i;:::-;;;;;;;;;;:36;-1:-1:-1;;;114167:36:0;;-1:-1:-1;;;;;114167:36:0;114152:51;;;114163:1;114152:51;-1:-1:-1;;;;;114145:58:0;;113974:248;-1:-1:-1;;;113974:248:0:o;11385:436::-;11478:4;4498:10;11478:4;11561:25;4498:10;11578:7;11561:9;:25::i;:::-;11534:52;;11625:15;11605:16;:35;;11597:85;;;;-1:-1:-1;;;11597:85:0;;8532:2:1;11597:85:0;;;8514:21:1;8571:2;8551:18;;;8544:30;8610:34;8590:18;;;8583:62;-1:-1:-1;;;8661:18:1;;;8654:35;8706:19;;11597:85:0;8330:401:1;11597:85:0;11718:60;11727:5;11734:7;11762:15;11743:16;:34;11718:8;:60::i;8466:193::-;8545:4;4498:10;8601:28;4498:10;8618:2;8622:6;8601:9;:28::i;117481:591::-;117708:6;117689:15;:25;;117681:67;;;;-1:-1:-1;;;117681:67:0;;8938:2:1;117681:67:0;;;8920:21:1;8977:2;8957:18;;;8950:30;9016:31;8996:18;;;8989:59;9065:18;;117681:67:0;8736:353:1;117681:67:0;117831:58;;;112323:71;117831:58;;;9325:25:1;-1:-1:-1;;;;;9386:32:1;;9366:18;;;9359:60;;;;9435:18;;;9428:34;;;9478:18;;;9471:34;;;117759:14:0;;117776:174;;117804:87;;9297:19:1;;117831:58:0;;;;;;;;;;;;117821:69;;;;;;117804:16;:87::i;:::-;117906:1;117922;117938;117776:13;:174::i;:::-;117759:191;;117978:17;117988:6;117978:9;:17::i;:::-;117969:5;:26;117961:64;;;;-1:-1:-1;;;117961:64:0;;9718:2:1;117961:64:0;;;9700:21:1;9757:2;9737:18;;;9730:30;-1:-1:-1;;;9776:18:1;;;9769:55;9841:18;;117961:64:0;9516:349:1;117961:64:0;118036:28;118046:6;118054:9;118036;:28::i;:::-;117670:402;117481:591;;;;;;:::o;69947:645::-;70191:8;70172:15;:27;;70164:69;;;;-1:-1:-1;;;70164:69:0;;10072:2:1;70164:69:0;;;10054:21:1;10111:2;10091:18;;;10084:30;10150:31;10130:18;;;10123:59;10199:18;;70164:69:0;9870:353:1;70164:69:0;70246:18;69122:95;70306:5;70313:7;70322:5;70329:16;70339:5;70329:9;:16::i;:::-;70277:79;;;;;;10515:25:1;;;;-1:-1:-1;;;;;10614:15:1;;;10594:18;;;10587:43;10666:15;;;;10646:18;;;10639:43;10698:18;;;10691:34;10741:19;;;10734:35;10785:19;;;10778:35;;;10487:19;;70277:79:0;;;;;;;;;;;;70267:90;;;;;;70246:111;;70370:12;70385:28;70402:10;70385:16;:28::i;:::-;70370:43;;70426:14;70443:28;70457:4;70463:1;70466;70469;70443:13;:28::i;:::-;70426:45;;70500:5;-1:-1:-1;;;;;70490:15:0;:6;-1:-1:-1;;;;;70490:15:0;;70482:58;;;;-1:-1:-1;;;70482:58:0;;11026:2:1;70482:58:0;;;11008:21:1;11065:2;11045:18;;;11038:30;11104:32;11084:18;;;11077:60;11154:18;;70482:58:0;10824:354:1;70482:58:0;70553:31;70562:5;70569:7;70578:5;70553:8;:31::i;:::-;70153:439;;;69947:645;;;;;;;:::o;8722:151::-;-1:-1:-1;;;;;8838:18:0;;;8811:7;8838:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8722:151::o;113288:150::-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;113404:21:0;;;;;;:12;:21;;;;;:26;;;;;;;;;;;;:::i;:::-;;;;;;;;;;113397:33;;;;;;;;;113404:26;;113397:33;;;;;;-1:-1:-1;;;113397:33:0;;-1:-1:-1;;;;;113397:33:0;;;;;;;;;113288:150;-1:-1:-1;;;113288:150:0:o;21230:201::-;20217:13;:11;:13::i;:::-;-1:-1:-1;;;;;21319:22:0;::::1;21311:73;;;::::0;-1:-1:-1;;;21311:73:0;;11385:2:1;21311:73:0::1;::::0;::::1;11367:21:1::0;11424:2;11404:18;;;11397:30;11463:34;11443:18;;;11436:62;-1:-1:-1;;;11514:18:1;;;11507:36;11560:19;;21311:73:0::1;11183:402:1::0;21311:73:0::1;21395:28;21414:8;21395:18;:28::i;121317:98::-:0;121375:7;121402:5;121406:1;121402;:5;:::i;121423:103::-;121486:7;121513:5;121517:1;121513;:5;:::i;15378:346::-;-1:-1:-1;;;;;15480:19:0;;15472:68;;;;-1:-1:-1;;;15472:68:0;;11925:2:1;15472:68:0;;;11907:21:1;11964:2;11944:18;;;11937:30;12003:34;11983:18;;;11976:62;-1:-1:-1;;;12054:18:1;;;12047:34;12098:19;;15472:68:0;11723:400:1;15472:68:0;-1:-1:-1;;;;;15559:21:0;;15551:68;;;;-1:-1:-1;;;15551:68:0;;12330:2:1;15551:68:0;;;12312:21:1;12369:2;12349:18;;;12342:30;12408:34;12388:18;;;12381:62;-1:-1:-1;;;12459:18:1;;;12452:32;12501:19;;15551:68:0;12128:398:1;15551:68:0;-1:-1:-1;;;;;15632:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;15684:32;;1442:25:1;;;15684:32:0;;1415:18:1;15684:32:0;;;;;;;15378:346;;;:::o;16015:419::-;16116:24;16143:25;16153:5;16160:7;16143:9;:25::i;:::-;16116:52;;-1:-1:-1;;16183:16:0;:37;16179:248;;16265:6;16245:16;:26;;16237:68;;;;-1:-1:-1;;;16237:68:0;;12733:2:1;16237:68:0;;;12715:21:1;12772:2;12752:18;;;12745:30;12811:31;12791:18;;;12784:59;12860:18;;16237:68:0;12531:353:1;16237:68:0;16349:51;16358:5;16365:7;16393:6;16374:16;:25;16349:8;:51::i;:::-;16105:329;16015:419;;;:::o;12291:806::-;-1:-1:-1;;;;;12388:18:0;;12380:68;;;;-1:-1:-1;;;12380:68:0;;13091:2:1;12380:68:0;;;13073:21:1;13130:2;13110:18;;;13103:30;13169:34;13149:18;;;13142:62;-1:-1:-1;;;13220:18:1;;;13213:35;13265:19;;12380:68:0;12889:401:1;12380:68:0;-1:-1:-1;;;;;12467:16:0;;12459:64;;;;-1:-1:-1;;;12459:64:0;;13497:2:1;12459:64:0;;;13479:21:1;13536:2;13516:18;;;13509:30;13575:34;13555:18;;;13548:62;-1:-1:-1;;;13626:18:1;;;13619:33;13669:19;;12459:64:0;13295:399:1;12459:64:0;-1:-1:-1;;;;;12609:15:0;;12587:19;12609:15;;;;;;;;;;;12643:21;;;;12635:72;;;;-1:-1:-1;;;12635:72:0;;13901:2:1;12635:72:0;;;13883:21:1;13940:2;13920:18;;;13913:30;13979:34;13959:18;;;13952:62;-1:-1:-1;;;14030:18:1;;;14023:36;14076:19;;12635:72:0;13699:402:1;12635:72:0;-1:-1:-1;;;;;12743:15:0;;;:9;:15;;;;;;;;;;;12761:20;;;12743:38;;12961:13;;;;;;;;;;:23;;;;;;13013:26;;1442:25:1;;;12961:13:0;;-1:-1:-1;;;;;;;;;;;13013:26:0;1415:18:1;13013:26:0;;;;;;;13052:37;13072:4;13078:2;13082:6;13052:19;:37::i;64512:268::-;64565:7;64597:4;-1:-1:-1;;;;;64606:11:0;64589:28;;:63;;;;;64638:14;64621:13;:31;64589:63;64585:188;;;-1:-1:-1;64676:22:0;;64512:268::o;64585:188::-;64738:23;64880:81;;;62704:95;64880:81;;;15540:25:1;64903:11:0;15581:18:1;;;15574:34;;;;64916:14:0;15624:18:1;;;15617:34;64932:13:0;15667:18:1;;;15660:34;64955:4:0;15710:19:1;;;15703:61;64843:7:0;;15512:19:1;;64880:81:0;;;;;;;;;;;;64870:92;;;;;;64863:99;;64788:182;;115265:1934;116489:12;;115362:7;;;116489:12;116587:1;116578:10;;116574:249;;;116605:11;116628:17;116638:6;116628:9;:17::i;:::-;116619:26;;:6;:26;:::i;:::-;116605:40;;116702:9;116664:25;116678:5;116685:3;116664:13;:25::i;:::-;:35;;;:47;116660:152;;;116739:3;116732:10;;116660:152;;;116789:7;:3;116795:1;116789:7;:::i;:::-;116783:13;;116660:152;116590:233;116574:249;116848:4;116842:3;:10;116835:249;;;116869:11;116883:23;116896:3;116901:4;116883:12;:23::i;:::-;116869:37;;116963:9;116925:25;116939:5;116946:3;116925:13;:25::i;:::-;:35;;;:47;116921:152;;;117000:3;116993:10;;116921:152;;;117050:7;:3;117056:1;117050:7;:::i;:::-;117044:13;;116921:152;116854:230;116835:249;;;117128:9;;:52;;117144:30;117158:5;117172:1;117165:4;:8;117144:13;:30::i;:::-;:36;-1:-1:-1;;;117144:36:0;;-1:-1:-1;;;;;117144:36:0;117128:52;;;117140:1;117128:52;-1:-1:-1;;;;;117121:59:0;;115265:1934;-1:-1:-1;;;;;;115265:1934:0:o;123078:149::-;123194:25;123206:4;123212:6;123194:11;:25::i;119509:388::-;119594:23;119620:20;119630:9;119620;:20::i;:::-;119594:46;;119651:24;119678:20;119688:9;119678;:20::i;:::-;-1:-1:-1;;;;;119709:21:0;;;;;;;:10;:21;;;;;;:33;;-1:-1:-1;;;;;;119709:33:0;;;;;;;;;;119760:54;;119651:47;;-1:-1:-1;119709:33:0;119760:54;;;;;;119709:21;119760:54;119827:62;119844:15;119861:9;119872:16;119827;:62::i;90491:190::-;90547:6;90583:16;90574:25;;;90566:76;;;;-1:-1:-1;;;90566:76:0;;14308:2:1;90566:76:0;;;14290:21:1;14347:2;14327:18;;;14320:30;14386:34;14366:18;;;14359:62;-1:-1:-1;;;14437:18:1;;;14430:36;14483:19;;90566:76:0;14106:402:1;90566:76:0;-1:-1:-1;90667:5:0;90491:190::o;20496:132::-;4498:10;20560:7;:5;:7::i;:::-;-1:-1:-1;;;;;20560:23:0;;20552:68;;;;-1:-1:-1;;;20552:68:0;;14715:2:1;20552:68:0;;;14697:21:1;;;14734:18;;;14727:30;14793:34;14773:18;;;14766:62;14845:18;;20552:68:0;14513:356:1;21591:191:0;21684:6;;;-1:-1:-1;;;;;21701:17:0;;;-1:-1:-1;;;;;;21701:17:0;;;;;;;21734:40;;21684:6;;;21701:17;21684:6;;21734:40;;21665:16;;21734:40;21654:128;21591:191;:::o;58947:274::-;59041:13;56892:66;59071:47;;59067:147;;59142:15;59151:5;59142:8;:15::i;:::-;59135:22;;;;59067:147;59197:5;59190:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;89433:190;89489:6;89525:16;89516:25;;;89508:76;;;;-1:-1:-1;;;89508:76:0;;15076:2:1;89508:76:0;;;15058:21:1;15115:2;15095:18;;;15088:30;15154:34;15134:18;;;15127:62;-1:-1:-1;;;15205:18:1;;;15198:36;15251:19;;89508:76:0;14874:402:1;65612:167:0;65689:7;65716:55;65738:20;:18;:20::i;:::-;65760:10;50487:4;50481:11;-1:-1:-1;;;50506:23:0;;50559:4;50550:14;;50543:39;;;;50612:4;50603:14;;50596:34;50667:4;50652:20;;;50284:406;48500:236;48585:7;48606:17;48625:18;48647:25;48658:4;48664:1;48667;48670;48647:10;:25::i;:::-;48605:67;;;;48683:18;48695:5;48683:11;:18::i;:::-;-1:-1:-1;48719:9:0;48500:236;-1:-1:-1;;;;;48500:236:0:o;71169:207::-;-1:-1:-1;;;;;71290:14:0;;71229:15;71290:14;;;:7;:14;;;;;67555;;67692:1;67674:19;;;;67555:14;71351:17;71246:130;71169:207;;;:::o;17034:91::-;;;;:::o;122724:193::-;122866:43;122892:4;122898:2;122902:6;122866:25;:43::i;30969:1673::-;31017:7;31041:1;31046;31041:6;31037:47;;-1:-1:-1;31071:1:0;;30969:1673;-1:-1:-1;30969:1673:0:o;31037:47::-;31775:14;31809:1;31798:7;31803:1;31798:4;:7::i;:::-;:12;;31792:1;:19;;31775:36;;32277:1;32266:6;32262:1;:10;;;;;:::i;:::-;;32253:6;:19;32252:26;;32243:35;;32327:1;32316:6;32312:1;:10;;;;;:::i;:::-;;32303:6;:19;32302:26;;32293:35;;32377:1;32366:6;32362:1;:10;;;;;:::i;:::-;;32353:6;:19;32352:26;;32343:35;;32427:1;32416:6;32412:1;:10;;;;;:::i;:::-;;32403:6;:19;32402:26;;32393:35;;32477:1;32466:6;32462:1;:10;;;;;:::i;:::-;;32453:6;:19;32452:26;;32443:35;;32527:1;32516:6;32512:1;:10;;;;;:::i;:::-;;32503:6;:19;32502:26;;32493:35;;32577:1;32566:6;32562:1;:10;;;;;:::i;:::-;;32553:6;:19;32552:26;;32543:35;;32600:23;32604:6;32616;32612:1;:10;;;;;:::i;:::-;;32600:3;:23::i;121674:244::-;121760:25;121822:21;;;121889:4;121876:18;;;121872:28;;121674:244::o;25126:156::-;25188:7;25263:11;25273:1;25264:5;;;25263:11;:::i;:::-;25253:21;;25254:5;;;25253:21;:::i;118762:194::-;118847:28;118859:7;118868:6;118847:11;:28::i;:::-;118888:60;118905:23;118930:9;118941:6;118888:16;:60::i;119905:609::-;120003:3;-1:-1:-1;;;;;119996:10:0;:3;-1:-1:-1;;;;;119996:10:0;;;:24;;;;;120019:1;120010:6;:10;119996:24;119992:515;;;-1:-1:-1;;;;;120041:17:0;;;120037:224;;-1:-1:-1;;;;;120137:17:0;;120080;120137;;;:12;:17;;;;;120080;;120120:54;;120156:9;120167:6;120120:16;:54::i;:::-;120079:95;;;;120219:3;-1:-1:-1;;;;;120198:47:0;-1:-1:-1;;;;;;;;;;;120224:9:0;120235;120198:47;;;;;;16303:25:1;;;16359:2;16344:18;;16337:34;16291:2;16276:18;;16129:248;120198:47:0;;;;;;;;120060:201;;120037:224;-1:-1:-1;;;;;120281:17:0;;;120277:219;;-1:-1:-1;;;;;120377:17:0;;120320;120377;;;:12;:17;;;;;120320;;120360:49;;120396:4;120402:6;120360:16;:49::i;:::-;120319:90;;;;120454:3;-1:-1:-1;;;;;120433:47:0;-1:-1:-1;;;;;;;;;;;120459:9:0;120470;120433:47;;;;;;16303:25:1;;;16359:2;16344:18;;16337:34;16291:2;16276:18;;16129:248;120433:47:0;;;;;;;;120300:196;;119905:609;;;:::o;57601:415::-;57660:13;57686:11;57700:16;57711:4;57700:10;:16::i;:::-;57826:14;;;57837:2;57826:14;;;;;;;;;57686:30;;-1:-1:-1;57806:17:0;;57826:14;;;;;;;;;-1:-1:-1;;;57919:16:0;;;-1:-1:-1;57965:4:0;57956:14;;57949:28;;;;-1:-1:-1;57919:16:0;57601:415::o;46884:1477::-;46972:7;;-1:-1:-1;;;;;47893:79:0;;47889:163;;;-1:-1:-1;48005:1:0;;-1:-1:-1;48009:30:0;47989:51;;47889:163;48166:24;;;48149:14;48166:24;;;;;;;;;16609:25:1;;;16682:4;16670:17;;16650:18;;;16643:45;;;;16704:18;;;16697:34;;;16747:18;;;16740:34;;;48166:24:0;;16581:19:1;;48166:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;48166:24:0;;-1:-1:-1;;48166:24:0;;;-1:-1:-1;;;;;;;48205:20:0;;48201:103;;48258:1;48262:29;48242:50;;;;;;;48201:103;48324:6;-1:-1:-1;48332:20:0;;-1:-1:-1;46884:1477:0;;;;;;;;:::o;42344:521::-;42422:20;42413:5;:29;;;;;;;;:::i;:::-;;42409:449;;42344:521;:::o;42409:449::-;42520:29;42511:5;:38;;;;;;;;:::i;:::-;;42507:351;;42566:34;;-1:-1:-1;;;42566:34:0;;17119:2:1;42566:34:0;;;17101:21:1;17158:2;17138:18;;;17131:30;-1:-1:-1;;;17177:18:1;;;17170:54;17241:18;;42566:34:0;16917:348:1;42507:351:0;42631:35;42622:5;:44;;;;;;;;:::i;:::-;;42618:240;;42683:41;;-1:-1:-1;;;42683:41:0;;17472:2:1;42683:41:0;;;17454:21:1;17511:2;17491:18;;;17484:30;17550:33;17530:18;;;17523:61;17601:18;;42683:41:0;17270:355:1;42618:240:0;42755:30;42746:5;:39;;;;;;;;:::i;:::-;;42742:116;;42802:44;;-1:-1:-1;;;42802:44:0;;17832:2:1;42802:44:0;;;17814:21:1;17871:2;17851:18;;;17844:30;17910:34;17890:18;;;17883:62;-1:-1:-1;;;17961:18:1;;;17954:32;18003:19;;42802:44:0;17630:398:1;119103:228:0;119267:56;119284:15;119294:4;119284:9;:15::i;:::-;119301:13;119311:2;119301:9;:13::i;:::-;119316:6;119267:16;:56::i;33119:1019::-;33171:7;;33258:3;33249:12;;;:16;33245:102;;33296:3;33286:13;;;;33318;33245:102;33374:2;33365:11;;;:15;33361:99;;33411:2;33401:12;;;;33432;33361:99;33487:2;33478:11;;;:15;33474:99;;33524:2;33514:12;;;;33545;33474:99;33600:2;33591:11;;;:15;33587:99;;33637:2;33627:12;;;;33658;33587:99;33713:1;33704:10;;;:14;33700:96;;33749:1;33739:11;;;;33769;33700:96;33823:1;33814:10;;;:14;33810:96;;33859:1;33849:11;;;;33879;33810:96;33933:1;33924:10;;;:14;33920:96;;33969:1;33959:11;;;;33989;33920:96;34043:1;34034:10;;;:14;34030:66;;34079:1;34069:11;34124:6;33119:1019;-1:-1:-1;;33119:1019:0:o;24901:106::-;24959:7;24990:1;24986;:5;:13;;24998:1;24986:13;;;-1:-1:-1;24994:1:0;;24901:106;-1:-1:-1;24901:106:0:o;14265:675::-;-1:-1:-1;;;;;14349:21:0;;14341:67;;;;-1:-1:-1;;;14341:67:0;;18235:2:1;14341:67:0;;;18217:21:1;18274:2;18254:18;;;18247:30;18313:34;18293:18;;;18286:62;-1:-1:-1;;;18364:18:1;;;18357:31;18405:19;;14341:67:0;18033:397:1;14341:67:0;-1:-1:-1;;;;;14508:18:0;;14483:22;14508:18;;;;;;;;;;;14545:24;;;;14537:71;;;;-1:-1:-1;;;14537:71:0;;18637:2:1;14537:71:0;;;18619:21:1;18676:2;18656:18;;;18649:30;18715:34;18695:18;;;18688:62;-1:-1:-1;;;18766:18:1;;;18759:32;18808:19;;14537:71:0;18435:398:1;14537:71:0;-1:-1:-1;;;;;14644:18:0;;:9;:18;;;;;;;;;;;14665:23;;;14644:44;;14783:12;:22;;;;;;;14834:37;1442:25:1;;;14644:9:0;;:18;-1:-1:-1;;;;;;;;;;;14834:37:0;1415:18:1;14834:37:0;;;;;;;14884:48;14904:7;14921:1;14925:6;14884:19;:48::i;120522:787::-;120759:12;;120696:17;;;;;120837:8;;:59;;120867:29;120881:5;120894:1;120888:3;:7;120867:13;:29::i;:::-;120837:59;;;;;;;;;;;;;;;;-1:-1:-1;;;120837:59:0;;-1:-1:-1;;;;;120837:59:0;;;;;;;;120848:16;;;;;;;;;-1:-1:-1;120848:16:0;;;;;;;120837:59;120809:87;;120925:7;:13;;;-1:-1:-1;;;;;120913:25:0;;;120965:20;120968:9;120979:5;120965:2;:20;;:::i;:::-;120953:32;;121012:1;121006:3;:7;:39;;;;;121038:7;:5;:7::i;:::-;121017:28;;:7;:17;;;:28;;;121006:39;121002:289;;;121104:29;121123:9;121104:18;:29::i;:::-;121066;121080:5;121093:1;121087:3;:7;121066:13;:29::i;:::-;:67;;-1:-1:-1;;;;;121066:67:0;;;;-1:-1:-1;;;121066:67:0;;;;;;;;;;;121002:289;;;121174:5;121185:89;;;;;;;;121208:26;121226:7;:5;:7::i;:::-;121208:26;;:17;:26::i;:::-;121185:89;;;;;;121243:29;121262:9;121243:18;:29::i;:::-;-1:-1:-1;;;;;121185:89:0;;;;;;121174:101;;;;;;;-1:-1:-1;121174:101:0;;;;;;;;;;;;;;;;;;-1:-1:-1;;;121174:101:0;;;;;;;;;;;;121002:289;120784:518;120734:575;120522:787;;;;;;:::o;58093:251::-;58154:7;58227:4;58191:40;;58255:2;58246:11;;58242:71;;;58281:20;;-1:-1:-1;;;58281:20:0;;;;;;;;;;;77655:195;77712:7;-1:-1:-1;;;;;77740:26:0;;;77732:78;;;;-1:-1:-1;;;77732:78:0;;19040:2:1;77732:78:0;;;19022:21:1;19079:2;19059:18;;;19052:30;19118:34;19098:18;;;19091:62;-1:-1:-1;;;19169:18:1;;;19162:37;19216:19;;77732:78:0;18838:403:1;14:423;56:3;94:5;88:12;121:6;116:3;109:19;146:1;156:162;170:6;167:1;164:13;156:162;;;232:4;288:13;;;284:22;;278:29;260:11;;;256:20;;249:59;185:12;156:162;;;160:3;363:1;356:4;347:6;342:3;338:16;334:27;327:38;426:4;419:2;415:7;410:2;402:6;398:15;394:29;389:3;385:39;381:50;374:57;;;14:423;;;;:::o;442:220::-;591:2;580:9;573:21;554:4;611:45;652:2;641:9;637:18;629:6;611:45;:::i;667:173::-;735:20;;-1:-1:-1;;;;;784:31:1;;774:42;;764:70;;830:1;827;820:12;764:70;667:173;;;:::o;845:254::-;913:6;921;974:2;962:9;953:7;949:23;945:32;942:52;;;990:1;987;980:12;942:52;1013:29;1032:9;1013:29;:::i;:::-;1003:39;1089:2;1074:18;;;;1061:32;;-1:-1:-1;;;845:254:1:o;1478:328::-;1555:6;1563;1571;1624:2;1612:9;1603:7;1599:23;1595:32;1592:52;;;1640:1;1637;1630:12;1592:52;1663:29;1682:9;1663:29;:::i;:::-;1653:39;;1711:38;1745:2;1734:9;1730:18;1711:38;:::i;:::-;1701:48;;1796:2;1785:9;1781:18;1768:32;1758:42;;1478:328;;;;;:::o;2182:180::-;2241:6;2294:2;2282:9;2273:7;2269:23;2265:32;2262:52;;;2310:1;2307;2300:12;2262:52;-1:-1:-1;2333:23:1;;2182:180;-1:-1:-1;2182:180:1:o;2367:186::-;2426:6;2479:2;2467:9;2458:7;2454:23;2450:32;2447:52;;;2495:1;2492;2485:12;2447:52;2518:29;2537:9;2518:29;:::i;2963:1259::-;3369:3;3364;3360:13;3352:6;3348:26;3337:9;3330:45;3311:4;3394:2;3432:3;3427:2;3416:9;3412:18;3405:31;3459:46;3500:3;3489:9;3485:19;3477:6;3459:46;:::i;:::-;3553:9;3545:6;3541:22;3536:2;3525:9;3521:18;3514:50;3587:33;3613:6;3605;3587:33;:::i;:::-;3651:2;3636:18;;3629:34;;;-1:-1:-1;;;;;3700:32:1;;3694:3;3679:19;;3672:61;3720:3;3749:19;;3742:35;;;3814:22;;;3808:3;3793:19;;3786:51;3886:13;;3908:22;;;3984:15;;;;-1:-1:-1;3946:15:1;;;;-1:-1:-1;4027:169:1;4041:6;4038:1;4035:13;4027:169;;;4102:13;;4090:26;;4171:15;;;;4136:12;;;;4063:1;4056:9;4027:169;;;-1:-1:-1;4213:3:1;;2963:1259;-1:-1:-1;;;;;;;;;;;;2963:1259:1:o;4428:156::-;4494:20;;4554:4;4543:16;;4533:27;;4523:55;;4574:1;4571;4564:12;4589:531;4691:6;4699;4707;4715;4723;4731;4784:3;4772:9;4763:7;4759:23;4755:33;4752:53;;;4801:1;4798;4791:12;4752:53;4824:29;4843:9;4824:29;:::i;:::-;4814:39;;4900:2;4889:9;4885:18;4872:32;4862:42;;4951:2;4940:9;4936:18;4923:32;4913:42;;4974:36;5006:2;4995:9;4991:18;4974:36;:::i;:::-;4964:46;;5057:3;5046:9;5042:19;5029:33;5019:43;;5109:3;5098:9;5094:19;5081:33;5071:43;;4589:531;;;;;;;;:::o;5125:606::-;5236:6;5244;5252;5260;5268;5276;5284;5337:3;5325:9;5316:7;5312:23;5308:33;5305:53;;;5354:1;5351;5344:12;5305:53;5377:29;5396:9;5377:29;:::i;:::-;5367:39;;5425:38;5459:2;5448:9;5444:18;5425:38;:::i;:::-;5415:48;;5510:2;5499:9;5495:18;5482:32;5472:42;;5561:2;5550:9;5546:18;5533:32;5523:42;;5584:37;5616:3;5605:9;5601:19;5584:37;:::i;:::-;5574:47;;5668:3;5657:9;5653:19;5640:33;5630:43;;5720:3;5709:9;5705:19;5692:33;5682:43;;5125:606;;;;;;;;;;:::o;5736:260::-;5804:6;5812;5865:2;5853:9;5844:7;5840:23;5836:32;5833:52;;;5881:1;5878;5871:12;5833:52;5904:29;5923:9;5904:29;:::i;:::-;5894:39;;5952:38;5986:2;5975:9;5971:18;5952:38;:::i;:::-;5942:48;;5736:260;;;;;:::o;6001:350::-;6068:6;6076;6129:2;6117:9;6108:7;6104:23;6100:32;6097:52;;;6145:1;6142;6135:12;6097:52;6168:29;6187:9;6168:29;:::i;:::-;6158:39;;6247:2;6236:9;6232:18;6219:32;6291:10;6284:5;6280:22;6273:5;6270:33;6260:61;;6317:1;6314;6307:12;6260:61;6340:5;6330:15;;;6001:350;;;;;:::o;6707:380::-;6786:1;6782:12;;;;6829;;;6850:61;;6904:4;6896:6;6892:17;6882:27;;6850:61;6957:2;6949:6;6946:14;6926:18;6923:38;6920:161;;7003:10;6998:3;6994:20;6991:1;6984:31;7038:4;7035:1;7028:15;7066:4;7063:1;7056:15;7092:127;7153:10;7148:3;7144:20;7141:1;7134:31;7184:4;7181:1;7174:15;7208:4;7205:1;7198:15;7224:125;7289:9;;;7310:10;;;7307:36;;;7323:18;;:::i;7354:349::-;7556:2;7538:21;;;7595:2;7575:18;;;7568:30;-1:-1:-1;;;7629:2:1;7614:18;;7607:55;7694:2;7679:18;;7354:349::o;8198:127::-;8259:10;8254:3;8250:20;8247:1;8240:31;8290:4;8287:1;8280:15;8314:4;8311:1;8304:15;11590:128;11657:9;;;11678:11;;;11675:37;;;11692:18;;:::i;15775:127::-;15836:10;15831:3;15827:20;15824:1;15817:31;15867:4;15864:1;15857:15;15891:4;15888:1;15881:15;15907:217;15947:1;15973;15963:132;;16017:10;16012:3;16008:20;16005:1;15998:31;16052:4;16049:1;16042:15;16080:4;16077:1;16070:15;15963:132;-1:-1:-1;16109:9:1;;15907:217::o;16785:127::-;16846:10;16841:3;16837:20;16834:1;16827:31;16877:4;16874:1;16867:15;16901:4;16898:1;16891:15

ipfs://dbf62e30c9c8fc2c125f6d7114706ac0e3bfc65a4465a0b4c212b3bf94f35478