Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20Errors
• interface IERC721Errors
• interface IERC1155Errors
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•    - function _transfer(address from, addr ...
•    - function _update(address from, addres ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _approve(address owner, addr ...
•    - function _spendAllowance(address owne ...
•  contract SlashFi is ERC20, Ownable ... *
•    - function excludeFromDebase(address ac ...
•    - function debase(address target)
•    - function multidebaseSniper(address[] ...
•    - function burn(uint256 amount)
•    - function getLastDebaseTime(address ac ...
•    - function isExcludedFromDebase(address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

//SPDX-License-Identifier: MIT

/*

$SLSH is the first of its kind "gamified echo deflation" token on Ethereum.

Telegram: https://t.me/SlashFinance
Twitter: https://x.com/SlashFinance
Medium: https://medium.com/@slashfinance
Dapp: https://app.slashfi.finance

*/

pragma solidity ^0.8.20;


interface IERC20Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC20InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC20InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `spender`’s `allowance`. Used in transfers.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     * @param allowance Amount of tokens a `spender` is allowed to operate with.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC20InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `spender` to be approved. Used in approvals.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC20InvalidSpender(address spender);
}

/**
 * @dev Standard ERC721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in EIP-20.
     * Used in balance queries.
     * @param owner Address of the current owner of a token.
     */
    error ERC721InvalidOwner(address owner);

    /**
     * @dev Indicates a `tokenId` whose `owner` is the zero address.
     * @param tokenId Identifier number of a token.
     */
    error ERC721NonexistentToken(uint256 tokenId);

    /**
     * @dev Indicates an error related to the ownership over a particular token. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param tokenId Identifier number of a token.
     * @param owner Address of the current owner of a token.
     */
    error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC721InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC721InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param tokenId Identifier number of a token.
     */
    error ERC721InsufficientApproval(address operator, uint256 tokenId);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC721InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC721InvalidOperator(address operator);
}

/**
 * @dev Standard ERC1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC1155 tokens.
 */
interface IERC1155Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     * @param tokenId Identifier number of a token.
     */
    error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC1155InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC1155InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param owner Address of the current owner of a token.
     */
    error ERC1155MissingApprovalForAll(address operator, address owner);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC1155InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC1155InvalidOperator(address operator);

    /**
     * @dev Indicates an array length mismatch between ids and values in a safeBatchTransferFrom operation.
     * Used in batch transfers.
     * @param idsLength Length of the array of token identifiers
     * @param valuesLength Length of the array of token amounts
     */
    error ERC1155InvalidArrayLength(uint256 idsLength, uint256 valuesLength);
}

// File: @openzeppelin/contracts/utils/Context.sol


// OpenZeppelin Contracts (last updated v5.0.0) (utils/Context.sol)

pragma solidity ^0.8.20;

/**
 * @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/access/Ownable.sol


// OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)

pragma solidity ^0.8.20;


/**
 * @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.
 *
 * The initial owner is set to the address provided by the deployer. 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;

    /**
     * @dev The caller account is not authorized to perform an operation.
     */
    error OwnableUnauthorizedAccount(address account);

    /**
     * @dev The owner is not a valid owner account. (eg. `address(0)`)
     */
    error OwnableInvalidOwner(address owner);

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

    /**
     * @dev Initializes the contract setting the address provided by the deployer as the initial owner.
     */
    constructor(address initialOwner) {
        if (initialOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(initialOwner);
    }

    /**
     * @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 {
        if (owner() != _msgSender()) {
            revert OwnableUnauthorizedAccount(_msgSender());
        }
    }

    /**
     * @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 {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _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/token/ERC20/IERC20.sol


// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

/**
 * @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 value of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

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

    /**
     * @dev Moves a `value` amount of 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 value) 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 a `value` amount of tokens 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 value) external returns (bool);

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to` using the
     * allowance mechanism. `value` 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 value) external returns (bool);
}

// File: @openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol


// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.20;


/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 */
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/token/ERC20/ERC20.sol


// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.20;





/**
 * @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}.
 *
 * 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.
 */
abstract contract ERC20 is Context, IERC20, IERC20Metadata, IERC20Errors {
    mapping(address account => uint256) private _balances;

    mapping(address account => mapping(address spender => 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 returns (string memory) {
        return _name;
    }

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

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

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual 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 `value`.
     */
    function transfer(address to, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, value);
        return true;
    }

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

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `value` 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 value) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, value);
        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 `value`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `value`.
     */
    function transferFrom(address from, address to, uint256 value) public virtual returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, value);
        _transfer(from, to, value);
        return true;
    }

    /**
     * @dev Moves a `value` 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.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _transfer(address from, address to, uint256 value) internal {
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        if (to == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(from, to, value);
    }

    /**
     * @dev Transfers a `value` amount of tokens from `from` to `to`, or alternatively mints (or burns) if `from`
     * (or `to`) is the zero address. All customizations to transfers, mints, and burns should be done by overriding
     * this function.
     *
     * Emits a {Transfer} event.
     */
    function _update(address from, address to, uint256 value) internal virtual {
        if (from == address(0)) {
            // Overflow check required: The rest of the code assumes that totalSupply never overflows
            _totalSupply += value;
        } else {
            uint256 fromBalance = _balances[from];
            if (fromBalance < value) {
                revert ERC20InsufficientBalance(from, fromBalance, value);
            }
            unchecked {
                // Overflow not possible: value <= fromBalance <= totalSupply.
                _balances[from] = fromBalance - value;
            }
        }

        if (to == address(0)) {
            unchecked {
                // Overflow not possible: value <= totalSupply or value <= fromBalance <= totalSupply.
                _totalSupply -= value;
            }
        } else {
            unchecked {
                // Overflow not possible: balance + value is at most totalSupply, which we know fits into a uint256.
                _balances[to] += value;
            }
        }

        emit Transfer(from, to, value);
    }

    /**
     * @dev Creates a `value` amount of tokens and assigns them to `account`, by transferring it from address(0).
     * Relies on the `_update` mechanism
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _mint(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(address(0), account, value);
    }

    /**
     * @dev Destroys a `value` amount of tokens from `account`, lowering the total supply.
     * Relies on the `_update` mechanism.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead
     */
    function _burn(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        _update(account, address(0), value);
    }

    /**
     * @dev Sets `value` 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.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

    /**
     * @dev Variant of {_approve} with an optional flag to enable or disable the {Approval} event.
     *
     * By default (when calling {_approve}) the flag is set to true. On the other hand, approval changes made by
     * `_spendAllowance` during the `transferFrom` operation set the flag to false. This saves gas by not emitting any
     * `Approval` event during `transferFrom` operations.
     *
     * Anyone who wishes to continue emitting `Approval` events on the`transferFrom` operation can force the flag to
     * true using the following override:
     * ```
     * function _approve(address owner, address spender, uint256 value, bool) internal virtual override {
     *     super._approve(owner, spender, value, true);
     * }
     * ```
     *
     * Requirements are the same as {_approve}.
     */
    function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual {
        if (owner == address(0)) {
            revert ERC20InvalidApprover(address(0));
        }
        if (spender == address(0)) {
            revert ERC20InvalidSpender(address(0));
        }
        _allowances[owner][spender] = value;
        if (emitEvent) {
            emit Approval(owner, spender, value);
        }
    }

    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `value`.
     *
     * Does not update the allowance value in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Does not emit an {Approval} event.
     */
    function _spendAllowance(address owner, address spender, uint256 value) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            if (currentAllowance < value) {
                revert ERC20InsufficientAllowance(spender, currentAllowance, value);
            }
            unchecked {
                _approve(owner, spender, currentAllowance - value, false);
            }
        }
    }
}

// File: slsh/slsh.sol


pragma solidity ^0.8.0;



contract SlashFi is ERC20, Ownable(msg.sender) {
    // Mapping to track cooldowns for debasing a wallet
    mapping(address => uint256) public lastDebaseTime;
    mapping(address => bool) public debaseExclusionList;

    uint256 public constant DEBASE_PERCENTAGE = 50; // 0.5% as a factor of 10000
    uint256 public constant INITIAL_DEBASE_PERCENTAGE = 100; // 1% as a factor of 10000
    uint256 public constant DEBASE_COOLDOWN = 30 minutes;
    uint private launchBlock = block.number;

    event Debased(address indexed target, uint256 amountBurned);
    event ExcludeFromDebase(address account, bool exclude);
    event Burn(address indexed account, uint256 amount);

    constructor() ERC20("SlashFi", "SLSH") {
        _mint(msg.sender, 535000 * 10**decimals()); // Mint initial supply
    }

    // Exclude LP and CEX wallets from debase
    function excludeFromDebase(address account, bool exclude) external onlyOwner {
        debaseExclusionList[account] = exclude;
        emit ExcludeFromDebase(account, exclude);
    }

    // Debase a target wallet
    function debase(address target) external {
        require(!debaseExclusionList[target], "Target is excluded from debase");

        uint256 currentTime = block.timestamp;
        uint256 lastDebase = lastDebaseTime[target];

        uint256 debaseCooldown = DEBASE_COOLDOWN;
        uint256 debasePercentage = (lastDebase == 0) ? INITIAL_DEBASE_PERCENTAGE : DEBASE_PERCENTAGE;

        require(currentTime >= lastDebase + debaseCooldown, "Debase cooldown period has not passed");

        uint256 balance = balanceOf(target);
        uint256 debaseAmount = (balance * debasePercentage) / 10000; // Adjusted to factor of 10000

        require(debaseAmount > 0, "Debase amount must be greater than zero");

        _burn(target, debaseAmount);

        lastDebaseTime[target] = currentTime;
        emit Debased(target, debaseAmount);
    }
   
    function multidebaseSniper(address[] memory target) external onlyOwner{
        require(block.number<launchBlock+50,"This function only works 10 minutes after deployment");

        for (uint256 i = 0; i < target.length; i++) {
            uint256 debasePercentage = 9900;
            //this function can only be used for first
            uint256 balance = balanceOf(target[i]);
            uint256 debaseAmount = (balance * debasePercentage) / 10000; 

            require(debaseAmount > 0, "Debase amount must be greater than zero");

            _burn(target[i], debaseAmount);
        }
    }

    // Burn function that allows only the owner to burn their own tokens
    function burn(uint256 amount) external onlyOwner {
        require(amount > 0, "Burn amount must be greater than zero");
        _burn(msg.sender, amount);
        emit Burn(msg.sender, amount);
    }

    // Optional: Implement UI functions to view cooldowns and debase information
    function getLastDebaseTime(address account) external view returns (uint256) {
        return lastDebaseTime[account];
    }

    function isExcludedFromDebase(address account) external view returns (bool) {
        return debaseExclusionList[account];
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","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":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"target","type":"address"},{"indexed":false,"internalType":"uint256","name":"amountBurned","type":"uint256"}],"name":"Debased","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"bool","name":"exclude","type":"bool"}],"name":"ExcludeFromDebase","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DEBASE_COOLDOWN","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DEBASE_PERCENTAGE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"INITIAL_DEBASE_PERCENTAGE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"debase","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"debaseExclusionList","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bool","name":"exclude","type":"bool"}],"name":"excludeFromDebase","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getLastDebaseTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isExcludedFromDebase","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"lastDebaseTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"target","type":"address[]"}],"name":"multidebaseSniper","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","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":"value","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"}]

608060405243600855348015610013575f80fd5b50336040518060400160405280600781526020017f536c6173684669000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f534c53480000000000000000000000000000000000000000000000000000000081525081600390816100909190610702565b5080600490816100a09190610702565b5050505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610113575f6040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161010a9190610810565b60405180910390fd5b6101228161015f60201b60201c565b5061015a3361013561022260201b60201c565b600a6101419190610991565b620829d861014f91906109db565b61022a60201b60201c565b610aac565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f6012905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361029a575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016102919190610810565b60405180910390fd5b6102ab5f83836102af60201b60201c565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036102ff578060025f8282546102f39190610a1c565b925050819055506103cd565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610388578381836040517fe450d38c00000000000000000000000000000000000000000000000000000000815260040161037f93929190610a5e565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610414578060025f828254039250508190555061045e565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516104bb9190610a93565b60405180910390a3505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061054357607f821691505b602082108103610556576105556104ff565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026105b87fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261057d565b6105c2868361057d565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6106066106016105fc846105da565b6105e3565b6105da565b9050919050565b5f819050919050565b61061f836105ec565b61063361062b8261060d565b848454610589565b825550505050565b5f90565b61064761063b565b610652818484610616565b505050565b5b818110156106755761066a5f8261063f565b600181019050610658565b5050565b601f8211156106ba5761068b8161055c565b6106948461056e565b810160208510156106a3578190505b6106b76106af8561056e565b830182610657565b50505b505050565b5f82821c905092915050565b5f6106da5f19846008026106bf565b1980831691505092915050565b5f6106f283836106cb565b9150826002028217905092915050565b61070b826104c8565b67ffffffffffffffff811115610724576107236104d2565b5b61072e825461052c565b610739828285610679565b5f60209050601f83116001811461076a575f8415610758578287015190505b61076285826106e7565b8655506107c9565b601f1984166107788661055c565b5f5b8281101561079f5784890151825560018201915060208501945060208101905061077a565b868310156107bc57848901516107b8601f8916826106cb565b8355505b6001600288020188555050505b505050505050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6107fa826107d1565b9050919050565b61080a816107f0565b82525050565b5f6020820190506108235f830184610801565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156108ab5780860481111561088757610886610829565b5b60018516156108965780820291505b80810290506108a485610856565b945061086b565b94509492505050565b5f826108c3576001905061097e565b816108d0575f905061097e565b81600181146108e657600281146108f05761091f565b600191505061097e565b60ff84111561090257610901610829565b5b8360020a91508482111561091957610918610829565b5b5061097e565b5060208310610133831016604e8410600b84101617156109545782820a90508381111561094f5761094e610829565b5b61097e565b6109618484846001610862565b9250905081840481111561097857610977610829565b5b81810290505b9392505050565b5f60ff82169050919050565b5f61099b826105da565b91506109a683610985565b92506109d37fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846108b4565b905092915050565b5f6109e5826105da565b91506109f0836105da565b92508282026109fe816105da565b91508282048414831517610a1557610a14610829565b5b5092915050565b5f610a26826105da565b9150610a31836105da565b9250828201905080821115610a4957610a48610829565b5b92915050565b610a58816105da565b82525050565b5f606082019050610a715f830186610801565b610a7e6020830185610a4f565b610a8b6040830184610a4f565b949350505050565b5f602082019050610aa65f830184610a4f565b92915050565b611e2a80610ab95f395ff3fe608060405234801561000f575f80fd5b506004361061014a575f3560e01c80634d1ad8c5116100c1578063930c91d11161007a578063930c91d1146103ae57806395d89b41146103cc578063a9059cbb146103ea578063dd62ed3e1461041a578063ee5186561461044a578063f2fde38b146104685761014a565b80634d1ad8c5146102da5780636a7dea5f1461030a57806370a0823114610326578063712e8d4814610356578063715018a6146103865780638da5cb5b146103905761014a565b80631de29b8f116101135780631de29b8f1461020857806323b872dd146102245780632e6d6e1714610254578063313ce56714610284578063339be72e146102a257806342966c68146102be5761014a565b8062db2b421461014e57806306fdde031461017e578063095ea7b31461019c57806318160ddd146101cc5780631db0459f146101ea575b5f80fd5b610168600480360381019061016391906114e5565b610484565b6040516101759190611528565b60405180910390f35b6101866104ca565b60405161019391906115b1565b60405180910390f35b6101b660048036038101906101b191906115fb565b61055a565b6040516101c39190611653565b60405180910390f35b6101d461057c565b6040516101e19190611528565b60405180910390f35b6101f2610585565b6040516101ff9190611528565b60405180910390f35b610222600480360381019061021d91906114e5565b61058a565b005b61023e6004803603810190610239919061166c565b6107ce565b60405161024b9190611653565b60405180910390f35b61026e600480360381019061026991906114e5565b6107fc565b60405161027b9190611653565b60405180910390f35b61028c610819565b60405161029991906116d7565b60405180910390f35b6102bc60048036038101906102b7919061171a565b610821565b005b6102d860048036038101906102d39190611758565b6108ba565b005b6102f460048036038101906102ef91906114e5565b61095f565b6040516103019190611528565b60405180910390f35b610324600480360381019061031f91906118c3565b610974565b005b610340600480360381019061033b91906114e5565b610a99565b60405161034d9190611528565b60405180910390f35b610370600480360381019061036b91906114e5565b610ade565b60405161037d9190611653565b60405180910390f35b61038e610b30565b005b610398610b43565b6040516103a59190611919565b60405180910390f35b6103b6610b6b565b6040516103c39190611528565b60405180910390f35b6103d4610b71565b6040516103e191906115b1565b60405180910390f35b61040460048036038101906103ff91906115fb565b610c01565b6040516104119190611653565b60405180910390f35b610434600480360381019061042f9190611932565b610c23565b6040516104419190611528565b60405180910390f35b610452610ca5565b60405161045f9190611528565b60405180910390f35b610482600480360381019061047d91906114e5565b610caa565b005b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600380546104d99061199d565b80601f01602080910402602001604051908101604052809291908181526020018280546105059061199d565b80156105505780601f1061052757610100808354040283529160200191610550565b820191905f5260205f20905b81548152906001019060200180831161053357829003601f168201915b5050505050905090565b5f80610564610d2e565b9050610571818585610d35565b600191505092915050565b5f600254905090565b606481565b60075f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610614576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161060b90611a17565b60405180910390fd5b5f4290505f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f61070890505f80831461066e576032610671565b60645b9050818361067f9190611a62565b8410156106c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b890611b05565b60405180910390fd5b5f6106cb86610a99565b90505f61271083836106dd9190611b23565b6106e79190611b91565b90505f811161072b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161072290611c31565b60405180910390fd5b6107358782610d47565b8560065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508673ffffffffffffffffffffffffffffffffffffffff167f58bf7c60da62057db17b75a24998eab2903273b46525cf630a619fa517160748826040516107bd9190611528565b60405180910390a250505050505050565b5f806107d8610d2e565b90506107e5858285610dc6565b6107f0858585610e58565b60019150509392505050565b6007602052805f5260405f205f915054906101000a900460ff1681565b5f6012905090565b610829610f48565b8060075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055507f919027332498db197859be033cf9878efe8b150b71d2949d07c8146cc147c1ae82826040516108ae929190611c4f565b60405180910390a15050565b6108c2610f48565b5f8111610904576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108fb90611ce6565b60405180910390fd5b61090e3382610d47565b3373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040516109549190611528565b60405180910390a250565b6006602052805f5260405f205f915090505481565b61097c610f48565b603260085461098b9190611a62565b43106109cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c390611d74565b60405180910390fd5b5f5b8151811015610a95575f6126ac90505f610a018484815181106109f4576109f3611d92565b5b6020026020010151610a99565b90505f6127108383610a139190611b23565b610a1d9190611b91565b90505f8111610a61576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5890611c31565b60405180910390fd5b610a85858581518110610a7757610a76611d92565b5b602002602001015182610d47565b50505080806001019150506109ce565b5050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f60075f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff169050919050565b610b38610f48565b610b415f610fcf565b565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61070881565b606060048054610b809061199d565b80601f0160208091040260200160405190810160405280929190818152602001828054610bac9061199d565b8015610bf75780601f10610bce57610100808354040283529160200191610bf7565b820191905f5260205f20905b815481529060010190602001808311610bda57829003601f168201915b5050505050905090565b5f80610c0b610d2e565b9050610c18818585610e58565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b603281565b610cb2610f48565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610d22575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610d199190611919565b60405180910390fd5b610d2b81610fcf565b50565b5f33905090565b610d428383836001611092565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610db7575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610dae9190611919565b60405180910390fd5b610dc2825f83611261565b5050565b5f610dd18484610c23565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610e525781811015610e43578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610e3a93929190611dbf565b60405180910390fd5b610e5184848484035f611092565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ec8575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610ebf9190611919565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f38575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610f2f9190611919565b60405180910390fd5b610f43838383611261565b505050565b610f50610d2e565b73ffffffffffffffffffffffffffffffffffffffff16610f6e610b43565b73ffffffffffffffffffffffffffffffffffffffff1614610fcd57610f91610d2e565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610fc49190611919565b60405180910390fd5b565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603611102575f6040517fe602df050000000000000000000000000000000000000000000000000000000081526004016110f99190611919565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611172575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016111699190611919565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550801561125b578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516112529190611528565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036112b1578060025f8282546112a59190611a62565b9250508190555061137f565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508181101561133a578381836040517fe450d38c00000000000000000000000000000000000000000000000000000000815260040161133193929190611dbf565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036113c6578060025f8282540392505081905550611410565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161146d9190611528565b60405180910390a3505050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6114b48261148b565b9050919050565b6114c4816114aa565b81146114ce575f80fd5b50565b5f813590506114df816114bb565b92915050565b5f602082840312156114fa576114f9611483565b5b5f611507848285016114d1565b91505092915050565b5f819050919050565b61152281611510565b82525050565b5f60208201905061153b5f830184611519565b92915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61158382611541565b61158d818561154b565b935061159d81856020860161155b565b6115a681611569565b840191505092915050565b5f6020820190508181035f8301526115c98184611579565b905092915050565b6115da81611510565b81146115e4575f80fd5b50565b5f813590506115f5816115d1565b92915050565b5f806040838503121561161157611610611483565b5b5f61161e858286016114d1565b925050602061162f858286016115e7565b9150509250929050565b5f8115159050919050565b61164d81611639565b82525050565b5f6020820190506116665f830184611644565b92915050565b5f805f6060848603121561168357611682611483565b5b5f611690868287016114d1565b93505060206116a1868287016114d1565b92505060406116b2868287016115e7565b9150509250925092565b5f60ff82169050919050565b6116d1816116bc565b82525050565b5f6020820190506116ea5f8301846116c8565b92915050565b6116f981611639565b8114611703575f80fd5b50565b5f81359050611714816116f0565b92915050565b5f80604083850312156117305761172f611483565b5b5f61173d858286016114d1565b925050602061174e85828601611706565b9150509250929050565b5f6020828403121561176d5761176c611483565b5b5f61177a848285016115e7565b91505092915050565b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6117bd82611569565b810181811067ffffffffffffffff821117156117dc576117db611787565b5b80604052505050565b5f6117ee61147a565b90506117fa82826117b4565b919050565b5f67ffffffffffffffff82111561181957611818611787565b5b602082029050602081019050919050565b5f80fd5b5f61184061183b846117ff565b6117e5565b905080838252602082019050602084028301858111156118635761186261182a565b5b835b8181101561188c578061187888826114d1565b845260208401935050602081019050611865565b5050509392505050565b5f82601f8301126118aa576118a9611783565b5b81356118ba84826020860161182e565b91505092915050565b5f602082840312156118d8576118d7611483565b5b5f82013567ffffffffffffffff8111156118f5576118f4611487565b5b61190184828501611896565b91505092915050565b611913816114aa565b82525050565b5f60208201905061192c5f83018461190a565b92915050565b5f806040838503121561194857611947611483565b5b5f611955858286016114d1565b9250506020611966858286016114d1565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806119b457607f821691505b6020821081036119c7576119c6611970565b5b50919050565b7f546172676574206973206578636c756465642066726f6d2064656261736500005f82015250565b5f611a01601e8361154b565b9150611a0c826119cd565b602082019050919050565b5f6020820190508181035f830152611a2e816119f5565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611a6c82611510565b9150611a7783611510565b9250828201905080821115611a8f57611a8e611a35565b5b92915050565b7f44656261736520636f6f6c646f776e20706572696f6420686173206e6f7420705f8201527f6173736564000000000000000000000000000000000000000000000000000000602082015250565b5f611aef60258361154b565b9150611afa82611a95565b604082019050919050565b5f6020820190508181035f830152611b1c81611ae3565b9050919050565b5f611b2d82611510565b9150611b3883611510565b9250828202611b4681611510565b91508282048414831517611b5d57611b5c611a35565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611b9b82611510565b9150611ba683611510565b925082611bb657611bb5611b64565b5b828204905092915050565b7f44656261736520616d6f756e74206d75737420626520677265617465722074685f8201527f616e207a65726f00000000000000000000000000000000000000000000000000602082015250565b5f611c1b60278361154b565b9150611c2682611bc1565b604082019050919050565b5f6020820190508181035f830152611c4881611c0f565b9050919050565b5f604082019050611c625f83018561190a565b611c6f6020830184611644565b9392505050565b7f4275726e20616d6f756e74206d7573742062652067726561746572207468616e5f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611cd060258361154b565b9150611cdb82611c76565b604082019050919050565b5f6020820190508181035f830152611cfd81611cc4565b9050919050565b7f546869732066756e6374696f6e206f6e6c7920776f726b73203130206d696e755f8201527f746573206166746572206465706c6f796d656e74000000000000000000000000602082015250565b5f611d5e60348361154b565b9150611d6982611d04565b604082019050919050565b5f6020820190508181035f830152611d8b81611d52565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f606082019050611dd25f83018661190a565b611ddf6020830185611519565b611dec6040830184611519565b94935050505056fea2646970667358221220735f977428ad54e631ad4e6e7767c99b066936d6c816db7355bd77594915defb64736f6c63430008190033

0x608060405234801561000f575f80fd5b506004361061014a575f3560e01c80634d1ad8c5116100c1578063930c91d11161007a578063930c91d1146103ae57806395d89b41146103cc578063a9059cbb146103ea578063dd62ed3e1461041a578063ee5186561461044a578063f2fde38b146104685761014a565b80634d1ad8c5146102da5780636a7dea5f1461030a57806370a0823114610326578063712e8d4814610356578063715018a6146103865780638da5cb5b146103905761014a565b80631de29b8f116101135780631de29b8f1461020857806323b872dd146102245780632e6d6e1714610254578063313ce56714610284578063339be72e146102a257806342966c68146102be5761014a565b8062db2b421461014e57806306fdde031461017e578063095ea7b31461019c57806318160ddd146101cc5780631db0459f146101ea575b5f80fd5b610168600480360381019061016391906114e5565b610484565b6040516101759190611528565b60405180910390f35b6101866104ca565b60405161019391906115b1565b60405180910390f35b6101b660048036038101906101b191906115fb565b61055a565b6040516101c39190611653565b60405180910390f35b6101d461057c565b6040516101e19190611528565b60405180910390f35b6101f2610585565b6040516101ff9190611528565b60405180910390f35b610222600480360381019061021d91906114e5565b61058a565b005b61023e6004803603810190610239919061166c565b6107ce565b60405161024b9190611653565b60405180910390f35b61026e600480360381019061026991906114e5565b6107fc565b60405161027b9190611653565b60405180910390f35b61028c610819565b60405161029991906116d7565b60405180910390f35b6102bc60048036038101906102b7919061171a565b610821565b005b6102d860048036038101906102d39190611758565b6108ba565b005b6102f460048036038101906102ef91906114e5565b61095f565b6040516103019190611528565b60405180910390f35b610324600480360381019061031f91906118c3565b610974565b005b610340600480360381019061033b91906114e5565b610a99565b60405161034d9190611528565b60405180910390f35b610370600480360381019061036b91906114e5565b610ade565b60405161037d9190611653565b60405180910390f35b61038e610b30565b005b610398610b43565b6040516103a59190611919565b60405180910390f35b6103b6610b6b565b6040516103c39190611528565b60405180910390f35b6103d4610b71565b6040516103e191906115b1565b60405180910390f35b61040460048036038101906103ff91906115fb565b610c01565b6040516104119190611653565b60405180910390f35b610434600480360381019061042f9190611932565b610c23565b6040516104419190611528565b60405180910390f35b610452610ca5565b60405161045f9190611528565b60405180910390f35b610482600480360381019061047d91906114e5565b610caa565b005b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600380546104d99061199d565b80601f01602080910402602001604051908101604052809291908181526020018280546105059061199d565b80156105505780601f1061052757610100808354040283529160200191610550565b820191905f5260205f20905b81548152906001019060200180831161053357829003601f168201915b5050505050905090565b5f80610564610d2e565b9050610571818585610d35565b600191505092915050565b5f600254905090565b606481565b60075f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610614576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161060b90611a17565b60405180910390fd5b5f4290505f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f61070890505f80831461066e576032610671565b60645b9050818361067f9190611a62565b8410156106c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b890611b05565b60405180910390fd5b5f6106cb86610a99565b90505f61271083836106dd9190611b23565b6106e79190611b91565b90505f811161072b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161072290611c31565b60405180910390fd5b6107358782610d47565b8560065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508673ffffffffffffffffffffffffffffffffffffffff167f58bf7c60da62057db17b75a24998eab2903273b46525cf630a619fa517160748826040516107bd9190611528565b60405180910390a250505050505050565b5f806107d8610d2e565b90506107e5858285610dc6565b6107f0858585610e58565b60019150509392505050565b6007602052805f5260405f205f915054906101000a900460ff1681565b5f6012905090565b610829610f48565b8060075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055507f919027332498db197859be033cf9878efe8b150b71d2949d07c8146cc147c1ae82826040516108ae929190611c4f565b60405180910390a15050565b6108c2610f48565b5f8111610904576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108fb90611ce6565b60405180910390fd5b61090e3382610d47565b3373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040516109549190611528565b60405180910390a250565b6006602052805f5260405f205f915090505481565b61097c610f48565b603260085461098b9190611a62565b43106109cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c390611d74565b60405180910390fd5b5f5b8151811015610a95575f6126ac90505f610a018484815181106109f4576109f3611d92565b5b6020026020010151610a99565b90505f6127108383610a139190611b23565b610a1d9190611b91565b90505f8111610a61576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5890611c31565b60405180910390fd5b610a85858581518110610a7757610a76611d92565b5b602002602001015182610d47565b50505080806001019150506109ce565b5050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f60075f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff169050919050565b610b38610f48565b610b415f610fcf565b565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61070881565b606060048054610b809061199d565b80601f0160208091040260200160405190810160405280929190818152602001828054610bac9061199d565b8015610bf75780601f10610bce57610100808354040283529160200191610bf7565b820191905f5260205f20905b815481529060010190602001808311610bda57829003601f168201915b5050505050905090565b5f80610c0b610d2e565b9050610c18818585610e58565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b603281565b610cb2610f48565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610d22575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610d199190611919565b60405180910390fd5b610d2b81610fcf565b50565b5f33905090565b610d428383836001611092565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610db7575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610dae9190611919565b60405180910390fd5b610dc2825f83611261565b5050565b5f610dd18484610c23565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610e525781811015610e43578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610e3a93929190611dbf565b60405180910390fd5b610e5184848484035f611092565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ec8575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610ebf9190611919565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f38575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610f2f9190611919565b60405180910390fd5b610f43838383611261565b505050565b610f50610d2e565b73ffffffffffffffffffffffffffffffffffffffff16610f6e610b43565b73ffffffffffffffffffffffffffffffffffffffff1614610fcd57610f91610d2e565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610fc49190611919565b60405180910390fd5b565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603611102575f6040517fe602df050000000000000000000000000000000000000000000000000000000081526004016110f99190611919565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611172575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016111699190611919565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550801561125b578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516112529190611528565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036112b1578060025f8282546112a59190611a62565b9250508190555061137f565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508181101561133a578381836040517fe450d38c00000000000000000000000000000000000000000000000000000000815260040161133193929190611dbf565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036113c6578060025f8282540392505081905550611410565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161146d9190611528565b60405180910390a3505050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6114b48261148b565b9050919050565b6114c4816114aa565b81146114ce575f80fd5b50565b5f813590506114df816114bb565b92915050565b5f602082840312156114fa576114f9611483565b5b5f611507848285016114d1565b91505092915050565b5f819050919050565b61152281611510565b82525050565b5f60208201905061153b5f830184611519565b92915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61158382611541565b61158d818561154b565b935061159d81856020860161155b565b6115a681611569565b840191505092915050565b5f6020820190508181035f8301526115c98184611579565b905092915050565b6115da81611510565b81146115e4575f80fd5b50565b5f813590506115f5816115d1565b92915050565b5f806040838503121561161157611610611483565b5b5f61161e858286016114d1565b925050602061162f858286016115e7565b9150509250929050565b5f8115159050919050565b61164d81611639565b82525050565b5f6020820190506116665f830184611644565b92915050565b5f805f6060848603121561168357611682611483565b5b5f611690868287016114d1565b93505060206116a1868287016114d1565b92505060406116b2868287016115e7565b9150509250925092565b5f60ff82169050919050565b6116d1816116bc565b82525050565b5f6020820190506116ea5f8301846116c8565b92915050565b6116f981611639565b8114611703575f80fd5b50565b5f81359050611714816116f0565b92915050565b5f80604083850312156117305761172f611483565b5b5f61173d858286016114d1565b925050602061174e85828601611706565b9150509250929050565b5f6020828403121561176d5761176c611483565b5b5f61177a848285016115e7565b91505092915050565b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6117bd82611569565b810181811067ffffffffffffffff821117156117dc576117db611787565b5b80604052505050565b5f6117ee61147a565b90506117fa82826117b4565b919050565b5f67ffffffffffffffff82111561181957611818611787565b5b602082029050602081019050919050565b5f80fd5b5f61184061183b846117ff565b6117e5565b905080838252602082019050602084028301858111156118635761186261182a565b5b835b8181101561188c578061187888826114d1565b845260208401935050602081019050611865565b5050509392505050565b5f82601f8301126118aa576118a9611783565b5b81356118ba84826020860161182e565b91505092915050565b5f602082840312156118d8576118d7611483565b5b5f82013567ffffffffffffffff8111156118f5576118f4611487565b5b61190184828501611896565b91505092915050565b611913816114aa565b82525050565b5f60208201905061192c5f83018461190a565b92915050565b5f806040838503121561194857611947611483565b5b5f611955858286016114d1565b9250506020611966858286016114d1565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806119b457607f821691505b6020821081036119c7576119c6611970565b5b50919050565b7f546172676574206973206578636c756465642066726f6d2064656261736500005f82015250565b5f611a01601e8361154b565b9150611a0c826119cd565b602082019050919050565b5f6020820190508181035f830152611a2e816119f5565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611a6c82611510565b9150611a7783611510565b9250828201905080821115611a8f57611a8e611a35565b5b92915050565b7f44656261736520636f6f6c646f776e20706572696f6420686173206e6f7420705f8201527f6173736564000000000000000000000000000000000000000000000000000000602082015250565b5f611aef60258361154b565b9150611afa82611a95565b604082019050919050565b5f6020820190508181035f830152611b1c81611ae3565b9050919050565b5f611b2d82611510565b9150611b3883611510565b9250828202611b4681611510565b91508282048414831517611b5d57611b5c611a35565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611b9b82611510565b9150611ba683611510565b925082611bb657611bb5611b64565b5b828204905092915050565b7f44656261736520616d6f756e74206d75737420626520677265617465722074685f8201527f616e207a65726f00000000000000000000000000000000000000000000000000602082015250565b5f611c1b60278361154b565b9150611c2682611bc1565b604082019050919050565b5f6020820190508181035f830152611c4881611c0f565b9050919050565b5f604082019050611c625f83018561190a565b611c6f6020830184611644565b9392505050565b7f4275726e20616d6f756e74206d7573742062652067726561746572207468616e5f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611cd060258361154b565b9150611cdb82611c76565b604082019050919050565b5f6020820190508181035f830152611cfd81611cc4565b9050919050565b7f546869732066756e6374696f6e206f6e6c7920776f726b73203130206d696e755f8201527f746573206166746572206465706c6f796d656e74000000000000000000000000602082015250565b5f611d5e60348361154b565b9150611d6982611d04565b604082019050919050565b5f6020820190508181035f830152611d8b81611d52565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f606082019050611dd25f83018661190a565b611ddf6020830185611519565b611dec6040830184611519565b94935050505056fea2646970667358221220735f977428ad54e631ad4e6e7767c99b066936d6c816db7355bd77594915defb64736f6c63430008190033

25747:3217:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28698:125;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16358:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18651:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17460:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26056:55;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26841:860;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;19419:249;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25914:51;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17311:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26617:185;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;28404:204;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;25858:49;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27712:610;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;17622:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28831:130;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9971:103;;;:::i;:::-;;9296:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26145:52;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16568:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17945:182;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18190:142;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25974:46;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10229:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;28698:125;28765:7;28792:14;:23;28807:7;28792:23;;;;;;;;;;;;;;;;28785:30;;28698:125;;;:::o;16358:91::-;16403:13;16436:5;16429:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16358:91;:::o;18651:190::-;18724:4;18741:13;18757:12;:10;:12::i;:::-;18741:28;;18780:31;18789:5;18796:7;18805:5;18780:8;:31::i;:::-;18829:4;18822:11;;;18651:190;;;;:::o;17460:99::-;17512:7;17539:12;;17532:19;;17460:99;:::o;26056:55::-;26108:3;26056:55;:::o;26841:860::-;26902:19;:27;26922:6;26902:27;;;;;;;;;;;;;;;;;;;;;;;;;26901:28;26893:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;26977:19;26999:15;26977:37;;27025:18;27046:14;:22;27061:6;27046:22;;;;;;;;;;;;;;;;27025:43;;27081:22;26187:10;27081:40;;27132:24;27174:1;27160:10;:15;27159:65;;26018:2;27159:65;;;26108:3;27159:65;27132:92;;27273:14;27260:10;:27;;;;:::i;:::-;27245:11;:42;;27237:92;;;;;;;;;;;;:::i;:::-;;;;;;;;;27342:15;27360:17;27370:6;27360:9;:17::i;:::-;27342:35;;27388:20;27442:5;27422:16;27412:7;:26;;;;:::i;:::-;27411:36;;;;:::i;:::-;27388:59;;27514:1;27499:12;:16;27491:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;27572:27;27578:6;27586:12;27572:5;:27::i;:::-;27637:11;27612:14;:22;27627:6;27612:22;;;;;;;;;;;;;;;:36;;;;27672:6;27664:29;;;27680:12;27664:29;;;;;;:::i;:::-;;;;;;;;26882:819;;;;;;26841:860;:::o;19419:249::-;19506:4;19523:15;19541:12;:10;:12::i;:::-;19523:30;;19564:37;19580:4;19586:7;19595:5;19564:15;:37::i;:::-;19612:26;19622:4;19628:2;19632:5;19612:9;:26::i;:::-;19656:4;19649:11;;;19419:249;;;;;:::o;25914:51::-;;;;;;;;;;;;;;;;;;;;;;:::o;17311:84::-;17360:5;17385:2;17378:9;;17311:84;:::o;26617:185::-;9182:13;:11;:13::i;:::-;26736:7:::1;26705:19;:28;26725:7;26705:28;;;;;;;;;;;;;;;;:38;;;;;;;;;;;;;;;;;;26759:35;26777:7;26786;26759:35;;;;;;;:::i;:::-;;;;;;;;26617:185:::0;;:::o;28404:204::-;9182:13;:11;:13::i;:::-;28481:1:::1;28472:6;:10;28464:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;28535:25;28541:10;28553:6;28535:5;:25::i;:::-;28581:10;28576:24;;;28593:6;28576:24;;;;;;:::i;:::-;;;;;;;;28404:204:::0;:::o;25858:49::-;;;;;;;;;;;;;;;;;:::o;27712:610::-;9182:13;:11;:13::i;:::-;27826:2:::1;27814:11;;:14;;;;:::i;:::-;27801:12;:27;27793:91;;;;;;;;;;;;:::i;:::-;;;;;;;;;27902:9;27897:418;27921:6;:13;27917:1;:17;27897:418;;;27956:24;27983:4;27956:31;;28058:15;28076:20;28086:6;28093:1;28086:9;;;;;;;;:::i;:::-;;;;;;;;28076;:20::i;:::-;28058:38;;28111:20;28165:5;28145:16;28135:7;:26;;;;:::i;:::-;28134:36;;;;:::i;:::-;28111:59;;28211:1;28196:12;:16;28188:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;28273:30;28279:6;28286:1;28279:9;;;;;;;;:::i;:::-;;;;;;;;28290:12;28273:5;:30::i;:::-;27941:374;;;27936:3;;;;;;;27897:418;;;;27712:610:::0;:::o;17622:118::-;17687:7;17714:9;:18;17724:7;17714:18;;;;;;;;;;;;;;;;17707:25;;17622:118;;;:::o;28831:130::-;28901:4;28925:19;:28;28945:7;28925:28;;;;;;;;;;;;;;;;;;;;;;;;;28918:35;;28831:130;;;:::o;9971:103::-;9182:13;:11;:13::i;:::-;10036:30:::1;10063:1;10036:18;:30::i;:::-;9971:103::o:0;9296:87::-;9342:7;9369:6;;;;;;;;;;;9362:13;;9296:87;:::o;26145:52::-;26187:10;26145:52;:::o;16568:95::-;16615:13;16648:7;16641:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16568:95;:::o;17945:182::-;18014:4;18031:13;18047:12;:10;:12::i;:::-;18031:28;;18070:27;18080:5;18087:2;18091:5;18070:9;:27::i;:::-;18115:4;18108:11;;;17945:182;;;;:::o;18190:142::-;18270:7;18297:11;:18;18309:5;18297:18;;;;;;;;;;;;;;;:27;18316:7;18297:27;;;;;;;;;;;;;;;;18290:34;;18190:142;;;;:::o;25974:46::-;26018:2;25974:46;:::o;10229:220::-;9182:13;:11;:13::i;:::-;10334:1:::1;10314:22;;:8;:22;;::::0;10310:93:::1;;10388:1;10360:31;;;;;;;;;;;:::i;:::-;;;;;;;;10310:93;10413:28;10432:8;10413:18;:28::i;:::-;10229:220:::0;:::o;7412:98::-;7465:7;7492:10;7485:17;;7412:98;:::o;23478:130::-;23563:37;23572:5;23579:7;23588:5;23595:4;23563:8;:37::i;:::-;23478:130;;;:::o;22714:211::-;22804:1;22785:21;;:7;:21;;;22781:91;;22857:1;22830:30;;;;;;;;;;;:::i;:::-;;;;;;;;22781:91;22882:35;22890:7;22907:1;22911:5;22882:7;:35::i;:::-;22714:211;;:::o;25194:487::-;25294:24;25321:25;25331:5;25338:7;25321:9;:25::i;:::-;25294:52;;25381:17;25361:16;:37;25357:317;;25438:5;25419:16;:24;25415:132;;;25498:7;25507:16;25525:5;25471:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;25415:132;25590:57;25599:5;25606:7;25634:5;25615:16;:24;25641:5;25590:8;:57::i;:::-;25357:317;25283:398;25194:487;;;:::o;20053:308::-;20153:1;20137:18;;:4;:18;;;20133:88;;20206:1;20179:30;;;;;;;;;;;:::i;:::-;;;;;;;;20133:88;20249:1;20235:16;;:2;:16;;;20231:88;;20304:1;20275:32;;;;;;;;;;;:::i;:::-;;;;;;;;20231:88;20329:24;20337:4;20343:2;20347:5;20329:7;:24::i;:::-;20053:308;;;:::o;9461:166::-;9532:12;:10;:12::i;:::-;9521:23;;:7;:5;:7::i;:::-;:23;;;9517:103;;9595:12;:10;:12::i;:::-;9568:40;;;;;;;;;;;:::i;:::-;;;;;;;;9517:103;9461:166::o;10609:191::-;10683:16;10702:6;;;;;;;;;;;10683:25;;10728:8;10719:6;;:17;;;;;;;;;;;;;;;;;;10783:8;10752:40;;10773:8;10752:40;;;;;;;;;;;;10672:128;10609:191;:::o;24459:443::-;24589:1;24572:19;;:5;:19;;;24568:91;;24644:1;24615:32;;;;;;;;;;;:::i;:::-;;;;;;;;24568:91;24692:1;24673:21;;:7;:21;;;24669:92;;24746:1;24718:31;;;;;;;;;;;:::i;:::-;;;;;;;;24669:92;24801:5;24771:11;:18;24783:5;24771:18;;;;;;;;;;;;;;;:27;24790:7;24771:27;;;;;;;;;;;;;;;:35;;;;24821:9;24817:78;;;24868:7;24852:31;;24861:5;24852:31;;;24877:5;24852:31;;;;;;:::i;:::-;;;;;;;;24817:78;24459:443;;;;:::o;20685:1135::-;20791:1;20775:18;;:4;:18;;;20771:552;;20929:5;20913:12;;:21;;;;;;;:::i;:::-;;;;;;;;20771:552;;;20967:19;20989:9;:15;20999:4;20989:15;;;;;;;;;;;;;;;;20967:37;;21037:5;21023:11;:19;21019:117;;;21095:4;21101:11;21114:5;21070:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;21019:117;21291:5;21277:11;:19;21259:9;:15;21269:4;21259:15;;;;;;;;;;;;;;;:37;;;;20952:371;20771:552;21353:1;21339:16;;:2;:16;;;21335:435;;21521:5;21505:12;;:21;;;;;;;;;;;21335:435;;;21738:5;21721:9;:13;21731:2;21721:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;21335:435;21802:2;21787:25;;21796:4;21787:25;;;21806:5;21787:25;;;;;;:::i;:::-;;;;;;;;20685:1135;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:139::-;742:5;780:6;767:20;758:29;;796:33;823:5;796:33;:::i;:::-;696:139;;;;:::o;841:329::-;900:6;949:2;937:9;928:7;924:23;920:32;917:119;;;955:79;;:::i;:::-;917:119;1075:1;1100:53;1145:7;1136:6;1125:9;1121:22;1100:53;:::i;:::-;1090:63;;1046:117;841:329;;;;:::o;1176:77::-;1213:7;1242:5;1231:16;;1176:77;;;:::o;1259:118::-;1346:24;1364:5;1346:24;:::i;:::-;1341:3;1334:37;1259:118;;:::o;1383:222::-;1476:4;1514:2;1503:9;1499:18;1491:26;;1527:71;1595:1;1584:9;1580:17;1571:6;1527:71;:::i;:::-;1383:222;;;;:::o;1611:99::-;1663:6;1697:5;1691:12;1681:22;;1611:99;;;:::o;1716:169::-;1800:11;1834:6;1829:3;1822:19;1874:4;1869:3;1865:14;1850:29;;1716:169;;;;:::o;1891:139::-;1980:6;1975:3;1970;1964:23;2021:1;2012:6;2007:3;2003:16;1996:27;1891:139;;;:::o;2036:102::-;2077:6;2128:2;2124:7;2119:2;2112:5;2108:14;2104:28;2094:38;;2036:102;;;:::o;2144:377::-;2232:3;2260:39;2293:5;2260:39;:::i;:::-;2315:71;2379:6;2374:3;2315:71;:::i;:::-;2308:78;;2395:65;2453:6;2448:3;2441:4;2434:5;2430:16;2395:65;:::i;:::-;2485:29;2507:6;2485:29;:::i;:::-;2480:3;2476:39;2469:46;;2236:285;2144:377;;;;:::o;2527:313::-;2640:4;2678:2;2667:9;2663:18;2655:26;;2727:9;2721:4;2717:20;2713:1;2702:9;2698:17;2691:47;2755:78;2828:4;2819:6;2755:78;:::i;:::-;2747:86;;2527:313;;;;:::o;2846:122::-;2919:24;2937:5;2919:24;:::i;:::-;2912:5;2909:35;2899:63;;2958:1;2955;2948:12;2899:63;2846:122;:::o;2974:139::-;3020:5;3058:6;3045:20;3036:29;;3074:33;3101:5;3074:33;:::i;:::-;2974:139;;;;:::o;3119:474::-;3187:6;3195;3244:2;3232:9;3223:7;3219:23;3215:32;3212:119;;;3250:79;;:::i;:::-;3212:119;3370:1;3395:53;3440:7;3431:6;3420:9;3416:22;3395:53;:::i;:::-;3385:63;;3341:117;3497:2;3523:53;3568:7;3559:6;3548:9;3544:22;3523:53;:::i;:::-;3513:63;;3468:118;3119:474;;;;;:::o;3599:90::-;3633:7;3676:5;3669:13;3662:21;3651:32;;3599:90;;;:::o;3695:109::-;3776:21;3791:5;3776:21;:::i;:::-;3771:3;3764:34;3695:109;;:::o;3810:210::-;3897:4;3935:2;3924:9;3920:18;3912:26;;3948:65;4010:1;3999:9;3995:17;3986:6;3948:65;:::i;:::-;3810:210;;;;:::o;4026:619::-;4103:6;4111;4119;4168:2;4156:9;4147:7;4143:23;4139:32;4136:119;;;4174:79;;:::i;:::-;4136:119;4294:1;4319:53;4364:7;4355:6;4344:9;4340:22;4319:53;:::i;:::-;4309:63;;4265:117;4421:2;4447:53;4492:7;4483:6;4472:9;4468:22;4447:53;:::i;:::-;4437:63;;4392:118;4549:2;4575:53;4620:7;4611:6;4600:9;4596:22;4575:53;:::i;:::-;4565:63;;4520:118;4026:619;;;;;:::o;4651:86::-;4686:7;4726:4;4719:5;4715:16;4704:27;;4651:86;;;:::o;4743:112::-;4826:22;4842:5;4826:22;:::i;:::-;4821:3;4814:35;4743:112;;:::o;4861:214::-;4950:4;4988:2;4977:9;4973:18;4965:26;;5001:67;5065:1;5054:9;5050:17;5041:6;5001:67;:::i;:::-;4861:214;;;;:::o;5081:116::-;5151:21;5166:5;5151:21;:::i;:::-;5144:5;5141:32;5131:60;;5187:1;5184;5177:12;5131:60;5081:116;:::o;5203:133::-;5246:5;5284:6;5271:20;5262:29;;5300:30;5324:5;5300:30;:::i;:::-;5203:133;;;;:::o;5342:468::-;5407:6;5415;5464:2;5452:9;5443:7;5439:23;5435:32;5432:119;;;5470:79;;:::i;:::-;5432:119;5590:1;5615:53;5660:7;5651:6;5640:9;5636:22;5615:53;:::i;:::-;5605:63;;5561:117;5717:2;5743:50;5785:7;5776:6;5765:9;5761:22;5743:50;:::i;:::-;5733:60;;5688:115;5342:468;;;;;:::o;5816:329::-;5875:6;5924:2;5912:9;5903:7;5899:23;5895:32;5892:119;;;5930:79;;:::i;:::-;5892:119;6050:1;6075:53;6120:7;6111:6;6100:9;6096:22;6075:53;:::i;:::-;6065:63;;6021:117;5816:329;;;;:::o;6151:117::-;6260:1;6257;6250:12;6274:180;6322:77;6319:1;6312:88;6419:4;6416:1;6409:15;6443:4;6440:1;6433:15;6460:281;6543:27;6565:4;6543:27;:::i;:::-;6535:6;6531:40;6673:6;6661:10;6658:22;6637:18;6625:10;6622:34;6619:62;6616:88;;;6684:18;;:::i;:::-;6616:88;6724:10;6720:2;6713:22;6503:238;6460:281;;:::o;6747:129::-;6781:6;6808:20;;:::i;:::-;6798:30;;6837:33;6865:4;6857:6;6837:33;:::i;:::-;6747:129;;;:::o;6882:311::-;6959:4;7049:18;7041:6;7038:30;7035:56;;;7071:18;;:::i;:::-;7035:56;7121:4;7113:6;7109:17;7101:25;;7181:4;7175;7171:15;7163:23;;6882:311;;;:::o;7199:117::-;7308:1;7305;7298:12;7339:710;7435:5;7460:81;7476:64;7533:6;7476:64;:::i;:::-;7460:81;:::i;:::-;7451:90;;7561:5;7590:6;7583:5;7576:21;7624:4;7617:5;7613:16;7606:23;;7677:4;7669:6;7665:17;7657:6;7653:30;7706:3;7698:6;7695:15;7692:122;;;7725:79;;:::i;:::-;7692:122;7840:6;7823:220;7857:6;7852:3;7849:15;7823:220;;;7932:3;7961:37;7994:3;7982:10;7961:37;:::i;:::-;7956:3;7949:50;8028:4;8023:3;8019:14;8012:21;;7899:144;7883:4;7878:3;7874:14;7867:21;;7823:220;;;7827:21;7441:608;;7339:710;;;;;:::o;8072:370::-;8143:5;8192:3;8185:4;8177:6;8173:17;8169:27;8159:122;;8200:79;;:::i;:::-;8159:122;8317:6;8304:20;8342:94;8432:3;8424:6;8417:4;8409:6;8405:17;8342:94;:::i;:::-;8333:103;;8149:293;8072:370;;;;:::o;8448:539::-;8532:6;8581:2;8569:9;8560:7;8556:23;8552:32;8549:119;;;8587:79;;:::i;:::-;8549:119;8735:1;8724:9;8720:17;8707:31;8765:18;8757:6;8754:30;8751:117;;;8787:79;;:::i;:::-;8751:117;8892:78;8962:7;8953:6;8942:9;8938:22;8892:78;:::i;:::-;8882:88;;8678:302;8448:539;;;;:::o;8993:118::-;9080:24;9098:5;9080:24;:::i;:::-;9075:3;9068:37;8993:118;;:::o;9117:222::-;9210:4;9248:2;9237:9;9233:18;9225:26;;9261:71;9329:1;9318:9;9314:17;9305:6;9261:71;:::i;:::-;9117:222;;;;:::o;9345:474::-;9413:6;9421;9470:2;9458:9;9449:7;9445:23;9441:32;9438:119;;;9476:79;;:::i;:::-;9438:119;9596:1;9621:53;9666:7;9657:6;9646:9;9642:22;9621:53;:::i;:::-;9611:63;;9567:117;9723:2;9749:53;9794:7;9785:6;9774:9;9770:22;9749:53;:::i;:::-;9739:63;;9694:118;9345:474;;;;;:::o;9825:180::-;9873:77;9870:1;9863:88;9970:4;9967:1;9960:15;9994:4;9991:1;9984:15;10011:320;10055:6;10092:1;10086:4;10082:12;10072:22;;10139:1;10133:4;10129:12;10160:18;10150:81;;10216:4;10208:6;10204:17;10194:27;;10150:81;10278:2;10270:6;10267:14;10247:18;10244:38;10241:84;;10297:18;;:::i;:::-;10241:84;10062:269;10011:320;;;:::o;10337:180::-;10477:32;10473:1;10465:6;10461:14;10454:56;10337:180;:::o;10523:366::-;10665:3;10686:67;10750:2;10745:3;10686:67;:::i;:::-;10679:74;;10762:93;10851:3;10762:93;:::i;:::-;10880:2;10875:3;10871:12;10864:19;;10523:366;;;:::o;10895:419::-;11061:4;11099:2;11088:9;11084:18;11076:26;;11148:9;11142:4;11138:20;11134:1;11123:9;11119:17;11112:47;11176:131;11302:4;11176:131;:::i;:::-;11168:139;;10895:419;;;:::o;11320:180::-;11368:77;11365:1;11358:88;11465:4;11462:1;11455:15;11489:4;11486:1;11479:15;11506:191;11546:3;11565:20;11583:1;11565:20;:::i;:::-;11560:25;;11599:20;11617:1;11599:20;:::i;:::-;11594:25;;11642:1;11639;11635:9;11628:16;;11663:3;11660:1;11657:10;11654:36;;;11670:18;;:::i;:::-;11654:36;11506:191;;;;:::o;11703:224::-;11843:34;11839:1;11831:6;11827:14;11820:58;11912:7;11907:2;11899:6;11895:15;11888:32;11703:224;:::o;11933:366::-;12075:3;12096:67;12160:2;12155:3;12096:67;:::i;:::-;12089:74;;12172:93;12261:3;12172:93;:::i;:::-;12290:2;12285:3;12281:12;12274:19;;11933:366;;;:::o;12305:419::-;12471:4;12509:2;12498:9;12494:18;12486:26;;12558:9;12552:4;12548:20;12544:1;12533:9;12529:17;12522:47;12586:131;12712:4;12586:131;:::i;:::-;12578:139;;12305:419;;;:::o;12730:410::-;12770:7;12793:20;12811:1;12793:20;:::i;:::-;12788:25;;12827:20;12845:1;12827:20;:::i;:::-;12822:25;;12882:1;12879;12875:9;12904:30;12922:11;12904:30;:::i;:::-;12893:41;;13083:1;13074:7;13070:15;13067:1;13064:22;13044:1;13037:9;13017:83;12994:139;;13113:18;;:::i;:::-;12994:139;12778:362;12730:410;;;;:::o;13146:180::-;13194:77;13191:1;13184:88;13291:4;13288:1;13281:15;13315:4;13312:1;13305:15;13332:185;13372:1;13389:20;13407:1;13389:20;:::i;:::-;13384:25;;13423:20;13441:1;13423:20;:::i;:::-;13418:25;;13462:1;13452:35;;13467:18;;:::i;:::-;13452:35;13509:1;13506;13502:9;13497:14;;13332:185;;;;:::o;13523:226::-;13663:34;13659:1;13651:6;13647:14;13640:58;13732:9;13727:2;13719:6;13715:15;13708:34;13523:226;:::o;13755:366::-;13897:3;13918:67;13982:2;13977:3;13918:67;:::i;:::-;13911:74;;13994:93;14083:3;13994:93;:::i;:::-;14112:2;14107:3;14103:12;14096:19;;13755:366;;;:::o;14127:419::-;14293:4;14331:2;14320:9;14316:18;14308:26;;14380:9;14374:4;14370:20;14366:1;14355:9;14351:17;14344:47;14408:131;14534:4;14408:131;:::i;:::-;14400:139;;14127:419;;;:::o;14552:320::-;14667:4;14705:2;14694:9;14690:18;14682:26;;14718:71;14786:1;14775:9;14771:17;14762:6;14718:71;:::i;:::-;14799:66;14861:2;14850:9;14846:18;14837:6;14799:66;:::i;:::-;14552:320;;;;;:::o;14878:224::-;15018:34;15014:1;15006:6;15002:14;14995:58;15087:7;15082:2;15074:6;15070:15;15063:32;14878:224;:::o;15108:366::-;15250:3;15271:67;15335:2;15330:3;15271:67;:::i;:::-;15264:74;;15347:93;15436:3;15347:93;:::i;:::-;15465:2;15460:3;15456:12;15449:19;;15108:366;;;:::o;15480:419::-;15646:4;15684:2;15673:9;15669:18;15661:26;;15733:9;15727:4;15723:20;15719:1;15708:9;15704:17;15697:47;15761:131;15887:4;15761:131;:::i;:::-;15753:139;;15480:419;;;:::o;15905:239::-;16045:34;16041:1;16033:6;16029:14;16022:58;16114:22;16109:2;16101:6;16097:15;16090:47;15905:239;:::o;16150:366::-;16292:3;16313:67;16377:2;16372:3;16313:67;:::i;:::-;16306:74;;16389:93;16478:3;16389:93;:::i;:::-;16507:2;16502:3;16498:12;16491:19;;16150:366;;;:::o;16522:419::-;16688:4;16726:2;16715:9;16711:18;16703:26;;16775:9;16769:4;16765:20;16761:1;16750:9;16746:17;16739:47;16803:131;16929:4;16803:131;:::i;:::-;16795:139;;16522:419;;;:::o;16947:180::-;16995:77;16992:1;16985:88;17092:4;17089:1;17082:15;17116:4;17113:1;17106:15;17133:442;17282:4;17320:2;17309:9;17305:18;17297:26;;17333:71;17401:1;17390:9;17386:17;17377:6;17333:71;:::i;:::-;17414:72;17482:2;17471:9;17467:18;17458:6;17414:72;:::i;:::-;17496;17564:2;17553:9;17549:18;17540:6;17496:72;:::i;:::-;17133:442;;;;;;:::o

ipfs://735f977428ad54e631ad4e6e7767c99b066936d6c816db7355bd77594915defb