Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
•    - function _msgData()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•  contract MARVIN is ERC20 *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
// File: @openzeppelin/contracts/utils/Context.sol
// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

/* 
    Bought a hand knit wool Marvin the Martian helm for my dog - Elon Musk
    https://twitter.com/elonmusk/status/1354029548334178304


    https://marvinthemartian.vip/
    https://t.me/marvinportal
    https://twitter.com/marvinerc20
*/

pragma solidity ^0.8.20;

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

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


// File @openzeppelin/contracts/token/ERC20/[email protected]


// OpenZeppelin Contracts v4.4.0 (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
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);
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]


// OpenZeppelin Contracts v4.4.0 (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.20;

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

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

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


// File @openzeppelin/contracts/token/ERC20/[email protected]


// OpenZeppelin Contracts v4.4.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}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * 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 {}
}

pragma solidity ^0.8.20;

contract MARVIN is ERC20 { 
    constructor() ERC20("Marvin the Martian", "MARVIN") {
        _mint(msg.sender, 420690000 * 10 ** decimals());
    }
}

• 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":"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":[],"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":[{"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":"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"}]

608060405234801562000010575f80fd5b506040518060400160405280601281526020017f4d617276696e20746865204d61727469616e00000000000000000000000000008152506040518060400160405280600681526020017f4d415256494e000000000000000000000000000000000000000000000000000081525081600390816200008e9190620004cf565b508060049081620000a09190620004cf565b505050620000e333620000b8620000e960201b60201c565b600a620000c691906200073c565b6319133850620000d791906200078c565b620000f160201b60201c565b620008ba565b5f6012905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000162576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620001599062000834565b60405180910390fd5b620001755f83836200026160201b60201c565b8060025f82825462000188919062000854565b92505081905550805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254620001dc919062000854565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200024291906200089f565b60405180910390a36200025d5f83836200026660201b60201c565b5050565b505050565b505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620002e757607f821691505b602082108103620002fd57620002fc620002a2565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003617fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000324565b6200036d868362000324565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620003b7620003b1620003ab8462000385565b6200038e565b62000385565b9050919050565b5f819050919050565b620003d28362000397565b620003ea620003e182620003be565b84845462000330565b825550505050565b5f90565b62000400620003f2565b6200040d818484620003c7565b505050565b5b818110156200043457620004285f82620003f6565b60018101905062000413565b5050565b601f82111562000483576200044d8162000303565b620004588462000315565b8101602085101562000468578190505b62000480620004778562000315565b83018262000412565b50505b505050565b5f82821c905092915050565b5f620004a55f198460080262000488565b1980831691505092915050565b5f620004bf838362000494565b9150826002028217905092915050565b620004da826200026b565b67ffffffffffffffff811115620004f657620004f562000275565b5b620005028254620002cf565b6200050f82828562000438565b5f60209050601f83116001811462000545575f841562000530578287015190505b6200053c8582620004b2565b865550620005ab565b601f198416620005558662000303565b5f5b828110156200057e5784890151825560018201915060208501945060208101905062000557565b868310156200059e57848901516200059a601f89168262000494565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156200063d57808604811115620006155762000614620005b3565b5b6001851615620006255780820291505b80810290506200063585620005e0565b9450620005f5565b94509492505050565b5f8262000657576001905062000729565b8162000666575f905062000729565b81600181146200067f57600281146200068a57620006c0565b600191505062000729565b60ff8411156200069f576200069e620005b3565b5b8360020a915084821115620006b957620006b8620005b3565b5b5062000729565b5060208310610133831016604e8410600b8410161715620006fa5782820a905083811115620006f457620006f3620005b3565b5b62000729565b620007098484846001620005ec565b92509050818404811115620007235762000722620005b3565b5b81810290505b9392505050565b5f60ff82169050919050565b5f620007488262000385565b9150620007558362000730565b9250620007847fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000646565b905092915050565b5f620007988262000385565b9150620007a58362000385565b9250828202620007b58162000385565b91508282048414831517620007cf57620007ce620005b3565b5b5092915050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f6200081c601f83620007d6565b91506200082982620007e6565b602082019050919050565b5f6020820190508181035f8301526200084d816200080e565b9050919050565b5f620008608262000385565b91506200086d8362000385565b9250828201905080821115620008885762000887620005b3565b5b92915050565b620008998162000385565b82525050565b5f602082019050620008b45f8301846200088e565b92915050565b61130380620008c85f395ff3fe608060405234801561000f575f80fd5b50600436106100a7575f3560e01c8063395093511161006f578063395093511461016557806370a082311461019557806395d89b41146101c5578063a457c2d7146101e3578063a9059cbb14610213578063dd62ed3e14610243576100a7565b806306fdde03146100ab578063095ea7b3146100c957806318160ddd146100f957806323b872dd14610117578063313ce56714610147575b5f80fd5b6100b3610273565b6040516100c09190610bf7565b60405180910390f35b6100e360048036038101906100de9190610ca8565b610303565b6040516100f09190610d00565b60405180910390f35b610101610320565b60405161010e9190610d28565b60405180910390f35b610131600480360381019061012c9190610d41565b610329565b60405161013e9190610d00565b60405180910390f35b61014f61041b565b60405161015c9190610dac565b60405180910390f35b61017f600480360381019061017a9190610ca8565b610423565b60405161018c9190610d00565b60405180910390f35b6101af60048036038101906101aa9190610dc5565b6104ca565b6040516101bc9190610d28565b60405180910390f35b6101cd61050f565b6040516101da9190610bf7565b60405180910390f35b6101fd60048036038101906101f89190610ca8565b61059f565b60405161020a9190610d00565b60405180910390f35b61022d60048036038101906102289190610ca8565b610685565b60405161023a9190610d00565b60405180910390f35b61025d60048036038101906102589190610df0565b6106a2565b60405161026a9190610d28565b60405180910390f35b60606003805461028290610e5b565b80601f01602080910402602001604051908101604052809291908181526020018280546102ae90610e5b565b80156102f95780601f106102d0576101008083540402835291602001916102f9565b820191905f5260205f20905b8154815290600101906020018083116102dc57829003601f168201915b5050505050905090565b5f61031661030f610724565b848461072b565b6001905092915050565b5f600254905090565b5f6103358484846108ee565b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f61037c610724565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156103fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103f290610efb565b60405180910390fd5b61040f85610407610724565b85840361072b565b60019150509392505050565b5f6012905090565b5f6104c061042f610724565b848460015f61043c610724565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546104bb9190610f46565b61072b565b6001905092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606004805461051e90610e5b565b80601f016020809104026020016040519081016040528092919081815260200182805461054a90610e5b565b80156105955780601f1061056c57610100808354040283529160200191610595565b820191905f5260205f20905b81548152906001019060200180831161057857829003601f168201915b5050505050905090565b5f8060015f6105ac610724565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610666576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065d90610fe9565b60405180910390fd5b61067a610671610724565b8585840361072b565b600191505092915050565b5f610698610691610724565b84846108ee565b6001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610799576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079090611077565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610807576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107fe90611105565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108e19190610d28565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361095c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161095390611193565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109ca576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c190611221565b60405180910390fd5b6109d5838383610b63565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610a58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a4f906112af565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610ae69190610f46565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b4a9190610d28565b60405180910390a3610b5d848484610b68565b50505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610ba4578082015181840152602081019050610b89565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610bc982610b6d565b610bd38185610b77565b9350610be3818560208601610b87565b610bec81610baf565b840191505092915050565b5f6020820190508181035f830152610c0f8184610bbf565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610c4482610c1b565b9050919050565b610c5481610c3a565b8114610c5e575f80fd5b50565b5f81359050610c6f81610c4b565b92915050565b5f819050919050565b610c8781610c75565b8114610c91575f80fd5b50565b5f81359050610ca281610c7e565b92915050565b5f8060408385031215610cbe57610cbd610c17565b5b5f610ccb85828601610c61565b9250506020610cdc85828601610c94565b9150509250929050565b5f8115159050919050565b610cfa81610ce6565b82525050565b5f602082019050610d135f830184610cf1565b92915050565b610d2281610c75565b82525050565b5f602082019050610d3b5f830184610d19565b92915050565b5f805f60608486031215610d5857610d57610c17565b5b5f610d6586828701610c61565b9350506020610d7686828701610c61565b9250506040610d8786828701610c94565b9150509250925092565b5f60ff82169050919050565b610da681610d91565b82525050565b5f602082019050610dbf5f830184610d9d565b92915050565b5f60208284031215610dda57610dd9610c17565b5b5f610de784828501610c61565b91505092915050565b5f8060408385031215610e0657610e05610c17565b5b5f610e1385828601610c61565b9250506020610e2485828601610c61565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610e7257607f821691505b602082108103610e8557610e84610e2e565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f610ee5602883610b77565b9150610ef082610e8b565b604082019050919050565b5f6020820190508181035f830152610f1281610ed9565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610f5082610c75565b9150610f5b83610c75565b9250828201905080821115610f7357610f72610f19565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f610fd3602583610b77565b9150610fde82610f79565b604082019050919050565b5f6020820190508181035f83015261100081610fc7565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611061602483610b77565b915061106c82611007565b604082019050919050565b5f6020820190508181035f83015261108e81611055565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6110ef602283610b77565b91506110fa82611095565b604082019050919050565b5f6020820190508181035f83015261111c816110e3565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61117d602583610b77565b915061118882611123565b604082019050919050565b5f6020820190508181035f8301526111aa81611171565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f61120b602383610b77565b9150611216826111b1565b604082019050919050565b5f6020820190508181035f830152611238816111ff565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611299602683610b77565b91506112a48261123f565b604082019050919050565b5f6020820190508181035f8301526112c68161128d565b905091905056fea2646970667358221220750e1ec026e28cb2a38058138c856a149b9a90cebeb8ccd05080d974092cd48564736f6c63430008140033

0x608060405234801561000f575f80fd5b50600436106100a7575f3560e01c8063395093511161006f578063395093511461016557806370a082311461019557806395d89b41146101c5578063a457c2d7146101e3578063a9059cbb14610213578063dd62ed3e14610243576100a7565b806306fdde03146100ab578063095ea7b3146100c957806318160ddd146100f957806323b872dd14610117578063313ce56714610147575b5f80fd5b6100b3610273565b6040516100c09190610bf7565b60405180910390f35b6100e360048036038101906100de9190610ca8565b610303565b6040516100f09190610d00565b60405180910390f35b610101610320565b60405161010e9190610d28565b60405180910390f35b610131600480360381019061012c9190610d41565b610329565b60405161013e9190610d00565b60405180910390f35b61014f61041b565b60405161015c9190610dac565b60405180910390f35b61017f600480360381019061017a9190610ca8565b610423565b60405161018c9190610d00565b60405180910390f35b6101af60048036038101906101aa9190610dc5565b6104ca565b6040516101bc9190610d28565b60405180910390f35b6101cd61050f565b6040516101da9190610bf7565b60405180910390f35b6101fd60048036038101906101f89190610ca8565b61059f565b60405161020a9190610d00565b60405180910390f35b61022d60048036038101906102289190610ca8565b610685565b60405161023a9190610d00565b60405180910390f35b61025d60048036038101906102589190610df0565b6106a2565b60405161026a9190610d28565b60405180910390f35b60606003805461028290610e5b565b80601f01602080910402602001604051908101604052809291908181526020018280546102ae90610e5b565b80156102f95780601f106102d0576101008083540402835291602001916102f9565b820191905f5260205f20905b8154815290600101906020018083116102dc57829003601f168201915b5050505050905090565b5f61031661030f610724565b848461072b565b6001905092915050565b5f600254905090565b5f6103358484846108ee565b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f61037c610724565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156103fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103f290610efb565b60405180910390fd5b61040f85610407610724565b85840361072b565b60019150509392505050565b5f6012905090565b5f6104c061042f610724565b848460015f61043c610724565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546104bb9190610f46565b61072b565b6001905092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606004805461051e90610e5b565b80601f016020809104026020016040519081016040528092919081815260200182805461054a90610e5b565b80156105955780601f1061056c57610100808354040283529160200191610595565b820191905f5260205f20905b81548152906001019060200180831161057857829003601f168201915b5050505050905090565b5f8060015f6105ac610724565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610666576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065d90610fe9565b60405180910390fd5b61067a610671610724565b8585840361072b565b600191505092915050565b5f610698610691610724565b84846108ee565b6001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610799576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079090611077565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610807576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107fe90611105565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108e19190610d28565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361095c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161095390611193565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109ca576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c190611221565b60405180910390fd5b6109d5838383610b63565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610a58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a4f906112af565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610ae69190610f46565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b4a9190610d28565b60405180910390a3610b5d848484610b68565b50505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610ba4578082015181840152602081019050610b89565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610bc982610b6d565b610bd38185610b77565b9350610be3818560208601610b87565b610bec81610baf565b840191505092915050565b5f6020820190508181035f830152610c0f8184610bbf565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610c4482610c1b565b9050919050565b610c5481610c3a565b8114610c5e575f80fd5b50565b5f81359050610c6f81610c4b565b92915050565b5f819050919050565b610c8781610c75565b8114610c91575f80fd5b50565b5f81359050610ca281610c7e565b92915050565b5f8060408385031215610cbe57610cbd610c17565b5b5f610ccb85828601610c61565b9250506020610cdc85828601610c94565b9150509250929050565b5f8115159050919050565b610cfa81610ce6565b82525050565b5f602082019050610d135f830184610cf1565b92915050565b610d2281610c75565b82525050565b5f602082019050610d3b5f830184610d19565b92915050565b5f805f60608486031215610d5857610d57610c17565b5b5f610d6586828701610c61565b9350506020610d7686828701610c61565b9250506040610d8786828701610c94565b9150509250925092565b5f60ff82169050919050565b610da681610d91565b82525050565b5f602082019050610dbf5f830184610d9d565b92915050565b5f60208284031215610dda57610dd9610c17565b5b5f610de784828501610c61565b91505092915050565b5f8060408385031215610e0657610e05610c17565b5b5f610e1385828601610c61565b9250506020610e2485828601610c61565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610e7257607f821691505b602082108103610e8557610e84610e2e565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f610ee5602883610b77565b9150610ef082610e8b565b604082019050919050565b5f6020820190508181035f830152610f1281610ed9565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610f5082610c75565b9150610f5b83610c75565b9250828201905080821115610f7357610f72610f19565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f610fd3602583610b77565b9150610fde82610f79565b604082019050919050565b5f6020820190508181035f83015261100081610fc7565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611061602483610b77565b915061106c82611007565b604082019050919050565b5f6020820190508181035f83015261108e81611055565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6110ef602283610b77565b91506110fa82611095565b604082019050919050565b5f6020820190508181035f83015261111c816110e3565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61117d602583610b77565b915061118882611123565b604082019050919050565b5f6020820190508181035f8301526111aa81611171565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f61120b602383610b77565b9150611216826111b1565b604082019050919050565b5f6020820190508181035f830152611238816111ff565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611299602683610b77565b91506112a48261123f565b604082019050919050565b5f6020820190508181035f8301526112c68161128d565b905091905056fea2646970667358221220750e1ec026e28cb2a38058138c856a149b9a90cebeb8ccd05080d974092cd48564736f6c63430008140033

16952:154:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6963:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9130:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8083:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9781:492;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7925:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10682:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8254:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7182:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11400:413;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8594:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8832:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6963:100;7017:13;7050:5;7043:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6963:100;:::o;9130:169::-;9213:4;9230:39;9239:12;:10;:12::i;:::-;9253:7;9262:6;9230:8;:39::i;:::-;9287:4;9280:11;;9130:169;;;;:::o;8083:108::-;8144:7;8171:12;;8164:19;;8083:108;:::o;9781:492::-;9921:4;9938:36;9948:6;9956:9;9967:6;9938:9;:36::i;:::-;9987:24;10014:11;:19;10026:6;10014:19;;;;;;;;;;;;;;;:33;10034:12;:10;:12::i;:::-;10014:33;;;;;;;;;;;;;;;;9987:60;;10086:6;10066:16;:26;;10058:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;10173:57;10182:6;10190:12;:10;:12::i;:::-;10223:6;10204:16;:25;10173:8;:57::i;:::-;10261:4;10254:11;;;9781:492;;;;;:::o;7925:93::-;7983:5;8008:2;8001:9;;7925:93;:::o;10682:215::-;10770:4;10787:80;10796:12;:10;:12::i;:::-;10810:7;10856:10;10819:11;:25;10831:12;:10;:12::i;:::-;10819:25;;;;;;;;;;;;;;;:34;10845:7;10819:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;10787:8;:80::i;:::-;10885:4;10878:11;;10682:215;;;;:::o;8254:127::-;8328:7;8355:9;:18;8365:7;8355:18;;;;;;;;;;;;;;;;8348:25;;8254:127;;;:::o;7182:104::-;7238:13;7271:7;7264:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7182:104;:::o;11400:413::-;11493:4;11510:24;11537:11;:25;11549:12;:10;:12::i;:::-;11537:25;;;;;;;;;;;;;;;:34;11563:7;11537:34;;;;;;;;;;;;;;;;11510:61;;11610:15;11590:16;:35;;11582:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;11703:67;11712:12;:10;:12::i;:::-;11726:7;11754:15;11735:16;:34;11703:8;:67::i;:::-;11801:4;11794:11;;;11400:413;;;;:::o;8594:175::-;8680:4;8697:42;8707:12;:10;:12::i;:::-;8721:9;8732:6;8697:9;:42::i;:::-;8757:4;8750:11;;8594:175;;;;:::o;8832:151::-;8921:7;8948:11;:18;8960:5;8948:18;;;;;;;;;;;;;;;:27;8967:7;8948:27;;;;;;;;;;;;;;;;8941:34;;8832:151;;;;:::o;964:98::-;1017:7;1044:10;1037:17;;964:98;:::o;15084:380::-;15237:1;15220:19;;:5;:19;;;15212:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15318:1;15299:21;;:7;:21;;;15291:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15402:6;15372:11;:18;15384:5;15372:18;;;;;;;;;;;;;;;:27;15391:7;15372:27;;;;;;;;;;;;;;;:36;;;;15440:7;15424:32;;15433:5;15424:32;;;15449:6;15424:32;;;;;;:::i;:::-;;;;;;;;15084:380;;;:::o;12303:733::-;12461:1;12443:20;;:6;:20;;;12435:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;12545:1;12524:23;;:9;:23;;;12516:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;12600:47;12621:6;12629:9;12640:6;12600:20;:47::i;:::-;12660:21;12684:9;:17;12694:6;12684:17;;;;;;;;;;;;;;;;12660:41;;12737:6;12720:13;:23;;12712:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;12858:6;12842:13;:22;12822:9;:17;12832:6;12822:17;;;;;;;;;;;;;;;:42;;;;12910:6;12886:9;:20;12896:9;12886:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;12951:9;12934:35;;12943:6;12934:35;;;12962:6;12934:35;;;;;;:::i;:::-;;;;;;;;12982:46;13002:6;13010:9;13021:6;12982:19;:46::i;:::-;12424:612;12303:733;;;:::o;16064:125::-;;;;:::o;16793:124::-;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:474::-;5256:6;5264;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5566:2;5592:53;5637:7;5628:6;5617:9;5613:22;5592:53;:::i;:::-;5582:63;;5537:118;5188:474;;;;;:::o;5668:180::-;5716:77;5713:1;5706:88;5813:4;5810:1;5803:15;5837:4;5834:1;5827:15;5854:320;5898:6;5935:1;5929:4;5925:12;5915:22;;5982:1;5976:4;5972:12;6003:18;5993:81;;6059:4;6051:6;6047:17;6037:27;;5993:81;6121:2;6113:6;6110:14;6090:18;6087:38;6084:84;;6140:18;;:::i;:::-;6084:84;5905:269;5854:320;;;:::o;6180:227::-;6320:34;6316:1;6308:6;6304:14;6297:58;6389:10;6384:2;6376:6;6372:15;6365:35;6180:227;:::o;6413:366::-;6555:3;6576:67;6640:2;6635:3;6576:67;:::i;:::-;6569:74;;6652:93;6741:3;6652:93;:::i;:::-;6770:2;6765:3;6761:12;6754:19;;6413:366;;;:::o;6785:419::-;6951:4;6989:2;6978:9;6974:18;6966:26;;7038:9;7032:4;7028:20;7024:1;7013:9;7009:17;7002:47;7066:131;7192:4;7066:131;:::i;:::-;7058:139;;6785:419;;;:::o;7210:180::-;7258:77;7255:1;7248:88;7355:4;7352:1;7345:15;7379:4;7376:1;7369:15;7396:191;7436:3;7455:20;7473:1;7455:20;:::i;:::-;7450:25;;7489:20;7507:1;7489:20;:::i;:::-;7484:25;;7532:1;7529;7525:9;7518:16;;7553:3;7550:1;7547:10;7544:36;;;7560:18;;:::i;:::-;7544:36;7396:191;;;;:::o;7593:224::-;7733:34;7729:1;7721:6;7717:14;7710:58;7802:7;7797:2;7789:6;7785:15;7778:32;7593:224;:::o;7823:366::-;7965:3;7986:67;8050:2;8045:3;7986:67;:::i;:::-;7979:74;;8062:93;8151:3;8062:93;:::i;:::-;8180:2;8175:3;8171:12;8164:19;;7823:366;;;:::o;8195:419::-;8361:4;8399:2;8388:9;8384:18;8376:26;;8448:9;8442:4;8438:20;8434:1;8423:9;8419:17;8412:47;8476:131;8602:4;8476:131;:::i;:::-;8468:139;;8195:419;;;:::o;8620:223::-;8760:34;8756:1;8748:6;8744:14;8737:58;8829:6;8824:2;8816:6;8812:15;8805:31;8620:223;:::o;8849:366::-;8991:3;9012:67;9076:2;9071:3;9012:67;:::i;:::-;9005:74;;9088:93;9177:3;9088:93;:::i;:::-;9206:2;9201:3;9197:12;9190:19;;8849:366;;;:::o;9221:419::-;9387:4;9425:2;9414:9;9410:18;9402:26;;9474:9;9468:4;9464:20;9460:1;9449:9;9445:17;9438:47;9502:131;9628:4;9502:131;:::i;:::-;9494:139;;9221:419;;;:::o;9646:221::-;9786:34;9782:1;9774:6;9770:14;9763:58;9855:4;9850:2;9842:6;9838:15;9831:29;9646:221;:::o;9873:366::-;10015:3;10036:67;10100:2;10095:3;10036:67;:::i;:::-;10029:74;;10112:93;10201:3;10112:93;:::i;:::-;10230:2;10225:3;10221:12;10214:19;;9873:366;;;:::o;10245:419::-;10411:4;10449:2;10438:9;10434:18;10426:26;;10498:9;10492:4;10488:20;10484:1;10473:9;10469:17;10462:47;10526:131;10652:4;10526:131;:::i;:::-;10518:139;;10245:419;;;:::o;10670:224::-;10810:34;10806:1;10798:6;10794:14;10787:58;10879:7;10874:2;10866:6;10862:15;10855:32;10670:224;:::o;10900:366::-;11042:3;11063:67;11127:2;11122:3;11063:67;:::i;:::-;11056:74;;11139:93;11228:3;11139:93;:::i;:::-;11257:2;11252:3;11248:12;11241:19;;10900:366;;;:::o;11272:419::-;11438:4;11476:2;11465:9;11461:18;11453:26;;11525:9;11519:4;11515:20;11511:1;11500:9;11496:17;11489:47;11553:131;11679:4;11553:131;:::i;:::-;11545:139;;11272:419;;;:::o;11697:222::-;11837:34;11833:1;11825:6;11821:14;11814:58;11906:5;11901:2;11893:6;11889:15;11882:30;11697:222;:::o;11925:366::-;12067:3;12088:67;12152:2;12147:3;12088:67;:::i;:::-;12081:74;;12164:93;12253:3;12164:93;:::i;:::-;12282:2;12277:3;12273:12;12266:19;;11925:366;;;:::o;12297:419::-;12463:4;12501:2;12490:9;12486:18;12478:26;;12550:9;12544:4;12540:20;12536:1;12525:9;12521:17;12514:47;12578:131;12704:4;12578:131;:::i;:::-;12570:139;;12297:419;;;:::o;12722:225::-;12862:34;12858:1;12850:6;12846:14;12839:58;12931:8;12926:2;12918:6;12914:15;12907:33;12722:225;:::o;12953:366::-;13095:3;13116:67;13180:2;13175:3;13116:67;:::i;:::-;13109:74;;13192:93;13281:3;13192:93;:::i;:::-;13310:2;13305:3;13301:12;13294:19;;12953:366;;;:::o;13325:419::-;13491:4;13529:2;13518:9;13514:18;13506:26;;13578:9;13572:4;13568:20;13564:1;13553:9;13549:17;13542:47;13606:131;13732:4;13606:131;:::i;:::-;13598:139;;13325:419;;;:::o

ipfs://750e1ec026e28cb2a38058138c856a149b9a90cebeb8ccd05080d974092cd485