Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

•    - function _msgSender()
•    - function _msgData()
•    - function _contextSuffixLength()
•    - 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(
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(
•    - function transfer(
•    - function allowance(
•    - function approve(
•    - function transferFrom(
•    - function increaseAllowance(
•    - function decreaseAllowance(
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _spendAllowance(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•    - function burn(uint256 amount)
•    - function burnFrom(address account, ui ...
•  contract VortexAi is ERC20Burnable ... *
•    - function getLiquidityPoolAddresses()
•    - function getTaxExemptAddresses()
•    - function initializeTaxWallet(address ...
•    - function setSellTaxPercentage(
•    - function enableTrading()
•    - function addLiquidityPool(address _lp ...
•    - function removeLiquidityPool(address ...
•    - function setTaxExemption(
•    - function batchTransfer(
•    - function _transfer(

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-01-15
*/

/**
 *Submitted for verification at SonicScan.org on 2025-01-14
*/


// ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣀⡤⠤⠤⠤⣤⣤⣤⣀⣀⣀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠉⠛⠛⠿⣷⣦⣄⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣀⣤⣤⣶⣶⣿⣿⣿⣿⣿⣿⣷⣶⣤⣤⣀⡀⠀⠀⠉⠛⢿⣿⣦⣄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣤⣶⣾⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣷⣦⣄⠀⠀⠈⠛⣿⣷⣦⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣴⣾⣿⣿⡿⠟⠛⠉⠉⠁⠀⠀⠀⠀⠀⠀⠉⠉⠙⠻⠿⣿⣿⣿⣿⣿⣿⣿⣦⡀⠀⠀⠙⢿⣿⣦⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⣠⣾⣿⡿⠟⠉⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠉⠻⢿⣿⣿⣿⣿⣿⣷⡀⠀⠈⠻⣿⣿⣄⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⢠⣾⣿⠟⠉⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠙⢿⣿⣿⣿⣿⣿⣦⠀⠀⠙⣿⣿⣆⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⣴⣿⠟⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠠⠤⠤⣄⣀⣀⠀⠀⠀⠀⠀⠀⠙⢿⣿⣿⣿⣿⣷⡀⠀⠘⣿⣿⡆⠀⠀⠀⠀⠀⠀
// ⠀⠀⢀⣾⠟⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣀⣀⣀⣀⠀⠀⠉⠙⠳⢶⣄⡀⠀⠀⠀⢻⣿⣿⣿⣿⣧⠀⠀⠘⣿⣿⡀⠀⠀⠀⠀⠀
// ⠀⢠⣾⠋⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣠⣴⣶⣿⣿⣿⣿⣿⣿⣿⣿⣿⣶⣤⡀⠀⠙⢿⣦⠀⠀⠀⠹⣿⣿⣿⣿⡆⠀⠀⢹⣿⡇⠀⠀⠀⠀⠀
// ⠀⡾⠁⠀⠀⠀⠀⠀⠀⠀⠀⢀⡴⠂⠀⣠⣶⣿⣿⣿⡿⠿⠛⠋⠉⠀⠀⠈⠉⠛⠻⢿⣿⣧⡀⠀⠹⣷⡀⠀⠀⢻⣿⣿⣿⣿⠀⠀⠸⣿⡇⠀⠀⠀⠀⠀
// ⡼⠁⠀⠀⠀⠀⠀⠀⠀⠀⡰⠋⠀⢠⣾⣿⣿⡿⠟⠉⠀⠀⠀⠀⠀⠀⠀⠀⣀⣀⣀⡀⠹⣿⣿⡄⠀⢹⣧⠀⠀⠸⣿⣿⣿⣿⠀⠀⠀⣿⡇⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⢠⡞⠁⠀⣴⣿⣿⣿⠟⠁⠀⠀⠀⣠⠔⠀⣠⣴⡾⠟⠛⠉⠙⢿⡄⢸⣿⡇⠀⢸⣿⠀⠀⠀⣿⣿⣿⣿⠀⠀⢀⣿⡇⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⣰⡏⠀⠀⣼⣿⣿⣿⠋⠀⠀⠀⣴⠞⢁⣴⣾⠟⠁⠀⠀⠀⠀⠀⣸⠃⢠⣿⡇⠀⢸⡿⠀⠀⢀⣿⣿⣿⣿⠀⠀⢸⣿⠃⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⣸⡟⠀⠀⣸⣿⣿⣿⠇⠀⠀⢀⣾⠃⢀⣾⡿⠁⢀⣠⠖⣻⡇⢀⡴⠋⢀⣼⣿⠁⢀⣿⠁⠀⠀⣸⣿⣿⣿⠇⠀⠀⣾⡏⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⢰⣿⠀⠀⢀⣿⣿⣿⡿⠀⠀⠀⣾⠃⠀⣾⡿⠁⢠⡞⠀⠐⠓⠚⠋⠀⢀⣼⡿⠃⢠⡾⠃⠀⠀⢠⣿⣿⣿⡟⠀⠀⣴⡟⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⣿⡟⠀⠀⢸⣿⣿⣿⡇⠀⠀⢰⡿⠀⢸⣿⡇⠀⣿⠀⠀⠀⠀⢀⣀⣴⡿⠋⢀⡴⠋⠀⠀⠀⣠⣿⣿⣿⡟⠀⠀⣰⠟⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⢰⣿⡇⠀⠀⣿⣿⣿⣿⡇⠀⠀⢸⣧⠀⠘⣿⣿⡀⠻⢷⣶⣶⠶⠟⠛⠉⠀⠀⠉⠀⠀⠀⢀⣴⣿⣿⣿⠏⠀⠀⡴⠋⠀⠀⠀⠀⠀⠀⠀⢀⡇
// ⠀⠀⠀⠀⢸⣿⡇⠀⠀⢻⣿⣿⣿⣿⠀⠀⠀⣿⡄⠀⠹⣿⣿⣄⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣠⣶⣿⣿⣿⠟⠁⠀⣠⠎⠀⠀⠀⠀⠀⠀⠀⠀⢀⣾⠁
// ⠀⠀⠀⠀⠘⣿⣿⠀⠀⠘⣿⣿⣿⣿⡆⠀⠀⠘⣿⣄⠀⠈⠻⣿⣿⣶⣶⣤⣤⣠⣤⣴⣶⣾⣿⣿⣿⡿⠟⠁⠀⠀⠈⠀⠀⠀⠀⠀⠀⠀⠀⠀⢠⣾⠃⠀
// ⠀⠀⠀⠀⠀⣿⣿⡄⠀⠀⢻⣿⣿⣿⣿⣆⠀⠀⠈⠻⢷⣄⠀⠈⠙⠛⠿⠿⠿⣿⣿⠿⠿⠿⠛⠛⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣠⣿⠃⠀⠀
// ⠀⠀⠀⠀⠀⢸⣿⣷⡀⠀⠘⣿⣿⣿⣿⣿⣆⠀⠀⠀⠀⠉⠛⠲⠤⠤⣄⣀⣀⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣼⡿⠁⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⢹⣿⣷⡀⠀⠈⢿⣿⣿⣿⣿⣷⣄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣴⣿⠏⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠻⣿⣷⡄⠀⠈⠻⣿⣿⣿⣿⣿⣷⣄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣠⣾⣿⠟⠁⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⠹⣿⣿⣦⠀⠀⠈⢿⣿⣿⣿⣿⣿⣿⣦⣄⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣠⣶⣿⣿⠟⠁⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠻⣿⣷⣄⠀⠀⠈⠻⢿⣿⣿⣿⣿⣿⣿⣿⣷⣦⣤⣤⣄⣀⣀⣀⣀⣠⣤⣤⣶⣾⣿⣿⣿⠿⠋⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠛⢿⣷⣦⣀⠀⠀⠉⠛⠿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⡿⠟⠛⠉⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠉⠛⢿⣷⣦⣄⡀⠀⠀⠈⠉⠉⠛⠛⠛⠛⠛⠛⠛⠛⠛⠉⠉⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
// ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠉⠙⠻⠿⢶⣶⣤⣄⣀⣀⣀⣀⣀⣀⣀⣀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀


// SPDX-License-Identifier: MIT

// File @openzeppelin/contracts/utils/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.4) (utils/Context.sol)

pragma solidity ^0.8.28;

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

    function _contextSuffixLength() internal view virtual returns (uint256) {
        return 0;
    }
}

// File @openzeppelin/contracts/access/[email protected]

/**
 * @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/token/ERC20/[email protected]

/**
 * @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/token/ERC20/extensions/[email protected]

/**
 * @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/token/ERC20/[email protected]

/**
 * @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/token/ERC20/extensions/[email protected]

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

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

contract VortexAi is ERC20Burnable, Ownable {
    bool public tradingActive = false; // Toggle trading status
    address public taxWallet; // Address where taxes are sent
    uint256 public sellTaxPercentage = 0; // Tax percentage (basis points, 10000 = 100%)

    mapping(address => bool) public isLiquidityPool; // Liquidity pool tracking
    mapping(address => bool) public isTaxExempt; // Tracks accounts exempt from taxes

    address[] private liquidityPoolAddresses; // List of liquidity pools
    address[] private taxExemptAddresses; // List of tax-exempt accounts

    constructor() ERC20("Vortex AI", "VORTEX") {
        uint256 initialSupply = 10_000_000 * 10 ** 18;
        _mint(msg.sender, initialSupply); // Mint one time supply to deployer
    }

    /**
     * @dev Returns the list of liquidity pool addresses.
     */
    function getLiquidityPoolAddresses()
        external
        view
        returns (address[] memory)
    {
        return liquidityPoolAddresses;
    }

    /**
     * @dev Returns the list of tax-exempt addresses.
     */
    function getTaxExemptAddresses() external view returns (address[] memory) {
        return taxExemptAddresses;
    }

    /**
     * @dev Initialize the tax wallet address.
     */
    function initializeTaxWallet(address _taxWallet) external onlyOwner {
        require(_taxWallet != address(0), "Invalid tax wallet");
        taxWallet = _taxWallet;
    }

    /**
     * @dev Set the percentage of tax applied on token sales. Changed max tax to 10%.
     */
    function setSellTaxPercentage(
        uint256 _sellTaxPercentage
    ) external onlyOwner {
        require(_sellTaxPercentage <= 1000, "Sell tax cannot exceed 10%"); // 1000 basis points = 10%
        sellTaxPercentage = _sellTaxPercentage;
    }

    /**
     * @dev Enable trading permanently.
     */
    function enableTrading() external onlyOwner {
        tradingActive = true;
        emit TradingEnabled();
    }

    /**
     * @dev Add a new liquidity pool address.
     */
    function addLiquidityPool(address _lpAddress) external onlyOwner {
        require(_lpAddress != address(0), "Invalid liquidity pool address");
        if (!isLiquidityPool[_lpAddress]) {
            isLiquidityPool[_lpAddress] = true;
            liquidityPoolAddresses.push(_lpAddress);
        }
    }

    /**
     * @dev Remove an existing liquidity pool address.
     */
    function removeLiquidityPool(address _lpAddress) external onlyOwner {
        require(isLiquidityPool[_lpAddress], "Address is not a liquidity pool");
        delete isLiquidityPool[_lpAddress];
        for (uint256 i = 0; i < liquidityPoolAddresses.length; i++) {
            if (liquidityPoolAddresses[i] == _lpAddress) {
                liquidityPoolAddresses[i] = liquidityPoolAddresses[
                    liquidityPoolAddresses.length - 1
                ];
                liquidityPoolAddresses.pop();
                break;
            }
        }
    }

    /**
     * @dev Set tax exemption status for an address.
     */
    function setTaxExemption(
        address _account,
        bool _exempt
    ) external onlyOwner {
        require(_account != address(0), "Invalid address");
        isTaxExempt[_account] = _exempt;

        if (_exempt) {
            taxExemptAddresses.push(_account);
        } else {
            for (uint256 i = 0; i < taxExemptAddresses.length; i++) {
                if (taxExemptAddresses[i] == _account) {
                    taxExemptAddresses[i] = taxExemptAddresses[
                        taxExemptAddresses.length - 1
                    ];
                    taxExemptAddresses.pop();
                    break;
                }
            }
        }
        emit TaxExemptionChanged(_account, _exempt);
    }

    /**
     * @dev Perform batch transfers to multiple recipients.
     */
    function batchTransfer(
        address[] calldata recipients,
        uint256[] calldata amounts
    ) external {
        require(
            recipients.length == amounts.length,
            "Recipients and amounts length mismatch"
        );

        for (uint256 i = 0; i < recipients.length; i++) {
            _transfer(msg.sender, recipients[i], amounts[i]);
        }
    }

    /**
     * @dev Override the `_transfer` function for tax logic.
     */
    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal override {
        if (!tradingActive) {
            require(from == owner() || to == owner(), "Trading is not active");
        }

        uint256 taxAmount = 0;

        if (
            tradingActive &&
            taxWallet != address(0) &&
            sellTaxPercentage > 0 &&
            !isTaxExempt[from] &&
            !isTaxExempt[to] &&
            isLiquidityPool[to]
        ) {
            taxAmount = (amount * sellTaxPercentage + 9999) / 10000; // Round up tax amount
            _transfer(from, taxWallet, taxAmount);
            emit TaxApplied(from, to, amount, taxAmount);
            amount -= taxAmount;
        }

        super._transfer(from, to, amount);
    }

    event TaxApplied(
        address indexed from,
        address indexed to,
        uint256 amount,
        uint256 taxAmount
    );
    event TradingEnabled();
    event TaxExemptionChanged(address indexed account, bool isExempt);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"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":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"taxAmount","type":"uint256"}],"name":"TaxApplied","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"bool","name":"isExempt","type":"bool"}],"name":"TaxExemptionChanged","type":"event"},{"anonymous":false,"inputs":[],"name":"TradingEnabled","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":[{"internalType":"address","name":"_lpAddress","type":"address"}],"name":"addLiquidityPool","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":[{"internalType":"address[]","name":"recipients","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"}],"name":"batchTransfer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"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":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getLiquidityPoolAddresses","outputs":[{"internalType":"address[]","name":"","type":"address[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getTaxExemptAddresses","outputs":[{"internalType":"address[]","name":"","type":"address[]"}],"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":[{"internalType":"address","name":"_taxWallet","type":"address"}],"name":"initializeTaxWallet","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isLiquidityPool","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isTaxExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":[{"internalType":"address","name":"_lpAddress","type":"address"}],"name":"removeLiquidityPool","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sellTaxPercentage","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_sellTaxPercentage","type":"uint256"}],"name":"setSellTaxPercentage","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_account","type":"address"},{"internalType":"bool","name":"_exempt","type":"bool"}],"name":"setTaxExemption","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"taxWallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tradingActive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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"}]

60806040525f600560146101000a81548160ff0219169083151502179055505f60075534801561002d575f5ffd5b506040518060400160405280600981526020017f566f7274657820414900000000000000000000000000000000000000000000008152506040518060400160405280600681526020017f564f52544558000000000000000000000000000000000000000000000000000081525081600390816100a99190610568565b5080600490816100b99190610568565b5050506100d86100cd6100fd60201b60201c565b61010460201b60201c565b5f6a084595161401484a00000090506100f733826101c760201b60201c565b50610737565b5f33905090565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610235576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161022c90610691565b60405180910390fd5b6102465f838361032160201b60201c565b8060025f82825461025791906106dc565b92505081905550805f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610304919061071e565b60405180910390a361031d5f838361032660201b60201c565b5050565b505050565b505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806103a657607f821691505b6020821081036103b9576103b8610362565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f6008830261041b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826103e0565b61042586836103e0565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61046961046461045f8461043d565b610446565b61043d565b9050919050565b5f819050919050565b6104828361044f565b61049661048e82610470565b8484546103ec565b825550505050565b5f5f905090565b6104ad61049e565b6104b8818484610479565b505050565b5b818110156104db576104d05f826104a5565b6001810190506104be565b5050565b601f821115610520576104f1816103bf565b6104fa846103d1565b81016020851015610509578190505b61051d610515856103d1565b8301826104bd565b50505b505050565b5f82821c905092915050565b5f6105405f1984600802610525565b1980831691505092915050565b5f6105588383610531565b9150826002028217905092915050565b6105718261032b565b67ffffffffffffffff81111561058a57610589610335565b5b610594825461038f565b61059f8282856104df565b5f60209050601f8311600181146105d0575f84156105be578287015190505b6105c8858261054d565b86555061062f565b601f1984166105de866103bf565b5f5b82811015610605578489015182556001820191506020850194506020810190506105e0565b86831015610622578489015161061e601f891682610531565b8355505b6001600288020188555050505b505050505050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f61067b601f83610637565b915061068682610647565b602082019050919050565b5f6020820190508181035f8301526106a88161066f565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6106e68261043d565b91506106f18361043d565b9250828201905080821115610709576107086106af565b5b92915050565b6107188161043d565b82525050565b5f6020820190506107315f83018461070f565b92915050565b612fbf806107445f395ff3fe608060405234801561000f575f5ffd5b50600436106101d8575f3560e01c80638da5cb5b11610102578063ae22107f116100a0578063e85455d71161006f578063e85455d714610544578063ee6a934c14610574578063f2fde38b14610590578063f700b849146105ac576101d8565b8063ae22107f146104be578063b64e3c74146104da578063bbc0c742146104f6578063dd62ed3e14610514576101d8565b80639ec4be41116100dc5780639ec4be4114610424578063a457c2d714610440578063a6ec2c7314610470578063a9059cbb1461048e576101d8565b80638da5cb5b146103ca57806395d89b41146103e85780639e7d8d1d14610406576101d8565b8063313ce5671161017a578063715018a611610149578063715018a61461037e57806379cc67901461038857806388d695b2146103a45780638a8c523c146103c0576101d8565b8063313ce567146102e4578063395093511461030257806342966c681461033257806370a082311461034e576101d8565b806318160ddd116101b657806318160ddd1461025a5780631da0839d1461027857806323b872dd146102965780632dc0562d146102c6576101d8565b806306fdde03146101dc578063095ea7b3146101fa57806316c2be6b1461022a575b5f5ffd5b6101e46105c8565b6040516101f19190611fad565b60405180910390f35b610214600480360381019061020f9190612062565b610658565b60405161022191906120ba565b60405180910390f35b610244600480360381019061023f91906120d3565b61067a565b60405161025191906120ba565b60405180910390f35b610262610697565b60405161026f919061210d565b60405180910390f35b6102806106a0565b60405161028d91906121dd565b60405180910390f35b6102b060048036038101906102ab91906121fd565b61072b565b6040516102bd91906120ba565b60405180910390f35b6102ce610759565b6040516102db919061225c565b60405180910390f35b6102ec61077e565b6040516102f99190612290565b60405180910390f35b61031c60048036038101906103179190612062565b610786565b60405161032991906120ba565b60405180910390f35b61034c600480360381019061034791906122a9565b6107bc565b005b610368600480360381019061036391906120d3565b6107d0565b604051610375919061210d565b60405180910390f35b610386610815565b005b6103a2600480360381019061039d9190612062565b610828565b005b6103be60048036038101906103b9919061238a565b610848565b005b6103c86108ff565b005b6103d2610950565b6040516103df919061225c565b60405180910390f35b6103f0610978565b6040516103fd9190611fad565b60405180910390f35b61040e610a08565b60405161041b919061210d565b60405180910390f35b61043e600480360381019061043991906122a9565b610a0e565b005b61045a60048036038101906104559190612062565b610a65565b60405161046791906120ba565b60405180910390f35b610478610ada565b60405161048591906121dd565b60405180910390f35b6104a860048036038101906104a39190612062565b610b65565b6040516104b591906120ba565b60405180910390f35b6104d860048036038101906104d391906120d3565b610b87565b005b6104f460048036038101906104ef9190612432565b610de4565b005b6104fe6110e9565b60405161050b91906120ba565b60405180910390f35b61052e60048036038101906105299190612470565b6110fc565b60405161053b919061210d565b60405180910390f35b61055e600480360381019061055991906120d3565b61117e565b60405161056b91906120ba565b60405180910390f35b61058e600480360381019061058991906120d3565b61119b565b005b6105aa60048036038101906105a591906120d3565b611318565b005b6105c660048036038101906105c191906120d3565b61139a565b005b6060600380546105d7906124db565b80601f0160208091040260200160405190810160405280929190818152602001828054610603906124db565b801561064e5780601f106106255761010080835404028352916020019161064e565b820191905f5260205f20905b81548152906001019060200180831161063157829003601f168201915b5050505050905090565b5f5f610662611453565b905061066f81858561145a565b600191505092915050565b6009602052805f5260405f205f915054906101000a900460ff1681565b5f600254905090565b6060600a80548060200260200160405190810160405280929190818152602001828054801561072157602002820191905f5260205f20905b815f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190600101908083116106d8575b5050505050905090565b5f5f610735611453565b905061074285828561161d565b61074d8585856116a8565b60019150509392505050565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f6012905090565b5f5f610790611453565b90506107b18185856107a285896110fc565b6107ac9190612538565b61145a565b600191505092915050565b6107cd6107c7611453565b826119c3565b50565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61081d611b86565b6108265f611c04565b565b61083a82610834611453565b8361161d565b61084482826119c3565b5050565b818190508484905014610890576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610887906125db565b60405180910390fd5b5f5f90505b848490508110156108f8576108eb338686848181106108b7576108b66125f9565b5b90506020020160208101906108cc91906120d3565b8585858181106108df576108de6125f9565b5b905060200201356116a8565b8080600101915050610895565b5050505050565b610907611b86565b6001600560146101000a81548160ff0219169083151502179055507f799663458a5ef2936f7fa0c99b3336c69c25890f82974f04e811e5bb359186c760405160405180910390a1565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060048054610987906124db565b80601f01602080910402602001604051908101604052809291908181526020018280546109b3906124db565b80156109fe5780601f106109d5576101008083540402835291602001916109fe565b820191905f5260205f20905b8154815290600101906020018083116109e157829003601f168201915b5050505050905090565b60075481565b610a16611b86565b6103e8811115610a5b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5290612670565b60405180910390fd5b8060078190555050565b5f5f610a6f611453565b90505f610a7c82866110fc565b905083811015610ac1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ab8906126fe565b60405180910390fd5b610ace828686840361145a565b60019250505092915050565b6060600b805480602002602001604051908101604052809291908181526020018280548015610b5b57602002820191905f5260205f20905b815f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311610b12575b5050505050905090565b5f5f610b6f611453565b9050610b7c8185856116a8565b600191505092915050565b610b8f611b86565b60085f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16610c18576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c0f90612766565b60405180910390fd5b60085f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81549060ff02191690555f5f90505b600a80549050811015610de0578173ffffffffffffffffffffffffffffffffffffffff16600a8281548110610ca157610ca06125f9565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610dd357600a6001600a80549050610cf89190612784565b81548110610d0957610d086125f9565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600a8281548110610d4557610d446125f9565b5b905f5260205f20015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600a805480610d9c57610d9b6127b7565b5b600190038181905f5260205f20015f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690559055610de0565b8080600101915050610c69565b5050565b610dec611b86565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e5a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e519061282e565b60405180910390fd5b8060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508015610f1957600b82908060018154018082558091505060019003905f5260205f20015f9091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611097565b5f5f90505b600b80549050811015611095578273ffffffffffffffffffffffffffffffffffffffff16600b8281548110610f5657610f556125f9565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff160361108857600b6001600b80549050610fad9190612784565b81548110610fbe57610fbd6125f9565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600b8281548110610ffa57610ff96125f9565b5b905f5260205f20015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600b805480611051576110506127b7565b5b600190038181905f5260205f20015f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690559055611095565b8080600101915050610f1e565b505b8173ffffffffffffffffffffffffffffffffffffffff167ff683c34ac024bc3882d7544ca8f618433ba84e43d5a01ae90fadc141c45f2c59826040516110dd91906120ba565b60405180910390a25050565b600560149054906101000a900460ff1681565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6008602052805f5260405f205f915054906101000a900460ff1681565b6111a3611b86565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611211576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161120890612896565b60405180910390fd5b60085f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1661131557600160085f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550600a81908060018154018082558091505060019003905f5260205f20015f9091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b611320611b86565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361138e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161138590612924565b60405180910390fd5b61139781611c04565b50565b6113a2611b86565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611410576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114079061298c565b60405180910390fd5b8060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036114c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114bf90612a1a565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611536576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161152d90612aa8565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611610919061210d565b60405180910390a3505050565b5f61162884846110fc565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146116a25781811015611694576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161168b90612b10565b60405180910390fd5b6116a1848484840361145a565b5b50505050565b600560149054906101000a900460ff1661176f576116c4610950565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16148061172f5750611700610950565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b61176e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161176590612b78565b60405180910390fd5b5b5f5f9050600560149054906101000a900460ff1680156117dc57505f73ffffffffffffffffffffffffffffffffffffffff1660065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b80156117e957505f600754115b801561183c575060095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b801561188f575060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b80156118e1575060085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b156119b25761271061270f600754846118fa9190612b96565b6119049190612538565b61190e9190612c04565b905061193c8460065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836116a8565b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f4b9a052bbc5867cd575ea66f9486d08c22080f51cb61056967ab532b9d550cf1848460405161199b929190612c34565b60405180910390a380826119af9190612784565b91505b6119bd848484611cc7565b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a31576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a2890612ccb565b60405180910390fd5b611a3c825f83611f33565b5f5f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611abf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ab690612d59565b60405180910390fd5b8181035f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f82825403925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611b6e919061210d565b60405180910390a3611b81835f84611f38565b505050565b611b8e611453565b73ffffffffffffffffffffffffffffffffffffffff16611bac610950565b73ffffffffffffffffffffffffffffffffffffffff1614611c02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611bf990612dc1565b60405180910390fd5b565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611d35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d2c90612e4f565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611da3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d9a90612edd565b60405180910390fd5b611dae838383611f33565b5f5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611e31576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e2890612f6b565b60405180910390fd5b8181035f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611f1a919061210d565b60405180910390a3611f2d848484611f38565b50505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f611f7f82611f3d565b611f898185611f47565b9350611f99818560208601611f57565b611fa281611f65565b840191505092915050565b5f6020820190508181035f830152611fc58184611f75565b905092915050565b5f5ffd5b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611ffe82611fd5565b9050919050565b61200e81611ff4565b8114612018575f5ffd5b50565b5f8135905061202981612005565b92915050565b5f819050919050565b6120418161202f565b811461204b575f5ffd5b50565b5f8135905061205c81612038565b92915050565b5f5f6040838503121561207857612077611fcd565b5b5f6120858582860161201b565b92505060206120968582860161204e565b9150509250929050565b5f8115159050919050565b6120b4816120a0565b82525050565b5f6020820190506120cd5f8301846120ab565b92915050565b5f602082840312156120e8576120e7611fcd565b5b5f6120f58482850161201b565b91505092915050565b6121078161202f565b82525050565b5f6020820190506121205f8301846120fe565b92915050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b61215881611ff4565b82525050565b5f612169838361214f565b60208301905092915050565b5f602082019050919050565b5f61218b82612126565b6121958185612130565b93506121a083612140565b805f5b838110156121d05781516121b7888261215e565b97506121c283612175565b9250506001810190506121a3565b5085935050505092915050565b5f6020820190508181035f8301526121f58184612181565b905092915050565b5f5f5f6060848603121561221457612213611fcd565b5b5f6122218682870161201b565b93505060206122328682870161201b565b92505060406122438682870161204e565b9150509250925092565b61225681611ff4565b82525050565b5f60208201905061226f5f83018461224d565b92915050565b5f60ff82169050919050565b61228a81612275565b82525050565b5f6020820190506122a35f830184612281565b92915050565b5f602082840312156122be576122bd611fcd565b5b5f6122cb8482850161204e565b91505092915050565b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83601f8401126122f5576122f46122d4565b5b8235905067ffffffffffffffff811115612312576123116122d8565b5b60208301915083602082028301111561232e5761232d6122dc565b5b9250929050565b5f5f83601f84011261234a576123496122d4565b5b8235905067ffffffffffffffff811115612367576123666122d8565b5b602083019150836020820283011115612383576123826122dc565b5b9250929050565b5f5f5f5f604085870312156123a2576123a1611fcd565b5b5f85013567ffffffffffffffff8111156123bf576123be611fd1565b5b6123cb878288016122e0565b9450945050602085013567ffffffffffffffff8111156123ee576123ed611fd1565b5b6123fa87828801612335565b925092505092959194509250565b612411816120a0565b811461241b575f5ffd5b50565b5f8135905061242c81612408565b92915050565b5f5f6040838503121561244857612447611fcd565b5b5f6124558582860161201b565b92505060206124668582860161241e565b9150509250929050565b5f5f6040838503121561248657612485611fcd565b5b5f6124938582860161201b565b92505060206124a48582860161201b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806124f257607f821691505b602082108103612505576125046124ae565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6125428261202f565b915061254d8361202f565b92508282019050808211156125655761256461250b565b5b92915050565b7f526563697069656e747320616e6420616d6f756e7473206c656e677468206d695f8201527f736d617463680000000000000000000000000000000000000000000000000000602082015250565b5f6125c5602683611f47565b91506125d08261256b565b604082019050919050565b5f6020820190508181035f8301526125f2816125b9565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f53656c6c207461782063616e6e6f7420657863656564203130250000000000005f82015250565b5f61265a601a83611f47565b915061266582612626565b602082019050919050565b5f6020820190508181035f8301526126878161264e565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f6126e8602583611f47565b91506126f38261268e565b604082019050919050565b5f6020820190508181035f830152612715816126dc565b9050919050565b7f41646472657373206973206e6f742061206c697175696469747920706f6f6c005f82015250565b5f612750601f83611f47565b915061275b8261271c565b602082019050919050565b5f6020820190508181035f83015261277d81612744565b9050919050565b5f61278e8261202f565b91506127998361202f565b92508282039050818111156127b1576127b061250b565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f612818600f83611f47565b9150612823826127e4565b602082019050919050565b5f6020820190508181035f8301526128458161280c565b9050919050565b7f496e76616c6964206c697175696469747920706f6f6c206164647265737300005f82015250565b5f612880601e83611f47565b915061288b8261284c565b602082019050919050565b5f6020820190508181035f8301526128ad81612874565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f61290e602683611f47565b9150612919826128b4565b604082019050919050565b5f6020820190508181035f83015261293b81612902565b9050919050565b7f496e76616c6964207461782077616c6c657400000000000000000000000000005f82015250565b5f612976601283611f47565b915061298182612942565b602082019050919050565b5f6020820190508181035f8301526129a38161296a565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f612a04602483611f47565b9150612a0f826129aa565b604082019050919050565b5f6020820190508181035f830152612a31816129f8565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f612a92602283611f47565b9150612a9d82612a38565b604082019050919050565b5f6020820190508181035f830152612abf81612a86565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f612afa601d83611f47565b9150612b0582612ac6565b602082019050919050565b5f6020820190508181035f830152612b2781612aee565b9050919050565b7f54726164696e67206973206e6f742061637469766500000000000000000000005f82015250565b5f612b62601583611f47565b9150612b6d82612b2e565b602082019050919050565b5f6020820190508181035f830152612b8f81612b56565b9050919050565b5f612ba08261202f565b9150612bab8361202f565b9250828202612bb98161202f565b91508282048414831517612bd057612bcf61250b565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f612c0e8261202f565b9150612c198361202f565b925082612c2957612c28612bd7565b5b828204905092915050565b5f604082019050612c475f8301856120fe565b612c5460208301846120fe565b9392505050565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265735f8201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b5f612cb5602183611f47565b9150612cc082612c5b565b604082019050919050565b5f6020820190508181035f830152612ce281612ca9565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e5f8201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b5f612d43602283611f47565b9150612d4e82612ce9565b604082019050919050565b5f6020820190508181035f830152612d7081612d37565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f612dab602083611f47565b9150612db682612d77565b602082019050919050565b5f6020820190508181035f830152612dd881612d9f565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f612e39602583611f47565b9150612e4482612ddf565b604082019050919050565b5f6020820190508181035f830152612e6681612e2d565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f612ec7602383611f47565b9150612ed282612e6d565b604082019050919050565b5f6020820190508181035f830152612ef481612ebb565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f612f55602683611f47565b9150612f6082612efb565b604082019050919050565b5f6020820190508181035f830152612f8281612f49565b905091905056fea26469706673582212207ee8a815b04e3bd8e7d08eb90b4a895905ada9b0ad9affe75e7918603bc3773d64736f6c634300081c0033

0x608060405234801561000f575f5ffd5b50600436106101d8575f3560e01c80638da5cb5b11610102578063ae22107f116100a0578063e85455d71161006f578063e85455d714610544578063ee6a934c14610574578063f2fde38b14610590578063f700b849146105ac576101d8565b8063ae22107f146104be578063b64e3c74146104da578063bbc0c742146104f6578063dd62ed3e14610514576101d8565b80639ec4be41116100dc5780639ec4be4114610424578063a457c2d714610440578063a6ec2c7314610470578063a9059cbb1461048e576101d8565b80638da5cb5b146103ca57806395d89b41146103e85780639e7d8d1d14610406576101d8565b8063313ce5671161017a578063715018a611610149578063715018a61461037e57806379cc67901461038857806388d695b2146103a45780638a8c523c146103c0576101d8565b8063313ce567146102e4578063395093511461030257806342966c681461033257806370a082311461034e576101d8565b806318160ddd116101b657806318160ddd1461025a5780631da0839d1461027857806323b872dd146102965780632dc0562d146102c6576101d8565b806306fdde03146101dc578063095ea7b3146101fa57806316c2be6b1461022a575b5f5ffd5b6101e46105c8565b6040516101f19190611fad565b60405180910390f35b610214600480360381019061020f9190612062565b610658565b60405161022191906120ba565b60405180910390f35b610244600480360381019061023f91906120d3565b61067a565b60405161025191906120ba565b60405180910390f35b610262610697565b60405161026f919061210d565b60405180910390f35b6102806106a0565b60405161028d91906121dd565b60405180910390f35b6102b060048036038101906102ab91906121fd565b61072b565b6040516102bd91906120ba565b60405180910390f35b6102ce610759565b6040516102db919061225c565b60405180910390f35b6102ec61077e565b6040516102f99190612290565b60405180910390f35b61031c60048036038101906103179190612062565b610786565b60405161032991906120ba565b60405180910390f35b61034c600480360381019061034791906122a9565b6107bc565b005b610368600480360381019061036391906120d3565b6107d0565b604051610375919061210d565b60405180910390f35b610386610815565b005b6103a2600480360381019061039d9190612062565b610828565b005b6103be60048036038101906103b9919061238a565b610848565b005b6103c86108ff565b005b6103d2610950565b6040516103df919061225c565b60405180910390f35b6103f0610978565b6040516103fd9190611fad565b60405180910390f35b61040e610a08565b60405161041b919061210d565b60405180910390f35b61043e600480360381019061043991906122a9565b610a0e565b005b61045a60048036038101906104559190612062565b610a65565b60405161046791906120ba565b60405180910390f35b610478610ada565b60405161048591906121dd565b60405180910390f35b6104a860048036038101906104a39190612062565b610b65565b6040516104b591906120ba565b60405180910390f35b6104d860048036038101906104d391906120d3565b610b87565b005b6104f460048036038101906104ef9190612432565b610de4565b005b6104fe6110e9565b60405161050b91906120ba565b60405180910390f35b61052e60048036038101906105299190612470565b6110fc565b60405161053b919061210d565b60405180910390f35b61055e600480360381019061055991906120d3565b61117e565b60405161056b91906120ba565b60405180910390f35b61058e600480360381019061058991906120d3565b61119b565b005b6105aa60048036038101906105a591906120d3565b611318565b005b6105c660048036038101906105c191906120d3565b61139a565b005b6060600380546105d7906124db565b80601f0160208091040260200160405190810160405280929190818152602001828054610603906124db565b801561064e5780601f106106255761010080835404028352916020019161064e565b820191905f5260205f20905b81548152906001019060200180831161063157829003601f168201915b5050505050905090565b5f5f610662611453565b905061066f81858561145a565b600191505092915050565b6009602052805f5260405f205f915054906101000a900460ff1681565b5f600254905090565b6060600a80548060200260200160405190810160405280929190818152602001828054801561072157602002820191905f5260205f20905b815f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190600101908083116106d8575b5050505050905090565b5f5f610735611453565b905061074285828561161d565b61074d8585856116a8565b60019150509392505050565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f6012905090565b5f5f610790611453565b90506107b18185856107a285896110fc565b6107ac9190612538565b61145a565b600191505092915050565b6107cd6107c7611453565b826119c3565b50565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61081d611b86565b6108265f611c04565b565b61083a82610834611453565b8361161d565b61084482826119c3565b5050565b818190508484905014610890576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610887906125db565b60405180910390fd5b5f5f90505b848490508110156108f8576108eb338686848181106108b7576108b66125f9565b5b90506020020160208101906108cc91906120d3565b8585858181106108df576108de6125f9565b5b905060200201356116a8565b8080600101915050610895565b5050505050565b610907611b86565b6001600560146101000a81548160ff0219169083151502179055507f799663458a5ef2936f7fa0c99b3336c69c25890f82974f04e811e5bb359186c760405160405180910390a1565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060048054610987906124db565b80601f01602080910402602001604051908101604052809291908181526020018280546109b3906124db565b80156109fe5780601f106109d5576101008083540402835291602001916109fe565b820191905f5260205f20905b8154815290600101906020018083116109e157829003601f168201915b5050505050905090565b60075481565b610a16611b86565b6103e8811115610a5b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5290612670565b60405180910390fd5b8060078190555050565b5f5f610a6f611453565b90505f610a7c82866110fc565b905083811015610ac1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ab8906126fe565b60405180910390fd5b610ace828686840361145a565b60019250505092915050565b6060600b805480602002602001604051908101604052809291908181526020018280548015610b5b57602002820191905f5260205f20905b815f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311610b12575b5050505050905090565b5f5f610b6f611453565b9050610b7c8185856116a8565b600191505092915050565b610b8f611b86565b60085f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16610c18576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c0f90612766565b60405180910390fd5b60085f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81549060ff02191690555f5f90505b600a80549050811015610de0578173ffffffffffffffffffffffffffffffffffffffff16600a8281548110610ca157610ca06125f9565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610dd357600a6001600a80549050610cf89190612784565b81548110610d0957610d086125f9565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600a8281548110610d4557610d446125f9565b5b905f5260205f20015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600a805480610d9c57610d9b6127b7565b5b600190038181905f5260205f20015f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690559055610de0565b8080600101915050610c69565b5050565b610dec611b86565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e5a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e519061282e565b60405180910390fd5b8060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508015610f1957600b82908060018154018082558091505060019003905f5260205f20015f9091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611097565b5f5f90505b600b80549050811015611095578273ffffffffffffffffffffffffffffffffffffffff16600b8281548110610f5657610f556125f9565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff160361108857600b6001600b80549050610fad9190612784565b81548110610fbe57610fbd6125f9565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600b8281548110610ffa57610ff96125f9565b5b905f5260205f20015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600b805480611051576110506127b7565b5b600190038181905f5260205f20015f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690559055611095565b8080600101915050610f1e565b505b8173ffffffffffffffffffffffffffffffffffffffff167ff683c34ac024bc3882d7544ca8f618433ba84e43d5a01ae90fadc141c45f2c59826040516110dd91906120ba565b60405180910390a25050565b600560149054906101000a900460ff1681565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6008602052805f5260405f205f915054906101000a900460ff1681565b6111a3611b86565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611211576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161120890612896565b60405180910390fd5b60085f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1661131557600160085f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550600a81908060018154018082558091505060019003905f5260205f20015f9091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b611320611b86565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361138e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161138590612924565b60405180910390fd5b61139781611c04565b50565b6113a2611b86565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611410576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114079061298c565b60405180910390fd5b8060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036114c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114bf90612a1a565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611536576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161152d90612aa8565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611610919061210d565b60405180910390a3505050565b5f61162884846110fc565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146116a25781811015611694576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161168b90612b10565b60405180910390fd5b6116a1848484840361145a565b5b50505050565b600560149054906101000a900460ff1661176f576116c4610950565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16148061172f5750611700610950565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b61176e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161176590612b78565b60405180910390fd5b5b5f5f9050600560149054906101000a900460ff1680156117dc57505f73ffffffffffffffffffffffffffffffffffffffff1660065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b80156117e957505f600754115b801561183c575060095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b801561188f575060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b80156118e1575060085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b156119b25761271061270f600754846118fa9190612b96565b6119049190612538565b61190e9190612c04565b905061193c8460065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836116a8565b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f4b9a052bbc5867cd575ea66f9486d08c22080f51cb61056967ab532b9d550cf1848460405161199b929190612c34565b60405180910390a380826119af9190612784565b91505b6119bd848484611cc7565b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a31576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a2890612ccb565b60405180910390fd5b611a3c825f83611f33565b5f5f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611abf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ab690612d59565b60405180910390fd5b8181035f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f82825403925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611b6e919061210d565b60405180910390a3611b81835f84611f38565b505050565b611b8e611453565b73ffffffffffffffffffffffffffffffffffffffff16611bac610950565b73ffffffffffffffffffffffffffffffffffffffff1614611c02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611bf990612dc1565b60405180910390fd5b565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611d35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d2c90612e4f565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611da3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d9a90612edd565b60405180910390fd5b611dae838383611f33565b5f5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611e31576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e2890612f6b565b60405180910390fd5b8181035f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611f1a919061210d565b60405180910390a3611f2d848484611f38565b50505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f611f7f82611f3d565b611f898185611f47565b9350611f99818560208601611f57565b611fa281611f65565b840191505092915050565b5f6020820190508181035f830152611fc58184611f75565b905092915050565b5f5ffd5b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611ffe82611fd5565b9050919050565b61200e81611ff4565b8114612018575f5ffd5b50565b5f8135905061202981612005565b92915050565b5f819050919050565b6120418161202f565b811461204b575f5ffd5b50565b5f8135905061205c81612038565b92915050565b5f5f6040838503121561207857612077611fcd565b5b5f6120858582860161201b565b92505060206120968582860161204e565b9150509250929050565b5f8115159050919050565b6120b4816120a0565b82525050565b5f6020820190506120cd5f8301846120ab565b92915050565b5f602082840312156120e8576120e7611fcd565b5b5f6120f58482850161201b565b91505092915050565b6121078161202f565b82525050565b5f6020820190506121205f8301846120fe565b92915050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b61215881611ff4565b82525050565b5f612169838361214f565b60208301905092915050565b5f602082019050919050565b5f61218b82612126565b6121958185612130565b93506121a083612140565b805f5b838110156121d05781516121b7888261215e565b97506121c283612175565b9250506001810190506121a3565b5085935050505092915050565b5f6020820190508181035f8301526121f58184612181565b905092915050565b5f5f5f6060848603121561221457612213611fcd565b5b5f6122218682870161201b565b93505060206122328682870161201b565b92505060406122438682870161204e565b9150509250925092565b61225681611ff4565b82525050565b5f60208201905061226f5f83018461224d565b92915050565b5f60ff82169050919050565b61228a81612275565b82525050565b5f6020820190506122a35f830184612281565b92915050565b5f602082840312156122be576122bd611fcd565b5b5f6122cb8482850161204e565b91505092915050565b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83601f8401126122f5576122f46122d4565b5b8235905067ffffffffffffffff811115612312576123116122d8565b5b60208301915083602082028301111561232e5761232d6122dc565b5b9250929050565b5f5f83601f84011261234a576123496122d4565b5b8235905067ffffffffffffffff811115612367576123666122d8565b5b602083019150836020820283011115612383576123826122dc565b5b9250929050565b5f5f5f5f604085870312156123a2576123a1611fcd565b5b5f85013567ffffffffffffffff8111156123bf576123be611fd1565b5b6123cb878288016122e0565b9450945050602085013567ffffffffffffffff8111156123ee576123ed611fd1565b5b6123fa87828801612335565b925092505092959194509250565b612411816120a0565b811461241b575f5ffd5b50565b5f8135905061242c81612408565b92915050565b5f5f6040838503121561244857612447611fcd565b5b5f6124558582860161201b565b92505060206124668582860161241e565b9150509250929050565b5f5f6040838503121561248657612485611fcd565b5b5f6124938582860161201b565b92505060206124a48582860161201b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806124f257607f821691505b602082108103612505576125046124ae565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6125428261202f565b915061254d8361202f565b92508282019050808211156125655761256461250b565b5b92915050565b7f526563697069656e747320616e6420616d6f756e7473206c656e677468206d695f8201527f736d617463680000000000000000000000000000000000000000000000000000602082015250565b5f6125c5602683611f47565b91506125d08261256b565b604082019050919050565b5f6020820190508181035f8301526125f2816125b9565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f53656c6c207461782063616e6e6f7420657863656564203130250000000000005f82015250565b5f61265a601a83611f47565b915061266582612626565b602082019050919050565b5f6020820190508181035f8301526126878161264e565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f6126e8602583611f47565b91506126f38261268e565b604082019050919050565b5f6020820190508181035f830152612715816126dc565b9050919050565b7f41646472657373206973206e6f742061206c697175696469747920706f6f6c005f82015250565b5f612750601f83611f47565b915061275b8261271c565b602082019050919050565b5f6020820190508181035f83015261277d81612744565b9050919050565b5f61278e8261202f565b91506127998361202f565b92508282039050818111156127b1576127b061250b565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f612818600f83611f47565b9150612823826127e4565b602082019050919050565b5f6020820190508181035f8301526128458161280c565b9050919050565b7f496e76616c6964206c697175696469747920706f6f6c206164647265737300005f82015250565b5f612880601e83611f47565b915061288b8261284c565b602082019050919050565b5f6020820190508181035f8301526128ad81612874565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f61290e602683611f47565b9150612919826128b4565b604082019050919050565b5f6020820190508181035f83015261293b81612902565b9050919050565b7f496e76616c6964207461782077616c6c657400000000000000000000000000005f82015250565b5f612976601283611f47565b915061298182612942565b602082019050919050565b5f6020820190508181035f8301526129a38161296a565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f612a04602483611f47565b9150612a0f826129aa565b604082019050919050565b5f6020820190508181035f830152612a31816129f8565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f612a92602283611f47565b9150612a9d82612a38565b604082019050919050565b5f6020820190508181035f830152612abf81612a86565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f612afa601d83611f47565b9150612b0582612ac6565b602082019050919050565b5f6020820190508181035f830152612b2781612aee565b9050919050565b7f54726164696e67206973206e6f742061637469766500000000000000000000005f82015250565b5f612b62601583611f47565b9150612b6d82612b2e565b602082019050919050565b5f6020820190508181035f830152612b8f81612b56565b9050919050565b5f612ba08261202f565b9150612bab8361202f565b9250828202612bb98161202f565b91508282048414831517612bd057612bcf61250b565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f612c0e8261202f565b9150612c198361202f565b925082612c2957612c28612bd7565b5b828204905092915050565b5f604082019050612c475f8301856120fe565b612c5460208301846120fe565b9392505050565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265735f8201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b5f612cb5602183611f47565b9150612cc082612c5b565b604082019050919050565b5f6020820190508181035f830152612ce281612ca9565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e5f8201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b5f612d43602283611f47565b9150612d4e82612ce9565b604082019050919050565b5f6020820190508181035f830152612d7081612d37565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f612dab602083611f47565b9150612db682612d77565b602082019050919050565b5f6020820190508181035f830152612dd881612d9f565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f612e39602583611f47565b9150612e4482612ddf565b604082019050919050565b5f6020820190508181035f830152612e6681612e2d565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f612ec7602383611f47565b9150612ed282612e6d565b604082019050919050565b5f6020820190508181035f830152612ef481612ebb565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f612f55602683611f47565b9150612f6082612efb565b604082019050919050565b5f6020820190508181035f830152612f8281612f49565b905091905056fea26469706673582212207ee8a815b04e3bd8e7d08eb90b4a895905ada9b0ad9affe75e7918603bc3773d64736f6c634300081c0033

26876:5515:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14372:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16798:226;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27228:43;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15501:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27738:158;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17604:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26992:24;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15343:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18308:263;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26295:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;15672:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8005:103;;;:::i;:::-;;26705:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;30850:393;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;28777:115;;;:::i;:::-;;7364:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14591:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27055:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28457:253;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;19074:498;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27977:118;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16021:218;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;29357:575;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;30012:751;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;26927:33;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16302:176;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27147:47;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28965:310;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8263:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;28169:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;14372:100;14426:13;14459:5;14452:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14372:100;:::o;16798:226::-;16906:4;16923:13;16939:12;:10;:12::i;:::-;16923:28;;16962:32;16971:5;16978:7;16987:6;16962:8;:32::i;:::-;17012:4;17005:11;;;16798:226;;;;:::o;27228:43::-;;;;;;;;;;;;;;;;;;;;;;:::o;15501:108::-;15562:7;15589:12;;15582:19;;15501:108;:::o;27738:158::-;27825:16;27866:22;27859:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27738:158;:::o;17604:295::-;17735:4;17752:15;17770:12;:10;:12::i;:::-;17752:30;;17793:38;17809:4;17815:7;17824:6;17793:15;:38::i;:::-;17842:27;17852:4;17858:2;17862:6;17842:9;:27::i;:::-;17887:4;17880:11;;;17604:295;;;;;:::o;26992:24::-;;;;;;;;;;;;;:::o;15343:93::-;15401:5;15426:2;15419:9;;15343:93;:::o;18308:263::-;18421:4;18438:13;18454:12;:10;:12::i;:::-;18438:28;;18477:64;18486:5;18493:7;18530:10;18502:25;18512:5;18519:7;18502:9;:25::i;:::-;:38;;;;:::i;:::-;18477:8;:64::i;:::-;18559:4;18552:11;;;18308:263;;;;:::o;26295:91::-;26351:27;26357:12;:10;:12::i;:::-;26371:6;26351:5;:27::i;:::-;26295:91;:::o;15672:143::-;15762:7;15789:9;:18;15799:7;15789:18;;;;;;;;;;;;;;;;15782:25;;15672:143;;;:::o;8005:103::-;7250:13;:11;:13::i;:::-;8070:30:::1;8097:1;8070:18;:30::i;:::-;8005:103::o:0;26705:164::-;26782:46;26798:7;26807:12;:10;:12::i;:::-;26821:6;26782:15;:46::i;:::-;26839:22;26845:7;26854:6;26839:5;:22::i;:::-;26705:164;;:::o;30850:393::-;31020:7;;:14;;30999:10;;:17;;:35;30977:123;;;;;;;;;;;;:::i;:::-;;;;;;;;;31118:9;31130:1;31118:13;;31113:123;31137:10;;:17;;31133:1;:21;31113:123;;;31176:48;31186:10;31198;;31209:1;31198:13;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;31213:7;;31221:1;31213:10;;;;;;;:::i;:::-;;;;;;;;31176:9;:48::i;:::-;31156:3;;;;;;;31113:123;;;;30850:393;;;;:::o;28777:115::-;7250:13;:11;:13::i;:::-;28848:4:::1;28832:13;;:20;;;;;;;;;;;;;;;;;;28868:16;;;;;;;;;;28777:115::o:0;7364:87::-;7410:7;7437:6;;;;;;;;;;;7430:13;;7364:87;:::o;14591:104::-;14647:13;14680:7;14673:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14591:104;:::o;27055:36::-;;;;:::o;28457:253::-;7250:13;:11;:13::i;:::-;28591:4:::1;28569:18;:26;;28561:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;28684:18;28664:17;:38;;;;28457:253:::0;:::o;19074:498::-;19192:4;19209:13;19225:12;:10;:12::i;:::-;19209:28;;19248:24;19275:25;19285:5;19292:7;19275:9;:25::i;:::-;19248:52;;19353:15;19333:16;:35;;19311:122;;;;;;;;;;;;:::i;:::-;;;;;;;;;19469:60;19478:5;19485:7;19513:15;19494:16;:34;19469:8;:60::i;:::-;19560:4;19553:11;;;;19074:498;;;;:::o;27977:118::-;28033:16;28069:18;28062:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27977:118;:::o;16021:218::-;16125:4;16142:13;16158:12;:10;:12::i;:::-;16142:28;;16181;16191:5;16198:2;16202:6;16181:9;:28::i;:::-;16227:4;16220:11;;;16021:218;;;;:::o;29357:575::-;7250:13;:11;:13::i;:::-;29444:15:::1;:27;29460:10;29444:27;;;;;;;;;;;;;;;;;;;;;;;;;29436:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;29525:15;:27;29541:10;29525:27;;;;;;;;;;;;;;;;29518:34;;;;;;;;;;;29568:9;29580:1;29568:13;;29563:362;29587:22;:29;;;;29583:1;:33;29563:362;;;29671:10;29642:39;;:22;29665:1;29642:25;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;:39;;::::0;29638:276:::1;;29730:22;29807:1;29775:22;:29;;;;:33;;;;:::i;:::-;29730:97;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;29702:22;29725:1;29702:25;;;;;;;;:::i;:::-;;;;;;;;;;:125;;;;;;;;;;;;;;;;;;29846:22;:28;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;29893:5;;29638:276;29618:3;;;;;;;29563:362;;;;29357:575:::0;:::o;30012:751::-;7250:13;:11;:13::i;:::-;30152:1:::1;30132:22;;:8;:22;;::::0;30124:50:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;30209:7;30185:11;:21;30197:8;30185:21;;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;;;;;30233:7;30229:473;;;30257:18;30281:8;30257:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30229:473;;;30328:9;30340:1;30328:13;;30323:368;30347:18;:25;;;;30343:1;:29;30323:368;;;30427:8;30402:33;;:18;30421:1;30402:21;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;:33;;::::0;30398:278:::1;;30484:18;30557:1;30529:18;:25;;;;:29;;;;:::i;:::-;30484:97;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;30460:18;30479:1;30460:21;;;;;;;;:::i;:::-;;;;;;;;;;:121;;;;;;;;;;;;;;;;;;30604:18;:24;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;30651:5;;30398:278;30374:3;;;;;;;30323:368;;;;30229:473;30737:8;30717:38;;;30747:7;30717:38;;;;;;:::i;:::-;;;;;;;;30012:751:::0;;:::o;26927:33::-;;;;;;;;;;;;;:::o;16302:176::-;16416:7;16443:11;:18;16455:5;16443:18;;;;;;;;;;;;;;;:27;16462:7;16443:27;;;;;;;;;;;;;;;;16436:34;;16302:176;;;;:::o;27147:47::-;;;;;;;;;;;;;;;;;;;;;;:::o;28965:310::-;7250:13;:11;:13::i;:::-;29071:1:::1;29049:24;;:10;:24;;::::0;29041:67:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;29124:15;:27;29140:10;29124:27;;;;;;;;;;;;;;;;;;;;;;;;;29119:149;;29198:4;29168:15;:27;29184:10;29168:27;;;;;;;;;;;;;;;;:34;;;;;;;;;;;;;;;;;;29217:22;29245:10;29217:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29119:149;28965:310:::0;:::o;8263:238::-;7250:13;:11;:13::i;:::-;8386:1:::1;8366:22;;:8;:22;;::::0;8344:110:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;8465:28;8484:8;8465:18;:28::i;:::-;8263:238:::0;:::o;28169:175::-;7250:13;:11;:13::i;:::-;28278:1:::1;28256:24;;:10;:24;;::::0;28248:55:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;28326:10;28314:9;;:22;;;;;;;;;;;;;;;;;;28169:175:::0;:::o;5880:98::-;5933:7;5960:10;5953:17;;5880:98;:::o;23200:380::-;23353:1;23336:19;;:5;:19;;;23328:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;23434:1;23415:21;;:7;:21;;;23407:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;23518:6;23488:11;:18;23500:5;23488:18;;;;;;;;;;;;;;;:27;23507:7;23488:27;;;;;;;;;;;;;;;:36;;;;23556:7;23540:32;;23549:5;23540:32;;;23565:6;23540:32;;;;;;:::i;:::-;;;;;;;;23200:380;;;:::o;23871:502::-;24006:24;24033:25;24043:5;24050:7;24033:9;:25::i;:::-;24006:52;;24093:17;24073:16;:37;24069:297;;24173:6;24153:16;:26;;24127:117;;;;;;;;;;;;:::i;:::-;;;;;;;;;24288:51;24297:5;24304:7;24332:6;24313:16;:25;24288:8;:51::i;:::-;24069:297;23995:378;23871:502;;;:::o;31331:811::-;31460:13;;;;;;;;;;;31455:113;;31506:7;:5;:7::i;:::-;31498:15;;:4;:15;;;:32;;;;31523:7;:5;:7::i;:::-;31517:13;;:2;:13;;;31498:32;31490:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;31455:113;31580:17;31600:1;31580:21;;31632:13;;;;;;;;;;;:53;;;;;31683:1;31662:23;;:9;;;;;;;;;;;:23;;;;31632:53;:91;;;;;31722:1;31702:17;;:21;31632:91;:126;;;;;31741:11;:17;31753:4;31741:17;;;;;;;;;;;;;;;;;;;;;;;;;31740:18;31632:126;:159;;;;;31776:11;:15;31788:2;31776:15;;;;;;;;;;;;;;;;;;;;;;;;;31775:16;31632:159;:195;;;;;31808:15;:19;31824:2;31808:19;;;;;;;;;;;;;;;;;;;;;;;;;31632:195;31614:475;;;31904:5;31896:4;31876:17;;31867:6;:26;;;;:::i;:::-;:33;;;;:::i;:::-;31866:43;;;;:::i;:::-;31854:55;;31947:37;31957:4;31963:9;;;;;;;;;;;31974;31947;:37::i;:::-;32021:2;32004:39;;32015:4;32004:39;;;32025:6;32033:9;32004:39;;;;;;;:::i;:::-;;;;;;;;32068:9;32058:19;;;;;:::i;:::-;;;31614:475;32101:33;32117:4;32123:2;32127:6;32101:15;:33::i;:::-;31444:698;31331:811;;;:::o;22087:675::-;22190:1;22171:21;;:7;:21;;;22163:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;22243:49;22264:7;22281:1;22285:6;22243:20;:49::i;:::-;22305:22;22330:9;:18;22340:7;22330:18;;;;;;;;;;;;;;;;22305:43;;22385:6;22367:14;:24;;22359:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;22504:6;22487:14;:23;22466:9;:18;22476:7;22466:18;;;;;;;;;;;;;;;:44;;;;22621:6;22605:12;;:22;;;;;;;;;;;22682:1;22656:37;;22665:7;22656:37;;;22686:6;22656:37;;;;;;:::i;:::-;;;;;;;;22706:48;22726:7;22743:1;22747:6;22706:19;:48::i;:::-;22152:610;22087:675;;:::o;7529:132::-;7604:12;:10;:12::i;:::-;7593:23;;:7;:5;:7::i;:::-;:23;;;7585:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7529:132::o;8661:191::-;8735:16;8754:6;;;;;;;;;;;8735:25;;8780:8;8771:6;;:17;;;;;;;;;;;;;;;;;;8835:8;8804:40;;8825:8;8804:40;;;;;;;;;;;;8724:128;8661:191;:::o;20042:877::-;20189:1;20173:18;;:4;:18;;;20165:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;20266:1;20252:16;;:2;:16;;;20244:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;20321:38;20342:4;20348:2;20352:6;20321:20;:38::i;:::-;20372:19;20394:9;:15;20404:4;20394:15;;;;;;;;;;;;;;;;20372:37;;20457:6;20442:11;:21;;20420:109;;;;;;;;;;;;:::i;:::-;;;;;;;;;20597:6;20583:11;:20;20565:9;:15;20575:4;20565:15;;;;;;;;;;;;;;;:38;;;;20800:6;20783:9;:13;20793:2;20783:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;20850:2;20835:26;;20844:4;20835:26;;;20854:6;20835:26;;;;;;:::i;:::-;;;;;;;;20874:37;20894:4;20900:2;20904:6;20874:19;:37::i;:::-;20154:765;20042:877;;;:::o;24973:125::-;;;;:::o;25702:124::-;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1446:117;1555:1;1552;1545:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:329::-;3398:6;3447:2;3435:9;3426:7;3422:23;3418:32;3415:119;;;3453:79;;:::i;:::-;3415:119;3573:1;3598:53;3643:7;3634:6;3623:9;3619:22;3598:53;:::i;:::-;3588:63;;3544:117;3339:329;;;;:::o;3674:118::-;3761:24;3779:5;3761:24;:::i;:::-;3756:3;3749:37;3674:118;;:::o;3798:222::-;3891:4;3929:2;3918:9;3914:18;3906:26;;3942:71;4010:1;3999:9;3995:17;3986:6;3942:71;:::i;:::-;3798:222;;;;:::o;4026:114::-;4093:6;4127:5;4121:12;4111:22;;4026:114;;;:::o;4146:184::-;4245:11;4279:6;4274:3;4267:19;4319:4;4314:3;4310:14;4295:29;;4146:184;;;;:::o;4336:132::-;4403:4;4426:3;4418:11;;4456:4;4451:3;4447:14;4439:22;;4336:132;;;:::o;4474:108::-;4551:24;4569:5;4551:24;:::i;:::-;4546:3;4539:37;4474:108;;:::o;4588:179::-;4657:10;4678:46;4720:3;4712:6;4678:46;:::i;:::-;4756:4;4751:3;4747:14;4733:28;;4588:179;;;;:::o;4773:113::-;4843:4;4875;4870:3;4866:14;4858:22;;4773:113;;;:::o;4922:732::-;5041:3;5070:54;5118:5;5070:54;:::i;:::-;5140:86;5219:6;5214:3;5140:86;:::i;:::-;5133:93;;5250:56;5300:5;5250:56;:::i;:::-;5329:7;5360:1;5345:284;5370:6;5367:1;5364:13;5345:284;;;5446:6;5440:13;5473:63;5532:3;5517:13;5473:63;:::i;:::-;5466:70;;5559:60;5612:6;5559:60;:::i;:::-;5549:70;;5405:224;5392:1;5389;5385:9;5380:14;;5345:284;;;5349:14;5645:3;5638:10;;5046:608;;;4922:732;;;;:::o;5660:373::-;5803:4;5841:2;5830:9;5826:18;5818:26;;5890:9;5884:4;5880:20;5876:1;5865:9;5861:17;5854:47;5918:108;6021:4;6012:6;5918:108;:::i;:::-;5910:116;;5660:373;;;;:::o;6039:619::-;6116:6;6124;6132;6181:2;6169:9;6160:7;6156:23;6152:32;6149:119;;;6187:79;;:::i;:::-;6149:119;6307:1;6332:53;6377:7;6368:6;6357:9;6353:22;6332:53;:::i;:::-;6322:63;;6278:117;6434:2;6460:53;6505:7;6496:6;6485:9;6481:22;6460:53;:::i;:::-;6450:63;;6405:118;6562:2;6588:53;6633:7;6624:6;6613:9;6609:22;6588:53;:::i;:::-;6578:63;;6533:118;6039:619;;;;;:::o;6664:118::-;6751:24;6769:5;6751:24;:::i;:::-;6746:3;6739:37;6664:118;;:::o;6788:222::-;6881:4;6919:2;6908:9;6904:18;6896:26;;6932:71;7000:1;6989:9;6985:17;6976:6;6932:71;:::i;:::-;6788:222;;;;:::o;7016:86::-;7051:7;7091:4;7084:5;7080:16;7069:27;;7016:86;;;:::o;7108:112::-;7191:22;7207:5;7191:22;:::i;:::-;7186:3;7179:35;7108:112;;:::o;7226:214::-;7315:4;7353:2;7342:9;7338:18;7330:26;;7366:67;7430:1;7419:9;7415:17;7406:6;7366:67;:::i;:::-;7226:214;;;;:::o;7446:329::-;7505:6;7554:2;7542:9;7533:7;7529:23;7525:32;7522:119;;;7560:79;;:::i;:::-;7522:119;7680:1;7705:53;7750:7;7741:6;7730:9;7726:22;7705:53;:::i;:::-;7695:63;;7651:117;7446:329;;;;:::o;7781:117::-;7890:1;7887;7880:12;7904:117;8013:1;8010;8003:12;8027:117;8136:1;8133;8126:12;8167:568;8240:8;8250:6;8300:3;8293:4;8285:6;8281:17;8277:27;8267:122;;8308:79;;:::i;:::-;8267:122;8421:6;8408:20;8398:30;;8451:18;8443:6;8440:30;8437:117;;;8473:79;;:::i;:::-;8437:117;8587:4;8579:6;8575:17;8563:29;;8641:3;8633:4;8625:6;8621:17;8611:8;8607:32;8604:41;8601:128;;;8648:79;;:::i;:::-;8601:128;8167:568;;;;;:::o;8758:::-;8831:8;8841:6;8891:3;8884:4;8876:6;8872:17;8868:27;8858:122;;8899:79;;:::i;:::-;8858:122;9012:6;8999:20;8989:30;;9042:18;9034:6;9031:30;9028:117;;;9064:79;;:::i;:::-;9028:117;9178:4;9170:6;9166:17;9154:29;;9232:3;9224:4;9216:6;9212:17;9202:8;9198:32;9195:41;9192:128;;;9239:79;;:::i;:::-;9192:128;8758:568;;;;;:::o;9332:934::-;9454:6;9462;9470;9478;9527:2;9515:9;9506:7;9502:23;9498:32;9495:119;;;9533:79;;:::i;:::-;9495:119;9681:1;9670:9;9666:17;9653:31;9711:18;9703:6;9700:30;9697:117;;;9733:79;;:::i;:::-;9697:117;9846:80;9918:7;9909:6;9898:9;9894:22;9846:80;:::i;:::-;9828:98;;;;9624:312;10003:2;9992:9;9988:18;9975:32;10034:18;10026:6;10023:30;10020:117;;;10056:79;;:::i;:::-;10020:117;10169:80;10241:7;10232:6;10221:9;10217:22;10169:80;:::i;:::-;10151:98;;;;9946:313;9332:934;;;;;;;:::o;10272:116::-;10342:21;10357:5;10342:21;:::i;:::-;10335:5;10332:32;10322:60;;10378:1;10375;10368:12;10322:60;10272:116;:::o;10394:133::-;10437:5;10475:6;10462:20;10453:29;;10491:30;10515:5;10491:30;:::i;:::-;10394:133;;;;:::o;10533:468::-;10598:6;10606;10655:2;10643:9;10634:7;10630:23;10626:32;10623:119;;;10661:79;;:::i;:::-;10623:119;10781:1;10806:53;10851:7;10842:6;10831:9;10827:22;10806:53;:::i;:::-;10796:63;;10752:117;10908:2;10934:50;10976:7;10967:6;10956:9;10952:22;10934:50;:::i;:::-;10924:60;;10879:115;10533:468;;;;;:::o;11007:474::-;11075:6;11083;11132:2;11120:9;11111:7;11107:23;11103:32;11100:119;;;11138:79;;:::i;:::-;11100:119;11258:1;11283:53;11328:7;11319:6;11308:9;11304:22;11283:53;:::i;:::-;11273:63;;11229:117;11385:2;11411:53;11456:7;11447:6;11436:9;11432:22;11411:53;:::i;:::-;11401:63;;11356:118;11007:474;;;;;:::o;11487:180::-;11535:77;11532:1;11525:88;11632:4;11629:1;11622:15;11656:4;11653:1;11646:15;11673:320;11717:6;11754:1;11748:4;11744:12;11734:22;;11801:1;11795:4;11791:12;11822:18;11812:81;;11878:4;11870:6;11866:17;11856:27;;11812:81;11940:2;11932:6;11929:14;11909:18;11906:38;11903:84;;11959:18;;:::i;:::-;11903:84;11724:269;11673:320;;;:::o;11999:180::-;12047:77;12044:1;12037:88;12144:4;12141:1;12134:15;12168:4;12165:1;12158:15;12185:191;12225:3;12244:20;12262:1;12244:20;:::i;:::-;12239:25;;12278:20;12296:1;12278:20;:::i;:::-;12273:25;;12321:1;12318;12314:9;12307:16;;12342:3;12339:1;12336:10;12333:36;;;12349:18;;:::i;:::-;12333:36;12185:191;;;;:::o;12382:225::-;12522:34;12518:1;12510:6;12506:14;12499:58;12591:8;12586:2;12578:6;12574:15;12567:33;12382:225;:::o;12613:366::-;12755:3;12776:67;12840:2;12835:3;12776:67;:::i;:::-;12769:74;;12852:93;12941:3;12852:93;:::i;:::-;12970:2;12965:3;12961:12;12954:19;;12613:366;;;:::o;12985:419::-;13151:4;13189:2;13178:9;13174:18;13166:26;;13238:9;13232:4;13228:20;13224:1;13213:9;13209:17;13202:47;13266:131;13392:4;13266:131;:::i;:::-;13258:139;;12985:419;;;:::o;13410:180::-;13458:77;13455:1;13448:88;13555:4;13552:1;13545:15;13579:4;13576:1;13569:15;13596:176;13736:28;13732:1;13724:6;13720:14;13713:52;13596:176;:::o;13778:366::-;13920:3;13941:67;14005:2;14000:3;13941:67;:::i;:::-;13934:74;;14017:93;14106:3;14017:93;:::i;:::-;14135:2;14130:3;14126:12;14119:19;;13778:366;;;:::o;14150:419::-;14316:4;14354:2;14343:9;14339:18;14331:26;;14403:9;14397:4;14393:20;14389:1;14378:9;14374:17;14367:47;14431:131;14557:4;14431:131;:::i;:::-;14423:139;;14150:419;;;:::o;14575:224::-;14715:34;14711:1;14703:6;14699:14;14692:58;14784:7;14779:2;14771:6;14767:15;14760:32;14575:224;:::o;14805:366::-;14947:3;14968:67;15032:2;15027:3;14968:67;:::i;:::-;14961:74;;15044:93;15133:3;15044:93;:::i;:::-;15162:2;15157:3;15153:12;15146:19;;14805:366;;;:::o;15177:419::-;15343:4;15381:2;15370:9;15366:18;15358:26;;15430:9;15424:4;15420:20;15416:1;15405:9;15401:17;15394:47;15458:131;15584:4;15458:131;:::i;:::-;15450:139;;15177:419;;;:::o;15602:181::-;15742:33;15738:1;15730:6;15726:14;15719:57;15602:181;:::o;15789:366::-;15931:3;15952:67;16016:2;16011:3;15952:67;:::i;:::-;15945:74;;16028:93;16117:3;16028:93;:::i;:::-;16146:2;16141:3;16137:12;16130:19;;15789:366;;;:::o;16161:419::-;16327:4;16365:2;16354:9;16350:18;16342:26;;16414:9;16408:4;16404:20;16400:1;16389:9;16385:17;16378:47;16442:131;16568:4;16442:131;:::i;:::-;16434:139;;16161:419;;;:::o;16586:194::-;16626:4;16646:20;16664:1;16646:20;:::i;:::-;16641:25;;16680:20;16698:1;16680:20;:::i;:::-;16675:25;;16724:1;16721;16717:9;16709:17;;16748:1;16742:4;16739:11;16736:37;;;16753:18;;:::i;:::-;16736:37;16586:194;;;;:::o;16786:180::-;16834:77;16831:1;16824:88;16931:4;16928:1;16921:15;16955:4;16952:1;16945:15;16972:165;17112:17;17108:1;17100:6;17096:14;17089:41;16972:165;:::o;17143:366::-;17285:3;17306:67;17370:2;17365:3;17306:67;:::i;:::-;17299:74;;17382:93;17471:3;17382:93;:::i;:::-;17500:2;17495:3;17491:12;17484:19;;17143:366;;;:::o;17515:419::-;17681:4;17719:2;17708:9;17704:18;17696:26;;17768:9;17762:4;17758:20;17754:1;17743:9;17739:17;17732:47;17796:131;17922:4;17796:131;:::i;:::-;17788:139;;17515:419;;;:::o;17940:180::-;18080:32;18076:1;18068:6;18064:14;18057:56;17940:180;:::o;18126:366::-;18268:3;18289:67;18353:2;18348:3;18289:67;:::i;:::-;18282:74;;18365:93;18454:3;18365:93;:::i;:::-;18483:2;18478:3;18474:12;18467:19;;18126:366;;;:::o;18498:419::-;18664:4;18702:2;18691:9;18687:18;18679:26;;18751:9;18745:4;18741:20;18737:1;18726:9;18722:17;18715:47;18779:131;18905:4;18779:131;:::i;:::-;18771:139;;18498:419;;;:::o;18923:225::-;19063:34;19059:1;19051:6;19047:14;19040:58;19132:8;19127:2;19119:6;19115:15;19108:33;18923:225;:::o;19154:366::-;19296:3;19317:67;19381:2;19376:3;19317:67;:::i;:::-;19310:74;;19393:93;19482:3;19393:93;:::i;:::-;19511:2;19506:3;19502:12;19495:19;;19154:366;;;:::o;19526:419::-;19692:4;19730:2;19719:9;19715:18;19707:26;;19779:9;19773:4;19769:20;19765:1;19754:9;19750:17;19743:47;19807:131;19933:4;19807:131;:::i;:::-;19799:139;;19526:419;;;:::o;19951:168::-;20091:20;20087:1;20079:6;20075:14;20068:44;19951:168;:::o;20125:366::-;20267:3;20288:67;20352:2;20347:3;20288:67;:::i;:::-;20281:74;;20364:93;20453:3;20364:93;:::i;:::-;20482:2;20477:3;20473:12;20466:19;;20125:366;;;:::o;20497:419::-;20663:4;20701:2;20690:9;20686:18;20678:26;;20750:9;20744:4;20740:20;20736:1;20725:9;20721:17;20714:47;20778:131;20904:4;20778:131;:::i;:::-;20770:139;;20497:419;;;:::o;20922:223::-;21062:34;21058:1;21050:6;21046:14;21039:58;21131:6;21126:2;21118:6;21114:15;21107:31;20922:223;:::o;21151:366::-;21293:3;21314:67;21378:2;21373:3;21314:67;:::i;:::-;21307:74;;21390:93;21479:3;21390:93;:::i;:::-;21508:2;21503:3;21499:12;21492:19;;21151:366;;;:::o;21523:419::-;21689:4;21727:2;21716:9;21712:18;21704:26;;21776:9;21770:4;21766:20;21762:1;21751:9;21747:17;21740:47;21804:131;21930:4;21804:131;:::i;:::-;21796:139;;21523:419;;;:::o;21948:221::-;22088:34;22084:1;22076:6;22072:14;22065:58;22157:4;22152:2;22144:6;22140:15;22133:29;21948:221;:::o;22175:366::-;22317:3;22338:67;22402:2;22397:3;22338:67;:::i;:::-;22331:74;;22414:93;22503:3;22414:93;:::i;:::-;22532:2;22527:3;22523:12;22516:19;;22175:366;;;:::o;22547:419::-;22713:4;22751:2;22740:9;22736:18;22728:26;;22800:9;22794:4;22790:20;22786:1;22775:9;22771:17;22764:47;22828:131;22954:4;22828:131;:::i;:::-;22820:139;;22547:419;;;:::o;22972:179::-;23112:31;23108:1;23100:6;23096:14;23089:55;22972:179;:::o;23157:366::-;23299:3;23320:67;23384:2;23379:3;23320:67;:::i;:::-;23313:74;;23396:93;23485:3;23396:93;:::i;:::-;23514:2;23509:3;23505:12;23498:19;;23157:366;;;:::o;23529:419::-;23695:4;23733:2;23722:9;23718:18;23710:26;;23782:9;23776:4;23772:20;23768:1;23757:9;23753:17;23746:47;23810:131;23936:4;23810:131;:::i;:::-;23802:139;;23529:419;;;:::o;23954:171::-;24094:23;24090:1;24082:6;24078:14;24071:47;23954:171;:::o;24131:366::-;24273:3;24294:67;24358:2;24353:3;24294:67;:::i;:::-;24287:74;;24370:93;24459:3;24370:93;:::i;:::-;24488:2;24483:3;24479:12;24472:19;;24131:366;;;:::o;24503:419::-;24669:4;24707:2;24696:9;24692:18;24684:26;;24756:9;24750:4;24746:20;24742:1;24731:9;24727:17;24720:47;24784:131;24910:4;24784:131;:::i;:::-;24776:139;;24503:419;;;:::o;24928:410::-;24968:7;24991:20;25009:1;24991:20;:::i;:::-;24986:25;;25025:20;25043:1;25025:20;:::i;:::-;25020:25;;25080:1;25077;25073:9;25102:30;25120:11;25102:30;:::i;:::-;25091:41;;25281:1;25272:7;25268:15;25265:1;25262:22;25242:1;25235:9;25215:83;25192:139;;25311:18;;:::i;:::-;25192:139;24976:362;24928:410;;;;:::o;25344:180::-;25392:77;25389:1;25382:88;25489:4;25486:1;25479:15;25513:4;25510:1;25503:15;25530:185;25570:1;25587:20;25605:1;25587:20;:::i;:::-;25582:25;;25621:20;25639:1;25621:20;:::i;:::-;25616:25;;25660:1;25650:35;;25665:18;;:::i;:::-;25650:35;25707:1;25704;25700:9;25695:14;;25530:185;;;;:::o;25721:332::-;25842:4;25880:2;25869:9;25865:18;25857:26;;25893:71;25961:1;25950:9;25946:17;25937:6;25893:71;:::i;:::-;25974:72;26042:2;26031:9;26027:18;26018:6;25974:72;:::i;:::-;25721:332;;;;;:::o;26059:220::-;26199:34;26195:1;26187:6;26183:14;26176:58;26268:3;26263:2;26255:6;26251:15;26244:28;26059:220;:::o;26285:366::-;26427:3;26448:67;26512:2;26507:3;26448:67;:::i;:::-;26441:74;;26524:93;26613:3;26524:93;:::i;:::-;26642:2;26637:3;26633:12;26626:19;;26285:366;;;:::o;26657:419::-;26823:4;26861:2;26850:9;26846:18;26838:26;;26910:9;26904:4;26900:20;26896:1;26885:9;26881:17;26874:47;26938:131;27064:4;26938:131;:::i;:::-;26930:139;;26657:419;;;:::o;27082:221::-;27222:34;27218:1;27210:6;27206:14;27199:58;27291:4;27286:2;27278:6;27274:15;27267:29;27082:221;:::o;27309:366::-;27451:3;27472:67;27536:2;27531:3;27472:67;:::i;:::-;27465:74;;27548:93;27637:3;27548:93;:::i;:::-;27666:2;27661:3;27657:12;27650:19;;27309:366;;;:::o;27681:419::-;27847:4;27885:2;27874:9;27870:18;27862:26;;27934:9;27928:4;27924:20;27920:1;27909:9;27905:17;27898:47;27962:131;28088:4;27962:131;:::i;:::-;27954:139;;27681:419;;;:::o;28106:182::-;28246:34;28242:1;28234:6;28230:14;28223:58;28106:182;:::o;28294:366::-;28436:3;28457:67;28521:2;28516:3;28457:67;:::i;:::-;28450:74;;28533:93;28622:3;28533:93;:::i;:::-;28651:2;28646:3;28642:12;28635:19;;28294:366;;;:::o;28666:419::-;28832:4;28870:2;28859:9;28855:18;28847:26;;28919:9;28913:4;28909:20;28905:1;28894:9;28890:17;28883:47;28947:131;29073:4;28947:131;:::i;:::-;28939:139;;28666:419;;;:::o;29091:224::-;29231:34;29227:1;29219:6;29215:14;29208:58;29300:7;29295:2;29287:6;29283:15;29276:32;29091:224;:::o;29321:366::-;29463:3;29484:67;29548:2;29543:3;29484:67;:::i;:::-;29477:74;;29560:93;29649:3;29560:93;:::i;:::-;29678:2;29673:3;29669:12;29662:19;;29321:366;;;:::o;29693:419::-;29859:4;29897:2;29886:9;29882:18;29874:26;;29946:9;29940:4;29936:20;29932:1;29921:9;29917:17;29910:47;29974:131;30100:4;29974:131;:::i;:::-;29966:139;;29693:419;;;:::o;30118:222::-;30258:34;30254:1;30246:6;30242:14;30235:58;30327:5;30322:2;30314:6;30310:15;30303:30;30118:222;:::o;30346:366::-;30488:3;30509:67;30573:2;30568:3;30509:67;:::i;:::-;30502:74;;30585:93;30674:3;30585:93;:::i;:::-;30703:2;30698:3;30694:12;30687:19;;30346:366;;;:::o;30718:419::-;30884:4;30922:2;30911:9;30907:18;30899:26;;30971:9;30965:4;30961:20;30957:1;30946:9;30942:17;30935:47;30999:131;31125:4;30999:131;:::i;:::-;30991:139;;30718:419;;;:::o;31143:225::-;31283:34;31279:1;31271:6;31267:14;31260:58;31352:8;31347:2;31339:6;31335:15;31328:33;31143:225;:::o;31374:366::-;31516:3;31537:67;31601:2;31596:3;31537:67;:::i;:::-;31530:74;;31613:93;31702:3;31613:93;:::i;:::-;31731:2;31726:3;31722:12;31715:19;;31374:366;;;:::o;31746:419::-;31912:4;31950:2;31939:9;31935:18;31927:26;;31999:9;31993:4;31989:20;31985:1;31974:9;31970:17;31963:47;32027:131;32153:4;32027:131;:::i;:::-;32019:139;;31746:419;;;:::o

ipfs://7ee8a815b04e3bd8e7d08eb90b4a895905ada9b0ad9affe75e7918603bc3773d