Token

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 to, uint256 ...    - function allowance(    - function approve(address spender, uin ...    - function transferFrom( interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(    - function transfer(    - function allowance(    - function approve(    - function transferFrom(    - function increaseAllowance(    - function decreaseAllowance(    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _spendAllowance(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract DetaFinance is ERC20, ERC ... *    - function _beforeTokenTransfer(    - function _transfer(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// ██████╗ ███████╗████████╗ █████╗
// ██╔══██╗██╔════╝╚══██╔══╝██╔══██╗
// ██║  ██║█████╗     ██║   ███████║
// ██║  ██║██╔══╝     ██║   ██╔══██║
// ██████╔╝███████╗   ██║   ██║  ██║
// ╚═════╝ ╚══════╝   ╚═╝   ╚═╝  ╚═╝

// Token: Deta Finance
// Website: https://deta.io
// Twitter: https://twitter.com/detafinance
// Telegram: https://t.me/detafinance

// SPDX-License-Identifier: MIT
pragma solidity 0.8.18;

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

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

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

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

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

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

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

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

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

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

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

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:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(
        address to,
        uint256 amount
    ) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, amount);
        return true;
    }

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

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

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

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

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

        return true;
    }

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

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(
            fromBalance >= amount,
            "ERC20: transfer amount exceeds balance"
        );
        unchecked {
            _balances[from] = fromBalance - amount;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _balances[to] += amount;
        }

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

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

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

        _totalSupply += amount;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _balances[account] += amount;
        }
        emit Transfer(address(0), account, amount);

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

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

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _totalSupply -= amount;
        }

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

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

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

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

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

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

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

abstract contract ERC20Burnable is Context, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

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

contract DetaFinance is ERC20, ERC20Burnable {
    constructor() ERC20("Deta Finance", "DETA") {
        _mint(msg.sender, 800_000_000 ether);
    }

    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal override(ERC20) {
        super._beforeTokenTransfer(from, to, amount);
    }

    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual override(ERC20) {
        super._transfer(sender, recipient, 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":"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":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"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":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280600c81526020017f446574612046696e616e636500000000000000000000000000000000000000008152506040518060400160405280600481526020017f444554410000000000000000000000000000000000000000000000000000000081525081600390816200008f9190620004d6565b508060049081620000a19190620004d6565b505050620000c2336b0295be96e640669720000000620000c860201b60201c565b620006d8565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036200013a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000131906200061e565b60405180910390fd5b6200014e600083836200023560201b60201c565b80600260008282546200016291906200066f565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002159190620006bb565b60405180910390a362000231600083836200025260201b60201c565b5050565b6200024d8383836200025760201b620006311760201c565b505050565b505050565b505050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620002de57607f821691505b602082108103620002f457620002f362000296565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200035e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200031f565b6200036a86836200031f565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620003b7620003b1620003ab8462000382565b6200038c565b62000382565b9050919050565b6000819050919050565b620003d38362000396565b620003eb620003e282620003be565b8484546200032c565b825550505050565b600090565b62000402620003f3565b6200040f818484620003c8565b505050565b5b8181101562000437576200042b600082620003f8565b60018101905062000415565b5050565b601f82111562000486576200045081620002fa565b6200045b846200030f565b810160208510156200046b578190505b620004836200047a856200030f565b83018262000414565b50505b505050565b600082821c905092915050565b6000620004ab600019846008026200048b565b1980831691505092915050565b6000620004c6838362000498565b9150826002028217905092915050565b620004e1826200025c565b67ffffffffffffffff811115620004fd57620004fc62000267565b5b620005098254620002c5565b620005168282856200043b565b600060209050601f8311600181146200054e576000841562000539578287015190505b620005458582620004b8565b865550620005b5565b601f1984166200055e86620002fa565b60005b82811015620005885784890151825560018201915060208501945060208101905062000561565b86831015620005a85784890151620005a4601f89168262000498565b8355505b6001600288020188555050505b505050505050565b600082825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b600062000606601f83620005bd565b91506200061382620005ce565b602082019050919050565b600060208201905081810360008301526200063981620005f7565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006200067c8262000382565b9150620006898362000382565b9250828201905080821115620006a457620006a362000640565b5b92915050565b620006b58162000382565b82525050565b6000602082019050620006d26000830184620006aa565b92915050565b6115ff80620006e86000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806342966c681161008c57806395d89b411161006657806395d89b4114610226578063a457c2d714610244578063a9059cbb14610274578063dd62ed3e146102a4576100cf565b806342966c68146101be57806370a08231146101da57806379cc67901461020a576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd14610140578063313ce56714610170578063395093511461018e575b600080fd5b6100dc6102d4565b6040516100e99190610d8b565b60405180910390f35b61010c60048036038101906101079190610e46565b610366565b6040516101199190610ea1565b60405180910390f35b61012a610389565b6040516101379190610ecb565b60405180910390f35b61015a60048036038101906101559190610ee6565b610393565b6040516101679190610ea1565b60405180910390f35b6101786103c2565b6040516101859190610f55565b60405180910390f35b6101a860048036038101906101a39190610e46565b6103cb565b6040516101b59190610ea1565b60405180910390f35b6101d860048036038101906101d39190610f70565b610402565b005b6101f460048036038101906101ef9190610f9d565b610416565b6040516102019190610ecb565b60405180910390f35b610224600480360381019061021f9190610e46565b61045e565b005b61022e61047e565b60405161023b9190610d8b565b60405180910390f35b61025e60048036038101906102599190610e46565b610510565b60405161026b9190610ea1565b60405180910390f35b61028e60048036038101906102899190610e46565b610587565b60405161029b9190610ea1565b60405180910390f35b6102be60048036038101906102b99190610fca565b6105aa565b6040516102cb9190610ecb565b60405180910390f35b6060600380546102e390611039565b80601f016020809104026020016040519081016040528092919081815260200182805461030f90611039565b801561035c5780601f106103315761010080835404028352916020019161035c565b820191906000526020600020905b81548152906001019060200180831161033f57829003601f168201915b5050505050905090565b600080610371610636565b905061037e81858561063e565b600191505092915050565b6000600254905090565b60008061039e610636565b90506103ab858285610807565b6103b6858585610893565b60019150509392505050565b60006012905090565b6000806103d6610636565b90506103f78185856103e885896105aa565b6103f29190611099565b61063e565b600191505092915050565b61041361040d610636565b826108a3565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6104708261046a610636565b83610807565b61047a82826108a3565b5050565b60606004805461048d90611039565b80601f01602080910402602001604051908101604052809291908181526020018280546104b990611039565b80156105065780601f106104db57610100808354040283529160200191610506565b820191906000526020600020905b8154815290600101906020018083116104e957829003601f168201915b5050505050905090565b60008061051b610636565b9050600061052982866105aa565b90508381101561056e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105659061113f565b60405180910390fd5b61057b828686840361063e565b60019250505092915050565b600080610592610636565b905061059f818585610893565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036106ad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a4906111d1565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361071c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071390611263565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516107fa9190610ecb565b60405180910390a3505050565b600061081384846105aa565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461088d578181101561087f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610876906112cf565b60405180910390fd5b61088c848484840361063e565b5b50505050565b61089e838383610a70565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610912576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161090990611361565b60405180910390fd5b61091e82600083610ce6565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156109a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099b906113f3565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a579190610ecb565b60405180910390a3610a6b83600084610cf6565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610adf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad690611485565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b4590611517565b60405180910390fd5b610b59838383610ce6565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610bdf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd6906115a9565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ccd9190610ecb565b60405180910390a3610ce0848484610cf6565b50505050565b610cf1838383610631565b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610d35578082015181840152602081019050610d1a565b60008484015250505050565b6000601f19601f8301169050919050565b6000610d5d82610cfb565b610d678185610d06565b9350610d77818560208601610d17565b610d8081610d41565b840191505092915050565b60006020820190508181036000830152610da58184610d52565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610ddd82610db2565b9050919050565b610ded81610dd2565b8114610df857600080fd5b50565b600081359050610e0a81610de4565b92915050565b6000819050919050565b610e2381610e10565b8114610e2e57600080fd5b50565b600081359050610e4081610e1a565b92915050565b60008060408385031215610e5d57610e5c610dad565b5b6000610e6b85828601610dfb565b9250506020610e7c85828601610e31565b9150509250929050565b60008115159050919050565b610e9b81610e86565b82525050565b6000602082019050610eb66000830184610e92565b92915050565b610ec581610e10565b82525050565b6000602082019050610ee06000830184610ebc565b92915050565b600080600060608486031215610eff57610efe610dad565b5b6000610f0d86828701610dfb565b9350506020610f1e86828701610dfb565b9250506040610f2f86828701610e31565b9150509250925092565b600060ff82169050919050565b610f4f81610f39565b82525050565b6000602082019050610f6a6000830184610f46565b92915050565b600060208284031215610f8657610f85610dad565b5b6000610f9484828501610e31565b91505092915050565b600060208284031215610fb357610fb2610dad565b5b6000610fc184828501610dfb565b91505092915050565b60008060408385031215610fe157610fe0610dad565b5b6000610fef85828601610dfb565b925050602061100085828601610dfb565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061105157607f821691505b6020821081036110645761106361100a565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006110a482610e10565b91506110af83610e10565b92508282019050808211156110c7576110c661106a565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000611129602583610d06565b9150611134826110cd565b604082019050919050565b600060208201905081810360008301526111588161111c565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006111bb602483610d06565b91506111c68261115f565b604082019050919050565b600060208201905081810360008301526111ea816111ae565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b600061124d602283610d06565b9150611258826111f1565b604082019050919050565b6000602082019050818103600083015261127c81611240565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b60006112b9601d83610d06565b91506112c482611283565b602082019050919050565b600060208201905081810360008301526112e8816112ac565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b600061134b602183610d06565b9150611356826112ef565b604082019050919050565b6000602082019050818103600083015261137a8161133e565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b60006113dd602283610d06565b91506113e882611381565b604082019050919050565b6000602082019050818103600083015261140c816113d0565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b600061146f602583610d06565b915061147a82611413565b604082019050919050565b6000602082019050818103600083015261149e81611462565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611501602383610d06565b915061150c826114a5565b604082019050919050565b60006020820190508181036000830152611530816114f4565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611593602683610d06565b915061159e82611537565b604082019050919050565b600060208201905081810360008301526115c281611586565b905091905056fea2646970667358221220e3155f35ac33e209e3ec9b0b50866b79fb9a012644ccdfcaba1cfdfba1e5316864736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806342966c681161008c57806395d89b411161006657806395d89b4114610226578063a457c2d714610244578063a9059cbb14610274578063dd62ed3e146102a4576100cf565b806342966c68146101be57806370a08231146101da57806379cc67901461020a576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd14610140578063313ce56714610170578063395093511461018e575b600080fd5b6100dc6102d4565b6040516100e99190610d8b565b60405180910390f35b61010c60048036038101906101079190610e46565b610366565b6040516101199190610ea1565b60405180910390f35b61012a610389565b6040516101379190610ecb565b60405180910390f35b61015a60048036038101906101559190610ee6565b610393565b6040516101679190610ea1565b60405180910390f35b6101786103c2565b6040516101859190610f55565b60405180910390f35b6101a860048036038101906101a39190610e46565b6103cb565b6040516101b59190610ea1565b60405180910390f35b6101d860048036038101906101d39190610f70565b610402565b005b6101f460048036038101906101ef9190610f9d565b610416565b6040516102019190610ecb565b60405180910390f35b610224600480360381019061021f9190610e46565b61045e565b005b61022e61047e565b60405161023b9190610d8b565b60405180910390f35b61025e60048036038101906102599190610e46565b610510565b60405161026b9190610ea1565b60405180910390f35b61028e60048036038101906102899190610e46565b610587565b60405161029b9190610ea1565b60405180910390f35b6102be60048036038101906102b99190610fca565b6105aa565b6040516102cb9190610ecb565b60405180910390f35b6060600380546102e390611039565b80601f016020809104026020016040519081016040528092919081815260200182805461030f90611039565b801561035c5780601f106103315761010080835404028352916020019161035c565b820191906000526020600020905b81548152906001019060200180831161033f57829003601f168201915b5050505050905090565b600080610371610636565b905061037e81858561063e565b600191505092915050565b6000600254905090565b60008061039e610636565b90506103ab858285610807565b6103b6858585610893565b60019150509392505050565b60006012905090565b6000806103d6610636565b90506103f78185856103e885896105aa565b6103f29190611099565b61063e565b600191505092915050565b61041361040d610636565b826108a3565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6104708261046a610636565b83610807565b61047a82826108a3565b5050565b60606004805461048d90611039565b80601f01602080910402602001604051908101604052809291908181526020018280546104b990611039565b80156105065780601f106104db57610100808354040283529160200191610506565b820191906000526020600020905b8154815290600101906020018083116104e957829003601f168201915b5050505050905090565b60008061051b610636565b9050600061052982866105aa565b90508381101561056e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105659061113f565b60405180910390fd5b61057b828686840361063e565b60019250505092915050565b600080610592610636565b905061059f818585610893565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036106ad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a4906111d1565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361071c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071390611263565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516107fa9190610ecb565b60405180910390a3505050565b600061081384846105aa565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461088d578181101561087f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610876906112cf565b60405180910390fd5b61088c848484840361063e565b5b50505050565b61089e838383610a70565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610912576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161090990611361565b60405180910390fd5b61091e82600083610ce6565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156109a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099b906113f3565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a579190610ecb565b60405180910390a3610a6b83600084610cf6565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610adf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad690611485565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b4590611517565b60405180910390fd5b610b59838383610ce6565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610bdf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd6906115a9565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ccd9190610ecb565b60405180910390a3610ce0848484610cf6565b50505050565b610cf1838383610631565b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610d35578082015181840152602081019050610d1a565b60008484015250505050565b6000601f19601f8301169050919050565b6000610d5d82610cfb565b610d678185610d06565b9350610d77818560208601610d17565b610d8081610d41565b840191505092915050565b60006020820190508181036000830152610da58184610d52565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610ddd82610db2565b9050919050565b610ded81610dd2565b8114610df857600080fd5b50565b600081359050610e0a81610de4565b92915050565b6000819050919050565b610e2381610e10565b8114610e2e57600080fd5b50565b600081359050610e4081610e1a565b92915050565b60008060408385031215610e5d57610e5c610dad565b5b6000610e6b85828601610dfb565b9250506020610e7c85828601610e31565b9150509250929050565b60008115159050919050565b610e9b81610e86565b82525050565b6000602082019050610eb66000830184610e92565b92915050565b610ec581610e10565b82525050565b6000602082019050610ee06000830184610ebc565b92915050565b600080600060608486031215610eff57610efe610dad565b5b6000610f0d86828701610dfb565b9350506020610f1e86828701610dfb565b9250506040610f2f86828701610e31565b9150509250925092565b600060ff82169050919050565b610f4f81610f39565b82525050565b6000602082019050610f6a6000830184610f46565b92915050565b600060208284031215610f8657610f85610dad565b5b6000610f9484828501610e31565b91505092915050565b600060208284031215610fb357610fb2610dad565b5b6000610fc184828501610dfb565b91505092915050565b60008060408385031215610fe157610fe0610dad565b5b6000610fef85828601610dfb565b925050602061100085828601610dfb565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061105157607f821691505b6020821081036110645761106361100a565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006110a482610e10565b91506110af83610e10565b92508282019050808211156110c7576110c661106a565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000611129602583610d06565b9150611134826110cd565b604082019050919050565b600060208201905081810360008301526111588161111c565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006111bb602483610d06565b91506111c68261115f565b604082019050919050565b600060208201905081810360008301526111ea816111ae565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b600061124d602283610d06565b9150611258826111f1565b604082019050919050565b6000602082019050818103600083015261127c81611240565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b60006112b9601d83610d06565b91506112c482611283565b602082019050919050565b600060208201905081810360008301526112e8816112ac565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b600061134b602183610d06565b9150611356826112ef565b604082019050919050565b6000602082019050818103600083015261137a8161133e565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b60006113dd602283610d06565b91506113e882611381565b604082019050919050565b6000602082019050818103600083015261140c816113d0565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b600061146f602583610d06565b915061147a82611413565b604082019050919050565b6000602082019050818103600083015261149e81611462565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611501602383610d06565b915061150c826114a5565b604082019050919050565b60006020820190508181036000830152611530816114f4565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611593602683610d06565b915061159e82611537565b604082019050919050565b600060208201905081810360008301526115c281611586565b905091905056fea2646970667358221220e3155f35ac33e209e3ec9b0b50866b79fb9a012644ccdfcaba1cfdfba1e5316864736f6c63430008120033

17167:562:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4969:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7386:226;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6089:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8192:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5931:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8896:263;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16586:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6260:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16996:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5188:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9662:498;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6609:218;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6890:176;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4969:100;5023:13;5056:5;5049:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4969:100;:::o;7386:226::-;7494:4;7511:13;7527:12;:10;:12::i;:::-;7511:28;;7550:32;7559:5;7566:7;7575:6;7550:8;:32::i;:::-;7600:4;7593:11;;;7386:226;;;;:::o;6089:108::-;6150:7;6177:12;;6170:19;;6089:108;:::o;8192:295::-;8323:4;8340:15;8358:12;:10;:12::i;:::-;8340:30;;8381:38;8397:4;8403:7;8412:6;8381:15;:38::i;:::-;8430:27;8440:4;8446:2;8450:6;8430:9;:27::i;:::-;8475:4;8468:11;;;8192:295;;;;;:::o;5931:93::-;5989:5;6014:2;6007:9;;5931:93;:::o;8896:263::-;9009:4;9026:13;9042:12;:10;:12::i;:::-;9026:28;;9065:64;9074:5;9081:7;9118:10;9090:25;9100:5;9107:7;9090:9;:25::i;:::-;:38;;;;:::i;:::-;9065:8;:64::i;:::-;9147:4;9140:11;;;8896:263;;;;:::o;16586:91::-;16642:27;16648:12;:10;:12::i;:::-;16662:6;16642:5;:27::i;:::-;16586:91;:::o;6260:143::-;6350:7;6377:9;:18;6387:7;6377:18;;;;;;;;;;;;;;;;6370:25;;6260:143;;;:::o;16996:164::-;17073:46;17089:7;17098:12;:10;:12::i;:::-;17112:6;17073:15;:46::i;:::-;17130:22;17136:7;17145:6;17130:5;:22::i;:::-;16996:164;;:::o;5188:104::-;5244:13;5277:7;5270:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5188:104;:::o;9662:498::-;9780:4;9797:13;9813:12;:10;:12::i;:::-;9797:28;;9836:24;9863:25;9873:5;9880:7;9863:9;:25::i;:::-;9836:52;;9941:15;9921:16;:35;;9899:122;;;;;;;;;;;;:::i;:::-;;;;;;;;;10057:60;10066:5;10073:7;10101:15;10082:16;:34;10057:8;:60::i;:::-;10148:4;10141:11;;;;9662:498;;;;:::o;6609:218::-;6713:4;6730:13;6746:12;:10;:12::i;:::-;6730:28;;6769;6779:5;6786:2;6790:6;6769:9;:28::i;:::-;6815:4;6808:11;;;6609:218;;;;:::o;6890:176::-;7004:7;7031:11;:18;7043:5;7031:18;;;;;;;;;;;;;;;:27;7050:7;7031:27;;;;;;;;;;;;;;;;7024:34;;6890:176;;;;:::o;15561:125::-;;;;:::o;777:98::-;830:7;857:10;850:17;;777:98;:::o;13788:380::-;13941:1;13924:19;;:5;:19;;;13916:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14022:1;14003:21;;:7;:21;;;13995:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14106:6;14076:11;:18;14088:5;14076:18;;;;;;;;;;;;;;;:27;14095:7;14076:27;;;;;;;;;;;;;;;:36;;;;14144:7;14128:32;;14137:5;14128:32;;;14153:6;14128:32;;;;;;:::i;:::-;;;;;;;;13788:380;;;:::o;14459:502::-;14594:24;14621:25;14631:5;14638:7;14621:9;:25::i;:::-;14594:52;;14681:17;14661:16;:37;14657:297;;14761:6;14741:16;:26;;14715:117;;;;;;;;;;;;:::i;:::-;;;;;;;;;14876:51;14885:5;14892:7;14920:6;14901:16;:25;14876:8;:51::i;:::-;14657:297;14583:378;14459:502;;;:::o;17528:198::-;17676:42;17692:6;17700:9;17711:6;17676:15;:42::i;:::-;17528:198;;;:::o;12675:675::-;12778:1;12759:21;;:7;:21;;;12751:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;12831:49;12852:7;12869:1;12873:6;12831:20;:49::i;:::-;12893:22;12918:9;:18;12928:7;12918:18;;;;;;;;;;;;;;;;12893:43;;12973:6;12955:14;:24;;12947:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;13092:6;13075:14;:23;13054:9;:18;13064:7;13054:18;;;;;;;;;;;;;;;:44;;;;13209:6;13193:12;;:22;;;;;;;;;;;13270:1;13244:37;;13253:7;13244:37;;;13274:6;13244:37;;;;;;:::i;:::-;;;;;;;;13294:48;13314:7;13331:1;13335:6;13294:19;:48::i;:::-;12740:610;12675:675;;:::o;10630:877::-;10777:1;10761:18;;:4;:18;;;10753:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10854:1;10840:16;;:2;:16;;;10832:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;10909:38;10930:4;10936:2;10940:6;10909:20;:38::i;:::-;10960:19;10982:9;:15;10992:4;10982:15;;;;;;;;;;;;;;;;10960:37;;11045:6;11030:11;:21;;11008:109;;;;;;;;;;;;:::i;:::-;;;;;;;;;11185:6;11171:11;:20;11153:9;:15;11163:4;11153:15;;;;;;;;;;;;;;;:38;;;;11388:6;11371:9;:13;11381:2;11371:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;11438:2;11423:26;;11432:4;11423:26;;;11442:6;11423:26;;;;;;:::i;:::-;;;;;;;;11462:37;11482:4;11488:2;11492:6;11462:19;:37::i;:::-;10742:765;10630:877;;;:::o;17326:194::-;17468:44;17495:4;17501:2;17505:6;17468:26;:44::i;:::-;17326:194;;;:::o;16290: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:::-;5247:6;5296:2;5284:9;5275:7;5271:23;5267:32;5264:119;;;5302:79;;:::i;:::-;5264:119;5422:1;5447:53;5492:7;5483:6;5472:9;5468:22;5447:53;:::i;:::-;5437:63;;5393:117;5188:329;;;;:::o;5523:474::-;5591:6;5599;5648:2;5636:9;5627:7;5623:23;5619:32;5616:119;;;5654:79;;:::i;:::-;5616:119;5774:1;5799:53;5844:7;5835:6;5824:9;5820:22;5799:53;:::i;:::-;5789:63;;5745:117;5901:2;5927:53;5972:7;5963:6;5952:9;5948:22;5927:53;:::i;:::-;5917:63;;5872:118;5523:474;;;;;:::o;6003:180::-;6051:77;6048:1;6041:88;6148:4;6145:1;6138:15;6172:4;6169:1;6162:15;6189:320;6233:6;6270:1;6264:4;6260:12;6250:22;;6317:1;6311:4;6307:12;6338:18;6328:81;;6394:4;6386:6;6382:17;6372:27;;6328:81;6456:2;6448:6;6445:14;6425:18;6422:38;6419:84;;6475:18;;:::i;:::-;6419:84;6240:269;6189:320;;;:::o;6515:180::-;6563:77;6560:1;6553:88;6660:4;6657:1;6650:15;6684:4;6681:1;6674:15;6701:191;6741:3;6760:20;6778:1;6760:20;:::i;:::-;6755:25;;6794:20;6812:1;6794:20;:::i;:::-;6789:25;;6837:1;6834;6830:9;6823:16;;6858:3;6855:1;6852:10;6849:36;;;6865:18;;:::i;:::-;6849:36;6701:191;;;;:::o;6898:224::-;7038:34;7034:1;7026:6;7022:14;7015:58;7107:7;7102:2;7094:6;7090:15;7083:32;6898:224;:::o;7128:366::-;7270:3;7291:67;7355:2;7350:3;7291:67;:::i;:::-;7284:74;;7367:93;7456:3;7367:93;:::i;:::-;7485:2;7480:3;7476:12;7469:19;;7128:366;;;:::o;7500:419::-;7666:4;7704:2;7693:9;7689:18;7681:26;;7753:9;7747:4;7743:20;7739:1;7728:9;7724:17;7717:47;7781:131;7907:4;7781:131;:::i;:::-;7773:139;;7500:419;;;:::o;7925:223::-;8065:34;8061:1;8053:6;8049:14;8042:58;8134:6;8129:2;8121:6;8117:15;8110:31;7925:223;:::o;8154:366::-;8296:3;8317:67;8381:2;8376:3;8317:67;:::i;:::-;8310:74;;8393:93;8482:3;8393:93;:::i;:::-;8511:2;8506:3;8502:12;8495:19;;8154:366;;;:::o;8526:419::-;8692:4;8730:2;8719:9;8715:18;8707:26;;8779:9;8773:4;8769:20;8765:1;8754:9;8750:17;8743:47;8807:131;8933:4;8807:131;:::i;:::-;8799:139;;8526:419;;;:::o;8951:221::-;9091:34;9087:1;9079:6;9075:14;9068:58;9160:4;9155:2;9147:6;9143:15;9136:29;8951:221;:::o;9178:366::-;9320:3;9341:67;9405:2;9400:3;9341:67;:::i;:::-;9334:74;;9417:93;9506:3;9417:93;:::i;:::-;9535:2;9530:3;9526:12;9519:19;;9178:366;;;:::o;9550:419::-;9716:4;9754:2;9743:9;9739:18;9731:26;;9803:9;9797:4;9793:20;9789:1;9778:9;9774:17;9767:47;9831:131;9957:4;9831:131;:::i;:::-;9823:139;;9550:419;;;:::o;9975:179::-;10115:31;10111:1;10103:6;10099:14;10092:55;9975:179;:::o;10160:366::-;10302:3;10323:67;10387:2;10382:3;10323:67;:::i;:::-;10316:74;;10399:93;10488:3;10399:93;:::i;:::-;10517:2;10512:3;10508:12;10501:19;;10160:366;;;:::o;10532:419::-;10698:4;10736:2;10725:9;10721:18;10713:26;;10785:9;10779:4;10775:20;10771:1;10760:9;10756:17;10749:47;10813:131;10939:4;10813:131;:::i;:::-;10805:139;;10532:419;;;:::o;10957:220::-;11097:34;11093:1;11085:6;11081:14;11074:58;11166:3;11161:2;11153:6;11149:15;11142:28;10957:220;:::o;11183:366::-;11325:3;11346:67;11410:2;11405:3;11346:67;:::i;:::-;11339:74;;11422:93;11511:3;11422:93;:::i;:::-;11540:2;11535:3;11531:12;11524:19;;11183:366;;;:::o;11555:419::-;11721:4;11759:2;11748:9;11744:18;11736:26;;11808:9;11802:4;11798:20;11794:1;11783:9;11779:17;11772:47;11836:131;11962:4;11836:131;:::i;:::-;11828:139;;11555:419;;;:::o;11980:221::-;12120:34;12116:1;12108:6;12104:14;12097:58;12189:4;12184:2;12176:6;12172:15;12165:29;11980:221;:::o;12207:366::-;12349:3;12370:67;12434:2;12429:3;12370:67;:::i;:::-;12363:74;;12446:93;12535:3;12446:93;:::i;:::-;12564:2;12559:3;12555:12;12548:19;;12207:366;;;:::o;12579:419::-;12745:4;12783:2;12772:9;12768:18;12760:26;;12832:9;12826:4;12822:20;12818:1;12807:9;12803:17;12796:47;12860:131;12986:4;12860:131;:::i;:::-;12852:139;;12579:419;;;:::o;13004:224::-;13144:34;13140:1;13132:6;13128:14;13121:58;13213:7;13208:2;13200:6;13196:15;13189:32;13004:224;:::o;13234:366::-;13376:3;13397:67;13461:2;13456:3;13397:67;:::i;:::-;13390:74;;13473:93;13562:3;13473:93;:::i;:::-;13591:2;13586:3;13582:12;13575:19;;13234:366;;;:::o;13606:419::-;13772:4;13810:2;13799:9;13795:18;13787:26;;13859:9;13853:4;13849:20;13845:1;13834:9;13830:17;13823:47;13887:131;14013:4;13887:131;:::i;:::-;13879:139;;13606:419;;;:::o;14031:222::-;14171:34;14167:1;14159:6;14155:14;14148:58;14240:5;14235:2;14227:6;14223:15;14216:30;14031:222;:::o;14259:366::-;14401:3;14422:67;14486:2;14481:3;14422:67;:::i;:::-;14415:74;;14498:93;14587:3;14498:93;:::i;:::-;14616:2;14611:3;14607:12;14600:19;;14259:366;;;:::o;14631:419::-;14797:4;14835:2;14824:9;14820:18;14812:26;;14884:9;14878:4;14874:20;14870:1;14859:9;14855:17;14848:47;14912:131;15038:4;14912:131;:::i;:::-;14904:139;;14631:419;;;:::o;15056:225::-;15196:34;15192:1;15184:6;15180:14;15173:58;15265:8;15260:2;15252:6;15248:15;15241:33;15056:225;:::o;15287:366::-;15429:3;15450:67;15514:2;15509:3;15450:67;:::i;:::-;15443:74;;15526:93;15615:3;15526:93;:::i;:::-;15644:2;15639:3;15635:12;15628:19;;15287:366;;;:::o;15659:419::-;15825:4;15863:2;15852:9;15848:18;15840:26;;15912:9;15906:4;15902:20;15898:1;15887:9;15883:17;15876:47;15940:131;16066:4;15940:131;:::i;:::-;15932:139;;15659:419;;;:::o

ipfs://e3155f35ac33e209e3ec9b0b50866b79fb9a012644ccdfcaba1cfdfba1e53168