Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at lineascan.build/ on 2024-10-18
*/

// SPDX-License-Identifier: MIT

// Author: Konstantinos Andreou 18/10/2024
// 
// EurBoC is a stable-coin fiat pegged with the euro, developed during BoCHackathon.
// This smart contract is in the development phase and is intended for hackathon purposes.
//
// Contract Overview:
// The EurBoC contract represents a stablecoin pegged to the euro.
// It allows users to convert fiat into EurBoC tokens and utilize them in decentralized applications.
// The contract owner has minting privileges to control token issuance.
// The contract owner can verify wallets to use this token.
// Further security measures are required before deploying this in a production environment.

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol


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

pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;


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

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

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

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


// 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: @openzeppelin/contracts/interfaces/draft-IERC6093.sol


// OpenZeppelin Contracts (last updated v5.1.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

/**
 * @dev Standard ERC-20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-20 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 ERC-721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in ERC-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 ERC-1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-1155 tokens.
 */
interface IERC1155Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     * @param tokenId Identifier number of a token.
     */
    error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId);

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

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

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

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

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

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

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


// OpenZeppelin Contracts (last updated v5.1.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 ERC-20
 * applications.
 */
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}.
     *
     * Skips emitting an {Approval} event indicating an allowance update. This is not
     * required by the ERC. See {xref-ERC20-_approve-address-address-uint256-bool-}[_approve].
     *
     * 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:
     *
     * ```solidity
     * 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: @openzeppelin/contracts/access/Ownable.sol


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

pragma solidity ^0.8.20;


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

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

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

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

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

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

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

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

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

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

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

// File: EurBoc_new.sol



// Author: Konstantinos Andreou 18/10/2024
// 
// EurBoC is a stable-coin fiat pegged with the euro, developed during BoCHackathon.
// This smart contract is in the development phase and is intended for hackathon purposes.
//
// Contract Overview:
// The EurBoC contract represents a stablecoin pegged to the euro.
// It allows users to convert fiat into EurBoC tokens and utilize them in decentralized applications.
// The contract owner has minting privileges to control token issuance.
// The contract owner can verify wallets to use this token.
// Further security measures are required before deploying this in a production environment.


pragma solidity ^0.8.0;



contract EurBoC is ERC20, Ownable {

    mapping(address => bool) public verifiedUsers; // KYC-compliant users

    // Events for minting, burning, and KYC verification
    event Minted(address indexed user, uint256 amount);
    event Burned(address indexed user, uint256 amount);
    event VerifiedUser(address indexed user);

    constructor() ERC20("EurBoC Stablecoin", "EurBoC") Ownable(msg.sender) {
        _mint(msg.sender, 0 * 10 ** decimals());  // Initial supply set to 0
    }

    // Function to verify users (done by the bank/admin)
    function verifyUser(address user) public {
        verifiedUsers[user] = true;
        emit VerifiedUser(user);
    }

    // Mint EurBoC, only for verified users
    function mint(address to, uint256 amount) public {
        require(verifiedUsers[to], "User not KYC-verified");
        _mint(to, amount);
        emit Minted(to, amount);
    }

    // Burn EurBoC, only accessible by owner (bank)
    function burn(address from, uint256 amount) public {
        _burn(from, amount);
        emit Burned(from, amount);
    }

    // Only verified users can receive tokens
    modifier onlyVerifiedRecipient(address recipient) {
        require(verifiedUsers[recipient], "Recipient is not KYC-verified");
        _;
    }

    // Transfer function, only to verified recipients
    function transfer(address recipient, uint256 amount) public override onlyVerifiedRecipient(recipient) whenNotPaused returns (bool) {
        return super.transfer(recipient, amount);
    }

    // TransferFrom function, only to verified recipients
    function transferFrom(address sender, address recipient, uint256 amount) public override onlyVerifiedRecipient(recipient) whenNotPaused returns (bool) {
        return super.transferFrom(sender, recipient, amount);
    }

    // Allow the owner (bank) to pause the contract in emergencies (regulatory requirements)
    bool public paused = false;

    modifier whenNotPaused() {
        require(!paused, "Contract is paused");
        _;
    }

    function pause() public onlyOwner {
        paused = true;
    }

    function unpause() public onlyOwner {
        paused = false;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Burned","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Minted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"}],"name":"VerifiedUser","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","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":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","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"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"verifiedUsers","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"verifyUser","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526000600760006101000a81548160ff02191690831515021790555034801561002b57600080fd5b50336040518060400160405280601181526020017f457572426f4320537461626c65636f696e0000000000000000000000000000008152506040518060400160405280600681526020017f457572426f43000000000000000000000000000000000000000000000000000081525081600390816100a89190610743565b5080600490816100b89190610743565b505050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361012d5760006040517f1e4fbdf70000000000000000000000000000000000000000000000000000000081526004016101249190610856565b60405180910390fd5b61013c8161017760201b60201c565b506101723361014f61023d60201b60201c565b600a61015b91906109e0565b60006101679190610a2b565b61024660201b60201c565b610b02565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60006012905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036102b85760006040517fec442f050000000000000000000000000000000000000000000000000000000081526004016102af9190610856565b60405180910390fd5b6102ca600083836102ce60201b60201c565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036103205780600260008282546103149190610a6d565b925050819055506103f3565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156103ac578381836040517fe450d38c0000000000000000000000000000000000000000000000000000000081526004016103a393929190610ab0565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361043c5780600260008282540392505081905550610489565b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516104e69190610ae7565b60405180910390a3505050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061057457607f821691505b6020821081036105875761058661052d565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026105ef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826105b2565b6105f986836105b2565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b600061064061063b61063684610611565b61061b565b610611565b9050919050565b6000819050919050565b61065a83610625565b61066e61066682610647565b8484546105bf565b825550505050565b600090565b610683610676565b61068e818484610651565b505050565b5b818110156106b2576106a760008261067b565b600181019050610694565b5050565b601f8211156106f7576106c88161058d565b6106d1846105a2565b810160208510156106e0578190505b6106f46106ec856105a2565b830182610693565b50505b505050565b600082821c905092915050565b600061071a600019846008026106fc565b1980831691505092915050565b60006107338383610709565b9150826002028217905092915050565b61074c826104f3565b67ffffffffffffffff811115610765576107646104fe565b5b61076f825461055c565b61077a8282856106b6565b600060209050601f8311600181146107ad576000841561079b578287015190505b6107a58582610727565b86555061080d565b601f1984166107bb8661058d565b60005b828110156107e3578489015182556001820191506020850194506020810190506107be565b8683101561080057848901516107fc601f891682610709565b8355505b6001600288020188555050505b505050505050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061084082610815565b9050919050565b61085081610835565b82525050565b600060208201905061086b6000830184610847565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156108f7578086048111156108d3576108d2610871565b5b60018516156108e25780820291505b80810290506108f0856108a0565b94506108b7565b94509492505050565b60008261091057600190506109cc565b8161091e57600090506109cc565b8160018114610934576002811461093e5761096d565b60019150506109cc565b60ff8411156109505761094f610871565b5b8360020a91508482111561096757610966610871565b5b506109cc565b5060208310610133831016604e8410600b84101617156109a25782820a90508381111561099d5761099c610871565b5b6109cc565b6109af84848460016108ad565b925090508184048111156109c6576109c5610871565b5b81810290505b9392505050565b600060ff82169050919050565b60006109eb82610611565b91506109f6836109d3565b9250610a237fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610900565b905092915050565b6000610a3682610611565b9150610a4183610611565b9250828202610a4f81610611565b91508282048414831517610a6657610a65610871565b5b5092915050565b6000610a7882610611565b9150610a8383610611565b9250828201905080821115610a9b57610a9a610871565b5b92915050565b610aaa81610611565b82525050565b6000606082019050610ac56000830186610847565b610ad26020830185610aa1565b610adf6040830184610aa1565b949350505050565b6000602082019050610afc6000830184610aa1565b92915050565b61187b80610b116000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad5780639dc29fac116100715780639dc29fac146102c0578063a9059cbb146102dc578063dd62ed3e1461030c578063e35fe3661461033c578063f2fde38b1461036c57610121565b806370a0823114610240578063715018a6146102705780638456cb591461027a5780638da5cb5b1461028457806395d89b41146102a257610121565b8063313ce567116100f4578063313ce567146101c25780633f4ba83a146101e057806340c10f19146101ea5780634d813120146102065780635c975abb1461022257610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806323b872dd14610192575b600080fd5b61012e610388565b60405161013b919061138b565b60405180910390f35b61015e60048036038101906101599190611446565b61041a565b60405161016b91906114a1565b60405180910390f35b61017c61043d565b60405161018991906114cb565b60405180910390f35b6101ac60048036038101906101a791906114e6565b610447565b6040516101b991906114a1565b60405180910390f35b6101ca61053b565b6040516101d79190611555565b60405180910390f35b6101e8610544565b005b61020460048036038101906101ff9190611446565b610569565b005b610220600480360381019061021b9190611570565b610651565b005b61022a6106ef565b60405161023791906114a1565b60405180910390f35b61025a60048036038101906102559190611570565b610702565b60405161026791906114cb565b60405180910390f35b61027861074a565b005b61028261075e565b005b61028c610783565b60405161029991906115ac565b60405180910390f35b6102aa6107ad565b6040516102b7919061138b565b60405180910390f35b6102da60048036038101906102d59190611446565b61083f565b005b6102f660048036038101906102f19190611446565b61089b565b60405161030391906114a1565b60405180910390f35b610326600480360381019061032191906115c7565b61098d565b60405161033391906114cb565b60405180910390f35b61035660048036038101906103519190611570565b610a14565b60405161036391906114a1565b60405180910390f35b61038660048036038101906103819190611570565b610a34565b005b60606003805461039790611636565b80601f01602080910402602001604051908101604052809291908181526020018280546103c390611636565b80156104105780601f106103e557610100808354040283529160200191610410565b820191906000526020600020905b8154815290600101906020018083116103f357829003601f168201915b5050505050905090565b600080610425610aba565b9050610432818585610ac2565b600191505092915050565b6000600254905090565b600082600660008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166104d6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104cd906116b3565b60405180910390fd5b600760009054906101000a900460ff1615610526576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051d9061171f565b60405180910390fd5b610531858585610ad4565b9150509392505050565b60006012905090565b61054c610b03565b6000600760006101000a81548160ff021916908315150217905550565b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166105f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ec9061178b565b60405180910390fd5b6105ff8282610b8a565b8173ffffffffffffffffffffffffffffffffffffffff167f30385c845b448a36257a6a1716e6ad2e1bc2cbe333cde1e69fe849ad6511adfe8260405161064591906114cb565b60405180910390a25050565b6001600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167f7326a4b0242e24d5a2706cbd8418aaf98674c16c263d222c7e4d8e41539e9ec560405160405180910390a250565b600760009054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610752610b03565b61075c6000610c0c565b565b610766610b03565b6001600760006101000a81548160ff021916908315150217905550565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546107bc90611636565b80601f01602080910402602001604051908101604052809291908181526020018280546107e890611636565b80156108355780601f1061080a57610100808354040283529160200191610835565b820191906000526020600020905b81548152906001019060200180831161081857829003601f168201915b5050505050905090565b6108498282610cd2565b8173ffffffffffffffffffffffffffffffffffffffff167f696de425f79f4a40bc6d2122ca50507f0efbeabbff86a84871b7196ab8ea8df78260405161088f91906114cb565b60405180910390a25050565b600082600660008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661092a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610921906116b3565b60405180910390fd5b600760009054906101000a900460ff161561097a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109719061171f565b60405180910390fd5b6109848484610d54565b91505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60066020528060005260406000206000915054906101000a900460ff1681565b610a3c610b03565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610aae5760006040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610aa591906115ac565b60405180910390fd5b610ab781610c0c565b50565b600033905090565b610acf8383836001610d77565b505050565b600080610adf610aba565b9050610aec858285610f4e565b610af7858585610fe2565b60019150509392505050565b610b0b610aba565b73ffffffffffffffffffffffffffffffffffffffff16610b29610783565b73ffffffffffffffffffffffffffffffffffffffff1614610b8857610b4c610aba565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610b7f91906115ac565b60405180910390fd5b565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610bfc5760006040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610bf391906115ac565b60405180910390fd5b610c08600083836110d6565b5050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d445760006040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610d3b91906115ac565b60405180910390fd5b610d50826000836110d6565b5050565b600080610d5f610aba565b9050610d6c818585610fe2565b600191505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610de95760006040517fe602df05000000000000000000000000000000000000000000000000000000008152600401610de091906115ac565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610e5b5760006040517f94280d62000000000000000000000000000000000000000000000000000000008152600401610e5291906115ac565b60405180910390fd5b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508015610f48578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610f3f91906114cb565b60405180910390a35b50505050565b6000610f5a848461098d565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610fdc5781811015610fcc578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610fc3939291906117ab565b60405180910390fd5b610fdb84848484036000610d77565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036110545760006040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161104b91906115ac565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036110c65760006040517fec442f050000000000000000000000000000000000000000000000000000000081526004016110bd91906115ac565b60405180910390fd5b6110d18383836110d6565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361112857806002600082825461111c9190611811565b925050819055506111fb565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156111b4578381836040517fe450d38c0000000000000000000000000000000000000000000000000000000081526004016111ab939291906117ab565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036112445780600260008282540392505081905550611291565b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516112ee91906114cb565b60405180910390a3505050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561133557808201518184015260208101905061131a565b60008484015250505050565b6000601f19601f8301169050919050565b600061135d826112fb565b6113678185611306565b9350611377818560208601611317565b61138081611341565b840191505092915050565b600060208201905081810360008301526113a58184611352565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006113dd826113b2565b9050919050565b6113ed816113d2565b81146113f857600080fd5b50565b60008135905061140a816113e4565b92915050565b6000819050919050565b61142381611410565b811461142e57600080fd5b50565b6000813590506114408161141a565b92915050565b6000806040838503121561145d5761145c6113ad565b5b600061146b858286016113fb565b925050602061147c85828601611431565b9150509250929050565b60008115159050919050565b61149b81611486565b82525050565b60006020820190506114b66000830184611492565b92915050565b6114c581611410565b82525050565b60006020820190506114e060008301846114bc565b92915050565b6000806000606084860312156114ff576114fe6113ad565b5b600061150d868287016113fb565b935050602061151e868287016113fb565b925050604061152f86828701611431565b9150509250925092565b600060ff82169050919050565b61154f81611539565b82525050565b600060208201905061156a6000830184611546565b92915050565b600060208284031215611586576115856113ad565b5b6000611594848285016113fb565b91505092915050565b6115a6816113d2565b82525050565b60006020820190506115c1600083018461159d565b92915050565b600080604083850312156115de576115dd6113ad565b5b60006115ec858286016113fb565b92505060206115fd858286016113fb565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061164e57607f821691505b60208210810361166157611660611607565b5b50919050565b7f526563697069656e74206973206e6f74204b59432d7665726966696564000000600082015250565b600061169d601d83611306565b91506116a882611667565b602082019050919050565b600060208201905081810360008301526116cc81611690565b9050919050565b7f436f6e7472616374206973207061757365640000000000000000000000000000600082015250565b6000611709601283611306565b9150611714826116d3565b602082019050919050565b60006020820190508181036000830152611738816116fc565b9050919050565b7f55736572206e6f74204b59432d76657269666965640000000000000000000000600082015250565b6000611775601583611306565b91506117808261173f565b602082019050919050565b600060208201905081810360008301526117a481611768565b9050919050565b60006060820190506117c0600083018661159d565b6117cd60208301856114bc565b6117da60408301846114bc565b949350505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061181c82611410565b915061182783611410565b925082820190508082111561183f5761183e6117e2565b5b9291505056fea2646970667358221220266c1d02da75b90cd565dd2c63f32097025c5f79b29703ba13ac42b1aafcc3f464736f6c634300081a0033

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad5780639dc29fac116100715780639dc29fac146102c0578063a9059cbb146102dc578063dd62ed3e1461030c578063e35fe3661461033c578063f2fde38b1461036c57610121565b806370a0823114610240578063715018a6146102705780638456cb591461027a5780638da5cb5b1461028457806395d89b41146102a257610121565b8063313ce567116100f4578063313ce567146101c25780633f4ba83a146101e057806340c10f19146101ea5780634d813120146102065780635c975abb1461022257610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806323b872dd14610192575b600080fd5b61012e610388565b60405161013b919061138b565b60405180910390f35b61015e60048036038101906101599190611446565b61041a565b60405161016b91906114a1565b60405180910390f35b61017c61043d565b60405161018991906114cb565b60405180910390f35b6101ac60048036038101906101a791906114e6565b610447565b6040516101b991906114a1565b60405180910390f35b6101ca61053b565b6040516101d79190611555565b60405180910390f35b6101e8610544565b005b61020460048036038101906101ff9190611446565b610569565b005b610220600480360381019061021b9190611570565b610651565b005b61022a6106ef565b60405161023791906114a1565b60405180910390f35b61025a60048036038101906102559190611570565b610702565b60405161026791906114cb565b60405180910390f35b61027861074a565b005b61028261075e565b005b61028c610783565b60405161029991906115ac565b60405180910390f35b6102aa6107ad565b6040516102b7919061138b565b60405180910390f35b6102da60048036038101906102d59190611446565b61083f565b005b6102f660048036038101906102f19190611446565b61089b565b60405161030391906114a1565b60405180910390f35b610326600480360381019061032191906115c7565b61098d565b60405161033391906114cb565b60405180910390f35b61035660048036038101906103519190611570565b610a14565b60405161036391906114a1565b60405180910390f35b61038660048036038101906103819190611570565b610a34565b005b60606003805461039790611636565b80601f01602080910402602001604051908101604052809291908181526020018280546103c390611636565b80156104105780601f106103e557610100808354040283529160200191610410565b820191906000526020600020905b8154815290600101906020018083116103f357829003601f168201915b5050505050905090565b600080610425610aba565b9050610432818585610ac2565b600191505092915050565b6000600254905090565b600082600660008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166104d6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104cd906116b3565b60405180910390fd5b600760009054906101000a900460ff1615610526576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051d9061171f565b60405180910390fd5b610531858585610ad4565b9150509392505050565b60006012905090565b61054c610b03565b6000600760006101000a81548160ff021916908315150217905550565b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166105f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ec9061178b565b60405180910390fd5b6105ff8282610b8a565b8173ffffffffffffffffffffffffffffffffffffffff167f30385c845b448a36257a6a1716e6ad2e1bc2cbe333cde1e69fe849ad6511adfe8260405161064591906114cb565b60405180910390a25050565b6001600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167f7326a4b0242e24d5a2706cbd8418aaf98674c16c263d222c7e4d8e41539e9ec560405160405180910390a250565b600760009054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610752610b03565b61075c6000610c0c565b565b610766610b03565b6001600760006101000a81548160ff021916908315150217905550565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546107bc90611636565b80601f01602080910402602001604051908101604052809291908181526020018280546107e890611636565b80156108355780601f1061080a57610100808354040283529160200191610835565b820191906000526020600020905b81548152906001019060200180831161081857829003601f168201915b5050505050905090565b6108498282610cd2565b8173ffffffffffffffffffffffffffffffffffffffff167f696de425f79f4a40bc6d2122ca50507f0efbeabbff86a84871b7196ab8ea8df78260405161088f91906114cb565b60405180910390a25050565b600082600660008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661092a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610921906116b3565b60405180910390fd5b600760009054906101000a900460ff161561097a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109719061171f565b60405180910390fd5b6109848484610d54565b91505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60066020528060005260406000206000915054906101000a900460ff1681565b610a3c610b03565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610aae5760006040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610aa591906115ac565b60405180910390fd5b610ab781610c0c565b50565b600033905090565b610acf8383836001610d77565b505050565b600080610adf610aba565b9050610aec858285610f4e565b610af7858585610fe2565b60019150509392505050565b610b0b610aba565b73ffffffffffffffffffffffffffffffffffffffff16610b29610783565b73ffffffffffffffffffffffffffffffffffffffff1614610b8857610b4c610aba565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610b7f91906115ac565b60405180910390fd5b565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610bfc5760006040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610bf391906115ac565b60405180910390fd5b610c08600083836110d6565b5050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d445760006040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610d3b91906115ac565b60405180910390fd5b610d50826000836110d6565b5050565b600080610d5f610aba565b9050610d6c818585610fe2565b600191505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610de95760006040517fe602df05000000000000000000000000000000000000000000000000000000008152600401610de091906115ac565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610e5b5760006040517f94280d62000000000000000000000000000000000000000000000000000000008152600401610e5291906115ac565b60405180910390fd5b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508015610f48578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610f3f91906114cb565b60405180910390a35b50505050565b6000610f5a848461098d565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610fdc5781811015610fcc578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610fc3939291906117ab565b60405180910390fd5b610fdb84848484036000610d77565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036110545760006040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161104b91906115ac565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036110c65760006040517fec442f050000000000000000000000000000000000000000000000000000000081526004016110bd91906115ac565b60405180910390fd5b6110d18383836110d6565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361112857806002600082825461111c9190611811565b925050819055506111fb565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156111b4578381836040517fe450d38c0000000000000000000000000000000000000000000000000000000081526004016111ab939291906117ab565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036112445780600260008282540392505081905550611291565b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516112ee91906114cb565b60405180910390a3505050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561133557808201518184015260208101905061131a565b60008484015250505050565b6000601f19601f8301169050919050565b600061135d826112fb565b6113678185611306565b9350611377818560208601611317565b61138081611341565b840191505092915050565b600060208201905081810360008301526113a58184611352565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006113dd826113b2565b9050919050565b6113ed816113d2565b81146113f857600080fd5b50565b60008135905061140a816113e4565b92915050565b6000819050919050565b61142381611410565b811461142e57600080fd5b50565b6000813590506114408161141a565b92915050565b6000806040838503121561145d5761145c6113ad565b5b600061146b858286016113fb565b925050602061147c85828601611431565b9150509250929050565b60008115159050919050565b61149b81611486565b82525050565b60006020820190506114b66000830184611492565b92915050565b6114c581611410565b82525050565b60006020820190506114e060008301846114bc565b92915050565b6000806000606084860312156114ff576114fe6113ad565b5b600061150d868287016113fb565b935050602061151e868287016113fb565b925050604061152f86828701611431565b9150509250925092565b600060ff82169050919050565b61154f81611539565b82525050565b600060208201905061156a6000830184611546565b92915050565b600060208284031215611586576115856113ad565b5b6000611594848285016113fb565b91505092915050565b6115a6816113d2565b82525050565b60006020820190506115c1600083018461159d565b92915050565b600080604083850312156115de576115dd6113ad565b5b60006115ec858286016113fb565b92505060206115fd858286016113fb565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061164e57607f821691505b60208210810361166157611660611607565b5b50919050565b7f526563697069656e74206973206e6f74204b59432d7665726966696564000000600082015250565b600061169d601d83611306565b91506116a882611667565b602082019050919050565b600060208201905081810360008301526116cc81611690565b9050919050565b7f436f6e7472616374206973207061757365640000000000000000000000000000600082015250565b6000611709601283611306565b9150611714826116d3565b602082019050919050565b60006020820190508181036000830152611738816116fc565b9050919050565b7f55736572206e6f74204b59432d76657269666965640000000000000000000000600082015250565b6000611775601583611306565b91506117808261173f565b602082019050919050565b600060208201905081810360008301526117a481611768565b9050919050565b60006060820190506117c0600083018661159d565b6117cd60208301856114bc565b6117da60408301846114bc565b949350505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061181c82611410565b915061182783611410565b925082820190508082111561183f5761183e6117e2565b5b9291505056fea2646970667358221220266c1d02da75b90cd565dd2c63f32097025c5f79b29703ba13ac42b1aafcc3f464736f6c634300081a0033

26973:2233:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13695:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15988:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14797:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28599:222;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14648:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;29134:69;;;:::i;:::-;;27710:181;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;27537:120;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;28923:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14959:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25418:103;;;:::i;:::-;;29060:66;;;:::i;:::-;;24743:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13905:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27952:125;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;28342:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15527:142;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27016:45;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25676:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;13695:91;13740:13;13773:5;13766:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13695:91;:::o;15988:190::-;16061:4;16078:13;16094:12;:10;:12::i;:::-;16078:28;;16117:31;16126:5;16133:7;16142:5;16117:8;:31::i;:::-;16166:4;16159:11;;;15988:190;;;;:::o;14797:99::-;14849:7;14876:12;;14869:19;;14797:99;:::o;28599:222::-;28744:4;28710:9;28201:13;:24;28215:9;28201:24;;;;;;;;;;;;;;;;;;;;;;;;;28193:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;29003:6:::1;;;;;;;;;;;29002:7;28994:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;28768:45:::2;28787:6;28795:9;28806:6;28768:18;:45::i;:::-;28761:52;;28599:222:::0;;;;;;:::o;14648:84::-;14697:5;14722:2;14715:9;;14648:84;:::o;29134:69::-;24629:13;:11;:13::i;:::-;29190:5:::1;29181:6;;:14;;;;;;;;;;;;;;;;;;29134:69::o:0;27710:181::-;27778:13;:17;27792:2;27778:17;;;;;;;;;;;;;;;;;;;;;;;;;27770:51;;;;;;;;;;;;:::i;:::-;;;;;;;;;27832:17;27838:2;27842:6;27832:5;:17::i;:::-;27872:2;27865:18;;;27876:6;27865:18;;;;;;:::i;:::-;;;;;;;;27710:181;;:::o;27537:120::-;27611:4;27589:13;:19;27603:4;27589:19;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;27644:4;27631:18;;;;;;;;;;;;27537:120;:::o;28923:26::-;;;;;;;;;;;;;:::o;14959:118::-;15024:7;15051:9;:18;15061:7;15051:18;;;;;;;;;;;;;;;;15044:25;;14959:118;;;:::o;25418:103::-;24629:13;:11;:13::i;:::-;25483:30:::1;25510:1;25483:18;:30::i;:::-;25418:103::o:0;29060:66::-;24629:13;:11;:13::i;:::-;29114:4:::1;29105:6;;:13;;;;;;;;;;;;;;;;;;29060:66::o:0;24743:87::-;24789:7;24816:6;;;;;;;;;;;24809:13;;24743:87;:::o;13905:95::-;13952:13;13985:7;13978:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13905:95;:::o;27952:125::-;28014:19;28020:4;28026:6;28014:5;:19::i;:::-;28056:4;28049:20;;;28062:6;28049:20;;;;;;:::i;:::-;;;;;;;;27952:125;;:::o;28342:190::-;28467:4;28433:9;28201:13;:24;28215:9;28201:24;;;;;;;;;;;;;;;;;;;;;;;;;28193:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;29003:6:::1;;;;;;;;;;;29002:7;28994:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;28491:33:::2;28506:9;28517:6;28491:14;:33::i;:::-;28484:40;;28342:190:::0;;;;;:::o;15527:142::-;15607:7;15634:11;:18;15646:5;15634:18;;;;;;;;;;;;;;;:27;15653:7;15634:27;;;;;;;;;;;;;;;;15627:34;;15527:142;;;;:::o;27016:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;25676:220::-;24629:13;:11;:13::i;:::-;25781:1:::1;25761:22;;:8;:22;;::::0;25757:93:::1;;25835:1;25807:31;;;;;;;;;;;:::i;:::-;;;;;;;;25757:93;25860:28;25879:8;25860:18;:28::i;:::-;25676:220:::0;:::o;4994:98::-;5047:7;5074:10;5067:17;;4994:98;:::o;20847:130::-;20932:37;20941:5;20948:7;20957:5;20964:4;20932:8;:37::i;:::-;20847:130;;;:::o;16788:249::-;16875:4;16892:15;16910:12;:10;:12::i;:::-;16892:30;;16933:37;16949:4;16955:7;16964:5;16933:15;:37::i;:::-;16981:26;16991:4;16997:2;17001:5;16981:9;:26::i;:::-;17025:4;17018:11;;;16788:249;;;;;:::o;24908:166::-;24979:12;:10;:12::i;:::-;24968:23;;:7;:5;:7::i;:::-;:23;;;24964:103;;25042:12;:10;:12::i;:::-;25015:40;;;;;;;;;;;:::i;:::-;;;;;;;;24964:103;24908:166::o;19542:213::-;19632:1;19613:21;;:7;:21;;;19609:93;;19687:1;19658:32;;;;;;;;;;;:::i;:::-;;;;;;;;19609:93;19712:35;19728:1;19732:7;19741:5;19712:7;:35::i;:::-;19542:213;;:::o;26056:191::-;26130:16;26149:6;;;;;;;;;;;26130:25;;26175:8;26166:6;;:17;;;;;;;;;;;;;;;;;;26230:8;26199:40;;26220:8;26199:40;;;;;;;;;;;;26119:128;26056:191;:::o;20083:211::-;20173:1;20154:21;;:7;:21;;;20150:91;;20226:1;20199:30;;;;;;;;;;;:::i;:::-;;;;;;;;20150:91;20251:35;20259:7;20276:1;20280:5;20251:7;:35::i;:::-;20083:211;;:::o;15282:182::-;15351:4;15368:13;15384:12;:10;:12::i;:::-;15368:28;;15407:27;15417:5;15424:2;15428:5;15407:9;:27::i;:::-;15452:4;15445:11;;;15282:182;;;;:::o;21844:443::-;21974:1;21957:19;;:5;:19;;;21953:91;;22029:1;22000:32;;;;;;;;;;;:::i;:::-;;;;;;;;21953:91;22077:1;22058:21;;:7;:21;;;22054:92;;22131:1;22103:31;;;;;;;;;;;:::i;:::-;;;;;;;;22054:92;22186:5;22156:11;:18;22168:5;22156:18;;;;;;;;;;;;;;;:27;22175:7;22156:27;;;;;;;;;;;;;;;:35;;;;22206:9;22202:78;;;22253:7;22237:31;;22246:5;22237:31;;;22262:5;22237:31;;;;;;:::i;:::-;;;;;;;;22202:78;21844:443;;;;:::o;22579:487::-;22679:24;22706:25;22716:5;22723:7;22706:9;:25::i;:::-;22679:52;;22766:17;22746:16;:37;22742:317;;22823:5;22804:16;:24;22800:132;;;22883:7;22892:16;22910:5;22856:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;22800:132;22975:57;22984:5;22991:7;23019:5;23000:16;:24;23026:5;22975:8;:57::i;:::-;22742:317;22668:398;22579:487;;;:::o;17422:308::-;17522:1;17506:18;;:4;:18;;;17502:88;;17575:1;17548:30;;;;;;;;;;;:::i;:::-;;;;;;;;17502:88;17618:1;17604:16;;:2;:16;;;17600:88;;17673:1;17644:32;;;;;;;;;;;:::i;:::-;;;;;;;;17600:88;17698:24;17706:4;17712:2;17716:5;17698:7;:24::i;:::-;17422:308;;;:::o;18054:1135::-;18160:1;18144:18;;:4;:18;;;18140:552;;18298:5;18282:12;;:21;;;;;;;:::i;:::-;;;;;;;;18140:552;;;18336:19;18358:9;:15;18368:4;18358:15;;;;;;;;;;;;;;;;18336:37;;18406:5;18392:11;:19;18388:117;;;18464:4;18470:11;18483:5;18439:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;18388:117;18660:5;18646:11;:19;18628:9;:15;18638:4;18628:15;;;;;;;;;;;;;;;:37;;;;18321:371;18140:552;18722:1;18708:16;;:2;:16;;;18704:435;;18890:5;18874:12;;:21;;;;;;;;;;;18704:435;;;19107:5;19090:9;:13;19100:2;19090:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;18704:435;19171:2;19156:25;;19165:4;19156:25;;;19175:5;19156:25;;;;;;:::i;:::-;;;;;;;;18054:1135;;;:::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:248::-;369:1;379:113;393:6;390:1;387:13;379:113;;;478:1;473:3;469:11;463:18;459:1;454:3;450:11;443:39;415:2;412:1;408:10;403:15;;379:113;;;526:1;517:6;512:3;508:16;501:27;349:186;287:248;;;:::o;541:102::-;582:6;633:2;629:7;624:2;617:5;613:14;609:28;599:38;;541:102;;;:::o;649:377::-;737:3;765:39;798:5;765:39;:::i;:::-;820:71;884:6;879:3;820:71;:::i;:::-;813:78;;900:65;958:6;953:3;946:4;939:5;935:16;900:65;:::i;:::-;990:29;1012:6;990:29;:::i;:::-;985:3;981:39;974:46;;741:285;649:377;;;;:::o;1032:313::-;1145:4;1183:2;1172:9;1168:18;1160:26;;1232:9;1226:4;1222:20;1218:1;1207:9;1203:17;1196:47;1260:78;1333:4;1324:6;1260:78;:::i;:::-;1252:86;;1032:313;;;;:::o;1432:117::-;1541:1;1538;1531:12;1678:126;1715:7;1755:42;1748:5;1744:54;1733:65;;1678:126;;;:::o;1810:96::-;1847:7;1876:24;1894:5;1876:24;:::i;:::-;1865:35;;1810:96;;;:::o;1912:122::-;1985:24;2003:5;1985:24;:::i;:::-;1978:5;1975:35;1965:63;;2024:1;2021;2014:12;1965:63;1912:122;:::o;2040:139::-;2086:5;2124:6;2111:20;2102:29;;2140:33;2167:5;2140:33;:::i;:::-;2040:139;;;;:::o;2185:77::-;2222:7;2251:5;2240:16;;2185:77;;;:::o;2268:122::-;2341:24;2359:5;2341:24;:::i;:::-;2334:5;2331:35;2321:63;;2380:1;2377;2370:12;2321:63;2268:122;:::o;2396:139::-;2442:5;2480:6;2467:20;2458:29;;2496:33;2523:5;2496:33;:::i;:::-;2396:139;;;;:::o;2541:474::-;2609:6;2617;2666:2;2654:9;2645:7;2641:23;2637:32;2634:119;;;2672:79;;:::i;:::-;2634:119;2792:1;2817:53;2862:7;2853:6;2842:9;2838:22;2817:53;:::i;:::-;2807:63;;2763:117;2919:2;2945:53;2990:7;2981:6;2970:9;2966:22;2945:53;:::i;:::-;2935:63;;2890:118;2541:474;;;;;:::o;3021:90::-;3055:7;3098:5;3091:13;3084:21;3073:32;;3021:90;;;:::o;3117:109::-;3198:21;3213:5;3198:21;:::i;:::-;3193:3;3186:34;3117:109;;:::o;3232:210::-;3319:4;3357:2;3346:9;3342:18;3334:26;;3370:65;3432:1;3421:9;3417:17;3408:6;3370:65;:::i;:::-;3232:210;;;;:::o;3448:118::-;3535:24;3553:5;3535:24;:::i;:::-;3530:3;3523:37;3448:118;;:::o;3572:222::-;3665:4;3703:2;3692:9;3688:18;3680:26;;3716:71;3784:1;3773:9;3769:17;3760:6;3716:71;:::i;:::-;3572:222;;;;:::o;3800:619::-;3877:6;3885;3893;3942:2;3930:9;3921:7;3917:23;3913:32;3910:119;;;3948:79;;:::i;:::-;3910:119;4068:1;4093:53;4138:7;4129:6;4118:9;4114:22;4093:53;:::i;:::-;4083:63;;4039:117;4195:2;4221:53;4266:7;4257:6;4246:9;4242:22;4221:53;:::i;:::-;4211:63;;4166:118;4323:2;4349:53;4394:7;4385:6;4374:9;4370:22;4349:53;:::i;:::-;4339:63;;4294:118;3800:619;;;;;:::o;4425:86::-;4460:7;4500:4;4493:5;4489:16;4478:27;;4425:86;;;:::o;4517:112::-;4600:22;4616:5;4600:22;:::i;:::-;4595:3;4588:35;4517:112;;:::o;4635:214::-;4724:4;4762:2;4751:9;4747:18;4739:26;;4775:67;4839:1;4828:9;4824:17;4815:6;4775:67;:::i;:::-;4635:214;;;;:::o;4855:329::-;4914:6;4963:2;4951:9;4942:7;4938:23;4934:32;4931:119;;;4969:79;;:::i;:::-;4931:119;5089:1;5114:53;5159:7;5150:6;5139:9;5135:22;5114:53;:::i;:::-;5104:63;;5060:117;4855:329;;;;:::o;5190:118::-;5277:24;5295:5;5277:24;:::i;:::-;5272:3;5265:37;5190:118;;:::o;5314:222::-;5407:4;5445:2;5434:9;5430:18;5422:26;;5458:71;5526:1;5515:9;5511:17;5502:6;5458:71;:::i;:::-;5314:222;;;;:::o;5542:474::-;5610:6;5618;5667:2;5655:9;5646:7;5642:23;5638:32;5635:119;;;5673:79;;:::i;:::-;5635:119;5793:1;5818:53;5863:7;5854:6;5843:9;5839:22;5818:53;:::i;:::-;5808:63;;5764:117;5920:2;5946:53;5991:7;5982:6;5971:9;5967:22;5946:53;:::i;:::-;5936:63;;5891:118;5542:474;;;;;:::o;6022:180::-;6070:77;6067:1;6060:88;6167:4;6164:1;6157:15;6191:4;6188:1;6181:15;6208:320;6252:6;6289:1;6283:4;6279:12;6269:22;;6336:1;6330:4;6326:12;6357:18;6347:81;;6413:4;6405:6;6401:17;6391:27;;6347:81;6475:2;6467:6;6464:14;6444:18;6441:38;6438:84;;6494:18;;:::i;:::-;6438:84;6259:269;6208:320;;;:::o;6534:179::-;6674:31;6670:1;6662:6;6658:14;6651:55;6534:179;:::o;6719:366::-;6861:3;6882:67;6946:2;6941:3;6882:67;:::i;:::-;6875:74;;6958:93;7047:3;6958:93;:::i;:::-;7076:2;7071:3;7067:12;7060:19;;6719:366;;;:::o;7091:419::-;7257:4;7295:2;7284:9;7280:18;7272:26;;7344:9;7338:4;7334:20;7330:1;7319:9;7315:17;7308:47;7372:131;7498:4;7372:131;:::i;:::-;7364:139;;7091:419;;;:::o;7516:168::-;7656:20;7652:1;7644:6;7640:14;7633:44;7516:168;:::o;7690:366::-;7832:3;7853:67;7917:2;7912:3;7853:67;:::i;:::-;7846:74;;7929:93;8018:3;7929:93;:::i;:::-;8047:2;8042:3;8038:12;8031:19;;7690:366;;;:::o;8062:419::-;8228:4;8266:2;8255:9;8251:18;8243:26;;8315:9;8309:4;8305:20;8301:1;8290:9;8286:17;8279:47;8343:131;8469:4;8343:131;:::i;:::-;8335:139;;8062:419;;;:::o;8487:171::-;8627:23;8623:1;8615:6;8611:14;8604:47;8487:171;:::o;8664:366::-;8806:3;8827:67;8891:2;8886:3;8827:67;:::i;:::-;8820:74;;8903:93;8992:3;8903:93;:::i;:::-;9021:2;9016:3;9012:12;9005:19;;8664:366;;;:::o;9036:419::-;9202:4;9240:2;9229:9;9225:18;9217:26;;9289:9;9283:4;9279:20;9275:1;9264:9;9260:17;9253:47;9317:131;9443:4;9317:131;:::i;:::-;9309:139;;9036:419;;;:::o;9461:442::-;9610:4;9648:2;9637:9;9633:18;9625:26;;9661:71;9729:1;9718:9;9714:17;9705:6;9661:71;:::i;:::-;9742:72;9810:2;9799:9;9795:18;9786:6;9742:72;:::i;:::-;9824;9892:2;9881:9;9877:18;9868:6;9824:72;:::i;:::-;9461:442;;;;;;:::o;9909:180::-;9957:77;9954:1;9947:88;10054:4;10051:1;10044:15;10078:4;10075:1;10068:15;10095:191;10135:3;10154:20;10172:1;10154:20;:::i;:::-;10149:25;;10188:20;10206:1;10188:20;:::i;:::-;10183:25;;10231:1;10228;10224:9;10217:16;;10252:3;10249:1;10246:10;10243:36;;;10259:18;;:::i;:::-;10243:36;10095:191;;;;:::o

ipfs://266c1d02da75b90cd565dd2c63f32097025c5f79b29703ba13ac42b1aafcc3f4