Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(
•    - function allowance(
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function _msgSender()
•    - function _msgData()
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(
•    - function transfer(
•    - function allowance(
•    - function approve(
•    - function transferFrom(
•    - function increaseAllowance(
•    - function decreaseAllowance(
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•  contract VRAI is ERC20, Ownable *
•    - function enableTrading()
•    - function setPrelaunchAddress(
•    - function canPrelaunchTransfer(address ...
•    - function _transfer(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-06-26
*/

/**
 * SPDX-License-Identifier: MIT
 */
pragma solidity >=0.8.19;

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

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

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

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

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

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

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

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);
}

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

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

contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

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

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

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

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

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

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

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(
        address spender,
        uint256 amount
    ) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20}.
     *
     * Requirements:
     *
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(
            currentAllowance >= amount,
            "ERC20: transfer amount exceeds allowance"
        );
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }

        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(
        address spender,
        uint256 addedValue
    ) public virtual returns (bool) {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender] + addedValue
        );
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(
        address spender,
        uint256 subtractedValue
    ) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(
            currentAllowance >= subtractedValue,
            "ERC20: decreased allowance below zero"
        );
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `sender` to `recipient`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(
            senderBalance >= amount,
            "ERC20: transfer amount exceeds balance"
        );
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

abstract contract Ownable is Context {
    address private _owner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

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

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(
            newOwner != address(0),
            "Ownable: new owner is the zero address"
        );
        _transferOwnership(newOwner);
    }

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

contract VRAI is ERC20, Ownable {

    bool public tradingActive = false;
    mapping(address => bool) private _isPrelaunchAddress;

    constructor() ERC20("Virtual Reality AI", "VRAI") {
        uint256 totalSupply = 1000000000 * 1e18;

        setPrelaunchAddress(owner(), true);
        /*
            _mint is an internal function in ERC20.sol that is only called here,
            and CANNOT be called ever again
        */
        _mint(msg.sender, totalSupply);
    }

    receive() external payable {}

    /// @notice Launches the token and enables trading.
    function enableTrading() external onlyOwner {
        tradingActive = true;
    }

    /// @notice Sets if a wallet is able to transfer before trading is enabled
    /// @param account The wallet to update
    /// @param excluded If the wallet is able or not
    function setPrelaunchAddress(
        address account,
        bool excluded
    ) public onlyOwner {
        _isPrelaunchAddress[account] = excluded;
    }

    function canPrelaunchTransfer(address account) public view returns (bool) {
        return _isPrelaunchAddress[account];
    }

    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal override {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        if (amount == 0) {
            super._transfer(from, to, 0);
            return;
        }

        if (!tradingActive) {
            require(
                _isPrelaunchAddress[from] || _isPrelaunchAddress[to],
                "Trading is not active."
            );
        }

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","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":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"canPrelaunchTransfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bool","name":"excluded","type":"bool"}],"name":"setPrelaunchAddress","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":[],"name":"tradingActive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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"},{"stateMutability":"payable","type":"receive"}]

60806040526005805460ff60a01b191690553480156200001e57600080fd5b50604051806040016040528060128152602001715669727475616c205265616c69747920414960701b815250604051806040016040528060048152602001635652414960e01b815250816003908162000078919062000352565b50600462000087828262000352565b505050620000a46200009e620000e360201b60201c565b620000e7565b6b033b2e3c9fd0803ce8000000620000d0620000c86005546001600160a01b031690565b600162000139565b620000dc3382620001c4565b5062000446565b3390565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b6005546001600160a01b03163314620001995760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064015b60405180910390fd5b6001600160a01b03919091166000908152600660205260409020805460ff1916911515919091179055565b6001600160a01b0382166200021c5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640162000190565b80600260008282546200023091906200041e565b90915550506001600160a01b038216600090815260208190526040812080548392906200025f9084906200041e565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b505050565b634e487b7160e01b600052604160045260246000fd5b600181811c90821680620002d957607f821691505b602082108103620002fa57634e487b7160e01b600052602260045260246000fd5b50919050565b601f821115620002a957600081815260208120601f850160051c81016020861015620003295750805b601f850160051c820191505b818110156200034a5782815560010162000335565b505050505050565b81516001600160401b038111156200036e576200036e620002ae565b62000386816200037f8454620002c4565b8462000300565b602080601f831160018114620003be5760008415620003a55750858301515b600019600386901b1c1916600185901b1785556200034a565b600085815260208120601f198616915b82811015620003ef57888601518255948401946001909101908401620003ce565b50858210156200040e5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b808201808211156200044057634e487b7160e01b600052601160045260246000fd5b92915050565b610ddb80620004566000396000f3fe60806040526004361061010d5760003560e01c80638da5cb5b11610095578063bbc0c74211610064578063bbc0c742146102ce578063c6c6b271146102ef578063dd62ed3e1461030f578063f2fde38b14610355578063f65d13271461037557600080fd5b80638da5cb5b1461025157806395d89b4114610279578063a457c2d71461028e578063a9059cbb146102ae57600080fd5b8063313ce567116100dc578063313ce567146101b357806339509351146101cf57806370a08231146101ef578063715018a6146102255780638a8c523c1461023c57600080fd5b806306fdde0314610119578063095ea7b31461014457806318160ddd1461017457806323b872dd1461019357600080fd5b3661011457005b600080fd5b34801561012557600080fd5b5061012e6103ae565b60405161013b9190610b2c565b60405180910390f35b34801561015057600080fd5b5061016461015f366004610b96565b610440565b604051901515815260200161013b565b34801561018057600080fd5b506002545b60405190815260200161013b565b34801561019f57600080fd5b506101646101ae366004610bc0565b610457565b3480156101bf57600080fd5b506040516012815260200161013b565b3480156101db57600080fd5b506101646101ea366004610b96565b610506565b3480156101fb57600080fd5b5061018561020a366004610bfc565b6001600160a01b031660009081526020819052604090205490565b34801561023157600080fd5b5061023a610542565b005b34801561024857600080fd5b5061023a610578565b34801561025d57600080fd5b506005546040516001600160a01b03909116815260200161013b565b34801561028557600080fd5b5061012e6105b7565b34801561029a57600080fd5b506101646102a9366004610b96565b6105c6565b3480156102ba57600080fd5b506101646102c9366004610b96565b61065f565b3480156102da57600080fd5b5060055461016490600160a01b900460ff1681565b3480156102fb57600080fd5b5061023a61030a366004610c1e565b61066c565b34801561031b57600080fd5b5061018561032a366004610c5a565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b34801561036157600080fd5b5061023a610370366004610bfc565b6106c1565b34801561038157600080fd5b50610164610390366004610bfc565b6001600160a01b031660009081526006602052604090205460ff1690565b6060600380546103bd90610c8d565b80601f01602080910402602001604051908101604052809291908181526020018280546103e990610c8d565b80156104365780601f1061040b57610100808354040283529160200191610436565b820191906000526020600020905b81548152906001019060200180831161041957829003601f168201915b5050505050905090565b600061044d33848461075c565b5060015b92915050565b6000610464848484610880565b6001600160a01b0384166000908152600160209081526040808320338452909152902054828110156104ee5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6104fb853385840361075c565b506001949350505050565b3360008181526001602090815260408083206001600160a01b0387168452909152812054909161044d91859061053d908690610cc7565b61075c565b6005546001600160a01b0316331461056c5760405162461bcd60e51b81526004016104e590610ce8565b6105766000610985565b565b6005546001600160a01b031633146105a25760405162461bcd60e51b81526004016104e590610ce8565b6005805460ff60a01b1916600160a01b179055565b6060600480546103bd90610c8d565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156106485760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016104e5565b610655338585840361075c565b5060019392505050565b600061044d338484610880565b6005546001600160a01b031633146106965760405162461bcd60e51b81526004016104e590610ce8565b6001600160a01b03919091166000908152600660205260409020805460ff1916911515919091179055565b6005546001600160a01b031633146106eb5760405162461bcd60e51b81526004016104e590610ce8565b6001600160a01b0381166107505760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104e5565b61075981610985565b50565b6001600160a01b0383166107be5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104e5565b6001600160a01b03821661081f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104e5565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108a65760405162461bcd60e51b81526004016104e590610d1d565b6001600160a01b0382166108cc5760405162461bcd60e51b81526004016104e590610d62565b806000036108e5576108e0838360006109d7565b505050565b600554600160a01b900460ff1661097a576001600160a01b03831660009081526006602052604090205460ff168061093557506001600160a01b03821660009081526006602052604090205460ff165b61097a5760405162461bcd60e51b81526020600482015260166024820152752a3930b234b7339034b9903737ba1030b1ba34bb329760511b60448201526064016104e5565b6108e08383836109d7565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b6001600160a01b0383166109fd5760405162461bcd60e51b81526004016104e590610d1d565b6001600160a01b038216610a235760405162461bcd60e51b81526004016104e590610d62565b6001600160a01b03831660009081526020819052604090205481811015610a9b5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016104e5565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290610ad2908490610cc7565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b1e91815260200190565b60405180910390a350505050565b600060208083528351808285015260005b81811015610b5957858101830151858201604001528201610b3d565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610b9157600080fd5b919050565b60008060408385031215610ba957600080fd5b610bb283610b7a565b946020939093013593505050565b600080600060608486031215610bd557600080fd5b610bde84610b7a565b9250610bec60208501610b7a565b9150604084013590509250925092565b600060208284031215610c0e57600080fd5b610c1782610b7a565b9392505050565b60008060408385031215610c3157600080fd5b610c3a83610b7a565b915060208301358015158114610c4f57600080fd5b809150509250929050565b60008060408385031215610c6d57600080fd5b610c7683610b7a565b9150610c8460208401610b7a565b90509250929050565b600181811c90821680610ca157607f821691505b602082108103610cc157634e487b7160e01b600052602260045260246000fd5b50919050565b8082018082111561045157634e487b7160e01b600052601160045260246000fd5b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60208082526025908201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604082015264647265737360d81b606082015260800190565b60208082526023908201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260408201526265737360e81b60608201526080019056fea2646970667358221220adb34bbcb7bad50688aecdcab60794940b743b1483e46adb74ec0956a61e152e64736f6c63430008130033

0x60806040526004361061010d5760003560e01c80638da5cb5b11610095578063bbc0c74211610064578063bbc0c742146102ce578063c6c6b271146102ef578063dd62ed3e1461030f578063f2fde38b14610355578063f65d13271461037557600080fd5b80638da5cb5b1461025157806395d89b4114610279578063a457c2d71461028e578063a9059cbb146102ae57600080fd5b8063313ce567116100dc578063313ce567146101b357806339509351146101cf57806370a08231146101ef578063715018a6146102255780638a8c523c1461023c57600080fd5b806306fdde0314610119578063095ea7b31461014457806318160ddd1461017457806323b872dd1461019357600080fd5b3661011457005b600080fd5b34801561012557600080fd5b5061012e6103ae565b60405161013b9190610b2c565b60405180910390f35b34801561015057600080fd5b5061016461015f366004610b96565b610440565b604051901515815260200161013b565b34801561018057600080fd5b506002545b60405190815260200161013b565b34801561019f57600080fd5b506101646101ae366004610bc0565b610457565b3480156101bf57600080fd5b506040516012815260200161013b565b3480156101db57600080fd5b506101646101ea366004610b96565b610506565b3480156101fb57600080fd5b5061018561020a366004610bfc565b6001600160a01b031660009081526020819052604090205490565b34801561023157600080fd5b5061023a610542565b005b34801561024857600080fd5b5061023a610578565b34801561025d57600080fd5b506005546040516001600160a01b03909116815260200161013b565b34801561028557600080fd5b5061012e6105b7565b34801561029a57600080fd5b506101646102a9366004610b96565b6105c6565b3480156102ba57600080fd5b506101646102c9366004610b96565b61065f565b3480156102da57600080fd5b5060055461016490600160a01b900460ff1681565b3480156102fb57600080fd5b5061023a61030a366004610c1e565b61066c565b34801561031b57600080fd5b5061018561032a366004610c5a565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b34801561036157600080fd5b5061023a610370366004610bfc565b6106c1565b34801561038157600080fd5b50610164610390366004610bfc565b6001600160a01b031660009081526006602052604090205460ff1690565b6060600380546103bd90610c8d565b80601f01602080910402602001604051908101604052809291908181526020018280546103e990610c8d565b80156104365780601f1061040b57610100808354040283529160200191610436565b820191906000526020600020905b81548152906001019060200180831161041957829003601f168201915b5050505050905090565b600061044d33848461075c565b5060015b92915050565b6000610464848484610880565b6001600160a01b0384166000908152600160209081526040808320338452909152902054828110156104ee5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6104fb853385840361075c565b506001949350505050565b3360008181526001602090815260408083206001600160a01b0387168452909152812054909161044d91859061053d908690610cc7565b61075c565b6005546001600160a01b0316331461056c5760405162461bcd60e51b81526004016104e590610ce8565b6105766000610985565b565b6005546001600160a01b031633146105a25760405162461bcd60e51b81526004016104e590610ce8565b6005805460ff60a01b1916600160a01b179055565b6060600480546103bd90610c8d565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156106485760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016104e5565b610655338585840361075c565b5060019392505050565b600061044d338484610880565b6005546001600160a01b031633146106965760405162461bcd60e51b81526004016104e590610ce8565b6001600160a01b03919091166000908152600660205260409020805460ff1916911515919091179055565b6005546001600160a01b031633146106eb5760405162461bcd60e51b81526004016104e590610ce8565b6001600160a01b0381166107505760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104e5565b61075981610985565b50565b6001600160a01b0383166107be5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104e5565b6001600160a01b03821661081f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104e5565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108a65760405162461bcd60e51b81526004016104e590610d1d565b6001600160a01b0382166108cc5760405162461bcd60e51b81526004016104e590610d62565b806000036108e5576108e0838360006109d7565b505050565b600554600160a01b900460ff1661097a576001600160a01b03831660009081526006602052604090205460ff168061093557506001600160a01b03821660009081526006602052604090205460ff165b61097a5760405162461bcd60e51b81526020600482015260166024820152752a3930b234b7339034b9903737ba1030b1ba34bb329760511b60448201526064016104e5565b6108e08383836109d7565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b6001600160a01b0383166109fd5760405162461bcd60e51b81526004016104e590610d1d565b6001600160a01b038216610a235760405162461bcd60e51b81526004016104e590610d62565b6001600160a01b03831660009081526020819052604090205481811015610a9b5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016104e5565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290610ad2908490610cc7565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b1e91815260200190565b60405180910390a350505050565b600060208083528351808285015260005b81811015610b5957858101830151858201604001528201610b3d565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610b9157600080fd5b919050565b60008060408385031215610ba957600080fd5b610bb283610b7a565b946020939093013593505050565b600080600060608486031215610bd557600080fd5b610bde84610b7a565b9250610bec60208501610b7a565b9150604084013590509250925092565b600060208284031215610c0e57600080fd5b610c1782610b7a565b9392505050565b60008060408385031215610c3157600080fd5b610c3a83610b7a565b915060208301358015158114610c4f57600080fd5b809150509250929050565b60008060408385031215610c6d57600080fd5b610c7683610b7a565b9150610c8460208401610b7a565b90509250929050565b600181811c90821680610ca157607f821691505b602082108103610cc157634e487b7160e01b600052602260045260246000fd5b50919050565b8082018082111561045157634e487b7160e01b600052601160045260246000fd5b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60208082526025908201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604082015264647265737360d81b606082015260800190565b60208082526023908201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260408201526265737360e81b60608201526080019056fea2646970667358221220adb34bbcb7bad50688aecdcab60794940b743b1483e46adb74ec0956a61e152e64736f6c63430008130033

16485:1790:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4280:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6513:194;;;;;;;;;;-1:-1:-1;6513:194:0;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;6513:194:0;1004:187:1;5400:108:0;;;;;;;;;;-1:-1:-1;5488:12:0;;5400:108;;;1342:25:1;;;1330:2;1315:18;5400:108:0;1196:177:1;7189:529:0;;;;;;;;;;-1:-1:-1;7189:529:0;;;;;:::i;:::-;;:::i;5242:93::-;;;;;;;;;;-1:-1:-1;5242:93:0;;5325:2;1853:36:1;;1841:2;1826:18;5242:93:0;1711:184:1;8127:290:0;;;;;;;;;;-1:-1:-1;8127:290:0;;;;;:::i;:::-;;:::i;5571:143::-;;;;;;;;;;-1:-1:-1;5571:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;5688:18:0;5661:7;5688:18;;;;;;;;;;;;5571:143;15631:103;;;;;;;;;;;;;:::i;:::-;;17076:83;;;;;;;;;;;;;:::i;14980:87::-;;;;;;;;;;-1:-1:-1;15053:6:0;;14980:87;;-1:-1:-1;;;;;15053:6:0;;;2237:51:1;;2225:2;2210:18;14980:87:0;2091:203:1;4499:104:0;;;;;;;;;;;;;:::i;8920:475::-;;;;;;;;;;-1:-1:-1;8920:475:0;;;;;:::i;:::-;;:::i;5927:200::-;;;;;;;;;;-1:-1:-1;5927:200:0;;;;;:::i;:::-;;:::i;16526:33::-;;;;;;;;;;-1:-1:-1;16526:33:0;;;;-1:-1:-1;;;16526:33:0;;;;;;17346:161;;;;;;;;;;-1:-1:-1;17346:161:0;;;;;:::i;:::-;;:::i;6190:176::-;;;;;;;;;;-1:-1:-1;6190:176:0;;;;;:::i;:::-;-1:-1:-1;;;;;6331:18:0;;;6304:7;6331:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6190:176;15889:238;;;;;;;;;;-1:-1:-1;15889:238:0;;;;;:::i;:::-;;:::i;17515:128::-;;;;;;;;;;-1:-1:-1;17515:128:0;;;;;:::i;:::-;-1:-1:-1;;;;;17607:28:0;17583:4;17607:28;;;:19;:28;;;;;;;;;17515:128;4280:100;4334:13;4367:5;4360:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4280:100;:::o;6513:194::-;6621:4;6638:39;3366:10;6661:7;6670:6;6638:8;:39::i;:::-;-1:-1:-1;6695:4:0;6513:194;;;;;:::o;7189:529::-;7329:4;7346:36;7356:6;7364:9;7375:6;7346:9;:36::i;:::-;-1:-1:-1;;;;;7422:19:0;;7395:24;7422:19;;;:11;:19;;;;;;;;3366:10;7422:33;;;;;;;;7488:26;;;;7466:116;;;;-1:-1:-1;;;7466:116:0;;3503:2:1;7466:116:0;;;3485:21:1;3542:2;3522:18;;;3515:30;3581:34;3561:18;;;3554:62;-1:-1:-1;;;3632:18:1;;;3625:38;3680:19;;7466:116:0;;;;;;;;;7618:57;7627:6;3366:10;7668:6;7649:16;:25;7618:8;:57::i;:::-;-1:-1:-1;7706:4:0;;7189:529;-1:-1:-1;;;;7189:529:0:o;8127:290::-;3366:10;8240:4;8329:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;8329:34:0;;;;;;;;;;8240:4;;8257:130;;8307:7;;8329:47;;8366:10;;8329:47;:::i;:::-;8257:8;:130::i;15631:103::-;15053:6;;-1:-1:-1;;;;;15053:6:0;3366:10;15200:23;15192:68;;;;-1:-1:-1;;;15192:68:0;;;;;;;:::i;:::-;15696:30:::1;15723:1;15696:18;:30::i;:::-;15631:103::o:0;17076:83::-;15053:6;;-1:-1:-1;;;;;15053:6:0;3366:10;15200:23;15192:68;;;;-1:-1:-1;;;15192:68:0;;;;;;;:::i;:::-;17131:13:::1;:20:::0;;-1:-1:-1;;;;17131:20:0::1;-1:-1:-1::0;;;17131:20:0::1;::::0;;17076:83::o;4499:104::-;4555:13;4588:7;4581:14;;;;;:::i;8920:475::-;3366:10;9038:4;9082:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;9082:34:0;;;;;;;;;;9149:35;;;;9127:122;;;;-1:-1:-1;;;9127:122:0;;4500:2:1;9127:122:0;;;4482:21:1;4539:2;4519:18;;;4512:30;4578:34;4558:18;;;4551:62;-1:-1:-1;;;4629:18:1;;;4622:35;4674:19;;9127:122:0;4298:401:1;9127:122:0;9285:67;3366:10;9308:7;9336:15;9317:16;:34;9285:8;:67::i;:::-;-1:-1:-1;9383:4:0;;8920:475;-1:-1:-1;;;8920:475:0:o;5927:200::-;6038:4;6055:42;3366:10;6079:9;6090:6;6055:9;:42::i;17346:161::-;15053:6;;-1:-1:-1;;;;;15053:6:0;3366:10;15200:23;15192:68;;;;-1:-1:-1;;;15192:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;17460:28:0;;;::::1;;::::0;;;:19:::1;:28;::::0;;;;:39;;-1:-1:-1;;17460:39:0::1;::::0;::::1;;::::0;;;::::1;::::0;;17346:161::o;15889:238::-;15053:6;;-1:-1:-1;;;;;15053:6:0;3366:10;15200:23;15192:68;;;;-1:-1:-1;;;15192:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;15992:22:0;::::1;15970:110;;;::::0;-1:-1:-1;;;15970:110:0;;4906:2:1;15970:110:0::1;::::0;::::1;4888:21:1::0;4945:2;4925:18;;;4918:30;4984:34;4964:18;;;4957:62;-1:-1:-1;;;5035:18:1;;;5028:36;5081:19;;15970:110:0::1;4704:402:1::0;15970:110:0::1;16091:28;16110:8;16091:18;:28::i;:::-;15889:238:::0;:::o;12703:380::-;-1:-1:-1;;;;;12839:19:0;;12831:68;;;;-1:-1:-1;;;12831:68:0;;5313:2:1;12831:68:0;;;5295:21:1;5352:2;5332:18;;;5325:30;5391:34;5371:18;;;5364:62;-1:-1:-1;;;5442:18:1;;;5435:34;5486:19;;12831:68:0;5111:400:1;12831:68:0;-1:-1:-1;;;;;12918:21:0;;12910:68;;;;-1:-1:-1;;;12910:68:0;;5718:2:1;12910:68:0;;;5700:21:1;5757:2;5737:18;;;5730:30;5796:34;5776:18;;;5769:62;-1:-1:-1;;;5847:18:1;;;5840:32;5889:19;;12910:68:0;5516:398:1;12910:68:0;-1:-1:-1;;;;;12991:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;13043:32;;1342:25:1;;;13043:32:0;;1315:18:1;13043:32:0;;;;;;;12703:380;;;:::o;17651:621::-;-1:-1:-1;;;;;17783:18:0;;17775:68;;;;-1:-1:-1;;;17775:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;17862:16:0;;17854:64;;;;-1:-1:-1;;;17854:64:0;;;;;;;:::i;:::-;17935:6;17945:1;17935:11;17931:93;;17963:28;17979:4;17985:2;17989:1;17963:15;:28::i;:::-;17651:621;;;:::o;17931:93::-;18041:13;;-1:-1:-1;;;18041:13:0;;;;18036:183;;-1:-1:-1;;;;;18097:25:0;;;;;;:19;:25;;;;;;;;;:52;;-1:-1:-1;;;;;;18126:23:0;;;;;;:19;:23;;;;;;;;18097:52;18071:136;;;;-1:-1:-1;;;18071:136:0;;6931:2:1;18071:136:0;;;6913:21:1;6970:2;6950:18;;;6943:30;-1:-1:-1;;;6989:18:1;;;6982:52;7051:18;;18071:136:0;6729:346:1;18071:136:0;18231:33;18247:4;18253:2;18257:6;18231:15;:33::i;16287:191::-;16380:6;;;-1:-1:-1;;;;;16397:17:0;;;-1:-1:-1;;;;;;16397:17:0;;;;;;;16430:40;;16380:6;;;16397:17;16380:6;;16430:40;;16361:16;;16430:40;16350:128;16287:191;:::o;9885:770::-;-1:-1:-1;;;;;10025:20:0;;10017:70;;;;-1:-1:-1;;;10017:70:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;10106:23:0;;10098:71;;;;-1:-1:-1;;;10098:71:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;10266:17:0;;10242:21;10266:17;;;;;;;;;;;10316:23;;;;10294:111;;;;-1:-1:-1;;;10294:111:0;;7282:2:1;10294:111:0;;;7264:21:1;7321:2;7301:18;;;7294:30;7360:34;7340:18;;;7333:62;-1:-1:-1;;;7411:18:1;;;7404:36;7457:19;;10294:111:0;7080:402:1;10294:111:0;-1:-1:-1;;;;;10441:17:0;;;:9;:17;;;;;;;;;;;10461:22;;;10441:42;;10505:20;;;;;;;;:30;;10477:6;;10441:9;10505:30;;10477:6;;10505:30;:::i;:::-;;;;;;;;10570:9;-1:-1:-1;;;;;10553:35:0;10562:6;-1:-1:-1;;;;;10553:35:0;;10581:6;10553:35;;;;1342:25:1;;1330:2;1315:18;;1196:177;10553:35:0;;;;;;;;10006:649;9885:770;;;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:1;;674:42;;664:70;;730:1;727;720:12;664:70;567:173;;;:::o;745:254::-;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745: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;2299:347::-;2364:6;2372;2425:2;2413:9;2404:7;2400:23;2396:32;2393:52;;;2441:1;2438;2431:12;2393:52;2464:29;2483:9;2464:29;:::i;:::-;2454:39;;2543:2;2532:9;2528:18;2515:32;2590:5;2583:13;2576:21;2569:5;2566:32;2556:60;;2612:1;2609;2602:12;2556:60;2635:5;2625:15;;;2299:347;;;;;:::o;2651:260::-;2719:6;2727;2780:2;2768:9;2759:7;2755:23;2751:32;2748:52;;;2796:1;2793;2786:12;2748:52;2819:29;2838:9;2819:29;:::i;:::-;2809:39;;2867:38;2901:2;2890:9;2886:18;2867:38;:::i;:::-;2857:48;;2651:260;;;;;:::o;2916:380::-;2995:1;2991:12;;;;3038;;;3059:61;;3113:4;3105:6;3101:17;3091:27;;3059:61;3166:2;3158:6;3155:14;3135:18;3132:38;3129:161;;3212:10;3207:3;3203:20;3200:1;3193:31;3247:4;3244:1;3237:15;3275:4;3272:1;3265:15;3129:161;;2916:380;;;:::o;3710:222::-;3775:9;;;3796:10;;;3793:133;;;3848:10;3843:3;3839:20;3836:1;3829:31;3883:4;3880:1;3873:15;3911:4;3908:1;3901:15;3937:356;4139:2;4121:21;;;4158:18;;;4151:30;4217:34;4212:2;4197:18;;4190:62;4284:2;4269:18;;3937:356::o;5919:401::-;6121:2;6103:21;;;6160:2;6140:18;;;6133:30;6199:34;6194:2;6179:18;;6172:62;-1:-1:-1;;;6265:2:1;6250:18;;6243:35;6310:3;6295:19;;5919:401::o;6325:399::-;6527:2;6509:21;;;6566:2;6546:18;;;6539:30;6605:34;6600:2;6585:18;;6578:62;-1:-1:-1;;;6671:2:1;6656:18;;6649:33;6714:3;6699:19;;6325:399::o

ipfs://adb34bbcb7bad50688aecdcab60794940b743b1483e46adb74ec0956a61e152e