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 2025-11-12
*/

// SPDX-License-Identifier: MIT
// File: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/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: @openzeppelin/contracts@4.9.3/access/Ownable2Step.sol


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

pragma solidity ^0.8.0;


/**
 * @dev Contract module which provides 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} and {acceptOwnership}.
 *
 * This module is used through inheritance. It will make available all functions
 * from parent (Ownable).
 */
abstract contract Ownable2Step is Ownable {
    address private _pendingOwner;

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

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

    /**
     * @dev Starts the ownership transfer of the contract to a new account. Replaces the pending transfer if there is one.
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual override onlyOwner {
        _pendingOwner = newOwner;
        emit OwnershipTransferStarted(owner(), newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`) and deletes any pending owner.
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual override {
        delete _pendingOwner;
        super._transferOwnership(newOwner);
    }

    /**
     * @dev The new owner accepts the ownership transfer.
     */
    function acceptOwnership() public virtual {
        address sender = _msgSender();
        require(pendingOwner() == sender, "Ownable2Step: caller is not the new owner");
        _transferOwnership(sender);
    }
}

// File: @openzeppelin/contracts@4.9.3/security/ReentrancyGuard.sol


// OpenZeppelin Contracts (last updated v4.9.0) (security/ReentrancyGuard.sol)

pragma solidity ^0.8.0;

/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as
 * `nonReentrant` may not call one another. This can be worked around by making
 * those functions `private`, and then adding `external` `nonReentrant` entry
 * points to them.
 *
 * TIP: If you would like to learn more about reentrancy and alternative ways
 * to protect against it, check out our blog post
 * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul].
 */
abstract contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

    // The values being non-zero value makes deployment a bit more expensive,
    // but in exchange the refund on every call to nonReentrant will be lower in
    // amount. Since refunds are capped to a percentage of the total
    // transaction's gas, it is best to keep them low in cases like this one, to
    // increase the likelihood of the full refund coming into effect.
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;

    uint256 private _status;

    constructor() {
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and making it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        _nonReentrantBefore();
        _;
        _nonReentrantAfter();
    }

    function _nonReentrantBefore() private {
        // On the first call to nonReentrant, _status will be _NOT_ENTERED
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

        // Any calls to nonReentrant after this point will fail
        _status = _ENTERED;
    }

    function _nonReentrantAfter() private {
        // By storing the original value once again, a refund is triggered (see
        // https://eips.ethereum.org/EIPS/eip-2200)
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Returns true if the reentrancy guard is currently set to "entered", which indicates there is a
     * `nonReentrant` function in the call stack.
     */
    function _reentrancyGuardEntered() internal view returns (bool) {
        return _status == _ENTERED;
    }
}

// File: Zeromoon.sol


pragma solidity 0.8.30;






/**
 * @title ZeroMoon zETH - The Unbreakable Token
 * @author ZeroMoon Development Team
 * @notice A ETH-backed token with fair dividend distribution and refund mechanism
 * @notice Survived Foundry (Forge):
 *         • 160,000,000+ unit fuzz cases
 *         • 200,000,000+ invariant calls
 *         • 20-step attack sequences
 *         • Zero failures. Ever.
 * @dev Auditable, renounced, and battle-proven.
 * 
 * Key Features:
 * - ETH-backed token with 99.9% effective backing
 * - Fair dividend distribution to EOA users only (contracts auto-excluded)
 * - Direct refund mechanism at backing value
 * - Controlled token burning (max 20% of total supply)
 * - Fee structure: dev (5 BPS), dividend (5-10 BPS), reserve (7.5-15 BPS), burn (7.5 BPS when below limit)
 * - Ownership renouncement for true decentralization
 * 
 * Security Features:
 * - ReentrancyGuard protection on all external calls
 * - OpenZeppelin battle-tested contracts
 * - Automatic contract detection for dividend exclusions
 * - Precise fee calculations using Math.mulDiv
 * 
 */

contract ZeroMoon is ReentrancyGuard, ERC20, ERC20Permit, Ownable2Step {
    // ============ Immutable Configuration ============
    
    /// @notice Maximum token supply: 1.25 billion tokens
    /// @dev Total supply is fixed at construction and reduced by burning
    uint256 public immutable TOTAL_SUPPLY;
    
    /// @notice Maximum tokens that can be burned (20% of total supply)
    /// @dev Once reached, burning stops and reserve fee doubles
    uint256 public immutable BURNING_LIMIT;
    
    /// @notice Minimum ETH required for purchase (0.0001 ETH)
    /// @dev Prevents dust attacks and ensures economically viable transactions
    uint256 public immutable MINIMUM_PURCHASE_NATIVE;
    
    /// @notice Base token price at launch (0.0001 ETH per token)
    /// @dev Used for initial pricing before any tokens are in circulation
    uint256 private immutable BASE_PRICE;
    
    /// @notice Precision divisor for fee calculations (10000 = 100%)
    /// @dev All BPS (basis points) fees are divided by this for percentage calculation
    uint256 private constant PRECISION_DIVISOR = 10000;

    /// @notice Effective backing numerator for refund calculations (999/1000 = 99.9%)
    /// @dev Provides 99.9% backing ratio for refunds, ensuring protocol sustainability
    uint256 private constant EFFECTIVE_BACKING_NUMERATOR = 999;
    
    /// @notice Effective backing denominator for refund calculations
    uint256 private constant EFFECTIVE_BACKING_DENOMINATOR = 1000;

    // ============ Fee Structure (Basis Points) ============
    
    /// @notice Buy transaction dev fee (5 BPS = 0.05%)
    uint256 private immutable BUY_DEV_FEE_BPS;
    
    /// @notice Buy transaction reserve fee (10 BPS = 0.10%)
    uint256 private immutable BUY_RESERVE_FEE_BPS;
    
    /// @notice Buy transaction reflection fee for dividends (10 BPS = 0.10%)
    uint256 private immutable BUY_REFLECTION_FEE_BPS;
    
    /// @notice Refund transaction dev fee (5 BPS = 0.05%)
    uint256 private immutable REFUND_DEV_FEE_BPS;
    
    /// @notice Refund transaction reflection fee for dividends (5 BPS = 0.05%)
    uint256 private immutable REFUND_REFLECTION_FEE_BPS;
    
    /// @notice Transfer transaction dev fee (5 BPS = 0.05%)
    uint256 private immutable TRANSFER_DEV_FEE_BPS;
    
    /// @notice Transfer transaction reflection fee for dividends (10 BPS = 0.10%)
    uint256 private immutable TRANSFER_REFLECTION_FEE_BPS;
    
    /// @notice Transfer transaction reserve fee (10 BPS = 0.10%)
    uint256 private immutable TRANSFER_RESERVE_FEE_BPS;
    
    /// @notice DEX swap dev fee (0 BPS = no fees on DEX swaps)
    uint256 private immutable DEX_SWAP_DEV_FEE_BPS;
    
    /// @notice DEX swap reflection fee (0 BPS = no fees on DEX swaps)
    uint256 private immutable DEX_SWAP_REFLECTION_FEE_BPS;
    
    /// @notice DEX swap reserve fee (0 BPS = no fees on DEX swaps)
    uint256 private immutable DEX_SWAP_RESERVE_FEE_BPS;

    // ============ State Variables ============
    
    /// @notice Total tokens burned (contributes to deflationary mechanics)
    /// @dev Increases with each refund until BURNING_LIMIT is reached
    uint256 public totalBurned;
    
    /// @notice Total tokens sold from initial supply
    /// @dev Tracks cumulative token sales, cannot exceed TOTAL_SUPPLY
    uint256 public tokensSold;
    
    /// @notice Address receiving development fees
    /// @dev Can be changed by owner, automatically excluded from fees
    address private devAddress;
    
    // ============ Dividend Tracking ============
    
    /// @notice Magnitude for precise dividend calculations (2^128)
    /// @dev Used to maintain precision in dividend per share calculations
    uint256 private constant MAGNITUDE = 2**128;
    
    /// @notice Magnified dividend per share for all holders
    /// @dev Increases monotonically as dividends are distributed
    uint256 private magnifiedDividendPerShare;
    
    /// @notice Cumulative dividends distributed to all holders
    /// @dev Tracks total reflection fees distributed as dividends
    uint256 private totalDividendsDistributed;
    
    /// @notice Last recorded dividend per share for each user
    /// @dev Used to calculate pending dividends since last update
    mapping(address => uint256) private lastDividendPerShare;
    
    /// @notice Accumulated unclaimed dividends for each user
    /// @dev Stored separately to allow claiming at user's convenience
    mapping(address => uint256) private accumulatedDividends;
    
    // ============ Fee Exemptions & Liquidity Detection ============
    
    /// @notice Addresses excluded from all transfer fees
    /// @dev Contract, owner, and dev addresses are auto-excluded
    mapping(address => bool) private _isExcludedFromFee;
    
    /// @notice Cached liquidity pair addresses for gas optimization
    /// @dev Pairs detected via token0/token1 interface checks
    mapping(address => bool) private _isLiquidityPair;
    
    /// @notice Cached non-liquidity pair addresses for gas optimization
    /// @dev Prevents repeated checks on regular contracts
    mapping(address => bool) private _isNotLiquidityPair;

    // ============ Custom Errors ============
    
    /// @notice Thrown when zero address is provided where not allowed
    error ZeroMoonAddress();
    
    /// @notice Thrown when zero amount is provided where not allowed
    error ZeroMoonAmount();
    
    /// @notice Thrown when user has insufficient token balance
    error InsufficientBalance();
    
    /// @notice Thrown when insufficient ETH is provided or available
    error InsufficientNative();
    
    /// @notice Thrown when attempting refund with zero circulating supply
    error NoTokensInCirculation();
    
    /// @notice Thrown when ETH transfer to user fails
    error NativeTransferFailed();
    
    /// @notice Thrown when dividend calculation would overflow (unused but kept for safety)
    error DividendsOverflow();

    // ============ Enums ============
    
    /// @notice Type of DEX swap operation
    enum SwapType { BUY, SELL }
    
    /// @notice Reason for fee exemption on transfer
    enum ExemptionReason { REFUND, EXCLUDED_ADDRESS }

    // ============ Events ============
    
    /// @notice Emitted when tokens are purchased with ETH
    /// @param buyer Address of the buyer
    /// @param nativePaid Amount of ETH paid
    /// @param zETHReceived Amount of zETH tokens received (after fees)
    event Buy(address indexed buyer, uint256 nativePaid, uint256 zETHReceived);
    
    /// @notice Emitted when tokens are refunded for ETH
    /// @param refunder Address receiving the refund
    /// @param zETHRefunded Amount of zETH tokens refunded
    /// @param nativeReceived Amount of ETH received (after fees and backing calculation)
    event Refund(address indexed refunder, uint256 zETHRefunded, uint256 nativeReceived);
    
    /// @notice Emitted when regular transfer fees are applied
    /// @param from Sender address
    /// @param to Recipient address
    /// @param originalAmount Original transfer amount before fees
    /// @param devFee Development fee deducted
    /// @param reflectionFee Reflection fee distributed as dividends
    /// @param reserveFee Reserve fee kept in contract
    /// @param netAmount Net amount received by recipient
    event TransferFeeApplied(address indexed from, address indexed to, uint256 originalAmount, uint256 devFee, uint256 reflectionFee, uint256 reserveFee, uint256 netAmount);
    
    /// @notice Emitted when DEX swap fees are applied
    /// @param swapType Type of swap (BUY or SELL)
    /// @param user User involved in the swap
    /// @param originalAmount Original swap amount before fees
    /// @param devFee Development fee deducted
    /// @param reflectionFee Reflection fee distributed as dividends
    /// @param reserveFee Reserve fee kept in contract
    /// @param netAmount Net amount after fees
    event SwapFeeApplied(SwapType swapType, address indexed user, uint256 originalAmount, uint256 devFee, uint256 reflectionFee, uint256 reserveFee, uint256 netAmount);
    
    /// @notice Emitted when transfer is fee-exempt
    /// @param from Sender address
    /// @param to Recipient address
    /// @param amount Transfer amount
    /// @param reason Reason for fee exemption
    event TransferFeeExempt(address indexed from, address indexed to, uint256 amount, ExemptionReason reason);
    
    /// @notice Emitted when dividends are distributed to holders
    /// @param amount Amount of dividends distributed
    /// @param magnifiedDividendPerShare New magnified dividend per share value
    event DividendsDistributed(uint256 amount, uint256 magnifiedDividendPerShare);
    
    /// @notice Emitted when user claims accumulated dividends
    /// @param user Address claiming dividends
    /// @param amount Amount of dividends claimed
    event DividendWithdrawn(address indexed user, uint256 amount);
    
    /// @notice Emitted when a liquidity pair is detected and cached
    /// @param pair Address of the detected liquidity pair
    event LiquidityPairDetected(address indexed pair);
    
    /// @notice Emitted when development address is changed
    /// @param oldDevAddress Previous development address
    /// @param newDevAddress New development address
    event DevAddressChanged(address indexed oldDevAddress, address indexed newDevAddress);
    
    /// @notice Emitted when fee exclusion status is set for an account
    /// @param account Address whose status is being set
    /// @param isExcluded Whether account is excluded from fees
    event FeeExclusionSet(address indexed account, bool isExcluded);

    /// @notice Initializes the ZeroMoon contract with configuration and initial ownership
    /// @dev Mints total supply to contract, sets up fee exclusions, and optionally executes initial buy
    /// @param _initialOwner Address that will own the contract (for ownership transfer/renouncement)
    /// @param _devAddress Address that will receive development fees
    constructor(address _initialOwner, address _devAddress) ERC20("ZeroMoon", "zETH") ERC20Permit("ZeroMoon") Ownable() payable {
        if (_initialOwner == address(0)) revert ZeroMoonAddress();
        if (_devAddress == address(0)) revert ZeroMoonAddress();

        TOTAL_SUPPLY = 1250000000 * 1e18;
        BURNING_LIMIT = TOTAL_SUPPLY / 5; 
        MINIMUM_PURCHASE_NATIVE = 0.0001 ether;
        BASE_PRICE = 0.0001 ether;

        BUY_DEV_FEE_BPS = 5;
        BUY_RESERVE_FEE_BPS = 10;
        BUY_REFLECTION_FEE_BPS = 10;
        
        REFUND_DEV_FEE_BPS = 5;   
        REFUND_REFLECTION_FEE_BPS = 5; 
        
        TRANSFER_DEV_FEE_BPS = 5;
        TRANSFER_REFLECTION_FEE_BPS = 10;
        TRANSFER_RESERVE_FEE_BPS = 10;
        
        DEX_SWAP_DEV_FEE_BPS = 0;
        DEX_SWAP_REFLECTION_FEE_BPS = 0;
        DEX_SWAP_RESERVE_FEE_BPS = 0;

        devAddress = _devAddress;

        _mint(address(this), TOTAL_SUPPLY);
        
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_initialOwner] = true;
        _isExcludedFromFee[devAddress] = true;
        
        if (msg.value != 0) {
           _buy(_devAddress, msg.value);
        }
        
        _transferOwnership(_initialOwner);
    }

    /// @notice Returns the token balance of an account
    /// @param account Address to query balance for
    /// @return Token balance of the account
    function balanceOf(address account) public view override returns (uint256) {
        return super.balanceOf(account);
    }

    /// @notice Returns the current circulating supply (total supply minus burned tokens)
    /// @return Current total supply after burns
    /// @dev This decreases as tokens are burned through refunds (up to 20% maximum)
    function totalSupply() public view override returns (uint256) {
        return TOTAL_SUPPLY - totalBurned;
    }
    
    /// @notice Purchases zETH tokens with sent ETH
    /// @dev Calls internal _buy function with msg.sender and msg.value
    function buy() external payable {
        _buy(msg.sender, msg.value);
    }

    /// @notice Fallback function to purchase tokens when ETH is sent directly
    /// @dev Enables simple ETH sends to buy tokens
    receive() external payable {
        _buy(msg.sender, msg.value);
    }

    /// @notice Internal transfer function with dividend tracking updates
    /// @dev Updates dividend tracking for both sender and recipient before balance changes
    /// @param from Sender address
    /// @param to Recipient address
    /// @param amount Amount to transfer
    function _transfer(address from, address to, uint256 amount) internal override {
        // Update dividend tracking BEFORE balance changes
        if (from != address(0) && !isContract(from)) {
            _updateUserDividendTracking(from);
        }
        
        if (to != address(0) && !isContract(to)) {
            _updateUserDividendTracking(to);
        }
        
        _update(from, to, amount);
    }

    /// @notice Core transfer logic with fee handling
    /// @dev Routes to refund, fee-exempt, or taxed transfer based on recipient and exemption status
    /// @param from Sender address
    /// @param to Recipient address
    /// @param amount Amount to transfer
    function _update(address from, address to, uint256 amount) private {
        if (from == address(0)) revert ZeroMoonAddress();
        if (to == address(0)) revert ZeroMoonAddress();
        if (amount == 0) revert ZeroMoonAmount();

        bool isExempt = _isExcludedFromFee[from] || _isExcludedFromFee[to];

        if (to == address(this)) {
            super._transfer(from, to, amount);
            _handleRefund(from, amount);
            emit TransferFeeExempt(from, to, amount, ExemptionReason.REFUND);
        } else if (isExempt) {
            super._transfer(from, to, amount);
            emit TransferFeeExempt(from, to, amount, ExemptionReason.EXCLUDED_ADDRESS);
        } else {
            _handleTaxedTransfer(from, to, amount);
        }
    }
    
    /// @notice Detects if an address is a liquidity pair contract
    /// @dev Uses interface detection (token0/token1) and caches result for gas optimization
    /// @param addr Address to check
    /// @return True if address is a liquidity pair, false otherwise
    function isLiquidityPair(address addr) internal returns (bool) {
        if (addr.code.length == 0) {
            return false;
        }
        if (_isLiquidityPair[addr]) return true;
        if (_isNotLiquidityPair[addr]) return false;

        (bool s0, bytes memory d0) = addr.staticcall(abi.encodeWithSignature("token0()"));
        (bool s1, bytes memory d1) = addr.staticcall(abi.encodeWithSignature("token1()"));

        if (s0 && s1 && d0.length == 32 && d1.length == 32) {
            address token0 = abi.decode(d0, (address));
            address token1 = abi.decode(d1, (address));
            if ((token0 == address(this) || token1 == address(this)) && token0 != token1) {
                _cacheLiquidityPair(addr);
                return true;
            }
        }

        _isNotLiquidityPair[addr] = true;
        return false; 
    }

    /// @notice Caches a detected liquidity pair for future gas optimization
    /// @param addr Address of the liquidity pair to cache
    function _cacheLiquidityPair(address addr) private {
        _isLiquidityPair[addr] = true;
        emit LiquidityPairDetected(addr);
    }

    /// @notice Handles transfers with fee application
    /// @dev Applies different fee structures for DEX swaps vs regular transfers
    /// @param from Sender address
    /// @param to Recipient address
    /// @param amount Amount to transfer (before fees)
    function _handleTaxedTransfer(address from, address to, uint256 amount) private {
        if (balanceOf(from) < amount) revert InsufficientBalance();

        bool isDexSwap = (isContract(from) && isLiquidityPair(from)) || (isContract(to) && isLiquidityPair(to));

        uint256 devFeeBps;
        uint256 reflectionFeeBps;
        uint256 reserveFeeBps;

        if (isDexSwap) {
            devFeeBps = DEX_SWAP_DEV_FEE_BPS;
            reflectionFeeBps = DEX_SWAP_REFLECTION_FEE_BPS;
            reserveFeeBps = DEX_SWAP_RESERVE_FEE_BPS;
        } else {
            devFeeBps = TRANSFER_DEV_FEE_BPS;
            reflectionFeeBps = TRANSFER_REFLECTION_FEE_BPS;
            reserveFeeBps = TRANSFER_RESERVE_FEE_BPS;
        }

        uint256 devFee = Math.mulDiv(amount, devFeeBps, 10000);
        uint256 reflectionFee = Math.mulDiv(amount, reflectionFeeBps, 10000);
        uint256 reserveFee = Math.mulDiv(amount, reserveFeeBps, 10000);
        uint256 netAmount;
        unchecked {
            netAmount = amount - devFee - reflectionFee - reserveFee;
        }

        super._transfer(from, address(this), amount);
        
        // Distribute dividends BEFORE transferring to recipient
        // This prevents the recipient from earning dividends on newly received tokens from this transfer
        _distributeDividends(reflectionFee);
        
        if (netAmount != 0) {
            super._transfer(address(this), to, netAmount);
        }
        if (devFee != 0) {
            super._transfer(address(this), devAddress, devFee);
        }

        if (isDexSwap) {
            bool isSell = isContract(to) && isLiquidityPair(to);
            address user = isSell ? from : to;
            emit SwapFeeApplied(isSell ? SwapType.SELL : SwapType.BUY, user, amount, devFee, reflectionFee, reserveFee, netAmount);
        } else {
            emit TransferFeeApplied(from, to, amount, devFee, reflectionFee, reserveFee, netAmount);
        }
    }
    
    /// @notice Internal function to purchase zETH tokens with ETH
    /// @dev Protected by nonReentrant. Calculates tokens based on current price, applies fees, and distributes
    /// @param buyer Address receiving the tokens
    /// @param amountNative Amount of ETH being used to purchase
    /// @custom:security Buyer is prevented from earning dividends on their own purchase via lastDividendPerShare update
    /// @custom:testing Validated with 160M+ fuzz test cases across all price ranges
    function _buy(address buyer, uint256 amountNative) private nonReentrant {
        if (amountNative < MINIMUM_PURCHASE_NATIVE) revert InsufficientNative();

        uint256 balanceBefore = address(this).balance - amountNative;
        uint256 zETHToPurchase = _getzETHForNative(amountNative, balanceBefore);

        if (zETHToPurchase == 0) revert InsufficientNative();
        if (tokensSold + zETHToPurchase > TOTAL_SUPPLY) revert InsufficientBalance();

        uint256 devFee = Math.mulDiv(zETHToPurchase, BUY_DEV_FEE_BPS, 10000);
        uint256 reserveFee = Math.mulDiv(zETHToPurchase, BUY_RESERVE_FEE_BPS, 10000);
        uint256 reflectionFee = Math.mulDiv(zETHToPurchase, BUY_REFLECTION_FEE_BPS, 10000);
        uint256 zETHToUser;
        unchecked {
            zETHToUser = zETHToPurchase - devFee - reserveFee - reflectionFee;
        }

        tokensSold = tokensSold + zETHToPurchase;

        // Distribute dividends BEFORE transferring tokens to buyer
        // This prevents the buyer from earning dividends on newly purchased tokens from their own buy fee
        _distributeDividends(reflectionFee);
        
        // CRITICAL FIX: Mark buyer as "caught up" to current dividend distribution
        // This prevents them from retroactively earning dividends from their own purchase
        if (!isContract(buyer)) {
            lastDividendPerShare[buyer] = magnifiedDividendPerShare;
        }
        
        super._transfer(address(this), devAddress, devFee);
        super._transfer(address(this), buyer, zETHToUser);

        emit Buy(buyer, amountNative, zETHToUser);
    }

    /// @notice Internal function to handle token refunds for ETH
    /// @dev Protected by nonReentrant. Calculates ETH return based on 99.9% backing, applies fees, handles burning
    /// @param sender Address receiving the ETH refund
    /// @param zETHAmount Amount of zETH tokens being refunded
    /// @custom:security Minimum refund of 1 token prevents rounding exploits
    /// @custom:security Uses Math.mulDiv for precision-safe division
    /// @custom:testing Validated with 200M+ invariant calls including complex refund sequences
    function _handleRefund(address sender, uint256 zETHAmount) private nonReentrant {
        if (zETHAmount == 0) revert ZeroMoonAmount();
        
        // Minimum refund: 1 zETH token (same economic threshold as minimum buy)
        // At launch: 0.0001 ETH buys ~1 token, so 1 token refunds to ~0.0001 ETH ($0.40 at $4k ETH)
        if (zETHAmount < 1 ether) revert InsufficientBalance();

        uint256 _totalBurned = totalBurned;

        uint256 devFeezETH = Math.mulDiv(zETHAmount, REFUND_DEV_FEE_BPS, 10000); 
        uint256 reflectionFeezETH = Math.mulDiv(zETHAmount, REFUND_REFLECTION_FEE_BPS, 10000); 
        uint256 burnFeezETH = (_totalBurned < BURNING_LIMIT) ? Math.mulDiv(zETHAmount, 75, 100000) : 0; 
        uint256 reserveFeezETH = (_totalBurned < BURNING_LIMIT) ? Math.mulDiv(zETHAmount, 75, 100000) : Math.mulDiv(zETHAmount, 150, 100000); 
        uint256 zETHForUserRefund;
        unchecked {
            zETHForUserRefund = zETHAmount - devFeezETH - reflectionFeezETH - burnFeezETH - reserveFeezETH;
        }

        uint256 contractBalance = balanceOf(address(this));
        uint256 currentCirculatingSupply = (TOTAL_SUPPLY - _totalBurned) - contractBalance + zETHAmount;
        
        if (currentCirculatingSupply == 0) revert NoTokensInCirculation();

        uint256 effectiveBacking = (address(this).balance * EFFECTIVE_BACKING_NUMERATOR) / EFFECTIVE_BACKING_DENOMINATOR;
        
        // FIX: Use Math.mulDiv to prevent precision loss on division
        uint256 grossNativeValue = Math.mulDiv(zETHForUserRefund, effectiveBacking, currentCirculatingSupply);
        uint256 nativeToUser = grossNativeValue; 

        if (address(this).balance < nativeToUser) revert InsufficientNative();

        if (devFeezETH != 0) {
            super._transfer(address(this), devAddress, devFeezETH);
        }
        if (burnFeezETH != 0 && _totalBurned < BURNING_LIMIT) {
            uint256 remainingToBurn = BURNING_LIMIT - _totalBurned;
            if (burnFeezETH > remainingToBurn) {
                burnFeezETH = remainingToBurn;
            }
            if (burnFeezETH != 0) {
                _burn(address(this), burnFeezETH);
                totalBurned = totalBurned + burnFeezETH;
            }
        }
        
        _distributeDividends(reflectionFeezETH);

        emit Refund(sender, zETHAmount, nativeToUser);

        (bool success, ) = sender.call{value: nativeToUser}("");
        if (!success) revert NativeTransferFailed();
    }

    /// @notice Distributes reflection fees as dividends to all holders
    /// @dev Increases magnifiedDividendPerShare proportionally to circulating supply
    /// @param amount Amount of tokens to distribute as dividends
    /// @custom:security Only EOA holders receive dividends (contracts auto-excluded)
    function _distributeDividends(uint256 amount) private {
        if (amount == 0) return;
        
        uint256 circulatingSupply = getCirculatingSupply();
        if (circulatingSupply == 0) return;

        uint256 dividendPerShare = (amount * MAGNITUDE) / circulatingSupply;
        
        magnifiedDividendPerShare += dividendPerShare;
        totalDividendsDistributed += amount;
        
        emit DividendsDistributed(amount, magnifiedDividendPerShare);
    }

    /// @notice Calculates the circulating supply (excludes contract's unsold tokens)
    /// @return Circulating supply available for dividend calculations
    /// @dev Used for accurate dividend distribution calculations
    function getCirculatingSupply() private view returns (uint256) {
        uint256 total = totalSupply();
        uint256 contractBalance = balanceOf(address(this)); // Contract's unsold tokens
                
        return total - contractBalance;
    }
    
    /// @notice Updates dividend tracking for a user before balance changes
    /// @dev Calculates and accumulates pending dividends, updates tracking pointer
    /// @param user Address to update dividend tracking for
    /// @custom:security Contracts are automatically excluded from dividend tracking
    function _updateUserDividendTracking(address user) private {
        // Exclude contracts from dividend tracking
        if (isContract(user)) return;
        
        uint256 userBalance = balanceOf(user);
        uint256 currentDividendPerShare = magnifiedDividendPerShare;
        uint256 lastUserDividendPerShare = lastDividendPerShare[user];
        
        // Calculate and accumulate dividends if user has balance
        if (userBalance > 0 && currentDividendPerShare > lastUserDividendPerShare) {
            uint256 dividendDifference = currentDividendPerShare - lastUserDividendPerShare;
            uint256 newDividends = (userBalance * dividendDifference) / MAGNITUDE;
            
            if (newDividends > 0) {
                accumulatedDividends[user] += newDividends;
            }
        }
        
        // ALWAYS update lastDividendPerShare to keep tracking synchronized
        // This prevents stale data when user's balance goes to 0 and back
        lastDividendPerShare[user] = currentDividendPerShare;
    }

    /// @notice Allows users to claim their accumulated dividends
    /// @dev Protected by nonReentrant. Updates tracking, transfers accumulated dividends to user
    /// @custom:security Contracts cannot claim dividends
    /// @custom:testing Validated through 10M+ claim sequences in invariant tests
    function claimDividends() external nonReentrant {
        address user = msg.sender;
        
        // Exclude contracts from dividend claiming
        if (isContract(user)) return;
        
        uint256 userBalance = balanceOf(user);
        uint256 currentDividendPerShare = magnifiedDividendPerShare;
        uint256 lastUserDividendPerShare = lastDividendPerShare[user];
        
        // Calculate and accumulate dividends if user has balance
        if (userBalance > 0 && currentDividendPerShare > lastUserDividendPerShare) {
            uint256 dividendDifference = currentDividendPerShare - lastUserDividendPerShare;
            uint256 newDividends = (userBalance * dividendDifference) / MAGNITUDE;
            
            if (newDividends > 0) {
                accumulatedDividends[user] += newDividends;
            }
        }
        
        // ALWAYS update lastDividendPerShare to keep tracking synchronized
        lastDividendPerShare[user] = currentDividendPerShare;
        
        // Transfer accumulated dividends to user
        uint256 totalAccumulated = accumulatedDividends[user];
        if (totalAccumulated > 0) {
            accumulatedDividends[user] = 0;
            super._transfer(address(this), user, totalAccumulated);
            emit DividendWithdrawn(user, totalAccumulated);
        }
    }

    /// @notice Returns the pending (unclaimed) dividends for a user
    /// @param user Address to query pending dividends for
    /// @return Amount of unclaimed dividends available
    /// @dev Calculates based on balance and dividend per share delta
    function pendingDividends(address user) external view returns (uint256) {
        
        if (isContract(user)) return 0;
        
        uint256 userBalance = balanceOf(user);
        if (userBalance == 0) return accumulatedDividends[user];
        
        uint256 currentDividendPerShare = magnifiedDividendPerShare;
        uint256 lastUserDividendPerShare = lastDividendPerShare[user];        
        
        if (currentDividendPerShare > lastUserDividendPerShare) {
            uint256 dividendDifference = currentDividendPerShare - lastUserDividendPerShare;
            uint256 newDividends = (userBalance * dividendDifference) / MAGNITUDE;
            return accumulatedDividends[user] + newDividends;
        }
        
        return accumulatedDividends[user];
    }

    /// @notice Calculates zETH tokens receivable for a given ETH amount
    /// @param nativeAmount Amount of ETH to query
    /// @return Amount of zETH tokens that would be received (before fees)
    /// @dev Used by frontends to preview buy amounts
    function calculatezETHForNative(uint256 nativeAmount) public view returns (uint256) {
        return _getzETHForNative(nativeAmount, address(this).balance);
    }

    /// @notice Calculates ETH receivable for a given zETH refund amount
    /// @param zETHAmount Amount of zETH tokens to query
    /// @return Amount of ETH that would be received (after fees and backing calculation)
    /// @dev Used by frontends to preview refund amounts. Returns 0 for amounts below 1 token minimum
    /// @custom:security Uses same fee and backing logic as actual refund execution
    function calculateNativeForZETH(uint256 zETHAmount) public view returns (uint256) {
        if (zETHAmount == 0) return 0;
        
        // Match the minimum refund check in _handleRefund
        if (zETHAmount < 1 ether) return 0;

        uint256 _totalBurned = totalBurned;

        // Calculate fees (same as _handleRefund)
        uint256 devFeezETH = Math.mulDiv(zETHAmount, REFUND_DEV_FEE_BPS, 10000);
        uint256 reflectionFeezETH = Math.mulDiv(zETHAmount, REFUND_REFLECTION_FEE_BPS, 10000);
        uint256 burnFeezETH = (_totalBurned < BURNING_LIMIT) ? Math.mulDiv(zETHAmount, 75, 100000) : 0;
        uint256 reserveFeezETH = (_totalBurned < BURNING_LIMIT) ? Math.mulDiv(zETHAmount, 75, 100000) : Math.mulDiv(zETHAmount, 150, 100000);
        
        uint256 zETHForUserRefund;
        unchecked {
            zETHForUserRefund = zETHAmount - devFeezETH - reflectionFeezETH - burnFeezETH - reserveFeezETH;
        }

        uint256 contractBalance = balanceOf(address(this));
        uint256 currentCirculatingSupply = (TOTAL_SUPPLY - _totalBurned) - contractBalance + zETHAmount;
        
        if (currentCirculatingSupply == 0) return 0;

        uint256 effectiveBacking = (address(this).balance * EFFECTIVE_BACKING_NUMERATOR) / EFFECTIVE_BACKING_DENOMINATOR;
        
        // FIX: Use Math.mulDiv to prevent precision loss on division
        uint256 nativeToUser = Math.mulDiv(zETHForUserRefund, effectiveBacking, currentCirculatingSupply);

        return nativeToUser;
    }

    /// @notice Internal function to calculate zETH tokens for ETH amount
    /// @dev Uses dynamic pricing: base price at launch, then refund price + 0.1% markup
    /// @param nativeAmount Amount of ETH
    /// @param balanceBefore Contract ETH balance before this transaction
    /// @return Amount of zETH tokens (capped at available supply)
    function _getzETHForNative(uint256 nativeAmount, uint256 balanceBefore) private view returns (uint256) {
        if (nativeAmount == 0) return 0;
        uint256 availableToSell = balanceOf(address(this));
        if (availableToSell == 0) return 0;

        uint256 circulating = totalSupply() - availableToSell;

        uint256 pricePerToken;
        if (circulating == 0 || balanceBefore == 0) {
            pricePerToken = BASE_PRICE;
        } else {
            uint256 refundPrice = (balanceBefore * 1e18) / circulating;
            pricePerToken = (refundPrice * 10010) / PRECISION_DIVISOR;
        }

        uint256 tokensToPurchase = (nativeAmount * 1e18) / pricePerToken;
        return Math.min(tokensToPurchase, availableToSell);
    }

    /// @notice Detects if an address is a contract (DEX, router, lending protocol, etc.)
    /// @dev Uses multiple interface checks to identify various contract types
    /// @param _addr Address to check
    /// @return True if address is identified as a contract, false for EOAs
    /// @custom:security Used to auto-exclude contracts from dividend distribution
    function isContract(address _addr) internal view returns (bool) {
        if (_addr.code.length == 0) return false;
        
        (bool s0, bytes memory d0) = _addr.staticcall(abi.encodeWithSignature("token0()"));
        (bool s1, bytes memory d1) = _addr.staticcall(abi.encodeWithSignature("token1()"));
        if (s0 && s1 && d0.length == 32 && d1.length == 32) {
            return true; // It's a DEX pair contract
        }
        
        (bool s2, ) = _addr.staticcall(abi.encodeWithSignature("factory()"));
        if (s2) return true; // Router contract
        
        (bool s3, ) = _addr.staticcall(abi.encodeWithSignature("getReserves()"));
        if (s3) return true; // Pair contract with reserves
        
        (bool s4, ) = _addr.staticcall(abi.encodeWithSignature("getPair(address,address)", address(0), address(0)));
        if (s4) return true; // DEX factory contract
        
        (bool s5, ) = _addr.staticcall(abi.encodeWithSignature("swap(address,uint256,uint256,uint256,bytes)", address(0), 0, 0, 0, ""));
        if (s5) return true; // Aggregator/swapper contract
        
        (bool s6, ) = _addr.staticcall(abi.encodeWithSignature("supply(address,uint256,address,uint16,uint256)", address(0), 0, address(0), 0, 0));
        if (s6) return true; // Lending protocol contract
        
        (bool s7, ) = _addr.staticcall(abi.encodeWithSignature("deposit(uint256)", 0));
        if (s7) return true; // Yield farm/staking contract
        
        (bool s8, ) = _addr.staticcall(abi.encodeWithSignature("sendToChain(address,uint256,uint256)", address(0), 0, 0));
        if (s8) return true; // Bridge/cross-chain contract
        
        return false;
    }

    /// @notice Changes the development fee recipient address
    /// @dev Only callable by owner. Automatically updates fee exclusions
    /// @param _devAddress New development address
    function setDevAddress(address _devAddress) external onlyOwner {
        if (_devAddress == address(0)) revert ZeroMoonAddress();
        address oldDevAddress = devAddress;
        _isExcludedFromFee[devAddress] = false;
        devAddress = _devAddress;
        _isExcludedFromFee[devAddress] = true;
        emit DevAddressChanged(oldDevAddress, _devAddress);
    }

    /// @notice Sets fee exclusion status for an account
    /// @dev Only callable by owner
    /// @param account Address to set exclusion for
    /// @param isExcluded Whether to exclude from fees
    function excludeFromFee(address account, bool isExcluded) external onlyOwner {
        if (account == address(0)) revert ZeroMoonAddress();
        _isExcludedFromFee[account] = isExcluded;
        emit FeeExclusionSet(account, isExcluded);
    }

    /// @notice Returns total dividends distributed since inception
    /// @return Cumulative dividend amount
    function getTotalDividendsDistributed() external view returns (uint256) {
        return totalDividendsDistributed;
    }

    /// @notice Returns current magnified dividend per share
    /// @return Current magnifiedDividendPerShare value
    /// @dev Used for external integrations and analytics
    function getMagnifiedDividendPerShare() external view returns (uint256) {
        return magnifiedDividendPerShare;
    }
    
    /// @notice Returns current circulating supply (public view function)
    /// @return Circulating supply (total minus contract balance)
    function getCirculatingSupplyPublic() external view returns (uint256) {
        return getCirculatingSupply();
    }

    /// @notice Returns comprehensive dividend information for a user
    /// @param user Address to query
    /// @return balance User's token balance
    /// @return userLastDividendPerShare User's last recorded dividend per share
    /// @return userAccumulatedDividends User's accumulated unclaimed dividends
    /// @return currentDividendPerShare Current global dividend per share
    /// @return isUserContract Whether the address is identified as a contract
    function getUserDividendInfo(address user) external view returns (
        uint256 balance,
        uint256 userLastDividendPerShare,
        uint256 userAccumulatedDividends,
        uint256 currentDividendPerShare,
        bool isUserContract
    ) {
        return (
            balanceOf(user),
            lastDividendPerShare[user],
            accumulatedDividends[user],
            magnifiedDividendPerShare,
            isContract(user)
        );
    }

    /// @notice Increases the allowance granted to a spender
    /// @param spender Address to increase allowance for
    /// @param addedValue Amount to add to current allowance
    /// @return True if successful
    function increaseAllowance(address spender, uint256 addedValue) public virtual override returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, allowance(owner, spender) + addedValue);
        return true;
    }

    /// @notice Decreases the allowance granted to a spender
    /// @param spender Address to decrease allowance for
    /// @param subtractedValue Amount to subtract from current allowance
    /// @return True if successful
    /// @dev Reverts if subtractedValue exceeds current allowance
    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual override returns (bool) {
        address owner = _msgSender();
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance < subtractedValue) revert InsufficientBalance(); 
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_initialOwner","type":"address"},{"internalType":"address","name":"_devAddress","type":"address"}],"stateMutability":"payable","type":"constructor"},{"inputs":[],"name":"DividendsOverflow","type":"error"},{"inputs":[],"name":"InsufficientBalance","type":"error"},{"inputs":[],"name":"InsufficientNative","type":"error"},{"inputs":[],"name":"InvalidShortString","type":"error"},{"inputs":[],"name":"NativeTransferFailed","type":"error"},{"inputs":[],"name":"NoTokensInCirculation","type":"error"},{"inputs":[{"internalType":"string","name":"str","type":"string"}],"name":"StringTooLong","type":"error"},{"inputs":[],"name":"ZeroMoonAddress","type":"error"},{"inputs":[],"name":"ZeroMoonAmount","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":"buyer","type":"address"},{"indexed":false,"internalType":"uint256","name":"nativePaid","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"zETHReceived","type":"uint256"}],"name":"Buy","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"oldDevAddress","type":"address"},{"indexed":true,"internalType":"address","name":"newDevAddress","type":"address"}],"name":"DevAddressChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"DividendWithdrawn","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"magnifiedDividendPerShare","type":"uint256"}],"name":"DividendsDistributed","type":"event"},{"anonymous":false,"inputs":[],"name":"EIP712DomainChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"bool","name":"isExcluded","type":"bool"}],"name":"FeeExclusionSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"pair","type":"address"}],"name":"LiquidityPairDetected","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferStarted","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":"refunder","type":"address"},{"indexed":false,"internalType":"uint256","name":"zETHRefunded","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"nativeReceived","type":"uint256"}],"name":"Refund","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"enum ZeroMoon.SwapType","name":"swapType","type":"uint8"},{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"originalAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"devFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"reflectionFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"reserveFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"netAmount","type":"uint256"}],"name":"SwapFeeApplied","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"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"originalAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"devFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"reflectionFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"reserveFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"netAmount","type":"uint256"}],"name":"TransferFeeApplied","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":"amount","type":"uint256"},{"indexed":false,"internalType":"enum ZeroMoon.ExemptionReason","name":"reason","type":"uint8"}],"name":"TransferFeeExempt","type":"event"},{"inputs":[],"name":"BURNING_LIMIT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MINIMUM_PURCHASE_NATIVE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TOTAL_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"acceptOwnership","outputs":[],"stateMutability":"nonpayable","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":[],"name":"buy","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"zETHAmount","type":"uint256"}],"name":"calculateNativeForZETH","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"nativeAmount","type":"uint256"}],"name":"calculatezETHForNative","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"claimDividends","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"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":"address","name":"account","type":"address"},{"internalType":"bool","name":"isExcluded","type":"bool"}],"name":"excludeFromFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getCirculatingSupplyPublic","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getMagnifiedDividendPerShare","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getTotalDividendsDistributed","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getUserDividendInfo","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"userLastDividendPerShare","type":"uint256"},{"internalType":"uint256","name":"userAccumulatedDividends","type":"uint256"},{"internalType":"uint256","name":"currentDividendPerShare","type":"uint256"},{"internalType":"bool","name":"isUserContract","type":"bool"}],"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":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"pendingDividends","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pendingOwner","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":[{"internalType":"address","name":"_devAddress","type":"address"}],"name":"setDevAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokensSold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalBurned","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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"},{"stateMutability":"payable","type":"receive"}]

610340604052604051614aed380380614aed83398101604081905261002391611130565b604051806040016040528060088152602001672d32b937a6b7b7b760c11b81525080604051806040016040528060018152602001603160f81b815250604051806040016040528060088152602001672d32b937a6b7b7b760c11b815250604051806040016040528060048152602001630f48aa8960e31b81525060015f8190555081600490816100b391906111f8565b5060056100c082826111f8565b506100d0915083905060066102d8565b610120526100df8160076102d8565b61014052815160208084019190912060e052815190820120610100524660a05261016b60e05161010051604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60208201529081019290925260608201524660808201523060a08201525f9060c00160405160208183030381529060405280519060200120905090565b60805250503060c0525061017e3361030a565b6001600160a01b0382166101a557604051630667592d60e11b815260040160405180910390fd5b6001600160a01b0381166101cc57604051630667592d60e11b815260040160405180910390fd5b6b0409f9cbc7c4a04c220000006101608190526101eb906005906112da565b61018052655af3107a40006101a08190526101c05260056101e0819052600a610200819052610220819052610240829052610260829052610280919091526102a08190526102c0525f6102e081905261030081905261032052600e80546001600160a01b0319166001600160a01b0383161790556101605161026e903090610326565b305f908152601360205260408082208054600160ff1991821681179092556001600160a01b0386811685528385208054831684179055600e54168452919092208054909116909117905534156102c8576102c881346103d8565b6102d18261030a565b50506113a4565b5f6020835110156102f3576102ec83610582565b9050610304565b816102fe84826111f8565b5060ff90505b92915050565b600b80546001600160a01b0319169055610323816105bf565b50565b6001600160a01b0382166103815760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f20616464726573730060448201526064015b60405180910390fd5b8060035f82825461039291906112f9565b90915550506001600160a01b0382165f818152600160209081526040808320805486019055518481525f516020614acd5f395f51905f52910160405180910390a35b5050565b6103e0610615565b6101a05181101561040457604051634969f53160e11b815260040160405180910390fd5b5f61040f824761130c565b90505f61041c838361066c565b9050805f0361043e57604051634969f53160e11b815260040160405180910390fd5b6101605181600d5461045091906112f9565b111561046f57604051631e9acf1760e31b815260040160405180910390fd5b5f610486826101e05161271061073a60201b60201c565b90505f61049f836102005161271061073a60201b60201c565b90505f6104b8846102205161271061073a60201b60201c565b90505f81838587030303905084600d546104d291906112f9565b600d556104de8261082d565b6104e7886108d9565b61050757600f546001600160a01b0389165f908152601160205260409020555b600e5461051f9030906001600160a01b031686610f06565b61052a308983610f06565b60408051888152602081018390526001600160a01b038a16917f1cbc5ab135991bd2b6a4b034a04aa2aa086dac1371cb9b16b8b5e2ed6b036bed910160405180910390a25050505050506103d461109d60201b60201c565b5f5f829050601f815111156105ac578260405163305a27a960e01b8152600401610378919061131f565b80516105b782611354565b179392505050565b600a80546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b505050565b60025f54036106665760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610378565b60025f55565b5f825f0361067b57505f610304565b5f610685306110a3565b9050805f03610697575f915050610304565b5f816106a16110c0565b6106ab919061130c565b90505f8115806106b9575084155b156106c857506101c051610705565b5f826106dc87670de0b6b3a7640000611377565b6106e691906112da565b90506127106106f78261271a611377565b61070191906112da565b9150505b5f8161071988670de0b6b3a7640000611377565b61072391906112da565b905061072f81856110d7565b979650505050505050565b5f80805f19858709858702925082811083820303915050805f0361077157838281610767576107676112b2565b0492505050610826565b8084116107c05760405162461bcd60e51b815260206004820152601560248201527f4d6174683a206d756c446976206f766572666c6f7700000000000000000000006044820152606401610378565b5f848688098519600190810187169687900496828603819004959092119093035f82900391909104909201919091029190911760038402600290811880860282030280860282030280860282030280860282030280860282030280860290910302029150505b9392505050565b805f036108375750565b5f6108406110ec565b9050805f0361084d575050565b5f8161085d600160801b85611377565b61086791906112da565b905080600f5f82825461087a91906112f9565b925050819055508260105f82825461089291906112f9565b9091555050600f546040805185815260208101929092527fac4c4b96e3856cb20170077826b7701a887bdaf8d743f369b438133249a1f82f910160405180910390a1505050565b5f816001600160a01b03163b5f036108f257505f919050565b60408051600481526024810182526020810180516001600160e01b0316630dfe168160e01b17905290515f9182916001600160a01b038616916109349161138e565b5f60405180830381855afa9150503d805f811461096c576040519150601f19603f3d011682016040523d82523d5f602084013e610971565b606091505b5060408051600481526024810182526020810180516001600160e01b031663d21220a760e01b17905290519294509092505f9182916001600160a01b038816916109bb919061138e565b5f60405180830381855afa9150503d805f81146109f3576040519150601f19603f3d011682016040523d82523d5f602084013e6109f8565b606091505b5091509150838015610a075750815b8015610a14575082516020145b8015610a21575080516020145b15610a325750600195945050505050565b60408051600481526024810182526020810180516001600160e01b031663c45a015560e01b17905290515f916001600160a01b03891691610a73919061138e565b5f60405180830381855afa9150503d805f8114610aab576040519150601f19603f3d011682016040523d82523d5f602084013e610ab0565b606091505b505090508015610ac7575060019695505050505050565b60408051600481526024810182526020810180516001600160e01b0316630240bc6b60e21b17905290515f916001600160a01b038a1691610b08919061138e565b5f60405180830381855afa9150503d805f8114610b40576040519150601f19603f3d011682016040523d82523d5f602084013e610b45565b606091505b505090508015610b5d57506001979650505050505050565b6040515f6024820181905260448201819052906001600160a01b038a169060640160408051601f198184030181529181526020820180516001600160e01b031663e6a4390560e01b17905251610bb3919061138e565b5f60405180830381855afa9150503d805f8114610beb576040519150601f19603f3d011682016040523d82523d5f602084013e610bf0565b606091505b505090508015610c095750600198975050505050505050565b6040515f6024820181905260448201819052606482018190526084820181905260a060a483015260c48201819052906001600160a01b038b169060e40160408051601f198184030181529181526020820180516001600160e01b0316635402133360e11b17905251610c7b919061138e565b5f60405180830381855afa9150503d805f8114610cb3576040519150601f19603f3d011682016040523d82523d5f602084013e610cb8565b606091505b505090508015610cd2575060019998505050505050505050565b6040515f6024820181905260448201819052606482018190526084820181905260a48201819052906001600160a01b038c169060c40160408051601f198184030181529181526020820180516001600160e01b031663d57e69cf60e01b17905251610d3d919061138e565b5f60405180830381855afa9150503d805f8114610d75576040519150601f19603f3d011682016040523d82523d5f602084013e610d7a565b606091505b505090508015610d95575060019a9950505050505050505050565b6040515f60248201819052906001600160a01b038d169060440160408051601f198184030181529181526020820180516001600160e01b031663b6b55f2560e01b17905251610de4919061138e565b5f60405180830381855afa9150503d805f8114610e1c576040519150601f19603f3d011682016040523d82523d5f602084013e610e21565b606091505b505090508015610e3d575060019b9a5050505050505050505050565b6040515f602482018190526044820181905260648201819052906001600160a01b038e169060840160408051601f198184030181529181526020820180516001600160e01b0316635696d33b60e11b17905251610e9a919061138e565b5f60405180830381855afa9150503d805f8114610ed2576040519150601f19603f3d011682016040523d82523d5f602084013e610ed7565b606091505b505090508015610ef4575060019c9b505050505050505050505050565b505f9c9b505050505050505050505050565b6001600160a01b038316610f6a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610378565b6001600160a01b038216610fcc5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610378565b6001600160a01b0383165f90815260016020526040902054818110156110435760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610378565b6001600160a01b038085165f8181526001602052604080822086860390559286168082529083902080548601905591515f516020614acd5f395f51905f529061108f9086815260200190565b60405180910390a350505050565b60015f55565b6001600160a01b0381165f90815260016020526040812054610304565b5f600c54610160516110d2919061130c565b905090565b5f8183106110e55781610826565b5090919050565b5f806110f66110c0565b90505f611102306110a3565b905061110e818361130c565b9250505090565b80516001600160a01b038116811461112b575f5ffd5b919050565b5f5f60408385031215611141575f5ffd5b61114a83611115565b915061115860208401611115565b90509250929050565b634e487b7160e01b5f52604160045260245ffd5b600181811c9082168061118957607f821691505b6020821081036111a757634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561061057805f5260205f20601f840160051c810160208510156111d25750805b601f840160051c820191505b818110156111f1575f81556001016111de565b5050505050565b81516001600160401b0381111561121157611211611161565b6112258161121f8454611175565b846111ad565b6020601f821160018114611257575f83156112405750848201515b5f19600385901b1c1916600184901b1784556111f1565b5f84815260208120601f198516915b828110156112865787850151825560209485019460019092019101611266565b50848210156112a357868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b634e487b7160e01b5f52601260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b5f826112f457634e487b7160e01b5f52601260045260245ffd5b500490565b80820180821115610304576103046112c6565b81810381811115610304576103046112c6565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b805160208083015191908110156111a7575f1960209190910360031b1b16919050565b8082028115828204841417610304576103046112c6565b5f82518060208501845e5f920191825250919050565b60805160a05160c05160e05161010051610120516101405161016051610180516101a0516101c0516101e05161020051610220516102405161026051610280516102a0516102c0516102e05161030051610320516135e76114e65f395f612bee01525f612bcb01525f612ba801525f612c5b01525f612c3801525f612c1501525f8181610a25015261283c01525f81816109f5015261280c01525f6107c801525f61079801525f61076801525f6113de01525f818161056e015261069a01525f818161045601528181610a5101528181610a9001528181612868015281816128a7015281816129e20152612a1001525f81816104e1015281816107150152818161096701528181610afb015261291201525f610e6301525f610e3801525f6120a801525f61208001525f611fdb01525f61200501525f61202f01526135e75ff3fe60806040526004361061020a575f3560e01c80638202ac0e11610113578063c79264581161009d578063dd62ed3e1161006d578063dd62ed3e14610602578063df8408fe14610621578063e30c397814610640578063f2fde38b1461065d578063fd9574e41461067c575f5ffd5b8063c792645814610590578063d0d41fe1146105af578063d505accf146105ce578063d89135cd146105ed575f5ffd5b806395d89b41116100e357806395d89b4114610503578063a457c2d714610517578063a6f2ae3a14610536578063a9059cbb1461053e578063ae0348061461055d575f5ffd5b80638202ac0e1461044557806384b0196e146104785780638da5cb5b1461049f578063902d55a5146104d0575f5ffd5b80633950935111610194578063715018a611610164578063715018a6146103a157806379ba5097146103b55780637aac797f146103c95780637e00a4ca146103dd5780637ecebe0014610426575f5ffd5b8063395093511461033a578063518ab2a814610359578063668038e01461036e57806370a0823114610382575f5ffd5b806326b2e684116101da57806326b2e684146102b95780632f578509146102d857806330bb4cff146102f7578063313ce5671461030b5780633644e51514610326575f5ffd5b806306fdde031461021f578063095ea7b31461024957806318160ddd1461027857806323b872dd1461029a575f5ffd5b3661021b576102193334610690565b005b5f5ffd5b34801561022a575f5ffd5b506102336108b8565b6040516102409190613219565b60405180910390f35b348015610254575f5ffd5b5061026861026336600461323f565b610948565b6040519015158152602001610240565b348015610283575f5ffd5b5061028c610961565b604051908152602001610240565b3480156102a5575f5ffd5b506102686102b4366004613269565b610995565b3480156102c4575f5ffd5b5061028c6102d33660046132a7565b6109ba565b3480156102e3575f5ffd5b5061028c6102f23660046132a7565b6109c5565b348015610302575f5ffd5b5060105461028c565b348015610316575f5ffd5b5060405160128152602001610240565b348015610331575f5ffd5b5061028c610b83565b348015610345575f5ffd5b5061026861035436600461323f565b610b8c565b348015610364575f5ffd5b5061028c600d5481565b348015610379575f5ffd5b50610219610bad565b34801561038d575f5ffd5b5061028c61039c3660046132be565b610d08565b3480156103ac575f5ffd5b50610219610d25565b3480156103c0575f5ffd5b50610219610d36565b3480156103d4575f5ffd5b5061028c610db5565b3480156103e8575f5ffd5b506103fc6103f73660046132be565b610dbe565b6040805195865260208601949094529284019190915260608301521515608082015260a001610240565b348015610431575f5ffd5b5061028c6104403660046132be565b610e0e565b348015610450575f5ffd5b5061028c7f000000000000000000000000000000000000000000000000000000000000000081565b348015610483575f5ffd5b5061048c610e2b565b60405161024097969594939291906132d9565b3480156104aa575f5ffd5b50600a546001600160a01b03165b6040516001600160a01b039091168152602001610240565b3480156104db575f5ffd5b5061028c7f000000000000000000000000000000000000000000000000000000000000000081565b34801561050e575f5ffd5b50610233610eb2565b348015610522575f5ffd5b5061026861053136600461323f565b610ec1565b610219610f09565b348015610549575f5ffd5b5061026861055836600461323f565b610f13565b348015610568575f5ffd5b5061028c7f000000000000000000000000000000000000000000000000000000000000000081565b34801561059b575f5ffd5b5061028c6105aa3660046132be565b610f20565b3480156105ba575f5ffd5b506102196105c93660046132be565b610ffe565b3480156105d9575f5ffd5b506102196105e836600461336f565b6110a9565b3480156105f8575f5ffd5b5061028c600c5481565b34801561060d575f5ffd5b5061028c61061c3660046133e0565b61120a565b34801561062c575f5ffd5b5061021961063b366004613417565b611234565b34801561064b575f5ffd5b50600b546001600160a01b03166104b8565b348015610668575f5ffd5b506102196106773660046132be565b6112c1565b348015610687575f5ffd5b50600f5461028c565b610698611332565b7f00000000000000000000000000000000000000000000000000000000000000008110156106d957604051634969f53160e11b815260040160405180910390fd5b5f6106e4824761345b565b90505f6106f18383611389565b9050805f0361071357604051634969f53160e11b815260040160405180910390fd5b7f000000000000000000000000000000000000000000000000000000000000000081600d54610742919061346e565b111561076157604051631e9acf1760e31b815260040160405180910390fd5b5f61078f827f0000000000000000000000000000000000000000000000000000000000000000612710611469565b90505f6107bf837f0000000000000000000000000000000000000000000000000000000000000000612710611469565b90505f6107ef847f0000000000000000000000000000000000000000000000000000000000000000612710611469565b90505f81838587030303905084600d54610809919061346e565b600d556108158261154e565b61081e886115fa565b61083e57600f546001600160a01b0389165f908152601160205260409020555b600e546108569030906001600160a01b031686611c27565b610861308983611c27565b60408051888152602081018390526001600160a01b038a16917f1cbc5ab135991bd2b6a4b034a04aa2aa086dac1371cb9b16b8b5e2ed6b036bed910160405180910390a25050505050506108b460015f55565b5050565b6060600480546108c790613481565b80601f01602080910402602001604051908101604052809291908181526020018280546108f390613481565b801561093e5780601f106109155761010080835404028352916020019161093e565b820191905f5260205f20905b81548152906001019060200180831161092157829003601f168201915b5050505050905090565b5f33610955818585611dd2565b60019150505b92915050565b5f600c547f0000000000000000000000000000000000000000000000000000000000000000610990919061345b565b905090565b5f336109a2858285611ef5565b6109ad858585611f67565b60019150505b9392505050565b5f61095b8247611389565b5f815f036109d457505f919050565b670de0b6b3a76400008210156109eb57505f919050565b600c545f610a1c847f0000000000000000000000000000000000000000000000000000000000000000612710611469565b90505f610a4c857f0000000000000000000000000000000000000000000000000000000000000000612710611469565b90505f7f00000000000000000000000000000000000000000000000000000000000000008410610a7c575f610a8b565b610a8b86604b620186a0611469565b90505f7f00000000000000000000000000000000000000000000000000000000000000008510610ac957610ac4876096620186a0611469565b610ad8565b610ad887604b620186a0611469565b90505f818385878b0303030390505f610af030610d08565b90505f8982610b1f8a7f000000000000000000000000000000000000000000000000000000000000000061345b565b610b29919061345b565b610b33919061346e565b9050805f03610b4b57505f9998505050505050505050565b5f6103e8610b5b6103e7476134b3565b610b6591906134de565b90505f610b73858385611469565b9c9b505050505050505050505050565b5f610990611fcf565b5f33610955818585610b9e838361120a565b610ba8919061346e565b611dd2565b610bb5611332565b33610bbf816115fa565b15610bca5750610cfd565b5f610bd482610d08565b600f546001600160a01b0384165f90815260116020526040902054919250908215801590610c0157508082115b15610c65575f610c11828461345b565b90505f600160801b610c2383876134b3565b610c2d91906134de565b90508015610c62576001600160a01b0386165f9081526012602052604081208054839290610c5c90849061346e565b90915550505b50505b6001600160a01b0384165f90815260116020908152604080832085905560129091529020548015610cf7576001600160a01b0385165f90815260126020526040812055610cb3308683611c27565b846001600160a01b03167fee503bee2bb6a87e57bc57db795f98137327401a0e7b7ce42e37926cc1a9ca4d82604051610cee91815260200190565b60405180910390a25b50505050505b610d0660015f55565b565b6001600160a01b0381165f9081526001602052604081205461095b565b610d2d6120f8565b610d065f612152565b600b5433906001600160a01b03168114610da95760405162461bcd60e51b815260206004820152602960248201527f4f776e61626c6532537465703a2063616c6c6572206973206e6f7420746865206044820152683732bb9037bbb732b960b91b60648201526084015b60405180910390fd5b610db281612152565b50565b5f61099061216b565b5f5f5f5f5f610dcc86610d08565b6001600160a01b0387165f90815260116020908152604080832054601290925290912054600f54610dfc8a6115fa565b939a9299509097509550909350915050565b6001600160a01b0381165f9081526008602052604081205461095b565b5f60608082808083610e5e7f00000000000000000000000000000000000000000000000000000000000000006006612194565b610e897f00000000000000000000000000000000000000000000000000000000000000006007612194565b604080515f80825260208201909252600f60f81b9b939a50919850469750309650945092509050565b6060600580546108c790613481565b5f3381610ece828661120a565b905083811015610ef157604051631e9acf1760e31b815260040160405180910390fd5b610efe8286868403611dd2565b506001949350505050565b610d063334610690565b5f33610955818585611f67565b5f610f2a826115fa565b15610f3657505f919050565b5f610f4083610d08565b9050805f03610f655750506001600160a01b03165f9081526012602052604090205490565b600f546001600160a01b0384165f9081526011602052604090205480821115610fe0575f610f93828461345b565b90505f600160801b610fa583876134b3565b610faf91906134de565b6001600160a01b0388165f90815260126020526040902054909150610fd590829061346e565b979650505050505050565b505050506001600160a01b03165f9081526012602052604090205490565b6110066120f8565b6001600160a01b03811661102d57604051630667592d60e11b815260040160405180910390fd5b600e80546001600160a01b039081165f81815260136020526040808220805460ff1990811690915585546001600160a01b03191694871694851790955583825280822080549095166001179094559251909283917f1e28303b9fffceb41cad9a26786b9ff0ce9417f66df61051e99ca5ea801f012e9190a35050565b834211156110f95760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e650000006044820152606401610da0565b5f7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886111278c61223d565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e0016040516020818303038152906040528051906020012090505f61118182612264565b90505f61119082878787612290565b9050896001600160a01b0316816001600160a01b0316146111f35760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e617475726500006044820152606401610da0565b6111fe8a8a8a611dd2565b50505050505050505050565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b61123c6120f8565b6001600160a01b03821661126357604051630667592d60e11b815260040160405180910390fd5b6001600160a01b0382165f81815260136020908152604091829020805460ff191685151590811790915591519182527f8cacdd64bcff95db0485e736ffb5686b2d0c4b27996f3e38e285b8996779048b910160405180910390a25050565b6112c96120f8565b600b80546001600160a01b0383166001600160a01b031990911681179091556112fa600a546001600160a01b031690565b6001600160a01b03167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e2270060405160405180910390a350565b60025f54036113835760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610da0565b60025f55565b5f825f0361139857505f61095b565b5f6113a230610d08565b9050805f036113b4575f91505061095b565b5f816113be610961565b6113c8919061345b565b90505f8115806113d6575084155b1561140257507f000000000000000000000000000000000000000000000000000000000000000061143f565b5f8261141687670de0b6b3a76400006134b3565b61142091906134de565b90506127106114318261271a6134b3565b61143b91906134de565b9150505b5f8161145388670de0b6b3a76400006134b3565b61145d91906134de565b9050610fd581856122b6565b5f80805f19858709858702925082811083820303915050805f036114a057838281611496576114966134ca565b04925050506109b3565b8084116114e75760405162461bcd60e51b81526020600482015260156024820152744d6174683a206d756c446976206f766572666c6f7760581b6044820152606401610da0565b5f8486880960026001871981018816978890046003810283188082028403028082028403028082028403028082028403028082028403029081029092039091025f889003889004909101858311909403939093029303949094049190911702949350505050565b805f036115585750565b5f61156161216b565b9050805f0361156e575050565b5f8161157e600160801b856134b3565b61158891906134de565b905080600f5f82825461159b919061346e565b925050819055508260105f8282546115b3919061346e565b9091555050600f546040805185815260208101929092527fac4c4b96e3856cb20170077826b7701a887bdaf8d743f369b438133249a1f82f910160405180910390a1505050565b5f816001600160a01b03163b5f0361161357505f919050565b60408051600481526024810182526020810180516001600160e01b0316630dfe168160e01b17905290515f9182916001600160a01b03861691611655916134fd565b5f60405180830381855afa9150503d805f811461168d576040519150601f19603f3d011682016040523d82523d5f602084013e611692565b606091505b5060408051600481526024810182526020810180516001600160e01b031663d21220a760e01b17905290519294509092505f9182916001600160a01b038816916116dc91906134fd565b5f60405180830381855afa9150503d805f8114611714576040519150601f19603f3d011682016040523d82523d5f602084013e611719565b606091505b50915091508380156117285750815b8015611735575082516020145b8015611742575080516020145b156117535750600195945050505050565b60408051600481526024810182526020810180516001600160e01b031663c45a015560e01b17905290515f916001600160a01b0389169161179491906134fd565b5f60405180830381855afa9150503d805f81146117cc576040519150601f19603f3d011682016040523d82523d5f602084013e6117d1565b606091505b5050905080156117e8575060019695505050505050565b60408051600481526024810182526020810180516001600160e01b0316630240bc6b60e21b17905290515f916001600160a01b038a169161182991906134fd565b5f60405180830381855afa9150503d805f8114611861576040519150601f19603f3d011682016040523d82523d5f602084013e611866565b606091505b50509050801561187e57506001979650505050505050565b6040515f6024820181905260448201819052906001600160a01b038a169060640160408051601f198184030181529181526020820180516001600160e01b031663e6a4390560e01b179052516118d491906134fd565b5f60405180830381855afa9150503d805f811461190c576040519150601f19603f3d011682016040523d82523d5f602084013e611911565b606091505b50509050801561192a5750600198975050505050505050565b6040515f6024820181905260448201819052606482018190526084820181905260a060a483015260c48201819052906001600160a01b038b169060e40160408051601f198184030181529181526020820180516001600160e01b0316635402133360e11b1790525161199c91906134fd565b5f60405180830381855afa9150503d805f81146119d4576040519150601f19603f3d011682016040523d82523d5f602084013e6119d9565b606091505b5050905080156119f3575060019998505050505050505050565b6040515f6024820181905260448201819052606482018190526084820181905260a48201819052906001600160a01b038c169060c40160408051601f198184030181529181526020820180516001600160e01b031663d57e69cf60e01b17905251611a5e91906134fd565b5f60405180830381855afa9150503d805f8114611a96576040519150601f19603f3d011682016040523d82523d5f602084013e611a9b565b606091505b505090508015611ab6575060019a9950505050505050505050565b6040515f60248201819052906001600160a01b038d169060440160408051601f198184030181529181526020820180516001600160e01b031663b6b55f2560e01b17905251611b0591906134fd565b5f60405180830381855afa9150503d805f8114611b3d576040519150601f19603f3d011682016040523d82523d5f602084013e611b42565b606091505b505090508015611b5e575060019b9a5050505050505050505050565b6040515f602482018190526044820181905260648201819052906001600160a01b038e169060840160408051601f198184030181529181526020820180516001600160e01b0316635696d33b60e11b17905251611bbb91906134fd565b5f60405180830381855afa9150503d805f8114611bf3576040519150601f19603f3d011682016040523d82523d5f602084013e611bf8565b606091505b505090508015611c15575060019c9b505050505050505050505050565b505f9c9b505050505050505050505050565b6001600160a01b038316611c8b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610da0565b6001600160a01b038216611ced5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610da0565b6001600160a01b0383165f9081526001602052604090205481811015611d645760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610da0565b6001600160a01b038085165f8181526001602052604080822086860390559286168082529083902080548601905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90611dc39086815260200190565b60405180910390a35b50505050565b6001600160a01b038316611e345760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610da0565b6001600160a01b038216611e955760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610da0565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f611f00848461120a565b90505f198114611dcc5781811015611f5a5760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006044820152606401610da0565b611dcc8484848403611dd2565b6001600160a01b03831615801590611f855750611f83836115fa565b155b15611f9357611f93836122cb565b6001600160a01b03821615801590611fb15750611faf826115fa565b155b15611fbf57611fbf826122cb565b611fca838383612397565b505050565b5f306001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614801561202757507f000000000000000000000000000000000000000000000000000000000000000046145b1561205157507f000000000000000000000000000000000000000000000000000000000000000090565b610990604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60208201527f0000000000000000000000000000000000000000000000000000000000000000918101919091527f000000000000000000000000000000000000000000000000000000000000000060608201524660808201523060a08201525f9060c00160405160208183030381529060405280519060200120905090565b600a546001600160a01b03163314610d065760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610da0565b600b80546001600160a01b0319169055610db28161251d565b5f5f612175610961565b90505f61218130610d08565b905061218d818361345b565b9250505090565b606060ff83146121ae576121a78361256e565b905061095b565b8180546121ba90613481565b80601f01602080910402602001604051908101604052809291908181526020018280546121e690613481565b80156122315780601f1061220857610100808354040283529160200191612231565b820191905f5260205f20905b81548152906001019060200180831161221457829003601f168201915b5050505050905061095b565b6001600160a01b0381165f9081526008602052604090208054600181018255905b50919050565b5f61095b612270611fcf565b8360405161190160f01b8152600281019290925260228201526042902090565b5f5f5f61229f878787876125ab565b915091506122ac81612668565b5095945050505050565b5f8183106122c457816109b3565b5090919050565b6122d4816115fa565b156122dc5750565b5f6122e682610d08565b600f546001600160a01b0384165f9081526011602052604090205491925090821580159061231357508082115b15612377575f612323828461345b565b90505f600160801b61233583876134b3565b61233f91906134de565b90508015612374576001600160a01b0386165f908152601260205260408120805483929061236e90849061346e565b90915550505b50505b506001600160a01b039092165f9081526011602052604090209190915550565b6001600160a01b0383166123be57604051630667592d60e11b815260040160405180910390fd5b6001600160a01b0382166123e557604051630667592d60e11b815260040160405180910390fd5b805f03612405576040516314f0e09d60e01b815260040160405180910390fd5b6001600160a01b0383165f9081526013602052604081205460ff168061244257506001600160a01b0383165f9081526013602052604090205460ff165b9050306001600160a01b038416036124bb5761245f848484611c27565b61246984836127b1565b826001600160a01b0316846001600160a01b03167f574daaeb7bd24643e9b941b63f1e23540f1b20c4ae00361926ca70182e818688845f6040516124ae929190613543565b60405180910390a3611dcc565b8015612512576124cc848484611c27565b826001600160a01b0316846001600160a01b03167f574daaeb7bd24643e9b941b63f1e23540f1b20c4ae00361926ca70182e8186888460016040516124ae929190613543565b611dcc848484612b38565b600a80546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b60605f61257a83612df5565b6040805160208082528183019092529192505f91906020820181803683375050509182525060208101929092525090565b5f807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08311156125e057505f9050600361265f565b604080515f8082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa158015612631573d5f5f3e3d5ffd5b5050604051601f1901519150506001600160a01b038116612659575f6001925092505061265f565b91505f90505b94509492505050565b5f81600481111561267b5761267b613513565b036126835750565b600181600481111561269757612697613513565b036126e45760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e617475726500000000000000006044820152606401610da0565b60028160048111156126f8576126f8613513565b036127455760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e677468006044820152606401610da0565b600381600481111561275957612759613513565b03610db25760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b6064820152608401610da0565b6127b9611332565b805f036127d9576040516314f0e09d60e01b815260040160405180910390fd5b670de0b6b3a764000081101561280257604051631e9acf1760e31b815260040160405180910390fd5b600c545f612833837f0000000000000000000000000000000000000000000000000000000000000000612710611469565b90505f612863847f0000000000000000000000000000000000000000000000000000000000000000612710611469565b90505f7f00000000000000000000000000000000000000000000000000000000000000008410612893575f6128a2565b6128a285604b620186a0611469565b90505f7f000000000000000000000000000000000000000000000000000000000000000085106128e0576128db866096620186a0611469565b6128ef565b6128ef86604b620186a0611469565b90505f818385878a0303030390505f61290730610d08565b90505f88826129368a7f000000000000000000000000000000000000000000000000000000000000000061345b565b612940919061345b565b61294a919061346e565b9050805f0361296c57604051632e3d44eb60e21b815260040160405180910390fd5b5f6103e861297c6103e7476134b3565b61298691906134de565b90505f612994858385611469565b905080478111156129b857604051634969f53160e11b815260040160405180910390fd5b89156129d657600e546129d69030906001600160a01b03168c611c27565b8715801590612a0457507f00000000000000000000000000000000000000000000000000000000000000008b105b15612a66575f612a348c7f000000000000000000000000000000000000000000000000000000000000000061345b565b905080891115612a42578098505b8815612a6457612a52308a612e1c565b88600c54612a60919061346e565b600c555b505b612a6f8961154e565b604080518d8152602081018390526001600160a01b038f16917f73f04af9dcc582a923ec15d3eea990fe34adabfff2879e28d44572e01a54abb6910160405180910390a25f8d6001600160a01b0316826040515f6040518083038185875af1925050503d805f8114612afc576040519150601f19603f3d011682016040523d82523d5f602084013e612b01565b606091505b5050905080612b2357604051633d2cec6f60e21b815260040160405180910390fd5b5050505050505050505050506108b460015f55565b80612b4284610d08565b1015612b6157604051631e9acf1760e31b815260040160405180910390fd5b5f612b6b846115fa565b8015612b7b5750612b7b84612f4e565b80612b9a5750612b8a836115fa565b8015612b9a5750612b9a83612f4e565b90505f5f5f8315612c1257507f000000000000000000000000000000000000000000000000000000000000000091507f000000000000000000000000000000000000000000000000000000000000000090507f0000000000000000000000000000000000000000000000000000000000000000612c7b565b507f000000000000000000000000000000000000000000000000000000000000000091507f000000000000000000000000000000000000000000000000000000000000000090507f00000000000000000000000000000000000000000000000000000000000000005b5f612c898685612710611469565b90505f612c998785612710611469565b90505f612ca98885612710611469565b9050828803829003819003612cbf8b308b611c27565b612cc88361154e565b8015612cd957612cd9308b83611c27565b8315612cf757600e54612cf79030906001600160a01b031686611c27565b8715612d88575f612d078b6115fa565b8015612d175750612d178b612f4e565b90505f81612d25578b612d27565b8c5b9050806001600160a01b03167f987523e90343b2e24bc83910935127f2c8dc7bdd62128d30d804a65153339e2283612d5f575f612d62565b60015b8d89898989604051612d7996959493929190613560565b60405180910390a25050612de8565b604080518a81526020810186905290810184905260608101839052608081018290526001600160a01b03808c1691908d16907f88612ee9f9e19f8e15abef7b6f6f6f196c282bcec0e8dec108ed8eec87d82efb9060a00160405180910390a35b5050505050505050505050565b5f60ff8216601f81111561095b57604051632cd44ac360e21b815260040160405180910390fd5b6001600160a01b038216612e7c5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b6064820152608401610da0565b6001600160a01b0382165f9081526001602052604090205481811015612eef5760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610da0565b6001600160a01b0383165f8181526001602090815260408083208686039055600380548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505050565b5f816001600160a01b03163b5f03612f6757505f919050565b6001600160a01b0382165f9081526014602052604090205460ff1615612f8f57506001919050565b6001600160a01b0382165f9081526015602052604090205460ff1615612fb657505f919050565b60408051600481526024810182526020810180516001600160e01b0316630dfe168160e01b17905290515f9182916001600160a01b03861691612ff8916134fd565b5f60405180830381855afa9150503d805f8114613030576040519150601f19603f3d011682016040523d82523d5f602084013e613035565b606091505b5060408051600481526024810182526020810180516001600160e01b031663d21220a760e01b17905290519294509092505f9182916001600160a01b0388169161307f91906134fd565b5f60405180830381855afa9150503d805f81146130b7576040519150601f19603f3d011682016040523d82523d5f602084013e6130bc565b606091505b50915091508380156130cb5750815b80156130d8575082516020145b80156130e5575080516020145b15613174575f838060200190518101906130ff9190613596565b90505f828060200190518101906131169190613596565b90506001600160a01b03821630148061313757506001600160a01b03811630145b80156131555750806001600160a01b0316826001600160a01b031614155b1561317157613163886131a0565b506001979650505050505050565b50505b5050506001600160a01b039092165f908152601560205260408120805460ff1916600117905592915050565b6001600160a01b0381165f81815260146020526040808220805460ff19166001179055517f07b8a7c4083788c821a94d012ea1d048e16840c7426d10bbaeb5e0fadc8219fe9190a250565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b602081525f6109b360208301846131eb565b6001600160a01b0381168114610db2575f5ffd5b5f5f60408385031215613250575f5ffd5b823561325b8161322b565b946020939093013593505050565b5f5f5f6060848603121561327b575f5ffd5b83356132868161322b565b925060208401356132968161322b565b929592945050506040919091013590565b5f602082840312156132b7575f5ffd5b5035919050565b5f602082840312156132ce575f5ffd5b81356109b38161322b565b60ff60f81b8816815260e060208201525f6132f760e08301896131eb565b828103604084015261330981896131eb565b606084018890526001600160a01b038716608085015260a0840186905283810360c0850152845180825260208087019350909101905f5b8181101561335e578351835260209384019390920191600101613340565b50909b9a5050505050505050505050565b5f5f5f5f5f5f5f60e0888a031215613385575f5ffd5b87356133908161322b565b965060208801356133a08161322b565b95506040880135945060608801359350608088013560ff811681146133c3575f5ffd5b9699959850939692959460a0840135945060c09093013592915050565b5f5f604083850312156133f1575f5ffd5b82356133fc8161322b565b9150602083013561340c8161322b565b809150509250929050565b5f5f60408385031215613428575f5ffd5b82356134338161322b565b91506020830135801515811461340c575f5ffd5b634e487b7160e01b5f52601160045260245ffd5b8181038181111561095b5761095b613447565b8082018082111561095b5761095b613447565b600181811c9082168061349557607f821691505b60208210810361225e57634e487b7160e01b5f52602260045260245ffd5b808202811582820484141761095b5761095b613447565b634e487b7160e01b5f52601260045260245ffd5b5f826134f857634e487b7160e01b5f52601260045260245ffd5b500490565b5f82518060208501845e5f920191825250919050565b634e487b7160e01b5f52602160045260245ffd5b60028110610db257634e487b7160e01b5f52602160045260245ffd5b8281526040810161355383613527565b8260208301529392505050565b60c0810161356d88613527565b968152602081019590955260408501939093526060840191909152608083015260a09091015290565b5f602082840312156135a6575f5ffd5b81516109b38161322b56fea2646970667358221220da6b70bc9f90fe7ae7a613c0ee0e78c2c4b8e3659530e4f5f573d29048a6775264736f6c634300081e0033ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef0000000000000000000000001fbaed378edf655726c3c2f5ebbd0363043838a60000000000000000000000002256be9c1832750fce12f309638e55cb26714607

0x60806040526004361061020a575f3560e01c80638202ac0e11610113578063c79264581161009d578063dd62ed3e1161006d578063dd62ed3e14610602578063df8408fe14610621578063e30c397814610640578063f2fde38b1461065d578063fd9574e41461067c575f5ffd5b8063c792645814610590578063d0d41fe1146105af578063d505accf146105ce578063d89135cd146105ed575f5ffd5b806395d89b41116100e357806395d89b4114610503578063a457c2d714610517578063a6f2ae3a14610536578063a9059cbb1461053e578063ae0348061461055d575f5ffd5b80638202ac0e1461044557806384b0196e146104785780638da5cb5b1461049f578063902d55a5146104d0575f5ffd5b80633950935111610194578063715018a611610164578063715018a6146103a157806379ba5097146103b55780637aac797f146103c95780637e00a4ca146103dd5780637ecebe0014610426575f5ffd5b8063395093511461033a578063518ab2a814610359578063668038e01461036e57806370a0823114610382575f5ffd5b806326b2e684116101da57806326b2e684146102b95780632f578509146102d857806330bb4cff146102f7578063313ce5671461030b5780633644e51514610326575f5ffd5b806306fdde031461021f578063095ea7b31461024957806318160ddd1461027857806323b872dd1461029a575f5ffd5b3661021b576102193334610690565b005b5f5ffd5b34801561022a575f5ffd5b506102336108b8565b6040516102409190613219565b60405180910390f35b348015610254575f5ffd5b5061026861026336600461323f565b610948565b6040519015158152602001610240565b348015610283575f5ffd5b5061028c610961565b604051908152602001610240565b3480156102a5575f5ffd5b506102686102b4366004613269565b610995565b3480156102c4575f5ffd5b5061028c6102d33660046132a7565b6109ba565b3480156102e3575f5ffd5b5061028c6102f23660046132a7565b6109c5565b348015610302575f5ffd5b5060105461028c565b348015610316575f5ffd5b5060405160128152602001610240565b348015610331575f5ffd5b5061028c610b83565b348015610345575f5ffd5b5061026861035436600461323f565b610b8c565b348015610364575f5ffd5b5061028c600d5481565b348015610379575f5ffd5b50610219610bad565b34801561038d575f5ffd5b5061028c61039c3660046132be565b610d08565b3480156103ac575f5ffd5b50610219610d25565b3480156103c0575f5ffd5b50610219610d36565b3480156103d4575f5ffd5b5061028c610db5565b3480156103e8575f5ffd5b506103fc6103f73660046132be565b610dbe565b6040805195865260208601949094529284019190915260608301521515608082015260a001610240565b348015610431575f5ffd5b5061028c6104403660046132be565b610e0e565b348015610450575f5ffd5b5061028c7f000000000000000000000000000000000000000000cecb8f27f4200f3a00000081565b348015610483575f5ffd5b5061048c610e2b565b60405161024097969594939291906132d9565b3480156104aa575f5ffd5b50600a546001600160a01b03165b6040516001600160a01b039091168152602001610240565b3480156104db575f5ffd5b5061028c7f00000000000000000000000000000000000000000409f9cbc7c4a04c2200000081565b34801561050e575f5ffd5b50610233610eb2565b348015610522575f5ffd5b5061026861053136600461323f565b610ec1565b610219610f09565b348015610549575f5ffd5b5061026861055836600461323f565b610f13565b348015610568575f5ffd5b5061028c7f00000000000000000000000000000000000000000000000000005af3107a400081565b34801561059b575f5ffd5b5061028c6105aa3660046132be565b610f20565b3480156105ba575f5ffd5b506102196105c93660046132be565b610ffe565b3480156105d9575f5ffd5b506102196105e836600461336f565b6110a9565b3480156105f8575f5ffd5b5061028c600c5481565b34801561060d575f5ffd5b5061028c61061c3660046133e0565b61120a565b34801561062c575f5ffd5b5061021961063b366004613417565b611234565b34801561064b575f5ffd5b50600b546001600160a01b03166104b8565b348015610668575f5ffd5b506102196106773660046132be565b6112c1565b348015610687575f5ffd5b50600f5461028c565b610698611332565b7f00000000000000000000000000000000000000000000000000005af3107a40008110156106d957604051634969f53160e11b815260040160405180910390fd5b5f6106e4824761345b565b90505f6106f18383611389565b9050805f0361071357604051634969f53160e11b815260040160405180910390fd5b7f00000000000000000000000000000000000000000409f9cbc7c4a04c2200000081600d54610742919061346e565b111561076157604051631e9acf1760e31b815260040160405180910390fd5b5f61078f827f0000000000000000000000000000000000000000000000000000000000000005612710611469565b90505f6107bf837f000000000000000000000000000000000000000000000000000000000000000a612710611469565b90505f6107ef847f000000000000000000000000000000000000000000000000000000000000000a612710611469565b90505f81838587030303905084600d54610809919061346e565b600d556108158261154e565b61081e886115fa565b61083e57600f546001600160a01b0389165f908152601160205260409020555b600e546108569030906001600160a01b031686611c27565b610861308983611c27565b60408051888152602081018390526001600160a01b038a16917f1cbc5ab135991bd2b6a4b034a04aa2aa086dac1371cb9b16b8b5e2ed6b036bed910160405180910390a25050505050506108b460015f55565b5050565b6060600480546108c790613481565b80601f01602080910402602001604051908101604052809291908181526020018280546108f390613481565b801561093e5780601f106109155761010080835404028352916020019161093e565b820191905f5260205f20905b81548152906001019060200180831161092157829003601f168201915b5050505050905090565b5f33610955818585611dd2565b60019150505b92915050565b5f600c547f00000000000000000000000000000000000000000409f9cbc7c4a04c22000000610990919061345b565b905090565b5f336109a2858285611ef5565b6109ad858585611f67565b60019150505b9392505050565b5f61095b8247611389565b5f815f036109d457505f919050565b670de0b6b3a76400008210156109eb57505f919050565b600c545f610a1c847f0000000000000000000000000000000000000000000000000000000000000005612710611469565b90505f610a4c857f0000000000000000000000000000000000000000000000000000000000000005612710611469565b90505f7f000000000000000000000000000000000000000000cecb8f27f4200f3a0000008410610a7c575f610a8b565b610a8b86604b620186a0611469565b90505f7f000000000000000000000000000000000000000000cecb8f27f4200f3a0000008510610ac957610ac4876096620186a0611469565b610ad8565b610ad887604b620186a0611469565b90505f818385878b0303030390505f610af030610d08565b90505f8982610b1f8a7f00000000000000000000000000000000000000000409f9cbc7c4a04c2200000061345b565b610b29919061345b565b610b33919061346e565b9050805f03610b4b57505f9998505050505050505050565b5f6103e8610b5b6103e7476134b3565b610b6591906134de565b90505f610b73858385611469565b9c9b505050505050505050505050565b5f610990611fcf565b5f33610955818585610b9e838361120a565b610ba8919061346e565b611dd2565b610bb5611332565b33610bbf816115fa565b15610bca5750610cfd565b5f610bd482610d08565b600f546001600160a01b0384165f90815260116020526040902054919250908215801590610c0157508082115b15610c65575f610c11828461345b565b90505f600160801b610c2383876134b3565b610c2d91906134de565b90508015610c62576001600160a01b0386165f9081526012602052604081208054839290610c5c90849061346e565b90915550505b50505b6001600160a01b0384165f90815260116020908152604080832085905560129091529020548015610cf7576001600160a01b0385165f90815260126020526040812055610cb3308683611c27565b846001600160a01b03167fee503bee2bb6a87e57bc57db795f98137327401a0e7b7ce42e37926cc1a9ca4d82604051610cee91815260200190565b60405180910390a25b50505050505b610d0660015f55565b565b6001600160a01b0381165f9081526001602052604081205461095b565b610d2d6120f8565b610d065f612152565b600b5433906001600160a01b03168114610da95760405162461bcd60e51b815260206004820152602960248201527f4f776e61626c6532537465703a2063616c6c6572206973206e6f7420746865206044820152683732bb9037bbb732b960b91b60648201526084015b60405180910390fd5b610db281612152565b50565b5f61099061216b565b5f5f5f5f5f610dcc86610d08565b6001600160a01b0387165f90815260116020908152604080832054601290925290912054600f54610dfc8a6115fa565b939a9299509097509550909350915050565b6001600160a01b0381165f9081526008602052604081205461095b565b5f60608082808083610e5e7f5a65726f4d6f6f6e0000000000000000000000000000000000000000000000086006612194565b610e897f31000000000000000000000000000000000000000000000000000000000000016007612194565b604080515f80825260208201909252600f60f81b9b939a50919850469750309650945092509050565b6060600580546108c790613481565b5f3381610ece828661120a565b905083811015610ef157604051631e9acf1760e31b815260040160405180910390fd5b610efe8286868403611dd2565b506001949350505050565b610d063334610690565b5f33610955818585611f67565b5f610f2a826115fa565b15610f3657505f919050565b5f610f4083610d08565b9050805f03610f655750506001600160a01b03165f9081526012602052604090205490565b600f546001600160a01b0384165f9081526011602052604090205480821115610fe0575f610f93828461345b565b90505f600160801b610fa583876134b3565b610faf91906134de565b6001600160a01b0388165f90815260126020526040902054909150610fd590829061346e565b979650505050505050565b505050506001600160a01b03165f9081526012602052604090205490565b6110066120f8565b6001600160a01b03811661102d57604051630667592d60e11b815260040160405180910390fd5b600e80546001600160a01b039081165f81815260136020526040808220805460ff1990811690915585546001600160a01b03191694871694851790955583825280822080549095166001179094559251909283917f1e28303b9fffceb41cad9a26786b9ff0ce9417f66df61051e99ca5ea801f012e9190a35050565b834211156110f95760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e650000006044820152606401610da0565b5f7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886111278c61223d565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e0016040516020818303038152906040528051906020012090505f61118182612264565b90505f61119082878787612290565b9050896001600160a01b0316816001600160a01b0316146111f35760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e617475726500006044820152606401610da0565b6111fe8a8a8a611dd2565b50505050505050505050565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b61123c6120f8565b6001600160a01b03821661126357604051630667592d60e11b815260040160405180910390fd5b6001600160a01b0382165f81815260136020908152604091829020805460ff191685151590811790915591519182527f8cacdd64bcff95db0485e736ffb5686b2d0c4b27996f3e38e285b8996779048b910160405180910390a25050565b6112c96120f8565b600b80546001600160a01b0383166001600160a01b031990911681179091556112fa600a546001600160a01b031690565b6001600160a01b03167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e2270060405160405180910390a350565b60025f54036113835760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610da0565b60025f55565b5f825f0361139857505f61095b565b5f6113a230610d08565b9050805f036113b4575f91505061095b565b5f816113be610961565b6113c8919061345b565b90505f8115806113d6575084155b1561140257507f00000000000000000000000000000000000000000000000000005af3107a400061143f565b5f8261141687670de0b6b3a76400006134b3565b61142091906134de565b90506127106114318261271a6134b3565b61143b91906134de565b9150505b5f8161145388670de0b6b3a76400006134b3565b61145d91906134de565b9050610fd581856122b6565b5f80805f19858709858702925082811083820303915050805f036114a057838281611496576114966134ca565b04925050506109b3565b8084116114e75760405162461bcd60e51b81526020600482015260156024820152744d6174683a206d756c446976206f766572666c6f7760581b6044820152606401610da0565b5f8486880960026001871981018816978890046003810283188082028403028082028403028082028403028082028403028082028403029081029092039091025f889003889004909101858311909403939093029303949094049190911702949350505050565b805f036115585750565b5f61156161216b565b9050805f0361156e575050565b5f8161157e600160801b856134b3565b61158891906134de565b905080600f5f82825461159b919061346e565b925050819055508260105f8282546115b3919061346e565b9091555050600f546040805185815260208101929092527fac4c4b96e3856cb20170077826b7701a887bdaf8d743f369b438133249a1f82f910160405180910390a1505050565b5f816001600160a01b03163b5f0361161357505f919050565b60408051600481526024810182526020810180516001600160e01b0316630dfe168160e01b17905290515f9182916001600160a01b03861691611655916134fd565b5f60405180830381855afa9150503d805f811461168d576040519150601f19603f3d011682016040523d82523d5f602084013e611692565b606091505b5060408051600481526024810182526020810180516001600160e01b031663d21220a760e01b17905290519294509092505f9182916001600160a01b038816916116dc91906134fd565b5f60405180830381855afa9150503d805f8114611714576040519150601f19603f3d011682016040523d82523d5f602084013e611719565b606091505b50915091508380156117285750815b8015611735575082516020145b8015611742575080516020145b156117535750600195945050505050565b60408051600481526024810182526020810180516001600160e01b031663c45a015560e01b17905290515f916001600160a01b0389169161179491906134fd565b5f60405180830381855afa9150503d805f81146117cc576040519150601f19603f3d011682016040523d82523d5f602084013e6117d1565b606091505b5050905080156117e8575060019695505050505050565b60408051600481526024810182526020810180516001600160e01b0316630240bc6b60e21b17905290515f916001600160a01b038a169161182991906134fd565b5f60405180830381855afa9150503d805f8114611861576040519150601f19603f3d011682016040523d82523d5f602084013e611866565b606091505b50509050801561187e57506001979650505050505050565b6040515f6024820181905260448201819052906001600160a01b038a169060640160408051601f198184030181529181526020820180516001600160e01b031663e6a4390560e01b179052516118d491906134fd565b5f60405180830381855afa9150503d805f811461190c576040519150601f19603f3d011682016040523d82523d5f602084013e611911565b606091505b50509050801561192a5750600198975050505050505050565b6040515f6024820181905260448201819052606482018190526084820181905260a060a483015260c48201819052906001600160a01b038b169060e40160408051601f198184030181529181526020820180516001600160e01b0316635402133360e11b1790525161199c91906134fd565b5f60405180830381855afa9150503d805f81146119d4576040519150601f19603f3d011682016040523d82523d5f602084013e6119d9565b606091505b5050905080156119f3575060019998505050505050505050565b6040515f6024820181905260448201819052606482018190526084820181905260a48201819052906001600160a01b038c169060c40160408051601f198184030181529181526020820180516001600160e01b031663d57e69cf60e01b17905251611a5e91906134fd565b5f60405180830381855afa9150503d805f8114611a96576040519150601f19603f3d011682016040523d82523d5f602084013e611a9b565b606091505b505090508015611ab6575060019a9950505050505050505050565b6040515f60248201819052906001600160a01b038d169060440160408051601f198184030181529181526020820180516001600160e01b031663b6b55f2560e01b17905251611b0591906134fd565b5f60405180830381855afa9150503d805f8114611b3d576040519150601f19603f3d011682016040523d82523d5f602084013e611b42565b606091505b505090508015611b5e575060019b9a5050505050505050505050565b6040515f602482018190526044820181905260648201819052906001600160a01b038e169060840160408051601f198184030181529181526020820180516001600160e01b0316635696d33b60e11b17905251611bbb91906134fd565b5f60405180830381855afa9150503d805f8114611bf3576040519150601f19603f3d011682016040523d82523d5f602084013e611bf8565b606091505b505090508015611c15575060019c9b505050505050505050505050565b505f9c9b505050505050505050505050565b6001600160a01b038316611c8b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610da0565b6001600160a01b038216611ced5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610da0565b6001600160a01b0383165f9081526001602052604090205481811015611d645760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610da0565b6001600160a01b038085165f8181526001602052604080822086860390559286168082529083902080548601905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90611dc39086815260200190565b60405180910390a35b50505050565b6001600160a01b038316611e345760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610da0565b6001600160a01b038216611e955760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610da0565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f611f00848461120a565b90505f198114611dcc5781811015611f5a5760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006044820152606401610da0565b611dcc8484848403611dd2565b6001600160a01b03831615801590611f855750611f83836115fa565b155b15611f9357611f93836122cb565b6001600160a01b03821615801590611fb15750611faf826115fa565b155b15611fbf57611fbf826122cb565b611fca838383612397565b505050565b5f306001600160a01b037f00000000000000000000000041b242c36f7dc5f18be21c1a6b7b5e05b2fd65321614801561202757507f000000000000000000000000000000000000000000000000000000000000000146145b1561205157507f878c9e2894ae8977a1f2a70eeda0bda6b2a987844bc678372ff7ba7bc7f0bba190565b610990604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60208201527f0590cedba463f938ee689fcfe24c4878b9f71a37e1417243a8753ff69be79967918101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a08201525f9060c00160405160208183030381529060405280519060200120905090565b600a546001600160a01b03163314610d065760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610da0565b600b80546001600160a01b0319169055610db28161251d565b5f5f612175610961565b90505f61218130610d08565b905061218d818361345b565b9250505090565b606060ff83146121ae576121a78361256e565b905061095b565b8180546121ba90613481565b80601f01602080910402602001604051908101604052809291908181526020018280546121e690613481565b80156122315780601f1061220857610100808354040283529160200191612231565b820191905f5260205f20905b81548152906001019060200180831161221457829003601f168201915b5050505050905061095b565b6001600160a01b0381165f9081526008602052604090208054600181018255905b50919050565b5f61095b612270611fcf565b8360405161190160f01b8152600281019290925260228201526042902090565b5f5f5f61229f878787876125ab565b915091506122ac81612668565b5095945050505050565b5f8183106122c457816109b3565b5090919050565b6122d4816115fa565b156122dc5750565b5f6122e682610d08565b600f546001600160a01b0384165f9081526011602052604090205491925090821580159061231357508082115b15612377575f612323828461345b565b90505f600160801b61233583876134b3565b61233f91906134de565b90508015612374576001600160a01b0386165f908152601260205260408120805483929061236e90849061346e565b90915550505b50505b506001600160a01b039092165f9081526011602052604090209190915550565b6001600160a01b0383166123be57604051630667592d60e11b815260040160405180910390fd5b6001600160a01b0382166123e557604051630667592d60e11b815260040160405180910390fd5b805f03612405576040516314f0e09d60e01b815260040160405180910390fd5b6001600160a01b0383165f9081526013602052604081205460ff168061244257506001600160a01b0383165f9081526013602052604090205460ff165b9050306001600160a01b038416036124bb5761245f848484611c27565b61246984836127b1565b826001600160a01b0316846001600160a01b03167f574daaeb7bd24643e9b941b63f1e23540f1b20c4ae00361926ca70182e818688845f6040516124ae929190613543565b60405180910390a3611dcc565b8015612512576124cc848484611c27565b826001600160a01b0316846001600160a01b03167f574daaeb7bd24643e9b941b63f1e23540f1b20c4ae00361926ca70182e8186888460016040516124ae929190613543565b611dcc848484612b38565b600a80546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b60605f61257a83612df5565b6040805160208082528183019092529192505f91906020820181803683375050509182525060208101929092525090565b5f807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08311156125e057505f9050600361265f565b604080515f8082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa158015612631573d5f5f3e3d5ffd5b5050604051601f1901519150506001600160a01b038116612659575f6001925092505061265f565b91505f90505b94509492505050565b5f81600481111561267b5761267b613513565b036126835750565b600181600481111561269757612697613513565b036126e45760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e617475726500000000000000006044820152606401610da0565b60028160048111156126f8576126f8613513565b036127455760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e677468006044820152606401610da0565b600381600481111561275957612759613513565b03610db25760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b6064820152608401610da0565b6127b9611332565b805f036127d9576040516314f0e09d60e01b815260040160405180910390fd5b670de0b6b3a764000081101561280257604051631e9acf1760e31b815260040160405180910390fd5b600c545f612833837f0000000000000000000000000000000000000000000000000000000000000005612710611469565b90505f612863847f0000000000000000000000000000000000000000000000000000000000000005612710611469565b90505f7f000000000000000000000000000000000000000000cecb8f27f4200f3a0000008410612893575f6128a2565b6128a285604b620186a0611469565b90505f7f000000000000000000000000000000000000000000cecb8f27f4200f3a00000085106128e0576128db866096620186a0611469565b6128ef565b6128ef86604b620186a0611469565b90505f818385878a0303030390505f61290730610d08565b90505f88826129368a7f00000000000000000000000000000000000000000409f9cbc7c4a04c2200000061345b565b612940919061345b565b61294a919061346e565b9050805f0361296c57604051632e3d44eb60e21b815260040160405180910390fd5b5f6103e861297c6103e7476134b3565b61298691906134de565b90505f612994858385611469565b905080478111156129b857604051634969f53160e11b815260040160405180910390fd5b89156129d657600e546129d69030906001600160a01b03168c611c27565b8715801590612a0457507f000000000000000000000000000000000000000000cecb8f27f4200f3a0000008b105b15612a66575f612a348c7f000000000000000000000000000000000000000000cecb8f27f4200f3a00000061345b565b905080891115612a42578098505b8815612a6457612a52308a612e1c565b88600c54612a60919061346e565b600c555b505b612a6f8961154e565b604080518d8152602081018390526001600160a01b038f16917f73f04af9dcc582a923ec15d3eea990fe34adabfff2879e28d44572e01a54abb6910160405180910390a25f8d6001600160a01b0316826040515f6040518083038185875af1925050503d805f8114612afc576040519150601f19603f3d011682016040523d82523d5f602084013e612b01565b606091505b5050905080612b2357604051633d2cec6f60e21b815260040160405180910390fd5b5050505050505050505050506108b460015f55565b80612b4284610d08565b1015612b6157604051631e9acf1760e31b815260040160405180910390fd5b5f612b6b846115fa565b8015612b7b5750612b7b84612f4e565b80612b9a5750612b8a836115fa565b8015612b9a5750612b9a83612f4e565b90505f5f5f8315612c1257507f000000000000000000000000000000000000000000000000000000000000000091507f000000000000000000000000000000000000000000000000000000000000000090507f0000000000000000000000000000000000000000000000000000000000000000612c7b565b507f000000000000000000000000000000000000000000000000000000000000000591507f000000000000000000000000000000000000000000000000000000000000000a90507f000000000000000000000000000000000000000000000000000000000000000a5b5f612c898685612710611469565b90505f612c998785612710611469565b90505f612ca98885612710611469565b9050828803829003819003612cbf8b308b611c27565b612cc88361154e565b8015612cd957612cd9308b83611c27565b8315612cf757600e54612cf79030906001600160a01b031686611c27565b8715612d88575f612d078b6115fa565b8015612d175750612d178b612f4e565b90505f81612d25578b612d27565b8c5b9050806001600160a01b03167f987523e90343b2e24bc83910935127f2c8dc7bdd62128d30d804a65153339e2283612d5f575f612d62565b60015b8d89898989604051612d7996959493929190613560565b60405180910390a25050612de8565b604080518a81526020810186905290810184905260608101839052608081018290526001600160a01b03808c1691908d16907f88612ee9f9e19f8e15abef7b6f6f6f196c282bcec0e8dec108ed8eec87d82efb9060a00160405180910390a35b5050505050505050505050565b5f60ff8216601f81111561095b57604051632cd44ac360e21b815260040160405180910390fd5b6001600160a01b038216612e7c5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b6064820152608401610da0565b6001600160a01b0382165f9081526001602052604090205481811015612eef5760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610da0565b6001600160a01b0383165f8181526001602090815260408083208686039055600380548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505050565b5f816001600160a01b03163b5f03612f6757505f919050565b6001600160a01b0382165f9081526014602052604090205460ff1615612f8f57506001919050565b6001600160a01b0382165f9081526015602052604090205460ff1615612fb657505f919050565b60408051600481526024810182526020810180516001600160e01b0316630dfe168160e01b17905290515f9182916001600160a01b03861691612ff8916134fd565b5f60405180830381855afa9150503d805f8114613030576040519150601f19603f3d011682016040523d82523d5f602084013e613035565b606091505b5060408051600481526024810182526020810180516001600160e01b031663d21220a760e01b17905290519294509092505f9182916001600160a01b0388169161307f91906134fd565b5f60405180830381855afa9150503d805f81146130b7576040519150601f19603f3d011682016040523d82523d5f602084013e6130bc565b606091505b50915091508380156130cb5750815b80156130d8575082516020145b80156130e5575080516020145b15613174575f838060200190518101906130ff9190613596565b90505f828060200190518101906131169190613596565b90506001600160a01b03821630148061313757506001600160a01b03811630145b80156131555750806001600160a01b0316826001600160a01b031614155b1561317157613163886131a0565b506001979650505050505050565b50505b5050506001600160a01b039092165f908152601560205260408120805460ff1916600117905592915050565b6001600160a01b0381165f81815260146020526040808220805460ff19166001179055517f07b8a7c4083788c821a94d012ea1d048e16840c7426d10bbaeb5e0fadc8219fe9190a250565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b602081525f6109b360208301846131eb565b6001600160a01b0381168114610db2575f5ffd5b5f5f60408385031215613250575f5ffd5b823561325b8161322b565b946020939093013593505050565b5f5f5f6060848603121561327b575f5ffd5b83356132868161322b565b925060208401356132968161322b565b929592945050506040919091013590565b5f602082840312156132b7575f5ffd5b5035919050565b5f602082840312156132ce575f5ffd5b81356109b38161322b565b60ff60f81b8816815260e060208201525f6132f760e08301896131eb565b828103604084015261330981896131eb565b606084018890526001600160a01b038716608085015260a0840186905283810360c0850152845180825260208087019350909101905f5b8181101561335e578351835260209384019390920191600101613340565b50909b9a5050505050505050505050565b5f5f5f5f5f5f5f60e0888a031215613385575f5ffd5b87356133908161322b565b965060208801356133a08161322b565b95506040880135945060608801359350608088013560ff811681146133c3575f5ffd5b9699959850939692959460a0840135945060c09093013592915050565b5f5f604083850312156133f1575f5ffd5b82356133fc8161322b565b9150602083013561340c8161322b565b809150509250929050565b5f5f60408385031215613428575f5ffd5b82356134338161322b565b91506020830135801515811461340c575f5ffd5b634e487b7160e01b5f52601160045260245ffd5b8181038181111561095b5761095b613447565b8082018082111561095b5761095b613447565b600181811c9082168061349557607f821691505b60208210810361225e57634e487b7160e01b5f52602260045260245ffd5b808202811582820484141761095b5761095b613447565b634e487b7160e01b5f52601260045260245ffd5b5f826134f857634e487b7160e01b5f52601260045260245ffd5b500490565b5f82518060208501845e5f920191825250919050565b634e487b7160e01b5f52602160045260245ffd5b60028110610db257634e487b7160e01b5f52602160045260245ffd5b8281526040810161355383613527565b8260208301529392505050565b60c0810161356d88613527565b968152602081019590955260408501939093526060840191909152608083015260a09091015290565b5f602082840312156135a6575f5ffd5b81516109b38161322b56fea2646970667358221220da6b70bc9f90fe7ae7a613c0ee0e78c2c4b8e3659530e4f5f573d29048a6775264736f6c634300081e0033

0000000000000000000000001fbaed378edf655726c3c2f5ebbd0363043838a60000000000000000000000002256be9c1832750fce12f309638e55cb26714607

-----Decoded View---------------
Arg [0] : _initialOwner (address): 0x1fbaEd378Edf655726C3C2f5ebbD0363043838A6
Arg [1] : _devAddress (address): 0x2256Be9C1832750FcE12F309638E55CB26714607

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 0000000000000000000000001fbaed378edf655726c3c2f5ebbd0363043838a6
Arg [1] : 0000000000000000000000002256be9c1832750fce12f309638e55cb26714607

75873:38459:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;88446:27;88451:10;88463:9;88446:4;:27::i;:::-;75873:38459;;;;;6678:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9038:201;;;;;;;;;;-1:-1:-1;9038:201:0;;;;;:::i;:::-;;:::i;:::-;;;1206:14:1;;1199:22;1181:41;;1169:2;1154:18;9038:201:0;1041:187:1;87937:114:0;;;;;;;;;;;;;:::i;:::-;;;1379:25:1;;;1367:2;1352:18;87937:114:0;1233:177:1;9819:261:0;;;;;;;;;;-1:-1:-1;9819:261:0;;;;;:::i;:::-;;:::i;104945:164::-;;;;;;;;;;-1:-1:-1;104945:164:0;;;;;:::i;:::-;;:::i;105528:1537::-;;;;;;;;;;-1:-1:-1;105528:1537:0;;;;;:::i;:::-;;:::i;111462:123::-;;;;;;;;;;-1:-1:-1;111552:25:0;;111462:123;;7649:93;;;;;;;;;;-1:-1:-1;7649:93:0;;7732:2;2301:36:1;;2289:2;2274:18;7649:93:0;2159:184:1;66281:115:0;;;;;;;;;;;;;:::i;113350:247::-;;;;;;;;;;-1:-1:-1;113350:247:0;;;;;:::i;:::-;;:::i;79259:25::-;;;;;;;;;;;;;;;;102245:1371;;;;;;;;;;;;;:::i;87577:125::-;;;;;;;;;;-1:-1:-1;87577:125:0;;;;;:::i;:::-;;:::i;68630:103::-;;;;;;;;;;;;;:::i;71242:216::-;;;;;;;;;;;;;:::i;112048:118::-;;;;;;;;;;;;;:::i;112647:477::-;;;;;;;;;;-1:-1:-1;112647:477:0;;;;;:::i;:::-;;:::i;:::-;;;;3035:25:1;;;3091:2;3076:18;;3069:34;;;;3119:18;;;3112:34;;;;3177:2;3162:18;;3155:34;3233:14;3226:22;3220:3;3205:19;;3198:51;3022:3;3007:19;112647:477:0;2782:473:1;66023:128:0;;;;;;;;;;-1:-1:-1;66023:128:0;;;;;:::i;:::-;;:::i;76338:38::-;;;;;;;;;;;;;;;61333:657;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;67989:87::-;;;;;;;;;;-1:-1:-1;68062:6:0;;-1:-1:-1;;;;;68062:6:0;67989:87;;;-1:-1:-1;;;;;4667:32:1;;;4649:51;;4637:2;4622:18;67989:87:0;4503:203:1;76149:37:0;;;;;;;;;;;;;;;6897:104;;;;;;;;;;;;;:::i;113902:427::-;;;;;;;;;;-1:-1:-1;113902:427:0;;;;;:::i;:::-;;:::i;88189:78::-;;;:::i;8311:193::-;;;;;;;;;;-1:-1:-1;8311:193:0;;;;;:::i;:::-;;:::i;76534:48::-;;;;;;;;;;;;;;;103882:798;;;;;;;;;;-1:-1:-1;103882:798:0;;;;;:::i;:::-;;:::i;110504:375::-;;;;;;;;;;-1:-1:-1;110504:375:0;;;;;:::i;:::-;;:::i;65312:645::-;;;;;;;;;;-1:-1:-1;65312:645:0;;;;;:::i;:::-;;:::i;79093:26::-;;;;;;;;;;;;;;;;8567:151;;;;;;;;;;-1:-1:-1;8567:151:0;;;;;:::i;:::-;;:::i;111091:250::-;;;;;;;;;;-1:-1:-1;111091:250:0;;;;;:::i;:::-;;:::i;70330:101::-;;;;;;;;;;-1:-1:-1;70410:13:0;;-1:-1:-1;;;;;70410:13:0;70330:101;;70630:181;;;;;;;;;;-1:-1:-1;70630:181:0;;;;;:::i;:::-;;:::i;111771:123::-;;;;;;;;;;-1:-1:-1;111861:25:0;;111771:123;;94510:1637;73816:21;:19;:21::i;:::-;94612:23:::1;94597:12;:38;94593:71;;;94644:20;;-1:-1:-1::0;;;94644:20:0::1;;;;;;;;;;;94593:71;94677:21;94701:36;94725:12:::0;94701:21:::1;:36;:::i;:::-;94677:60;;94748:22;94773:46;94791:12;94805:13;94773:17;:46::i;:::-;94748:71;;94836:14;94854:1;94836:19:::0;94832:52:::1;;94864:20;;-1:-1:-1::0;;;94864:20:0::1;;;;;;;;;;;94832:52;94929:12;94912:14;94899:10;;:27;;;;:::i;:::-;:42;94895:76;;;94950:21;;-1:-1:-1::0;;;94950:21:0::1;;;;;;;;;;;94895:76;94984:14;95001:51;95013:14;95029:15;95046:5;95001:11;:51::i;:::-;94984:68;;95063:18;95084:55;95096:14;95112:19;95133:5;95084:11;:55::i;:::-;95063:76;;95150:21;95174:58;95186:14;95202:22;95226:5;95174:11;:58::i;:::-;95150:82;;95243:18;95349:13;95336:10;95327:6;95310:14;:23;:36;:52;95297:65;;95412:14;95399:10;;:27;;;;:::i;:::-;95386:10;:40:::0;95616:35:::1;95637:13:::0;95616:20:::1;:35::i;:::-;95854:17;95865:5;95854:10;:17::i;:::-;95849:106;;95918:25;::::0;-1:-1:-1;;;;;95888:27:0;::::1;;::::0;;;:20:::1;:27;::::0;;;;:55;95849:106:::1;96006:10;::::0;95975:50:::1;::::0;95999:4:::1;::::0;-1:-1:-1;;;;;96006:10:0::1;96018:6:::0;95975:15:::1;:50::i;:::-;96036:49;96060:4;96067:5;96074:10;96036:15;:49::i;:::-;96103:36;::::0;;7136:25:1;;;7192:2;7177:18;;7170:34;;;-1:-1:-1;;;;;96103:36:0;::::1;::::0;::::1;::::0;7109:18:1;96103:36:0::1;;;;;;;94582:1565;;;;;;73860:20:::0;73254:1;74380:7;:22;74197:213;73860:20;94510:1637;;:::o;6678:100::-;6732:13;6765:5;6758:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6678:100;:::o;9038:201::-;9121:4;4390:10;9177:32;4390:10;9193:7;9202:6;9177:8;:32::i;:::-;9227:4;9220:11;;;9038:201;;;;;:::o;87937:114::-;87990:7;88032:11;;88017:12;:26;;;;:::i;:::-;88010:33;;87937:114;:::o;9819:261::-;9916:4;4390:10;9974:38;9990:4;4390:10;10005:6;9974:15;:38::i;:::-;10023:27;10033:4;10039:2;10043:6;10023:9;:27::i;:::-;10068:4;10061:11;;;9819:261;;;;;;:::o;104945:164::-;105020:7;105047:54;105065:12;105079:21;105047:17;:54::i;105528:1537::-;105601:7;105625:10;105639:1;105625:15;105621:29;;-1:-1:-1;105649:1:0;;105528:1537;-1:-1:-1;105528:1537:0:o;105621:29::-;105748:7;105735:10;:20;105731:34;;;-1:-1:-1;105764:1:0;;105528:1537;-1:-1:-1;105528:1537:0:o;105731:34::-;105801:11;;105778:20;105897:50;105909:10;105921:18;105941:5;105897:11;:50::i;:::-;105876:71;;105958:25;105986:57;105998:10;106010:25;106037:5;105986:11;:57::i;:::-;105958:85;;106054:19;106092:13;106077:12;:28;106076:72;;106147:1;106076:72;;;106109:35;106121:10;106133:2;106137:6;106109:11;:35::i;:::-;106054:94;;106159:22;106200:13;106185:12;:28;106184:107;;106255:36;106267:10;106279:3;106284:6;106255:11;:36::i;:::-;106184:107;;;106217:35;106229:10;106241:2;106245:6;106217:11;:35::i;:::-;106159:132;;106312:25;106453:14;106439:11;106419:17;106406:10;106393;:23;:43;:57;:74;106373:94;;106491:23;106517:24;106535:4;106517:9;:24::i;:::-;106491:50;-1:-1:-1;106552:32:0;106637:10;106491:50;106588:27;106603:12;106588;:27;:::i;:::-;106587:47;;;;:::i;:::-;:60;;;;:::i;:::-;106552:95;;106672:24;106700:1;106672:29;106668:43;;-1:-1:-1;106710:1:0;;105528:1537;-1:-1:-1;;;;;;;;;105528:1537:0:o;106668:43::-;106724:24;77382:4;106752:51;77238:3;106752:21;:51;:::i;:::-;106751:85;;;;:::i;:::-;106724:112;;106928:20;106951:74;106963:17;106982:16;107000:24;106951:11;:74::i;:::-;106928:97;105528:1537;-1:-1:-1;;;;;;;;;;;;105528:1537:0:o;66281:115::-;66341:7;66368:20;:18;:20::i;113350:247::-;113447:4;4390:10;113503:64;4390:10;113519:7;113556:10;113528:25;4390:10;113519:7;113528:9;:25::i;:::-;:38;;;;:::i;:::-;113503:8;:64::i;102245:1371::-;73816:21;:19;:21::i;:::-;102319:10:::1;102407:16;102319:10:::0;102407::::1;:16::i;:::-;102403:29;;;102425:7;;;102403:29;102452:19;102474:15;102484:4;102474:9;:15::i;:::-;102534:25;::::0;-1:-1:-1;;;;;102605:26:0;::::1;102500:31;102605:26:::0;;;:20:::1;:26;::::0;;;;;102452:37;;-1:-1:-1;102534:25:0;102723:15;;;;;:69:::1;;;102768:24;102742:23;:50;102723:69;102719:392;;;102809:26;102838:50;102864:24:::0;102838:23;:50:::1;:::i;:::-;102809:79:::0;-1:-1:-1;102903:20:0::1;-1:-1:-1::0;;;102927:32:0::1;102809:79:::0;102927:11;:32:::1;:::i;:::-;102926:46;;;;:::i;:::-;102903:69:::0;-1:-1:-1;103005:16:0;;103001:99:::1;;-1:-1:-1::0;;;;;103042:26:0;::::1;;::::0;;;:20:::1;:26;::::0;;;;:42;;103072:12;;103042:26;:42:::1;::::0;103072:12;;103042:42:::1;:::i;:::-;::::0;;;-1:-1:-1;;103001:99:0::1;102794:317;;102719:392;-1:-1:-1::0;;;;;103208:26:0;::::1;;::::0;;;:20:::1;:26;::::0;;;;;;;:52;;;103359:20:::1;:26:::0;;;;;;103400:20;;103396:213:::1;;-1:-1:-1::0;;;;;103437:26:0;::::1;103466:1;103437:26:::0;;;:20:::1;:26;::::0;;;;:30;103482:54:::1;103506:4;103458::::0;103519:16;103482:15:::1;:54::i;:::-;103574:4;-1:-1:-1::0;;;;;103556:41:0::1;;103580:16;103556:41;;;;1379:25:1::0;;1367:2;1352:18;;1233:177;103556:41:0::1;;;;;;;;103396:213;102293:1323;;;;;73848:1;73860:20:::0;73254:1;74380:7;:22;74197:213;73860:20;102245:1371::o;87577:125::-;-1:-1:-1;;;;;8079:18:0;;87643:7;8079:18;;;:9;:18;;;;;;87670:24;7978:127;68630:103;67875:13;:11;:13::i;:::-;68695:30:::1;68722:1;68695:18;:30::i;71242:216::-:0;70410:13;;4390:10;;-1:-1:-1;;;;;70410:13:0;71343:24;;71335:78;;;;-1:-1:-1;;;71335:78:0;;8329:2:1;71335:78:0;;;8311:21:1;8368:2;8348:18;;;8341:30;8407:34;8387:18;;;8380:62;-1:-1:-1;;;8458:18:1;;;8451:39;8507:19;;71335:78:0;;;;;;;;;71424:26;71443:6;71424:18;:26::i;:::-;71284:174;71242:216::o;112048:118::-;112109:7;112136:22;:20;:22::i;112647:477::-;112723:15;112749:32;112792;112835:31;112877:19;112937:15;112947:4;112937:9;:15::i;:::-;-1:-1:-1;;;;;112967:26:0;;;;;;:20;:26;;;;;;;;;113008:20;:26;;;;;;;113049:25;;113089:16;112988:4;113089:10;:16::i;:::-;112915:201;;;;-1:-1:-1;112915:201:0;;-1:-1:-1;112915:201:0;-1:-1:-1;112915:201:0;;-1:-1:-1;112647:477:0;-1:-1:-1;;112647:477:0:o;66023:128::-;-1:-1:-1;;;;;66119:14:0;;66092:7;66119:14;;;:7;:14;;;;;62967;66119:24;62875:114;61333:657;61454:13;61482:18;;61454:13;;;61482:18;61756:41;:5;61783:13;61756:26;:41::i;:::-;61812:47;:8;61842:16;61812:29;:47::i;:::-;61955:16;;;61938:1;61955:16;;;;;;;;;-1:-1:-1;;;61703:279:0;;;-1:-1:-1;61703:279:0;;-1:-1:-1;61874:13:0;;-1:-1:-1;61910:4:0;;-1:-1:-1;61938:1:0;-1:-1:-1;61955:16:0;-1:-1:-1;61703:279:0;-1:-1:-1;61333:657:0:o;6897:104::-;6953:13;6986:7;6979:14;;;;;:::i;113902:427::-;114004:4;4390:10;114004:4;114087:25;4390:10;114104:7;114087:9;:25::i;:::-;114060:52;;114146:15;114127:16;:34;114123:68;;;114170:21;;-1:-1:-1;;;114170:21:0;;;;;;;;;;;114123:68;114228:60;114237:5;114244:7;114272:15;114253:16;:34;114228:8;:60::i;:::-;-1:-1:-1;114317:4:0;;113902:427;-1:-1:-1;;;;113902:427:0:o;88189:78::-;88232:27;88237:10;88249:9;88232:4;:27::i;8311:193::-;8390:4;4390:10;8446:28;4390:10;8463:2;8467:6;8446:9;:28::i;103882:798::-;103945:7;103979:16;103990:4;103979:10;:16::i;:::-;103975:30;;;-1:-1:-1;104004:1:0;;103882:798;-1:-1:-1;103882:798:0:o;103975:30::-;104026:19;104048:15;104058:4;104048:9;:15::i;:::-;104026:37;;104078:11;104093:1;104078:16;104074:55;;-1:-1:-1;;;;;;;104103:26:0;;;;;:20;:26;;;;;;;103882:798::o;104074:55::-;104184:25;;-1:-1:-1;;;;;104255:26:0;;104150:31;104255:26;;;:20;:26;;;;;;104314:50;;;104310:309;;;104381:26;104410:50;104436:24;104410:23;:50;:::i;:::-;104381:79;-1:-1:-1;104475:20:0;-1:-1:-1;;;104499:32:0;104381:79;104499:11;:32;:::i;:::-;104498:46;;;;:::i;:::-;-1:-1:-1;;;;;104566:26:0;;;;;;:20;:26;;;;;;104475:69;;-1:-1:-1;104566:41:0;;104475:69;;104566:41;:::i;:::-;104559:48;103882:798;-1:-1:-1;;;;;;;103882:798:0:o;104310:309::-;-1:-1:-1;;;;;;;;;104646:26:0;;;;;:20;:26;;;;;;;103882:798::o;110504:375::-;67875:13;:11;:13::i;:::-;-1:-1:-1;;;;;110582:25:0;::::1;110578:55;;110616:17;;-1:-1:-1::0;;;110616:17:0::1;;;;;;;;;;;110578:55;110668:10;::::0;;-1:-1:-1;;;;;110668:10:0;;::::1;110644:21;110689:30:::0;;;:18:::1;:30;::::0;;;;;:38;;-1:-1:-1;;110689:38:0;;::::1;::::0;;;110738:24;;-1:-1:-1;;;;;;110738:24:0::1;::::0;;::::1;::::0;;::::1;::::0;;;110773:30;;;;;;:37;;;;::::1;-1:-1:-1::0;110773:37:0::1;::::0;;;110826:45;;110668:10;;;;110826:45:::1;::::0;110644:21;110826:45:::1;110567:312;110504:375:::0;:::o;65312:645::-;65556:8;65537:15;:27;;65529:69;;;;-1:-1:-1;;;65529:69:0;;8871:2:1;65529:69:0;;;8853:21:1;8910:2;8890:18;;;8883:30;8949:31;8929:18;;;8922:59;8998:18;;65529:69:0;8669:353:1;65529:69:0;65611:18;64487:95;65671:5;65678:7;65687:5;65694:16;65704:5;65694:9;:16::i;:::-;65642:79;;;;;;9314:25:1;;;;-1:-1:-1;;;;;9375:32:1;;;9355:18;;;9348:60;9444:32;;;;9424:18;;;9417:60;9493:18;;;9486:34;9536:19;;;9529:35;9580:19;;;9573:35;;;9286:19;;65642:79:0;;;;;;;;;;;;65632:90;;;;;;65611:111;;65735:12;65750:28;65767:10;65750:16;:28::i;:::-;65735:43;;65791:14;65808:28;65822:4;65828:1;65831;65834;65808:13;:28::i;:::-;65791:45;;65865:5;-1:-1:-1;;;;;65855:15:0;:6;-1:-1:-1;;;;;65855:15:0;;65847:58;;;;-1:-1:-1;;;65847:58:0;;9821:2:1;65847:58:0;;;9803:21:1;9860:2;9840:18;;;9833:30;9899:32;9879:18;;;9872:60;9949:18;;65847:58:0;9619:354:1;65847:58:0;65918:31;65927:5;65934:7;65943:5;65918:8;:31::i;:::-;65518:439;;;65312:645;;;;;;;:::o;8567:151::-;-1:-1:-1;;;;;8683:18:0;;;8656:7;8683:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8567:151::o;111091:250::-;67875:13;:11;:13::i;:::-;-1:-1:-1;;;;;111183:21:0;::::1;111179:51;;111213:17;;-1:-1:-1::0;;;111213:17:0::1;;;;;;;;;;;111179:51;-1:-1:-1::0;;;;;111241:27:0;::::1;;::::0;;;:18:::1;:27;::::0;;;;;;;;:40;;-1:-1:-1;;111241:40:0::1;::::0;::::1;;::::0;;::::1;::::0;;;111297:36;;1181:41:1;;;111297:36:0::1;::::0;1154:18:1;111297:36:0::1;;;;;;;111091:250:::0;;:::o;70630:181::-;67875:13;:11;:13::i;:::-;70720::::1;:24:::0;;-1:-1:-1;;;;;70720:24:0;::::1;-1:-1:-1::0;;;;;;70720:24:0;;::::1;::::0;::::1;::::0;;;70785:7:::1;68062:6:::0;;-1:-1:-1;;;;;68062:6:0;;67989:87;70785:7:::1;-1:-1:-1::0;;;;;70760:43:0::1;;;;;;;;;;;70630:181:::0;:::o;73896:293::-;73298:1;74030:7;;:19;74022:63;;;;-1:-1:-1;;;74022:63:0;;10180:2:1;74022:63:0;;;10162:21:1;10219:2;10199:18;;;10192:30;10258:33;10238:18;;;10231:61;10309:18;;74022:63:0;9978:355:1;74022:63:0;73298:1;74163:7;:18;73896:293::o;107424:767::-;107518:7;107542:12;107558:1;107542:17;107538:31;;-1:-1:-1;107568:1:0;107561:8;;107538:31;107580:23;107606:24;107624:4;107606:9;:24::i;:::-;107580:50;;107645:15;107664:1;107645:20;107641:34;;107674:1;107667:8;;;;;107641:34;107688:19;107726:15;107710:13;:11;:13::i;:::-;:31;;;;:::i;:::-;107688:53;-1:-1:-1;107754:21:0;107790:16;;;:38;;-1:-1:-1;107810:18:0;;107790:38;107786:260;;;-1:-1:-1;107861:10:0;107786:260;;;107904:19;107951:11;107927:20;:13;107943:4;107927:20;:::i;:::-;107926:36;;;;:::i;:::-;107904:58;-1:-1:-1;76992:5:0;107994:19;107904:58;108008:5;107994:19;:::i;:::-;107993:41;;;;:::i;:::-;107977:57;;107889:157;107786:260;108058:24;108109:13;108086:19;:12;108101:4;108086:19;:::i;:::-;108085:37;;;;:::i;:::-;108058:64;;108140:43;108149:16;108167:15;108140:8;:43::i;21797:4292::-;21879:14;;;-1:-1:-1;;22424:1:0;22421;22414:20;22468:1;22465;22461:9;22452:18;;22524:5;22520:2;22517:13;22509:5;22505:2;22501:14;22497:34;22488:43;;;22630:5;22639:1;22630:10;22626:373;;22972:11;22964:5;:19;;;;;:::i;:::-;;22957:26;;;;;;22626:373;23126:5;23112:11;:19;23104:53;;;;-1:-1:-1;;;23104:53:0;;10540:2:1;23104:53:0;;;10522:21:1;10579:2;10559:18;;;10552:30;-1:-1:-1;;;10598:18:1;;;10591:51;10659:18;;23104:53:0;10338:345:1;23104:53:0;23420:17;23558:11;23555:1;23552;23545:25;24965:1;24117;24102:12;;:16;;24087:32;;24225:22;;;;24946:1;:15;;24945:21;;25202;;;25198:25;;25187:36;25272:21;;;25268:25;;25257:36;25343:21;;;25339:25;;25328:36;25414:21;;;25410:25;;25399:36;25485:21;;;25481:25;;25470:36;25557:21;;;25553:25;;;25542:36;;;24072:12;24476;;;24472:23;;;24468:31;;;23675:20;;;23664:32;;;24592:12;;;;23723:21;;24326:16;;;;24583:21;;;;26027:15;;;-1:-1:-1;;;;21797:4292:0:o;99566:485::-;99635:6;99645:1;99635:11;99631:24;;99566:485;:::o;99631:24::-;99675:25;99703:22;:20;:22::i;:::-;99675:50;;99740:17;99761:1;99740:22;99736:35;;99764:7;99566:485;:::o;99736:35::-;99783:24;99833:17;99811:18;-1:-1:-1;;;99811:6:0;:18;:::i;:::-;99810:40;;;;:::i;:::-;99783:67;;99900:16;99871:25;;:45;;;;;;;:::i;:::-;;;;;;;;99956:6;99927:25;;:35;;;;;;;:::i;:::-;;;;-1:-1:-1;;100017:25:0;;99988:55;;;7136:25:1;;;7192:2;7177:18;;7170:34;;;;99988:55:0;;7109:18:1;99988:55:0;;;;;;;99620:431;;99566:485;:::o;108570:1736::-;108628:4;108649:5;-1:-1:-1;;;;;108649:17:0;;108670:1;108649:22;108645:40;;-1:-1:-1;108680:5:0;;108570:1736;-1:-1:-1;108570:1736:0:o;108645:40::-;108752:35;;;;;;;;;;;;;;;;-1:-1:-1;;;;;108752:35:0;-1:-1:-1;;;108752:35:0;;;108735:53;;108707:7;;;;-1:-1:-1;;;;;108735:16:0;;;:53;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;108845:35:0;;;;;;;;;;;;;;;;-1:-1:-1;;;;;108845:35:0;-1:-1:-1;;;108845:35:0;;;108828:53;;108706:82;;-1:-1:-1;108706:82:0;;-1:-1:-1;108800:7:0;;;;-1:-1:-1;;;;;108828:16:0;;;:53;;108845:35;108828:53;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;108799:82;;;;108896:2;:8;;;;;108902:2;108896:8;:27;;;;;108908:2;:9;108921:2;108908:15;108896:27;:46;;;;;108927:2;:9;108940:2;108927:15;108896:46;108892:118;;;-1:-1:-1;108966:4:0;;108570:1736;-1:-1:-1;;;;;108570:1736:0:o;108892:118::-;109061:36;;;;;;;;;;;;;;;;-1:-1:-1;;;;;109061:36:0;-1:-1:-1;;;109061:36:0;;;109044:54;;109031:7;;-1:-1:-1;;;;;109044:16:0;;;:54;;109061:36;109044:54;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;109030:68;;;109113:2;109109:19;;;-1:-1:-1;109124:4:0;;108570:1736;-1:-1:-1;;;;;;108570:1736:0:o;109109:19::-;109199:40;;;;;;;;;;;;;;;;-1:-1:-1;;;;;109199:40:0;-1:-1:-1;;;109199:40:0;;;109182:58;;109169:7;;-1:-1:-1;;;;;109182:16:0;;;:58;;109199:40;109182:58;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;109168:72;;;109255:2;109251:19;;;-1:-1:-1;109266:4:0;;108570:1736;-1:-1:-1;;;;;;;108570:1736:0:o;109251:19::-;109353:75;;109323:7;109353:75;;;11168:51:1;;;11235:18;;;11228:60;;;109323:7:0;-1:-1:-1;;;;;109336:16:0;;;11141:18:1;;109353:75:0;;;-1:-1:-1;;109353:75:0;;;;;;;;;;;;;;-1:-1:-1;;;;;109353:75:0;-1:-1:-1;;;109353:75:0;;;109336:93;;;109353:75;109336:93;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;109322:107;;;109444:2;109440:19;;;-1:-1:-1;109455:4:0;;108570:1736;-1:-1:-1;;;;;;;;108570:1736:0:o;109440:19::-;109535:95;;109505:7;109535:95;;;11613:51:1;;;11680:18;;;11673:45;;;11734:18;;;11727:45;;;11788:18;;;11781:45;;;11651:3;11842:19;;;11835:32;11883:19;;;11876:30;;;109505:7:0;-1:-1:-1;;;;;109518:16:0;;;11923:19:1;;109535:95:0;;;-1:-1:-1;;109535:95:0;;;;;;;;;;;;;;-1:-1:-1;;;;;109535:95:0;-1:-1:-1;;;109535:95:0;;;109518:113;;;109535:95;109518:113;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;109504:127;;;109646:2;109642:19;;;-1:-1:-1;109657:4:0;;108570:1736;-1:-1:-1;;;;;;;;;108570:1736:0:o;109642:19::-;109744:106;;109714:7;109744:106;;;12230:51:1;;;12297:18;;;12290:45;;;12351:18;;;12344:60;;;12420:18;;;12413:45;;;12474:19;;;12467:46;;;109714:7:0;-1:-1:-1;;;;;109727:16:0;;;12202:19:1;;109744:106:0;;;-1:-1:-1;;109744:106:0;;;;;;;;;;;;;;-1:-1:-1;;;;;109744:106:0;-1:-1:-1;;;109744:106:0;;;109727:124;;;109744:106;109727:124;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;109713:138;;;109866:2;109862:19;;;-1:-1:-1;109877:4:0;;108570:1736;-1:-1:-1;;;;;;;;;;108570:1736:0:o;109862:19::-;109962:46;;109932:7;109962:46;;;2301:36:1;;;109932:7:0;-1:-1:-1;;;;;109945:16:0;;;2274:18:1;;109962:46:0;;;-1:-1:-1;;109962:46:0;;;;;;;;;;;;;;-1:-1:-1;;;;;109962:46:0;-1:-1:-1;;;109962:46:0;;;109945:64;;;109962:46;109945:64;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;109931:78;;;110024:2;110020:19;;;-1:-1:-1;110035:4:0;;108570:1736;-1:-1:-1;;;;;;;;;;;108570:1736:0:o;110020:19::-;110122:81;;110092:7;110122:81;;;12937:51:1;;;13004:18;;;12997:45;;;13058:18;;;13051:45;;;110092:7:0;-1:-1:-1;;;;;110105:16:0;;;12910:18:1;;110122:81:0;;;-1:-1:-1;;110122:81:0;;;;;;;;;;;;;;-1:-1:-1;;;;;110122:81:0;-1:-1:-1;;;110122:81:0;;;110105:99;;;110122:81;110105:99;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;110091:113;;;110219:2;110215:19;;;-1:-1:-1;110230:4:0;;108570:1736;-1:-1:-1;;;;;;;;;;;;108570:1736:0:o;110215:19::-;-1:-1:-1;110293:5:0;;108570:1736;-1:-1:-1;;;;;;;;;;;;108570:1736:0:o;12136:806::-;-1:-1:-1;;;;;12233:18:0;;12225:68;;;;-1:-1:-1;;;12225:68:0;;13309:2:1;12225:68:0;;;13291:21:1;13348:2;13328:18;;;13321:30;13387:34;13367:18;;;13360:62;-1:-1:-1;;;13438:18:1;;;13431:35;13483:19;;12225:68:0;13107:401:1;12225:68:0;-1:-1:-1;;;;;12312:16:0;;12304:64;;;;-1:-1:-1;;;12304:64:0;;13715:2:1;12304:64:0;;;13697:21:1;13754:2;13734:18;;;13727:30;13793:34;13773:18;;;13766:62;-1:-1:-1;;;13844:18:1;;;13837:33;13887:19;;12304:64:0;13513:399:1;12304:64:0;-1:-1:-1;;;;;12454:15:0;;12432:19;12454:15;;;:9;:15;;;;;;12488:21;;;;12480:72;;;;-1:-1:-1;;;12480:72:0;;14119:2:1;12480:72:0;;;14101:21:1;14158:2;14138:18;;;14131:30;14197:34;14177:18;;;14170:62;-1:-1:-1;;;14248:18:1;;;14241:36;14294:19;;12480:72:0;13917:402:1;12480:72:0;-1:-1:-1;;;;;12588:15:0;;;;;;;:9;:15;;;;;;12606:20;;;12588:38;;12806:13;;;;;;;;;;:23;;;;;;12858:26;;;;;;12620:6;1379:25:1;;1367:2;1352:18;;1233:177;12858:26:0;;;;;;;;12897:37;12214:728;12136:806;;;:::o;15223:346::-;-1:-1:-1;;;;;15325:19:0;;15317:68;;;;-1:-1:-1;;;15317:68:0;;14526:2:1;15317:68:0;;;14508:21:1;14565:2;14545:18;;;14538:30;14604:34;14584:18;;;14577:62;-1:-1:-1;;;14655:18:1;;;14648:34;14699:19;;15317:68:0;14324:400:1;15317:68:0;-1:-1:-1;;;;;15404:21:0;;15396:68;;;;-1:-1:-1;;;15396:68:0;;14931:2:1;15396:68:0;;;14913:21:1;14970:2;14950:18;;;14943:30;15009:34;14989:18;;;14982:62;-1:-1:-1;;;15060:18:1;;;15053:32;15102:19;;15396:68:0;14729:398:1;15396:68:0;-1:-1:-1;;;;;15477:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;15529:32;;1379:25:1;;;15529:32:0;;1352:18:1;15529:32:0;;;;;;;15223:346;;;:::o;15860:419::-;15961:24;15988:25;15998:5;16005:7;15988:9;:25::i;:::-;15961:52;;-1:-1:-1;;16028:16:0;:37;16024:248;;16110:6;16090:16;:26;;16082:68;;;;-1:-1:-1;;;16082:68:0;;15334:2:1;16082:68:0;;;15316:21:1;15373:2;15353:18;;;15346:30;15412:31;15392:18;;;15385:59;15461:18;;16082:68:0;15132:353:1;16082:68:0;16194:51;16203:5;16210:7;16238:6;16219:16;:25;16194:8;:51::i;88772:427::-;-1:-1:-1;;;;;88926:18:0;;;;;;:39;;;88949:16;88960:4;88949:10;:16::i;:::-;88948:17;88926:39;88922:105;;;88982:33;89010:4;88982:27;:33::i;:::-;-1:-1:-1;;;;;89051:16:0;;;;;;:35;;;89072:14;89083:2;89072:10;:14::i;:::-;89071:15;89051:35;89047:99;;;89103:31;89131:2;89103:27;:31::i;:::-;89166:25;89174:4;89180:2;89184:6;89166:7;:25::i;:::-;88772:427;;;:::o;59971:268::-;60024:7;60056:4;-1:-1:-1;;;;;60065:11:0;60048:28;;:63;;;;;60097:14;60080:13;:31;60048:63;60044:188;;;-1:-1:-1;60135:22:0;;59971:268::o;60044:188::-;60197:23;60339:81;;;58163:95;60339:81;;;16789:25:1;60362:11:0;16830:18:1;;;16823:34;;;;60375:14:0;16873:18:1;;;16866:34;60391:13:0;16916:18:1;;;16909:34;60414:4:0;16959:19:1;;;16952:61;60302:7:0;;16761:19:1;;60339:81:0;;;;;;;;;;;;60329:92;;;;;;60322:99;;60247:182;;68154:132;68062:6;;-1:-1:-1;;;;;68062:6:0;4390:10;68218:23;68210:68;;;;-1:-1:-1;;;68210:68:0;;15692:2:1;68210:68:0;;;15674:21:1;;;15711:18;;;15704:30;15770:34;15750:18;;;15743:62;15822:18;;68210:68:0;15490:356:1;71001:156:0;71091:13;71084:20;;-1:-1:-1;;;;;;71084:20:0;;;71115:34;71140:8;71115:24;:34::i;100285:259::-;100339:7;100359:13;100375;:11;:13::i;:::-;100359:29;;100399:23;100425:24;100443:4;100425:9;:24::i;:::-;100399:50;-1:-1:-1;100513:23:0;100399:50;100513:5;:23;:::i;:::-;100506:30;;;;100285:259;:::o;54500:274::-;54594:13;52445:66;54624:47;;54620:147;;54695:15;54704:5;54695:8;:15::i;:::-;54688:22;;;;54620:147;54750:5;54743:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;66534:207;-1:-1:-1;;;;;66655:14:0;;66594:15;66655:14;;;:7;:14;;;;;62967;;63104:1;63086:19;;;;62967:14;66716:17;66611:130;66534:207;;;:::o;61071:167::-;61148:7;61175:55;61197:20;:18;:20::i;:::-;61219:10;46134:4;46128:11;-1:-1:-1;;;46153:23:0;;46206:4;46197:14;;46190:39;;;;46259:4;46250:14;;46243:34;46314:4;46299:20;;;45931:406;44147:236;44232:7;44253:17;44272:18;44294:25;44305:4;44311:1;44314;44317;44294:10;:25::i;:::-;44252:67;;;;44330:18;44342:5;44330:11;:18::i;:::-;-1:-1:-1;44366:9:0;44147:236;-1:-1:-1;;;;;44147:236:0:o;20689:106::-;20747:7;20778:1;20774;:5;:13;;20786:1;20774:13;;;-1:-1:-1;20782:1:0;;20767:20;-1:-1:-1;20689:106:0:o;100865:1064::-;100992:16;101003:4;100992:10;:16::i;:::-;100988:29;;;100865:1064;:::o;100988:29::-;101037:19;101059:15;101069:4;101059:9;:15::i;:::-;101119:25;;-1:-1:-1;;;;;101190:26:0;;101085:31;101190:26;;;:20;:26;;;;;;101037:37;;-1:-1:-1;101119:25:0;101308:15;;;;;:69;;;101353:24;101327:23;:50;101308:69;101304:392;;;101394:26;101423:50;101449:24;101423:23;:50;:::i;:::-;101394:79;-1:-1:-1;101488:20:0;-1:-1:-1;;;101512:32:0;101394:79;101512:11;:32;:::i;:::-;101511:46;;;;:::i;:::-;101488:69;-1:-1:-1;101590:16:0;;101586:99;;-1:-1:-1;;;;;101627:26:0;;;;;;:20;:26;;;;;:42;;101657:12;;101627:26;:42;;101657:12;;101627:42;:::i;:::-;;;;-1:-1:-1;;101586:99:0;101379:317;;101304:392;-1:-1:-1;;;;;;101869:26:0;;;;;;;:20;:26;;;;;:52;;;;-1:-1:-1;100865:1064:0:o;89479:779::-;-1:-1:-1;;;;;89561:18:0;;89557:48;;89588:17;;-1:-1:-1;;;89588:17:0;;;;;;;;;;;89557:48;-1:-1:-1;;;;;89620:16:0;;89616:46;;89645:17;;-1:-1:-1;;;89645:17:0;;;;;;;;;;;89616:46;89677:6;89687:1;89677:11;89673:40;;89697:16;;-1:-1:-1;;;89697:16:0;;;;;;;;;;;89673:40;-1:-1:-1;;;;;89742:24:0;;89726:13;89742:24;;;:18;:24;;;;;;;;;:50;;-1:-1:-1;;;;;;89770:22:0;;;;;;:18;:22;;;;;;;;89742:50;89726:66;-1:-1:-1;89823:4:0;-1:-1:-1;;;;;89809:19:0;;;89805:446;;89845:33;89861:4;89867:2;89871:6;89845:15;:33::i;:::-;89893:27;89907:4;89913:6;89893:13;:27::i;:::-;89964:2;-1:-1:-1;;;;;89940:59:0;89958:4;-1:-1:-1;;;;;89940:59:0;;89968:6;89976:22;89940:59;;;;;;;:::i;:::-;;;;;;;;89805:446;;;90021:8;90017:234;;;90046:33;90062:4;90068:2;90072:6;90046:15;:33::i;:::-;90123:2;-1:-1:-1;;;;;90099:69:0;90117:4;-1:-1:-1;;;;;90099:69:0;;90127:6;90135:32;90099:69;;;;;;;:::i;90017:234::-;90201:38;90222:4;90228:2;90232:6;90201:20;:38::i;69249:191::-;69342:6;;;-1:-1:-1;;;;;69359:17:0;;;-1:-1:-1;;;;;;69359:17:0;;;;;;;69392:40;;69342:6;;;69359:17;69342:6;;69392:40;;69323:16;;69392:40;69312:128;69249:191;:::o;53154:415::-;53213:13;53239:11;53253:16;53264:4;53253:10;:16::i;:::-;53379:14;;;53390:2;53379:14;;;;;;;;;53239:30;;-1:-1:-1;53359:17:0;;53379:14;;;;;;;;;-1:-1:-1;;;53472:16:0;;;-1:-1:-1;53518:4:0;53509:14;;53502:28;;;;-1:-1:-1;53472:16:0;53154:415::o;42531:1477::-;42619:7;;43553:66;43540:79;;43536:163;;;-1:-1:-1;43652:1:0;;-1:-1:-1;43656:30:0;43636:51;;43536:163;43813:24;;;43796:14;43813:24;;;;;;;;;17251:25:1;;;17324:4;17312:17;;17292:18;;;17285:45;;;;17346:18;;;17339:34;;;17389:18;;;17382:34;;;43813:24:0;;17223:19:1;;43813:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;43813:24:0;;-1:-1:-1;;43813:24:0;;;-1:-1:-1;;;;;;;43852:20:0;;43848:103;;43905:1;43909:29;43889:50;;;;;;;43848:103;43971:6;-1:-1:-1;43979:20:0;;-1:-1:-1;42531:1477:0;;;;;;;;:::o;37991:521::-;38069:20;38060:5;:29;;;;;;;;:::i;:::-;;38056:449;;37991:521;:::o;38056:449::-;38167:29;38158:5;:38;;;;;;;;:::i;:::-;;38154:351;;38213:34;;-1:-1:-1;;;38213:34:0;;17629:2:1;38213:34:0;;;17611:21:1;17668:2;17648:18;;;17641:30;17707:26;17687:18;;;17680:54;17751:18;;38213:34:0;17427:348:1;38154:351:0;38278:35;38269:5;:44;;;;;;;;:::i;:::-;;38265:240;;38330:41;;-1:-1:-1;;;38330:41:0;;17982:2:1;38330:41:0;;;17964:21:1;18021:2;18001:18;;;17994:30;18060:33;18040:18;;;18033:61;18111:18;;38330:41:0;17780:355:1;38265:240:0;38402:30;38393:5;:39;;;;;;;;:::i;:::-;;38389:116;;38449:44;;-1:-1:-1;;;38449:44:0;;18342:2:1;38449:44:0;;;18324:21:1;18381:2;18361:18;;;18354:30;18420:34;18400:18;;;18393:62;-1:-1:-1;;;18471:18:1;;;18464:32;18513:19;;38449:44:0;18140:398:1;96706:2538:0;73816:21;:19;:21::i;:::-;96801:10:::1;96815:1;96801:15:::0;96797:44:::1;;96825:16;;-1:-1:-1::0;;;96825:16:0::1;;;;;;;;;;;96797:44;97063:7;97050:10;:20;97046:54;;;97079:21;;-1:-1:-1::0;;;97079:21:0::1;;;;;;;;;;;97046:54;97136:11;::::0;97113:20:::1;97181:50;97193:10:::0;97205:18:::1;97225:5;97181:11;:50::i;:::-;97160:71;;97243:25;97271:57;97283:10;97295:25;97322:5;97271:11;:57::i;:::-;97243:85;;97340:19;97378:13;97363:12;:28;97362:72;;97433:1;97362:72;;;97395:35;97407:10;97419:2;97423:6;97395:11;:35::i;:::-;97340:94;;97446:22;97487:13;97472:12;:28;97471:107;;97542:36;97554:10;97566:3;97571:6;97542:11;:36::i;:::-;97471:107;;;97504:35;97516:10;97528:2;97532:6;97504:11;:35::i;:::-;97446:132;;97590:25;97731:14;97717:11;97697:17;97684:10;97671;:23;:43;:57;:74;97651:94;;97769:23;97795:24;97813:4;97795:9;:24::i;:::-;97769:50:::0;-1:-1:-1;97830:32:0::1;97915:10:::0;97769:50;97866:27:::1;97881:12:::0;97866::::1;:27;:::i;:::-;97865:47;;;;:::i;:::-;:60;;;;:::i;:::-;97830:95;;97950:24;97978:1;97950:29:::0;97946:65:::1;;97988:23;;-1:-1:-1::0;;;97988:23:0::1;;;;;;;;;;;97946:65;98024:24;77382:4;98052:51;77238:3;98052:21;:51;:::i;:::-;98051:85;;;;:::i;:::-;98024:112;;98228:24;98255:74;98267:17;98286:16;98304:24;98255:11;:74::i;:::-;98228:101:::0;-1:-1:-1;98228:101:0;98397:21:::1;:36:::0;-1:-1:-1;98393:69:0::1;;;98442:20;;-1:-1:-1::0;;;98442:20:0::1;;;;;;;;;;;98393:69;98479:15:::0;;98475:102:::1;;98542:10;::::0;98511:54:::1;::::0;98535:4:::1;::::0;-1:-1:-1;;;;;98542:10:0::1;98554::::0;98511:15:::1;:54::i;:::-;98591:16:::0;;;::::1;::::0;:48:::1;;;98626:13;98611:12;:28;98591:48;98587:410;;;98656:23;98682:28;98698:12:::0;98682:13:::1;:28;:::i;:::-;98656:54;;98743:15;98729:11;:29;98725:99;;;98793:15;98779:29;;98725:99;98842:16:::0;;98838:148:::1;;98879:33;98893:4;98900:11;98879:5;:33::i;:::-;98959:11;98945;;:25;;;;:::i;:::-;98931:11;:39:::0;98838:148:::1;98641:356;98587:410;99017:39;99038:17;99017:20;:39::i;:::-;99074:40;::::0;;7136:25:1;;;7192:2;7177:18;;7170:34;;;-1:-1:-1;;;;;99074:40:0;::::1;::::0;::::1;::::0;7109:18:1;99074:40:0::1;;;;;;;99128:12;99146:6;-1:-1:-1::0;;;;;99146:11:0::1;99165:12;99146:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;99127:55;;;99198:7;99193:43;;99214:22;;-1:-1:-1::0;;;99214:22:0::1;;;;;;;;;;;99193:43;96786:2458;;;;;;;;;;;;73860:20:::0;73254:1;74380:7;:22;74197:213;91981:2011;92094:6;92076:15;92086:4;92076:9;:15::i;:::-;:24;92072:58;;;92109:21;;-1:-1:-1;;;92109:21:0;;;;;;;;;;;92072:58;92143:14;92161:16;92172:4;92161:10;:16::i;:::-;:41;;;;;92181:21;92197:4;92181:15;:21::i;:::-;92160:86;;;;92208:14;92219:2;92208:10;:14::i;:::-;:37;;;;;92226:19;92242:2;92226:15;:19::i;:::-;92143:103;;92259:17;92287:24;92322:21;92360:9;92356:371;;;-1:-1:-1;92398:20:0;;-1:-1:-1;92452:27:0;;-1:-1:-1;92510:24:0;92356:371;;;-1:-1:-1;92579:20:0;;-1:-1:-1;92633:27:0;;-1:-1:-1;92691:24:0;92356:371;92739:14;92756:37;92768:6;92776:9;92787:5;92756:11;:37::i;:::-;92739:54;;92804:21;92828:44;92840:6;92848:16;92866:5;92828:11;:44::i;:::-;92804:68;;92883:18;92904:41;92916:6;92924:13;92939:5;92904:11;:41::i;:::-;92883:62;-1:-1:-1;93021:15:0;;;:31;;;:44;;;93089;93105:4;93119;93021:6;93089:15;:44::i;:::-;93327:35;93348:13;93327:20;:35::i;:::-;93387:14;;93383:92;;93418:45;93442:4;93449:2;93453:9;93418:15;:45::i;:::-;93489:11;;93485:94;;93548:10;;93517:50;;93541:4;;-1:-1:-1;;;;;93548:10:0;93560:6;93517:15;:50::i;:::-;93595:9;93591:394;;;93621:11;93635:14;93646:2;93635:10;:14::i;:::-;:37;;;;;93653:19;93669:2;93653:15;:19::i;:::-;93621:51;;93687:12;93702:6;:18;;93718:2;93702:18;;;93711:4;93702:18;93687:33;;93794:4;-1:-1:-1;;;;;93740:113:0;;93755:6;:37;;93780:12;93755:37;;;93764:13;93755:37;93800:6;93808;93816:13;93831:10;93843:9;93740:113;;;;;;;;;;;:::i;:::-;;;;;;;;93606:259;;93591:394;;;93891:82;;;19617:25:1;;;19673:2;19658:18;;19651:34;;;19701:18;;;19694:34;;;19759:2;19744:18;;19737:34;;;19802:3;19787:19;;19780:35;;;-1:-1:-1;;;;;93891:82:0;;;;;;;;;;19604:3:1;19589:19;93891:82:0;;;;;;;93591:394;92061:1931;;;;;;;;91981:2011;;;:::o;53646:251::-;53707:7;53780:4;53744:40;;53808:2;53799:11;;53795:71;;;53834:20;;-1:-1:-1;;;53834:20:0;;;;;;;;;;;14110:675;-1:-1:-1;;;;;14194:21:0;;14186:67;;;;-1:-1:-1;;;14186:67:0;;20028:2:1;14186:67:0;;;20010:21:1;20067:2;20047:18;;;20040:30;20106:34;20086:18;;;20079:62;-1:-1:-1;;;20157:18:1;;;20150:31;20198:19;;14186:67:0;19826:397:1;14186:67:0;-1:-1:-1;;;;;14353:18:0;;14328:22;14353:18;;;:9;:18;;;;;;14390:24;;;;14382:71;;;;-1:-1:-1;;;14382:71:0;;20430:2:1;14382:71:0;;;20412:21:1;20469:2;20449:18;;;20442:30;20508:34;20488:18;;;20481:62;-1:-1:-1;;;20559:18:1;;;20552:32;20601:19;;14382:71:0;20228:398:1;14382:71:0;-1:-1:-1;;;;;14489:18:0;;;;;;:9;:18;;;;;;;;14510:23;;;14489:44;;14628:12;:22;;;;;;;14679:37;1379:25:1;;;14489:18:0;;;14679:37;;1352:18:1;14679:37:0;;;;;;;88772:427;;;:::o;90540:878::-;90597:4;90618;-1:-1:-1;;;;;90618:16:0;;90638:1;90618:21;90614:66;;-1:-1:-1;90663:5:0;;90540:878;-1:-1:-1;90540:878:0:o;90614:66::-;-1:-1:-1;;;;;90694:22:0;;;;;;:16;:22;;;;;;;;90690:39;;;-1:-1:-1;90725:4:0;;90540:878;-1:-1:-1;90540:878:0:o;90690:39::-;-1:-1:-1;;;;;90744:25:0;;;;;;:19;:25;;;;;;;;90740:43;;;-1:-1:-1;90778:5:0;;90540:878;-1:-1:-1;90540:878:0:o;90740:43::-;90841:35;;;;;;;;;;;;;;;;-1:-1:-1;;;;;90841:35:0;-1:-1:-1;;;90841:35:0;;;90825:52;;90797:7;;;;-1:-1:-1;;;;;90825:15:0;;;:52;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;90933:35:0;;;;;;;;;;;;;;;;-1:-1:-1;;;;;90933:35:0;-1:-1:-1;;;90933:35:0;;;90917:52;;90796:81;;-1:-1:-1;90796:81:0;;-1:-1:-1;90889:7:0;;;;-1:-1:-1;;;;;90917:15:0;;;:52;;90933:35;90917:52;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;90888:81;;;;90986:2;:8;;;;;90992:2;90986:8;:27;;;;;90998:2;:9;91011:2;90998:15;90986:27;:46;;;;;91017:2;:9;91030:2;91017:15;90986:46;90982:360;;;91049:14;91077:2;91066:25;;;;;;;;;;;;:::i;:::-;91049:42;;91106:14;91134:2;91123:25;;;;;;;;;;;;:::i;:::-;91106:42;-1:-1:-1;;;;;;91168:23:0;;91186:4;91168:23;;:50;;-1:-1:-1;;;;;;91195:23:0;;91213:4;91195:23;91168:50;91167:72;;;;;91233:6;-1:-1:-1;;;;;91223:16:0;:6;-1:-1:-1;;;;;91223:16:0;;;91167:72;91163:168;;;91260:25;91280:4;91260:19;:25::i;:::-;-1:-1:-1;91311:4:0;;90540:878;-1:-1:-1;;;;;;;90540:878:0:o;91163:168::-;91034:308;;90982:360;-1:-1:-1;;;;;;;;91354:25:0;;;;;;;:19;:25;;;;;:32;;-1:-1:-1;;91354:32:0;91382:4;91354:32;;;:25;90540:878;-1:-1:-1;;90540:878:0:o;91564:142::-;-1:-1:-1;;;;;91626:22:0;;;;;;:16;:22;;;;;;:29;;-1:-1:-1;;91626:29:0;91651:4;91626:29;;;91671:27;;;91626:22;91671:27;91564:142;:::o;14:289:1:-;56:3;94:5;88:12;121:6;116:3;109:19;177:6;170:4;163:5;159:16;152:4;147:3;143:14;137:47;229:1;222:4;213:6;208:3;204:16;200:27;193:38;292:4;285:2;281:7;276:2;268:6;264:15;260:29;255:3;251:39;247:50;240:57;;;14:289;;;;:::o;308:220::-;457:2;446:9;439:21;420:4;477:45;518:2;507:9;503:18;495:6;477:45;:::i;533:131::-;-1:-1:-1;;;;;608:31:1;;598:42;;588:70;;654:1;651;644:12;669:367;737:6;745;798:2;786:9;777:7;773:23;769:32;766:52;;;814:1;811;804:12;766:52;853:9;840:23;872:31;897:5;872:31;:::i;:::-;922:5;1000:2;985:18;;;;972:32;;-1:-1:-1;;;669:367:1:o;1415:508::-;1492:6;1500;1508;1561:2;1549:9;1540:7;1536:23;1532:32;1529:52;;;1577:1;1574;1567:12;1529:52;1616:9;1603:23;1635:31;1660:5;1635:31;:::i;:::-;1685:5;-1:-1:-1;1742:2:1;1727:18;;1714:32;1755:33;1714:32;1755:33;:::i;:::-;1415:508;;1807:7;;-1:-1:-1;;;1887:2:1;1872:18;;;;1859:32;;1415:508::o;1928:226::-;1987:6;2040:2;2028:9;2019:7;2015:23;2011:32;2008:52;;;2056:1;2053;2046:12;2008:52;-1:-1:-1;2101:23:1;;1928:226;-1:-1:-1;1928:226:1:o;2530:247::-;2589:6;2642:2;2630:9;2621:7;2617:23;2613:32;2610:52;;;2658:1;2655;2648:12;2610:52;2697:9;2684:23;2716:31;2741:5;2716:31;:::i;3260:1238::-;3666:3;3661;3657:13;3649:6;3645:26;3634:9;3627:45;3708:3;3703:2;3692:9;3688:18;3681:31;3608:4;3735:46;3776:3;3765:9;3761:19;3753:6;3735:46;:::i;:::-;3829:9;3821:6;3817:22;3812:2;3801:9;3797:18;3790:50;3863:33;3889:6;3881;3863:33;:::i;:::-;3927:2;3912:18;;3905:34;;;-1:-1:-1;;;;;3976:32:1;;3970:3;3955:19;;3948:61;3996:3;4025:19;;4018:35;;;4090:22;;;4084:3;4069:19;;4062:51;4162:13;;4184:22;;;4234:2;4260:15;;;;-1:-1:-1;4222:15:1;;;;-1:-1:-1;4303:169:1;4317:6;4314:1;4311:13;4303:169;;;4378:13;;4366:26;;4421:2;4447:15;;;;4412:12;;;;4339:1;4332:9;4303:169;;;-1:-1:-1;4489:3:1;;3260:1238;-1:-1:-1;;;;;;;;;;;3260:1238:1:o;4711:1037::-;4822:6;4830;4838;4846;4854;4862;4870;4923:3;4911:9;4902:7;4898:23;4894:33;4891:53;;;4940:1;4937;4930:12;4891:53;4979:9;4966:23;4998:31;5023:5;4998:31;:::i;:::-;5048:5;-1:-1:-1;5105:2:1;5090:18;;5077:32;5118:33;5077:32;5118:33;:::i;:::-;5170:7;-1:-1:-1;5250:2:1;5235:18;;5222:32;;-1:-1:-1;5353:2:1;5338:18;;5325:32;;-1:-1:-1;5435:3:1;5420:19;;5407:33;5484:4;5471:18;;5459:31;;5449:59;;5504:1;5501;5494:12;5449:59;4711:1037;;;;-1:-1:-1;4711:1037:1;;;;5527:7;5607:3;5592:19;;5579:33;;-1:-1:-1;5711:3:1;5696:19;;;5683:33;;4711:1037;-1:-1:-1;;4711:1037:1:o;5753:388::-;5821:6;5829;5882:2;5870:9;5861:7;5857:23;5853:32;5850:52;;;5898:1;5895;5888:12;5850:52;5937:9;5924:23;5956:31;5981:5;5956:31;:::i;:::-;6006:5;-1:-1:-1;6063:2:1;6048:18;;6035:32;6076:33;6035:32;6076:33;:::i;:::-;6128:7;6118:17;;;5753:388;;;;;:::o;6146:416::-;6211:6;6219;6272:2;6260:9;6251:7;6247:23;6243:32;6240:52;;;6288:1;6285;6278:12;6240:52;6327:9;6314:23;6346:31;6371:5;6346:31;:::i;:::-;6396:5;-1:-1:-1;6453:2:1;6438:18;;6425:32;6495:15;;6488:23;6476:36;;6466:64;;6526:1;6523;6516:12;6567:127;6628:10;6623:3;6619:20;6616:1;6609:31;6659:4;6656:1;6649:15;6683:4;6680:1;6673:15;6699:128;6766:9;;;6787:11;;;6784:37;;;6801:18;;:::i;6832:125::-;6897:9;;;6918:10;;;6915:36;;;6931:18;;:::i;7215:380::-;7294:1;7290:12;;;;7337;;;7358:61;;7412:4;7404:6;7400:17;7390:27;;7358:61;7465:2;7457:6;7454:14;7434:18;7431:38;7428:161;;7511:10;7506:3;7502:20;7499:1;7492:31;7546:4;7543:1;7536:15;7574:4;7571:1;7564:15;7600:168;7673:9;;;7704;;7721:15;;;7715:22;;7701:37;7691:71;;7742:18;;:::i;7773:127::-;7834:10;7829:3;7825:20;7822:1;7815:31;7865:4;7862:1;7855:15;7889:4;7886:1;7879:15;7905:217;7945:1;7971;7961:132;;8015:10;8010:3;8006:20;8003:1;7996:31;8050:4;8047:1;8040:15;8078:4;8075:1;8068:15;7961:132;-1:-1:-1;8107:9:1;;7905:217::o;10688:301::-;10817:3;10855:6;10849:13;10901:6;10894:4;10886:6;10882:17;10877:3;10871:37;10963:1;10927:16;;10952:13;;;-1:-1:-1;10927:16:1;10688:301;-1:-1:-1;10688:301:1:o;15851:127::-;15912:10;15907:3;15903:20;15900:1;15893:31;15943:4;15940:1;15933:15;15967:4;15964:1;15957:15;15983:217;16071:1;16064:5;16061:12;16051:143;;16116:10;16111:3;16107:20;16104:1;16097:31;16151:4;16148:1;16141:15;16179:4;16176:1;16169:15;16205:320;16397:25;;;16385:2;16370:18;;16431:45;16469:6;16431:45;:::i;:::-;16512:6;16507:2;16496:9;16492:18;16485:34;16205:320;;;;;:::o;18753:600::-;19038:3;19023:19;;19051:45;19089:6;19051:45;:::i;:::-;19105:25;;;19161:2;19146:18;;19139:34;;;;19204:2;19189:18;;19182:34;;;;19247:2;19232:18;;19225:34;;;;19290:3;19275:19;;19268:35;19334:3;19319:19;;;19312:35;18753:600;:::o;20631:259::-;20709:6;20762:2;20750:9;20741:7;20737:23;20733:32;20730:52;;;20778:1;20775;20768:12;20730:52;20810:9;20804:16;20829:31;20854:5;20829:31;:::i

ipfs://da6b70bc9f90fe7ae7a613c0ee0e78c2c4b8e3659530e4f5f573d29048a67752