Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
•    - function _msgData()
•    - function _contextSuffixLength()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IERC20Errors
• interface IERC721Errors
• interface IERC1155Errors
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•    - function _transfer(address from, addr ...
•    - function _update(address from, addres ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _approve(address owner, addr ...
•    - function _spendAllowance(address owne ...
•    - function paused()
•    - function _requireNotPaused()
•    - function _requirePaused()
•    - function _pause()
•    - function _unpause()
•  contract PreLaunchCircuitToken is ... *
•    - function start()
•    - function buy()
•    - function advancePhase()
•    - function manuallyAdvancePhase()
•    - function withdrawFunds(address receiv ...
•    - function pause()
•    - function unpause()
•    - function transfer(address, uint256)
•    - function transferFrom(address, addres ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// Sources flattened with hardhat v2.22.3 https://hardhat.org

// SPDX-License-Identifier: MIT

// File contracts/lib/openzeppelin/contracts/utils/Context.sol

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

pragma solidity ^0.8.20;

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

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

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


// File contracts/lib/openzeppelin/contracts/access/Ownable.sol

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)

pragma solidity ^0.8.20;

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

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

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

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

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

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

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        if (owner() != _msgSender()) {
            revert OwnableUnauthorizedAccount(_msgSender());
        }
    }

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

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(newOwner);
    }

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


// File contracts/lib/openzeppelin/contracts/interfaces/draft-IERC6093.sol

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


// File contracts/lib/openzeppelin/contracts/token/ERC20/IERC20.sol

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the value of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

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

    /**
     * @dev Moves a `value` amount of tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 value) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets a `value` amount of tokens as the allowance of `spender` over the
     * caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 value) external returns (bool);

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to` using the
     * allowance mechanism. `value` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address from, address to, uint256 value) external returns (bool);
}


// File contracts/lib/openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.20;

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

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

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


// File contracts/lib/openzeppelin/contracts/token/ERC20/ERC20.sol

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.20;




/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 */
abstract contract ERC20 is Context, IERC20, IERC20Metadata, IERC20Errors {
    mapping(address account => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the default value returned by this function, unless
     * it's overridden.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual returns (uint8) {
        return 18;
    }

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

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

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `value`.
     */
    function transfer(address to, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, value);
        return true;
    }

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

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `value` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, value);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `value`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `value`.
     */
    function transferFrom(address from, address to, uint256 value) public virtual returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, value);
        _transfer(from, to, value);
        return true;
    }

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _transfer(address from, address to, uint256 value) internal {
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        if (to == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(from, to, value);
    }

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

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

        emit Transfer(from, to, value);
    }

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

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

    /**
     * @dev Sets `value` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

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

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


// File contracts/lib/openzeppelin/contracts/utils/Pausable.sol

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/Pausable.sol)

pragma solidity ^0.8.20;

/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
abstract contract Pausable is Context {
    bool private _paused;

    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    /**
     * @dev The operation failed because the contract is paused.
     */
    error EnforcedPause();

    /**
     * @dev The operation failed because the contract is not paused.
     */
    error ExpectedPause();

    /**
     * @dev Initializes the contract in unpaused state.
     */
    constructor() {
        _paused = false;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        _requireNotPaused();
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        _requirePaused();
        _;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

    /**
     * @dev Throws if the contract is paused.
     */
    function _requireNotPaused() internal view virtual {
        if (paused()) {
            revert EnforcedPause();
        }
    }

    /**
     * @dev Throws if the contract is not paused.
     */
    function _requirePaused() internal view virtual {
        if (!paused()) {
            revert ExpectedPause();
        }
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}


// File contracts/ido/PreLaunchCircuitToken.sol

// Original license: SPDX_License_Identifier: MIT
pragma solidity ^0.8.0;



contract PreLaunchCircuitToken is ERC20, Ownable, Pausable {
    uint256 public constant TOTAL_SUPPLY = 200_000_000 ether; // 200M tokens in total, later claim at Zircuit Mainnet

    uint256 public constant PHASE1_SUPPLY = 50_000_000 ether;
    uint256 public constant PHASE2_SUPPLY = 70_000_000 ether;
    uint256 public constant PHASE3_SUPPLY = 80_000_000 ether;

    uint256 public constant PHASE1_PRICE = 860_000; // 1 ETH = 750,000 pCUIT
    uint256 public constant PHASE2_PRICE = 810_000; // 1 ETH = 670,000 pCUIT
    uint256 public constant PHASE3_PRICE = 740_000; // 1 ETH = 620,000 pCUIT

    uint256 public currentPhase = 0; // 0->Not started yet; 1-3->Ongoing; 4->Finished
    uint256 public currentStartTime = 0;

    uint256 public tokensSold = 0; // Current phase tokens sold
    uint256 public totalTokenSold = 0;

    event IDOStarted();

    event TokensPurchased(address indexed buyer, uint256 amount, uint256 phase);
    event PhaseAdvanced(uint256 newPhase);

    mapping(address => uint256) public userPurchases;

    constructor() ERC20("PreLaunch Circuit Token", "pCUIT") Ownable(msg.sender) {
        _mint(address(this), TOTAL_SUPPLY);
    }

    function start() external onlyOwner {
        require(currentPhase == 0, "IDO has already started");
        currentPhase = 1;
        currentStartTime = block.timestamp;
        emit IDOStarted();
    }

    function buy() external payable whenNotPaused {
        require(currentPhase >= 1, "Token launch has not started yet");
        require(currentPhase <= 3, "Token launch has ended");

        uint256 tokensToSell;
        uint256 price;

        if (currentPhase == 1) {
            tokensToSell = PHASE1_SUPPLY;
            price = PHASE1_PRICE;
        } else if (currentPhase == 2) {
            tokensToSell = PHASE2_SUPPLY;
            price = PHASE2_PRICE;
        } else {
            tokensToSell = PHASE3_SUPPLY;
            price = PHASE3_PRICE;
        }

        uint256 tokensToBuy = (msg.value * price);
        require(tokensToBuy > 0, "Not enough ETH sent");

        uint256 availableTokens = tokensToSell - tokensSold;
        require(availableTokens >= tokensToBuy, "Not enough tokens available");

        tokensSold += tokensToBuy;
        totalTokenSold += tokensToBuy;
        userPurchases[msg.sender] += msg.value;

        emit TokensPurchased(msg.sender, tokensToBuy, currentPhase);

        _transfer(address(this), msg.sender, tokensToBuy);

        if (tokensSold + price > tokensToSell) {
            advancePhase();
        }
    }

    function advancePhase() internal {
        if (currentPhase <= 3) {
            currentPhase++;
            currentStartTime = block.timestamp;
            tokensSold = 0;

            emit PhaseAdvanced(currentPhase);
        }
    }

    function manuallyAdvancePhase() external onlyOwner {
        advancePhase();
    }

    function withdrawFunds(address receiver) external onlyOwner {
        payable(receiver).transfer(address(this).balance);
    }

    // Emergency function
    function pause() external onlyOwner {
        _pause();
    }

    // Emergency function
    function unpause() external onlyOwner {
        _unpause();
    }

//    // Emergency function
//    function emergencyWithdraw(address receiver) external onlyOwner {
//        require(paused(), "Contract is not paused");
//        payable(receiver).transfer(address(this).balance);
//    }

    // Override transfer function to make tokens non-transferrable
    function transfer(address, uint256) public virtual override returns (bool) {
        revert("Transfers are not allowed");
    }

    // Override transferFrom function to make tokens non-transferrable
    function transferFrom(address, address, uint256) public virtual override returns (bool) {
        revert("Transfers are not allowed");
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"inputs":[],"name":"EnforcedPause","type":"error"},{"inputs":[],"name":"ExpectedPause","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[],"name":"IDOStarted","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":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"newPhase","type":"uint256"}],"name":"PhaseAdvanced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"buyer","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"phase","type":"uint256"}],"name":"TokensPurchased","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[],"name":"PHASE1_PRICE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PHASE1_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PHASE2_PRICE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PHASE2_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PHASE3_PRICE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PHASE3_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TOTAL_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"buy","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"currentPhase","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"currentStartTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manuallyAdvancePhase","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"start","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokensSold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalTokenSold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","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"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"userPurchases","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"withdrawFunds","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405260006006556000600755600060085560006009553480156200002557600080fd5b50336040518060400160405280601781526020017f5072654c61756e6368204369726375697420546f6b656e000000000000000000815250604051806040016040528060058152602001641c10d5525560da1b81525081600390816200008c91906200036e565b5060046200009b82826200036e565b5050506001600160a01b038116620000ce57604051631e4fbdf760e01b8152600060048201526024015b60405180910390fd5b620000d98162000104565b506005805460ff60a01b19169055620000fe306aa56fa5b99019a5c800000062000156565b62000462565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b6001600160a01b038216620001825760405163ec442f0560e01b815260006004820152602401620000c5565b620001906000838362000194565b5050565b6001600160a01b038316620001c3578060026000828254620001b791906200043a565b90915550620002379050565b6001600160a01b03831660009081526020819052604090205481811015620002185760405163391434e360e21b81526001600160a01b03851660048201526024810182905260448101839052606401620000c5565b6001600160a01b03841660009081526020819052604090209082900390555b6001600160a01b038216620002555760028054829003905562000274565b6001600160a01b03821660009081526020819052604090208054820190555b816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002ba91815260200190565b60405180910390a3505050565b634e487b7160e01b600052604160045260246000fd5b600181811c90821680620002f257607f821691505b6020821081036200031357634e487b7160e01b600052602260045260246000fd5b50919050565b601f82111562000369576000816000526020600020601f850160051c81016020861015620003445750805b601f850160051c820191505b81811015620003655782815560010162000350565b5050505b505050565b81516001600160401b038111156200038a576200038a620002c7565b620003a2816200039b8454620002dd565b8462000319565b602080601f831160018114620003da5760008415620003c15750858301515b600019600386901b1c1916600185901b17855562000365565b600085815260208120601f198616915b828110156200040b57888601518255948401946001909101908401620003ea565b50858210156200042a5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b808201808211156200045c57634e487b7160e01b600052601160045260246000fd5b92915050565b61104e80620004726000396000f3fe6080604052600436106101985760003560e01c8063715018a6116100e2578063a8c6135011610085578063a8c6135014610443578063a9059cbb14610459578063b5f7f63614610474578063be9a65551461048a578063d09d4abd1461049f578063dd62ed3e146104b6578063e68c9e89146104fc578063f2fde38b1461051357600080fd5b8063715018a6146103835780637e752fa0146103985780638456cb59146103ad5780638da5cb5b146103c2578063902d55a5146103e857806395c43d841461040757806395d89b4114610426578063a6f2ae3a1461043b57600080fd5b8063313ce5671161014a578063313ce5671461028b57806339f65c09146102a75780633f4ba83a146102d4578063518ab2a8146102eb5780635c975abb146103015780635ee36f741461031657806368742da61461032d57806370a082311461034d57600080fd5b8063055ad42e1461019d57806306fdde03146101c6578063095ea7b3146101e857806310a03b221461021857806318160ddd1461023757806323b872dd1461024c5780632fe6ecb21461026c575b600080fd5b3480156101a957600080fd5b506101b360065481565b6040519081526020015b60405180910390f35b3480156101d257600080fd5b506101db610533565b6040516101bd9190610e38565b3480156101f457600080fd5b50610208610203366004610ea3565b6105c5565b60405190151581526020016101bd565b34801561022457600080fd5b506101b36a295be96e6406697200000081565b34801561024357600080fd5b506002546101b3565b34801561025857600080fd5b50610208610267366004610ecd565b6105df565b34801561027857600080fd5b506101b36a422ca8b0a00a425000000081565b34801561029757600080fd5b50604051601281526020016101bd565b3480156102b357600080fd5b506101b36102c2366004610f09565b600a6020526000908152604090205481565b3480156102e057600080fd5b506102e961062b565b005b3480156102f757600080fd5b506101b360085481565b34801561030d57600080fd5b5061020861063d565b34801561032257600080fd5b506101b3620c5c1081565b34801561033957600080fd5b506102e9610348366004610f09565b61064d565b34801561035957600080fd5b506101b3610368366004610f09565b6001600160a01b031660009081526020819052604090205490565b34801561038f57600080fd5b506102e961068e565b3480156103a457600080fd5b506102e96106a0565b3480156103b957600080fd5b506102e96106b0565b3480156103ce57600080fd5b506005546001600160a01b03166040516101bd9190610f2b565b3480156103f457600080fd5b506101b36aa56fa5b99019a5c800000081565b34801561041357600080fd5b506101b36a39e7139a8c08fa0600000081565b34801561043257600080fd5b506101db6106c0565b6102e96106cf565b34801561044f57600080fd5b506101b360075481565b34801561046557600080fd5b50610208610267366004610ea3565b34801561048057600080fd5b506101b360095481565b34801561049657600080fd5b506102e961094d565b3480156104ab57600080fd5b506101b3620d1f6081565b3480156104c257600080fd5b506101b36104d1366004610f3f565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b34801561050857600080fd5b506101b3620b4aa081565b34801561051f57600080fd5b506102e961052e366004610f09565b6109d3565b60606003805461054290610f72565b80601f016020809104026020016040519081016040528092919081815260200182805461056e90610f72565b80156105bb5780601f10610590576101008083540402835291602001916105bb565b820191906000526020600020905b81548152906001019060200180831161059e57829003601f168201915b5050505050905090565b6000336105d3818585610a11565b60019150505b92915050565b60405162461bcd60e51b8152602060048201526019602482015278151c985b9cd9995c9cc8185c99481b9bdd08185b1b1bddd959603a1b60448201526000906064015b60405180910390fd5b610633610a23565b61063b610a50565b565b600554600160a01b900460ff1690565b610655610a23565b6040516001600160a01b038216904780156108fc02916000818181858888f1935050505015801561068a573d6000803e3d6000fd5b5050565b610696610a23565b61063b6000610a9f565b6106a8610a23565b61063b610af1565b6106b8610a23565b61063b610b4c565b60606004805461054290610f72565b6106d7610b8f565b6001600654101561072a5760405162461bcd60e51b815260206004820181905260248201527f546f6b656e206c61756e636820686173206e6f742073746172746564207965746044820152606401610622565b600360065411156107765760405162461bcd60e51b8152602060048201526016602482015275151bdad95b881b185d5b98da081a185cc8195b99195960521b6044820152606401610622565b60008060065460010361079b57506a295be96e640669720000009050620d1f606107d1565b6006546002036107bd57506a39e7139a8c08fa060000009050620c5c106107d1565b506a422ca8b0a00a42500000009050620b4aa05b60006107dd8234610fc2565b9050600081116108255760405162461bcd60e51b8152602060048201526013602482015272139bdd08195b9bdd59da08115512081cd95b9d606a1b6044820152606401610622565b6000600854846108359190610fd9565b9050818110156108875760405162461bcd60e51b815260206004820152601b60248201527f4e6f7420656e6f75676820746f6b656e7320617661696c61626c6500000000006044820152606401610622565b81600860008282546108999190610fec565b9250508190555081600960008282546108b29190610fec565b9091555050336000908152600a6020526040812080543492906108d6908490610fec565b909155505060065460405133917f8fafebcaf9d154343dad25669bfa277f4fbacd7ac6b0c4fed522580e040a0f339161091791868252602082015260400190565b60405180910390a261092a303384610bb5565b83836008546109399190610fec565b111561094757610947610af1565b50505050565b610955610a23565b6006541561099f5760405162461bcd60e51b8152602060048201526017602482015276125113c81a185cc8185b1c9958591e481cdd185c9d1959604a1b6044820152606401610622565b6001600655426007556040517f631539c2e9118cfcb670aaa140a172db0ab2335d5b8c0f3b9f27ec453992c1e890600090a1565b6109db610a23565b6001600160a01b038116610a05576000604051631e4fbdf760e01b81526004016106229190610f2b565b610a0e81610a9f565b50565b610a1e8383836001610c14565b505050565b6005546001600160a01b0316331461063b573360405163118cdaa760e01b81526004016106229190610f2b565b610a58610ce9565b6005805460ff60a01b191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa335b604051610a959190610f2b565b60405180910390a1565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b60036006541161063b5760068054906000610b0b83610fff565b90915550504260075560006008556006546040519081527ff6c2b6b29e9d5ef64d43f4e1e2aa98730cd07a0ed1930f241cd1557957eed75390602001610a95565b610b54610b8f565b6005805460ff60a01b1916600160a01b1790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258610a883390565b610b9761063d565b1561063b5760405163d93c066560e01b815260040160405180910390fd5b6001600160a01b038316610bdf576000604051634b637e8f60e11b81526004016106229190610f2b565b6001600160a01b038216610c0957600060405163ec442f0560e01b81526004016106229190610f2b565b610a1e838383610d0e565b6001600160a01b038416610c3e57600060405163e602df0560e01b81526004016106229190610f2b565b6001600160a01b038316610c68576000604051634a1406b160e11b81526004016106229190610f2b565b6001600160a01b038085166000908152600160209081526040808320938716835292905220829055801561094757826001600160a01b0316846001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610cdb91815260200190565b60405180910390a350505050565b610cf161063d565b61063b57604051638dfc202b60e01b815260040160405180910390fd5b6001600160a01b038316610d39578060026000828254610d2e9190610fec565b90915550610dab9050565b6001600160a01b03831660009081526020819052604090205481811015610d8c5760405163391434e360e21b81526001600160a01b03851660048201526024810182905260448101839052606401610622565b6001600160a01b03841660009081526020819052604090209082900390555b6001600160a01b038216610dc757600280548290039055610de6565b6001600160a01b03821660009081526020819052604090208054820190555b816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e2b91815260200190565b60405180910390a3505050565b60006020808352835180602085015260005b81811015610e6657858101830151858201604001528201610e4a565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610e9e57600080fd5b919050565b60008060408385031215610eb657600080fd5b610ebf83610e87565b946020939093013593505050565b600080600060608486031215610ee257600080fd5b610eeb84610e87565b9250610ef960208501610e87565b9150604084013590509250925092565b600060208284031215610f1b57600080fd5b610f2482610e87565b9392505050565b6001600160a01b0391909116815260200190565b60008060408385031215610f5257600080fd5b610f5b83610e87565b9150610f6960208401610e87565b90509250929050565b600181811c90821680610f8657607f821691505b602082108103610fa657634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176105d9576105d9610fac565b818103818111156105d9576105d9610fac565b808201808211156105d9576105d9610fac565b60006001820161101157611011610fac565b506001019056fea2646970667358221220b66679643987e606d11a8521c73ffa82dac410985ec498d624fe1066a23c190164736f6c63430008180033

0x6080604052600436106101985760003560e01c8063715018a6116100e2578063a8c6135011610085578063a8c6135014610443578063a9059cbb14610459578063b5f7f63614610474578063be9a65551461048a578063d09d4abd1461049f578063dd62ed3e146104b6578063e68c9e89146104fc578063f2fde38b1461051357600080fd5b8063715018a6146103835780637e752fa0146103985780638456cb59146103ad5780638da5cb5b146103c2578063902d55a5146103e857806395c43d841461040757806395d89b4114610426578063a6f2ae3a1461043b57600080fd5b8063313ce5671161014a578063313ce5671461028b57806339f65c09146102a75780633f4ba83a146102d4578063518ab2a8146102eb5780635c975abb146103015780635ee36f741461031657806368742da61461032d57806370a082311461034d57600080fd5b8063055ad42e1461019d57806306fdde03146101c6578063095ea7b3146101e857806310a03b221461021857806318160ddd1461023757806323b872dd1461024c5780632fe6ecb21461026c575b600080fd5b3480156101a957600080fd5b506101b360065481565b6040519081526020015b60405180910390f35b3480156101d257600080fd5b506101db610533565b6040516101bd9190610e38565b3480156101f457600080fd5b50610208610203366004610ea3565b6105c5565b60405190151581526020016101bd565b34801561022457600080fd5b506101b36a295be96e6406697200000081565b34801561024357600080fd5b506002546101b3565b34801561025857600080fd5b50610208610267366004610ecd565b6105df565b34801561027857600080fd5b506101b36a422ca8b0a00a425000000081565b34801561029757600080fd5b50604051601281526020016101bd565b3480156102b357600080fd5b506101b36102c2366004610f09565b600a6020526000908152604090205481565b3480156102e057600080fd5b506102e961062b565b005b3480156102f757600080fd5b506101b360085481565b34801561030d57600080fd5b5061020861063d565b34801561032257600080fd5b506101b3620c5c1081565b34801561033957600080fd5b506102e9610348366004610f09565b61064d565b34801561035957600080fd5b506101b3610368366004610f09565b6001600160a01b031660009081526020819052604090205490565b34801561038f57600080fd5b506102e961068e565b3480156103a457600080fd5b506102e96106a0565b3480156103b957600080fd5b506102e96106b0565b3480156103ce57600080fd5b506005546001600160a01b03166040516101bd9190610f2b565b3480156103f457600080fd5b506101b36aa56fa5b99019a5c800000081565b34801561041357600080fd5b506101b36a39e7139a8c08fa0600000081565b34801561043257600080fd5b506101db6106c0565b6102e96106cf565b34801561044f57600080fd5b506101b360075481565b34801561046557600080fd5b50610208610267366004610ea3565b34801561048057600080fd5b506101b360095481565b34801561049657600080fd5b506102e961094d565b3480156104ab57600080fd5b506101b3620d1f6081565b3480156104c257600080fd5b506101b36104d1366004610f3f565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b34801561050857600080fd5b506101b3620b4aa081565b34801561051f57600080fd5b506102e961052e366004610f09565b6109d3565b60606003805461054290610f72565b80601f016020809104026020016040519081016040528092919081815260200182805461056e90610f72565b80156105bb5780601f10610590576101008083540402835291602001916105bb565b820191906000526020600020905b81548152906001019060200180831161059e57829003601f168201915b5050505050905090565b6000336105d3818585610a11565b60019150505b92915050565b60405162461bcd60e51b8152602060048201526019602482015278151c985b9cd9995c9cc8185c99481b9bdd08185b1b1bddd959603a1b60448201526000906064015b60405180910390fd5b610633610a23565b61063b610a50565b565b600554600160a01b900460ff1690565b610655610a23565b6040516001600160a01b038216904780156108fc02916000818181858888f1935050505015801561068a573d6000803e3d6000fd5b5050565b610696610a23565b61063b6000610a9f565b6106a8610a23565b61063b610af1565b6106b8610a23565b61063b610b4c565b60606004805461054290610f72565b6106d7610b8f565b6001600654101561072a5760405162461bcd60e51b815260206004820181905260248201527f546f6b656e206c61756e636820686173206e6f742073746172746564207965746044820152606401610622565b600360065411156107765760405162461bcd60e51b8152602060048201526016602482015275151bdad95b881b185d5b98da081a185cc8195b99195960521b6044820152606401610622565b60008060065460010361079b57506a295be96e640669720000009050620d1f606107d1565b6006546002036107bd57506a39e7139a8c08fa060000009050620c5c106107d1565b506a422ca8b0a00a42500000009050620b4aa05b60006107dd8234610fc2565b9050600081116108255760405162461bcd60e51b8152602060048201526013602482015272139bdd08195b9bdd59da08115512081cd95b9d606a1b6044820152606401610622565b6000600854846108359190610fd9565b9050818110156108875760405162461bcd60e51b815260206004820152601b60248201527f4e6f7420656e6f75676820746f6b656e7320617661696c61626c6500000000006044820152606401610622565b81600860008282546108999190610fec565b9250508190555081600960008282546108b29190610fec565b9091555050336000908152600a6020526040812080543492906108d6908490610fec565b909155505060065460405133917f8fafebcaf9d154343dad25669bfa277f4fbacd7ac6b0c4fed522580e040a0f339161091791868252602082015260400190565b60405180910390a261092a303384610bb5565b83836008546109399190610fec565b111561094757610947610af1565b50505050565b610955610a23565b6006541561099f5760405162461bcd60e51b8152602060048201526017602482015276125113c81a185cc8185b1c9958591e481cdd185c9d1959604a1b6044820152606401610622565b6001600655426007556040517f631539c2e9118cfcb670aaa140a172db0ab2335d5b8c0f3b9f27ec453992c1e890600090a1565b6109db610a23565b6001600160a01b038116610a05576000604051631e4fbdf760e01b81526004016106229190610f2b565b610a0e81610a9f565b50565b610a1e8383836001610c14565b505050565b6005546001600160a01b0316331461063b573360405163118cdaa760e01b81526004016106229190610f2b565b610a58610ce9565b6005805460ff60a01b191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa335b604051610a959190610f2b565b60405180910390a1565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b60036006541161063b5760068054906000610b0b83610fff565b90915550504260075560006008556006546040519081527ff6c2b6b29e9d5ef64d43f4e1e2aa98730cd07a0ed1930f241cd1557957eed75390602001610a95565b610b54610b8f565b6005805460ff60a01b1916600160a01b1790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258610a883390565b610b9761063d565b1561063b5760405163d93c066560e01b815260040160405180910390fd5b6001600160a01b038316610bdf576000604051634b637e8f60e11b81526004016106229190610f2b565b6001600160a01b038216610c0957600060405163ec442f0560e01b81526004016106229190610f2b565b610a1e838383610d0e565b6001600160a01b038416610c3e57600060405163e602df0560e01b81526004016106229190610f2b565b6001600160a01b038316610c68576000604051634a1406b160e11b81526004016106229190610f2b565b6001600160a01b038085166000908152600160209081526040808320938716835292905220829055801561094757826001600160a01b0316846001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610cdb91815260200190565b60405180910390a350505050565b610cf161063d565b61063b57604051638dfc202b60e01b815260040160405180910390fd5b6001600160a01b038316610d39578060026000828254610d2e9190610fec565b90915550610dab9050565b6001600160a01b03831660009081526020819052604090205481811015610d8c5760405163391434e360e21b81526001600160a01b03851660048201526024810182905260448101839052606401610622565b6001600160a01b03841660009081526020819052604090209082900390555b6001600160a01b038216610dc757600280548290039055610de6565b6001600160a01b03821660009081526020819052604090208054820190555b816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e2b91815260200190565b60405180910390a3505050565b60006020808352835180602085015260005b81811015610e6657858101830151858201604001528201610e4a565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610e9e57600080fd5b919050565b60008060408385031215610eb657600080fd5b610ebf83610e87565b946020939093013593505050565b600080600060608486031215610ee257600080fd5b610eeb84610e87565b9250610ef960208501610e87565b9150604084013590509250925092565b600060208284031215610f1b57600080fd5b610f2482610e87565b9392505050565b6001600160a01b0391909116815260200190565b60008060408385031215610f5257600080fd5b610f5b83610e87565b9150610f6960208401610e87565b90509250929050565b600181811c90821680610f8657607f821691505b602082108103610fa657634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176105d9576105d9610fac565b818103818111156105d9576105d9610fac565b808201808211156105d9576105d9610fac565b60006001820161101157611011610fac565b506001019056fea2646970667358221220b66679643987e606d11a8521c73ffa82dac410985ec498d624fe1066a23c190164736f6c63430008180033

29402:3953:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30016:31;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;30016:31:0;;;;;;;;16948:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;19241:190::-;;;;;;;;;;-1:-1:-1;19241:190:0;;;;;:::i;:::-;;:::i;:::-;;;1351:14:1;;1344:22;1326:41;;1314:2;1299:18;19241:190:0;1186:187:1;29589:56:0;;;;;;;;;;;;29629:16;29589:56;;18050:99;;;;;;;;;;-1:-1:-1;18129:12:0;;18050:99;;33210:142;;;;;;;;;;-1:-1:-1;33210:142:0;;;;;:::i;:::-;;:::i;29715:56::-;;;;;;;;;;;;29755:16;29715:56;;17901:84;;;;;;;;;;-1:-1:-1;17901:84:0;;17975:2;1853:36:1;;1841:2;1826:18;17901:84:0;1711:184:1;30409:48:0;;;;;;;;;;-1:-1:-1;30409:48:0;;;;;:::i;:::-;;;;;;;;;;;;;;32627:67;;;;;;;;;;;;;:::i;:::-;;30147:29;;;;;;;;;;;;;;;;28239:86;;;;;;;;;;;;;:::i;29858:46::-;;;;;;;;;;;;29897:7;29858:46;;32366:128;;;;;;;;;;-1:-1:-1;32366:128:0;;;;;:::i;:::-;;:::i;18212:118::-;;;;;;;;;;-1:-1:-1;18212:118:0;;;;;:::i;:::-;-1:-1:-1;;;;;18304:18:0;18277:7;18304:18;;;;;;;;;;;;18212:118;3583:103;;;;;;;;;;;;;:::i;32274:84::-;;;;;;;;;;;;;:::i;32529:63::-;;;;;;;;;;;;;:::i;2908:87::-;;;;;;;;;;-1:-1:-1;2981:6:0;;-1:-1:-1;;;;;2981:6:0;2908:87;;;;;;:::i;29468:56::-;;;;;;;;;;;;29507:17;29468:56;;29652;;;;;;;;;;;;29692:16;29652:56;;17158:95;;;;;;;;;;;;;:::i;30819:1197::-;;;:::i;30103:35::-;;;;;;;;;;;;;;;;33001:129;;;;;;;;;;-1:-1:-1;33001:129:0;;;;;:::i;30212:33::-;;;;;;;;;;;;;;;;30603:208;;;;;;;;;;;;;:::i;29780:46::-;;;;;;;;;;;;29819:7;29780:46;;18780:142;;;;;;;;;;-1:-1:-1;18780:142:0;;;;;:::i;:::-;-1:-1:-1;;;;;18887:18:0;;;18860:7;18887:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;18780:142;29936:46;;;;;;;;;;;;29975:7;29936:46;;3841:220;;;;;;;;;;-1:-1:-1;3841:220:0;;;;;:::i;:::-;;:::i;16948:91::-;16993:13;17026:5;17019:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16948:91;:::o;19241:190::-;19314:4;936:10;19370:31;936:10;19386:7;19395:5;19370:8;:31::i;:::-;19419:4;19412:11;;;19241:190;;;;;:::o;33210:142::-;33309:35;;-1:-1:-1;;;33309:35:0;;3151:2:1;33309:35:0;;;3133:21:1;3190:2;3170:18;;;3163:30;-1:-1:-1;;;3209:18:1;;;3202:55;33292:4:0;;3274:18:1;;33309:35:0;;;;;;;;32627:67;2794:13;:11;:13::i;:::-;32676:10:::1;:8;:10::i;:::-;32627:67::o:0;28239:86::-;28310:7;;-1:-1:-1;;;28310:7:0;;;;;28239:86::o;32366:128::-;2794:13;:11;:13::i;:::-;32437:49:::1;::::0;-1:-1:-1;;;;;32437:26:0;::::1;::::0;32464:21:::1;32437:49:::0;::::1;;;::::0;::::1;::::0;;;32464:21;32437:26;:49;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;32366:128:::0;:::o;3583:103::-;2794:13;:11;:13::i;:::-;3648:30:::1;3675:1;3648:18;:30::i;32274:84::-:0;2794:13;:11;:13::i;:::-;32336:14:::1;:12;:14::i;32529:63::-:0;2794:13;:11;:13::i;:::-;32576:8:::1;:6;:8::i;17158:95::-:0;17205:13;17238:7;17231:14;;;;;:::i;30819:1197::-;27844:19;:17;:19::i;:::-;30900:1:::1;30884:12;;:17;;30876:62;;;::::0;-1:-1:-1;;;30876:62:0;;3505:2:1;30876:62:0::1;::::0;::::1;3487:21:1::0;;;3524:18;;;3517:30;3583:34;3563:18;;;3556:62;3635:18;;30876:62:0::1;3303:356:1::0;30876:62:0::1;30973:1;30957:12;;:17;;30949:52;;;::::0;-1:-1:-1;;;30949:52:0;;3866:2:1;30949:52:0::1;::::0;::::1;3848:21:1::0;3905:2;3885:18;;;3878:30;-1:-1:-1;;;3924:18:1;;;3917:52;3986:18;;30949:52:0::1;3664:346:1::0;30949:52:0::1;31014:20;31045:13:::0;31075:12:::1;;31091:1;31075:17:::0;31071:328:::1;;-1:-1:-1::0;29629:16:0::1;::::0;-1:-1:-1;29819:7:0::1;31071:328;;;31194:12;;31210:1;31194:17:::0;31190:209:::1;;-1:-1:-1::0;29692:16:0::1;::::0;-1:-1:-1;29897:7:0::1;31190:209;;;-1:-1:-1::0;29755:16:0::1;::::0;-1:-1:-1;29975:7:0::1;31190:209;31411:19;31434:17;31446:5:::0;31434:9:::1;:17;:::i;:::-;31411:41;;31485:1;31471:11;:15;31463:47;;;::::0;-1:-1:-1;;;31463:47:0;;4522:2:1;31463:47:0::1;::::0;::::1;4504:21:1::0;4561:2;4541:18;;;4534:30;-1:-1:-1;;;4580:18:1;;;4573:49;4639:18;;31463:47:0::1;4320:343:1::0;31463:47:0::1;31523:23;31564:10;;31549:12;:25;;;;:::i;:::-;31523:51;;31612:11;31593:15;:30;;31585:70;;;::::0;-1:-1:-1;;;31585:70:0;;5003:2:1;31585:70:0::1;::::0;::::1;4985:21:1::0;5042:2;5022:18;;;5015:30;5081:29;5061:18;;;5054:57;5128:18;;31585:70:0::1;4801:351:1::0;31585:70:0::1;31682:11;31668:10;;:25;;;;;;;:::i;:::-;;;;;;;;31722:11;31704:14;;:29;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;31758:10:0::1;31744:25;::::0;;;:13:::1;:25;::::0;;;;:38;;31773:9:::1;::::0;31744:25;:38:::1;::::0;31773:9;;31744:38:::1;:::i;:::-;::::0;;;-1:-1:-1;;31841:12:0::1;::::0;31800:54:::1;::::0;31816:10:::1;::::0;31800:54:::1;::::0;::::1;::::0;31828:11;5461:25:1;;5517:2;5502:18;;5495:34;5449:2;5434:18;;5287:248;31800:54:0::1;;;;;;;;31867:49;31885:4;31892:10;31904:11;31867:9;:49::i;:::-;31954:12;31946:5;31933:10;;:18;;;;:::i;:::-;:33;31929:80;;;31983:14;:12;:14::i;:::-;30865:1151;;;;30819:1197::o:0;30603:208::-;2794:13;:11;:13::i;:::-;30658:12:::1;::::0;:17;30650:53:::1;;;::::0;-1:-1:-1;;;30650:53:0;;5742:2:1;30650:53:0::1;::::0;::::1;5724:21:1::0;5781:2;5761:18;;;5754:30;-1:-1:-1;;;5800:18:1;;;5793:53;5863:18;;30650:53:0::1;5540:347:1::0;30650:53:0::1;30729:1;30714:12;:16:::0;30760:15:::1;30741:16;:34:::0;30791:12:::1;::::0;::::1;::::0;-1:-1:-1;;30791:12:0::1;30603:208::o:0;3841:220::-;2794:13;:11;:13::i;:::-;-1:-1:-1;;;;;3926:22:0;::::1;3922:93;;4000:1;3972:31;;-1:-1:-1::0;;;3972:31:0::1;;;;;;;;:::i;3922:93::-;4025:28;4044:8;4025:18;:28::i;:::-;3841:220:::0;:::o;24068:130::-;24153:37;24162:5;24169:7;24178:5;24185:4;24153:8;:37::i;:::-;24068:130;;;:::o;3073:166::-;2981:6;;-1:-1:-1;;;;;2981:6:0;936:10;3133:23;3129:103;;936:10;3180:40;;-1:-1:-1;;;3180:40:0;;;;;;;;:::i;29140:120::-;28103:16;:14;:16::i;:::-;29199:7:::1;:15:::0;;-1:-1:-1;;;;29199:15:0::1;::::0;;29230:22:::1;936:10:::0;29239:12:::1;29230:22;;;;;;:::i;:::-;;;;;;;;29140:120::o:0;4221:191::-;4314:6;;;-1:-1:-1;;;;;4331:17:0;;;-1:-1:-1;;;;;;4331:17:0;;;;;;;4364:40;;4314:6;;;4331:17;4314:6;;4364:40;;4295:16;;4364:40;4284:128;4221:191;:::o;32024:242::-;32088:1;32072:12;;:17;32068:191;;32106:12;:14;;;:12;:14;;;:::i;:::-;;;;-1:-1:-1;;32154:15:0;32135:16;:34;32197:1;32184:10;:14;32234:12;;32220:27;;160:25:1;;;32220:27:0;;148:2:1;133:18;32220:27:0;14:177:1;28881:118:0;27844:19;:17;:19::i;:::-;28941:7:::1;:14:::0;;-1:-1:-1;;;;28941:14:0::1;-1:-1:-1::0;;;28941:14:0::1;::::0;;28971:20:::1;28978:12;936:10:::0;;856:98;28398:132;28464:8;:6;:8::i;:::-;28460:63;;;28496:15;;-1:-1:-1;;;28496:15:0;;;;;;;;;;;20643:308;-1:-1:-1;;;;;20727:18:0;;20723:88;;20796:1;20769:30;;-1:-1:-1;;;20769:30:0;;;;;;;;:::i;20723:88::-;-1:-1:-1;;;;;20825:16:0;;20821:88;;20894:1;20865:32;;-1:-1:-1;;;20865:32:0;;;;;;;;:::i;20821:88::-;20919:24;20927:4;20933:2;20937:5;20919:7;:24::i;25049:443::-;-1:-1:-1;;;;;25162:19:0;;25158:91;;25234:1;25205:32;;-1:-1:-1;;;25205:32:0;;;;;;;;:::i;25158:91::-;-1:-1:-1;;;;;25263:21:0;;25259:92;;25336:1;25308:31;;-1:-1:-1;;;25308:31:0;;;;;;;;:::i;25259:92::-;-1:-1:-1;;;;;25361:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;:35;;;25407:78;;;;25458:7;-1:-1:-1;;;;;25442:31:0;25451:5;-1:-1:-1;;;;;25442:31:0;;25467:5;25442:31;;;;160:25:1;;148:2;133:18;;14:177;25442:31:0;;;;;;;;25049:443;;;;:::o;28607:130::-;28671:8;:6;:8::i;:::-;28666:64;;28703:15;;-1:-1:-1;;;28703:15:0;;;;;;;;;;;21275:1135;-1:-1:-1;;;;;21365:18:0;;21361:552;;21519:5;21503:12;;:21;;;;;;;:::i;:::-;;;;-1:-1:-1;21361:552:0;;-1:-1:-1;21361:552:0;;-1:-1:-1;;;;;21579:15:0;;21557:19;21579:15;;;;;;;;;;;21613:19;;;21609:117;;;21660:50;;-1:-1:-1;;;21660:50:0;;-1:-1:-1;;;;;6252:32:1;;21660:50:0;;;6234:51:1;6301:18;;;6294:34;;;6344:18;;;6337:34;;;6207:18;;21660:50:0;6032:345:1;21609:117:0;-1:-1:-1;;;;;21849:15:0;;:9;:15;;;;;;;;;;21867:19;;;;21849:37;;21361:552;-1:-1:-1;;;;;21929:16:0;;21925:435;;22095:12;:21;;;;;;;21925:435;;;-1:-1:-1;;;;;22311:13:0;;:9;:13;;;;;;;;;;:22;;;;;;21925:435;22392:2;-1:-1:-1;;;;;22377:25:0;22386:4;-1:-1:-1;;;;;22377:25:0;;22396:5;22377:25;;;;160::1;;148:2;133:18;;14:177;22377:25:0;;;;;;;;21275:1135;;;:::o;196:548:1:-;308:4;337:2;366;355:9;348:21;398:6;392:13;441:6;436:2;425:9;421:18;414:34;466:1;476:140;490:6;487:1;484:13;476:140;;;585:14;;;581:23;;575:30;551:17;;;570:2;547:26;540:66;505:10;;476:140;;;480:3;665:1;660:2;651:6;640:9;636:22;632:31;625:42;735:2;728;724:7;719:2;711:6;707:15;703:29;692:9;688:45;684:54;676:62;;;;196:548;;;;:::o;749:173::-;817:20;;-1:-1:-1;;;;;866:31:1;;856:42;;846:70;;912:1;909;902:12;846:70;749:173;;;:::o;927:254::-;995:6;1003;1056:2;1044:9;1035:7;1031:23;1027:32;1024:52;;;1072:1;1069;1062:12;1024:52;1095:29;1114:9;1095:29;:::i;:::-;1085:39;1171:2;1156:18;;;;1143:32;;-1:-1:-1;;;927:254:1:o;1378:328::-;1455:6;1463;1471;1524:2;1512:9;1503:7;1499:23;1495:32;1492:52;;;1540:1;1537;1530:12;1492:52;1563:29;1582:9;1563:29;:::i;:::-;1553:39;;1611:38;1645:2;1634:9;1630:18;1611:38;:::i;:::-;1601:48;;1696:2;1685:9;1681:18;1668:32;1658:42;;1378:328;;;;;:::o;1900:186::-;1959:6;2012:2;2000:9;1991:7;1987:23;1983:32;1980:52;;;2028:1;2025;2018:12;1980:52;2051:29;2070:9;2051:29;:::i;:::-;2041:39;1900:186;-1:-1:-1;;;1900:186:1:o;2091:203::-;-1:-1:-1;;;;;2255:32:1;;;;2237:51;;2225:2;2210:18;;2091:203::o;2299:260::-;2367:6;2375;2428:2;2416:9;2407:7;2403:23;2399:32;2396:52;;;2444:1;2441;2434:12;2396:52;2467:29;2486:9;2467:29;:::i;:::-;2457:39;;2515:38;2549:2;2538:9;2534:18;2515:38;:::i;:::-;2505:48;;2299:260;;;;;:::o;2564:380::-;2643:1;2639:12;;;;2686;;;2707:61;;2761:4;2753:6;2749:17;2739:27;;2707:61;2814:2;2806:6;2803:14;2783:18;2780:38;2777:161;;2860:10;2855:3;2851:20;2848:1;2841:31;2895:4;2892:1;2885:15;2923:4;2920:1;2913:15;2777:161;;2564:380;;;:::o;4015:127::-;4076:10;4071:3;4067:20;4064:1;4057:31;4107:4;4104:1;4097:15;4131:4;4128:1;4121:15;4147:168;4220:9;;;4251;;4268:15;;;4262:22;;4248:37;4238:71;;4289:18;;:::i;4668:128::-;4735:9;;;4756:11;;;4753:37;;;4770:18;;:::i;5157:125::-;5222:9;;;5243:10;;;5240:36;;;5256:18;;:::i;5892:135::-;5931:3;5952:17;;;5949:43;;5972:18;;:::i;:::-;-1:-1:-1;6019:1:1;6008:13;;5892:135::o

ipfs://b66679643987e606d11a8521c73ffa82dac410985ec498d624fe1066a23c1901