Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function _msgSender()
•    - function _msgData()
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - 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 _spendAllowance(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•  contract zkRoots is ERC20 *
•    - function zkRoot()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-03-16
*/

/* * * * * * * * * * * * * * *
Affordable & Secure Random Number Generator (VRF)
https://www.zkroots.net
https://twitter.com/ZKRoots
https://t.me/zkRoots
* * * * * * * * * * * * * * */

// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;
// SPDX-License-Identifier: MIT
/**
 * @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);
}

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

pragma solidity ^0.8.0;

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

// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

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

// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0;

/**
 * @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.openzeppelin.com/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:
     *
     * - `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 {}
}

// zkRoots Contract (zkRoots.sol)

pragma solidity ^0.8.0;

contract zkRoots is ERC20 {

    constructor () ERC20("zkRoots", "ZKR") {
        _mint(
            msg.sender,
            100_000_000 ether
        );
    }

    // Decentralized random numbers!
    function zkRoot() public pure returns (string memory) {
        return "Affordable & Secure Random Number Generator (RNG/VRF) for smart contracts";
    }
}

• 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":"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"},{"inputs":[],"name":"zkRoot","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280600781526020017f7a6b526f6f7473000000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f5a4b5200000000000000000000000000000000000000000000000000000000008152508160039080519060200190620000969291906200024d565b508060049080519060200190620000af9291906200024d565b505050620000cf336a52b7d2dcc80cd2e4000000620000d560201b60201c565b6200049b565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000148576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200013f9062000350565b60405180910390fd5b6200015c600083836200024360201b60201c565b8060026000828254620001709190620003a0565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000223919062000372565b60405180910390a36200023f600083836200024860201b60201c565b5050565b505050565b505050565b8280546200025b9062000407565b90600052602060002090601f0160209004810192826200027f5760008555620002cb565b82601f106200029a57805160ff1916838001178555620002cb565b82800160010185558215620002cb579182015b82811115620002ca578251825591602001919060010190620002ad565b5b509050620002da9190620002de565b5090565b5b80821115620002f9576000816000905550600101620002df565b5090565b60006200030c601f836200038f565b91507f45524332303a206d696e7420746f20746865207a65726f2061646472657373006000830152602082019050919050565b6200034a81620003fd565b82525050565b600060208201905081810360008301526200036b81620002fd565b9050919050565b60006020820190506200038960008301846200033f565b92915050565b600082825260208201905092915050565b6000620003ad82620003fd565b9150620003ba83620003fd565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620003f257620003f16200043d565b5b828201905092915050565b6000819050919050565b600060028204905060018216806200042057607f821691505b602082108114156200043757620004366200046c565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b61128880620004ab6000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806370a082311161007157806370a08231146101a357806395d89b41146101d3578063a457c2d7146101f1578063a9059cbb14610221578063d03b1bd214610251578063dd62ed3e1461026f576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce567146101555780633950935114610173575b600080fd5b6100c161029f565b6040516100ce9190610f08565b60405180910390f35b6100f160048036038101906100ec9190610ba7565b610331565b6040516100fe9190610eed565b60405180910390f35b61010f610354565b60405161011c919061100a565b60405180910390f35b61013f600480360381019061013a9190610b58565b61035e565b60405161014c9190610eed565b60405180910390f35b61015d61038d565b60405161016a9190611025565b60405180910390f35b61018d60048036038101906101889190610ba7565b610396565b60405161019a9190610eed565b60405180910390f35b6101bd60048036038101906101b89190610af3565b6103cd565b6040516101ca919061100a565b60405180910390f35b6101db610415565b6040516101e89190610f08565b60405180910390f35b61020b60048036038101906102069190610ba7565b6104a7565b6040516102189190610eed565b60405180910390f35b61023b60048036038101906102369190610ba7565b61051e565b6040516102489190610eed565b60405180910390f35b610259610541565b6040516102669190610f08565b60405180910390f35b61028960048036038101906102849190610b1c565b610561565b604051610296919061100a565b60405180910390f35b6060600380546102ae9061113a565b80601f01602080910402602001604051908101604052809291908181526020018280546102da9061113a565b80156103275780601f106102fc57610100808354040283529160200191610327565b820191906000526020600020905b81548152906001019060200180831161030a57829003601f168201915b5050505050905090565b60008061033c6105e8565b90506103498185856105f0565b600191505092915050565b6000600254905090565b6000806103696105e8565b90506103768582856107bb565b610381858585610847565b60019150509392505050565b60006012905090565b6000806103a16105e8565b90506103c28185856103b38589610561565b6103bd919061105c565b6105f0565b600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6060600480546104249061113a565b80601f01602080910402602001604051908101604052809291908181526020018280546104509061113a565b801561049d5780601f106104725761010080835404028352916020019161049d565b820191906000526020600020905b81548152906001019060200180831161048057829003601f168201915b5050505050905090565b6000806104b26105e8565b905060006104c08286610561565b905083811015610505576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104fc90610fea565b60405180910390fd5b61051282868684036105f0565b60019250505092915050565b6000806105296105e8565b9050610536818585610847565b600191505092915050565b606060405180608001604052806049815260200161120a60499139905090565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610660576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065790610fca565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156106d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c790610f4a565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516107ae919061100a565b60405180910390a3505050565b60006107c78484610561565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146108415781811015610833576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082a90610f6a565b60405180910390fd5b61084084848484036105f0565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ae90610faa565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610927576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161091e90610f2a565b60405180910390fd5b610932838383610abf565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156109b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109af90610f8a565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610aa6919061100a565b60405180910390a3610ab9848484610ac4565b50505050565b505050565b505050565b600081359050610ad8816111db565b92915050565b600081359050610aed816111f2565b92915050565b600060208284031215610b0557600080fd5b6000610b1384828501610ac9565b91505092915050565b60008060408385031215610b2f57600080fd5b6000610b3d85828601610ac9565b9250506020610b4e85828601610ac9565b9150509250929050565b600080600060608486031215610b6d57600080fd5b6000610b7b86828701610ac9565b9350506020610b8c86828701610ac9565b9250506040610b9d86828701610ade565b9150509250925092565b60008060408385031215610bba57600080fd5b6000610bc885828601610ac9565b9250506020610bd985828601610ade565b9150509250929050565b610bec816110c4565b82525050565b6000610bfd82611040565b610c07818561104b565b9350610c17818560208601611107565b610c20816111ca565b840191505092915050565b6000610c3860238361104b565b91507f45524332303a207472616e7366657220746f20746865207a65726f206164647260008301527f65737300000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610c9e60228361104b565b91507f45524332303a20617070726f766520746f20746865207a65726f20616464726560008301527f73730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610d04601d8361104b565b91507f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006000830152602082019050919050565b6000610d4460268361104b565b91507f45524332303a207472616e7366657220616d6f756e742065786365656473206260008301527f616c616e636500000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610daa60258361104b565b91507f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008301527f64726573730000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610e1060248361104b565b91507f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610e7660258361104b565b91507f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008301527f207a65726f0000000000000000000000000000000000000000000000000000006020830152604082019050919050565b610ed8816110f0565b82525050565b610ee7816110fa565b82525050565b6000602082019050610f026000830184610be3565b92915050565b60006020820190508181036000830152610f228184610bf2565b905092915050565b60006020820190508181036000830152610f4381610c2b565b9050919050565b60006020820190508181036000830152610f6381610c91565b9050919050565b60006020820190508181036000830152610f8381610cf7565b9050919050565b60006020820190508181036000830152610fa381610d37565b9050919050565b60006020820190508181036000830152610fc381610d9d565b9050919050565b60006020820190508181036000830152610fe381610e03565b9050919050565b6000602082019050818103600083015261100381610e69565b9050919050565b600060208201905061101f6000830184610ecf565b92915050565b600060208201905061103a6000830184610ede565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611067826110f0565b9150611072836110f0565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156110a7576110a661116c565b5b828201905092915050565b60006110bd826110d0565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561112557808201518184015260208101905061110a565b83811115611134576000848401525b50505050565b6000600282049050600182168061115257607f821691505b602082108114156111665761116561119b565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b6111e4816110b2565b81146111ef57600080fd5b50565b6111fb816110f0565b811461120657600080fd5b5056fe4166666f726461626c652026205365637572652052616e646f6d204e756d6265722047656e657261746f722028524e472f5652462920666f7220736d61727420636f6e747261637473a26469706673582212200e9aa02712f926eba1da60ba633567a06c8396c790542c3d18f21b81388fcf8964736f6c63430008000033

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c806370a082311161007157806370a08231146101a357806395d89b41146101d3578063a457c2d7146101f1578063a9059cbb14610221578063d03b1bd214610251578063dd62ed3e1461026f576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce567146101555780633950935114610173575b600080fd5b6100c161029f565b6040516100ce9190610f08565b60405180910390f35b6100f160048036038101906100ec9190610ba7565b610331565b6040516100fe9190610eed565b60405180910390f35b61010f610354565b60405161011c919061100a565b60405180910390f35b61013f600480360381019061013a9190610b58565b61035e565b60405161014c9190610eed565b60405180910390f35b61015d61038d565b60405161016a9190611025565b60405180910390f35b61018d60048036038101906101889190610ba7565b610396565b60405161019a9190610eed565b60405180910390f35b6101bd60048036038101906101b89190610af3565b6103cd565b6040516101ca919061100a565b60405180910390f35b6101db610415565b6040516101e89190610f08565b60405180910390f35b61020b60048036038101906102069190610ba7565b6104a7565b6040516102189190610eed565b60405180910390f35b61023b60048036038101906102369190610ba7565b61051e565b6040516102489190610eed565b60405180910390f35b610259610541565b6040516102669190610f08565b60405180910390f35b61028960048036038101906102849190610b1c565b610561565b604051610296919061100a565b60405180910390f35b6060600380546102ae9061113a565b80601f01602080910402602001604051908101604052809291908181526020018280546102da9061113a565b80156103275780601f106102fc57610100808354040283529160200191610327565b820191906000526020600020905b81548152906001019060200180831161030a57829003601f168201915b5050505050905090565b60008061033c6105e8565b90506103498185856105f0565b600191505092915050565b6000600254905090565b6000806103696105e8565b90506103768582856107bb565b610381858585610847565b60019150509392505050565b60006012905090565b6000806103a16105e8565b90506103c28185856103b38589610561565b6103bd919061105c565b6105f0565b600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6060600480546104249061113a565b80601f01602080910402602001604051908101604052809291908181526020018280546104509061113a565b801561049d5780601f106104725761010080835404028352916020019161049d565b820191906000526020600020905b81548152906001019060200180831161048057829003601f168201915b5050505050905090565b6000806104b26105e8565b905060006104c08286610561565b905083811015610505576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104fc90610fea565b60405180910390fd5b61051282868684036105f0565b60019250505092915050565b6000806105296105e8565b9050610536818585610847565b600191505092915050565b606060405180608001604052806049815260200161120a60499139905090565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610660576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065790610fca565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156106d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c790610f4a565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516107ae919061100a565b60405180910390a3505050565b60006107c78484610561565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146108415781811015610833576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082a90610f6a565b60405180910390fd5b61084084848484036105f0565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ae90610faa565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610927576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161091e90610f2a565b60405180910390fd5b610932838383610abf565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156109b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109af90610f8a565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610aa6919061100a565b60405180910390a3610ab9848484610ac4565b50505050565b505050565b505050565b600081359050610ad8816111db565b92915050565b600081359050610aed816111f2565b92915050565b600060208284031215610b0557600080fd5b6000610b1384828501610ac9565b91505092915050565b60008060408385031215610b2f57600080fd5b6000610b3d85828601610ac9565b9250506020610b4e85828601610ac9565b9150509250929050565b600080600060608486031215610b6d57600080fd5b6000610b7b86828701610ac9565b9350506020610b8c86828701610ac9565b9250506040610b9d86828701610ade565b9150509250925092565b60008060408385031215610bba57600080fd5b6000610bc885828601610ac9565b9250506020610bd985828601610ade565b9150509250929050565b610bec816110c4565b82525050565b6000610bfd82611040565b610c07818561104b565b9350610c17818560208601611107565b610c20816111ca565b840191505092915050565b6000610c3860238361104b565b91507f45524332303a207472616e7366657220746f20746865207a65726f206164647260008301527f65737300000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610c9e60228361104b565b91507f45524332303a20617070726f766520746f20746865207a65726f20616464726560008301527f73730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610d04601d8361104b565b91507f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006000830152602082019050919050565b6000610d4460268361104b565b91507f45524332303a207472616e7366657220616d6f756e742065786365656473206260008301527f616c616e636500000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610daa60258361104b565b91507f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008301527f64726573730000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610e1060248361104b565b91507f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610e7660258361104b565b91507f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008301527f207a65726f0000000000000000000000000000000000000000000000000000006020830152604082019050919050565b610ed8816110f0565b82525050565b610ee7816110fa565b82525050565b6000602082019050610f026000830184610be3565b92915050565b60006020820190508181036000830152610f228184610bf2565b905092915050565b60006020820190508181036000830152610f4381610c2b565b9050919050565b60006020820190508181036000830152610f6381610c91565b9050919050565b60006020820190508181036000830152610f8381610cf7565b9050919050565b60006020820190508181036000830152610fa381610d37565b9050919050565b60006020820190508181036000830152610fc381610d9d565b9050919050565b60006020820190508181036000830152610fe381610e03565b9050919050565b6000602082019050818103600083015261100381610e69565b9050919050565b600060208201905061101f6000830184610ecf565b92915050565b600060208201905061103a6000830184610ede565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611067826110f0565b9150611072836110f0565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156110a7576110a661116c565b5b828201905092915050565b60006110bd826110d0565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561112557808201518184015260208101905061110a565b83811115611134576000848401525b50505050565b6000600282049050600182168061115257607f821691505b602082108114156111665761116561119b565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b6111e4816110b2565b81146111ef57600080fd5b50565b6111fb816110f0565b811461120657600080fd5b5056fe4166666f726461626c652026205365637572652052616e646f6d204e756d6265722047656e657261746f722028524e472f5652462920666f7220736d61727420636f6e747261637473a26469706673582212200e9aa02712f926eba1da60ba633567a06c8396c790542c3d18f21b81388fcf8964736f6c63430008000033

17862:370:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6610:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8961:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7730:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9742:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7572:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10446:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7901:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6829:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11187:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8234:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18074:155;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8490:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6610:100;6664:13;6697:5;6690:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6610:100;:::o;8961:201::-;9044:4;9061:13;9077:12;:10;:12::i;:::-;9061:28;;9100:32;9109:5;9116:7;9125:6;9100:8;:32::i;:::-;9150:4;9143:11;;;8961:201;;;;:::o;7730:108::-;7791:7;7818:12;;7811:19;;7730:108;:::o;9742:295::-;9873:4;9890:15;9908:12;:10;:12::i;:::-;9890:30;;9931:38;9947:4;9953:7;9962:6;9931:15;:38::i;:::-;9980:27;9990:4;9996:2;10000:6;9980:9;:27::i;:::-;10025:4;10018:11;;;9742:295;;;;;:::o;7572:93::-;7630:5;7655:2;7648:9;;7572:93;:::o;10446:238::-;10534:4;10551:13;10567:12;:10;:12::i;:::-;10551:28;;10590:64;10599:5;10606:7;10643:10;10615:25;10625:5;10632:7;10615:9;:25::i;:::-;:38;;;;:::i;:::-;10590:8;:64::i;:::-;10672:4;10665:11;;;10446:238;;;;:::o;7901:127::-;7975:7;8002:9;:18;8012:7;8002:18;;;;;;;;;;;;;;;;7995:25;;7901:127;;;:::o;6829:104::-;6885:13;6918:7;6911:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6829:104;:::o;11187:436::-;11280:4;11297:13;11313:12;:10;:12::i;:::-;11297:28;;11336:24;11363:25;11373:5;11380:7;11363:9;:25::i;:::-;11336:52;;11427:15;11407:16;:35;;11399:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;11520:60;11529:5;11536:7;11564:15;11545:16;:34;11520:8;:60::i;:::-;11611:4;11604:11;;;;11187:436;;;;:::o;8234:193::-;8313:4;8330:13;8346:12;:10;:12::i;:::-;8330:28;;8369;8379:5;8386:2;8390:6;8369:9;:28::i;:::-;8415:4;8408:11;;;8234:193;;;;:::o;18074:155::-;18113:13;18139:82;;;;;;;;;;;;;;;;;;;18074:155;:::o;8490:151::-;8579:7;8606:11;:18;8618:5;8606:18;;;;;;;;;;;;;;;:27;8625:7;8606:27;;;;;;;;;;;;;;;;8599:34;;8490:151;;;;:::o;4318:98::-;4371:7;4398:10;4391:17;;4318:98;:::o;15214:380::-;15367:1;15350:19;;:5;:19;;;;15342:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15448:1;15429:21;;:7;:21;;;;15421:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15532:6;15502:11;:18;15514:5;15502:18;;;;;;;;;;;;;;;:27;15521:7;15502:27;;;;;;;;;;;;;;;:36;;;;15570:7;15554:32;;15563:5;15554:32;;;15579:6;15554:32;;;;;;:::i;:::-;;;;;;;;15214:380;;;:::o;15885:453::-;16020:24;16047:25;16057:5;16064:7;16047:9;:25::i;:::-;16020:52;;16107:17;16087:16;:37;16083:248;;16169:6;16149:16;:26;;16141:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;16253:51;16262:5;16269:7;16297:6;16278:16;:25;16253:8;:51::i;:::-;16083:248;15885:453;;;;:::o;12093:840::-;12240:1;12224:18;;:4;:18;;;;12216:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12317:1;12303:16;;:2;:16;;;;12295:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;12372:38;12393:4;12399:2;12403:6;12372:20;:38::i;:::-;12423:19;12445:9;:15;12455:4;12445:15;;;;;;;;;;;;;;;;12423:37;;12494:6;12479:11;:21;;12471:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;12611:6;12597:11;:20;12579:9;:15;12589:4;12579:15;;;;;;;;;;;;;;;:38;;;;12814:6;12797:9;:13;12807:2;12797:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;12864:2;12849:26;;12858:4;12849:26;;;12868:6;12849:26;;;;;;:::i;:::-;;;;;;;;12888:37;12908:4;12914:2;12918:6;12888:19;:37::i;:::-;12093:840;;;;:::o;16938:125::-;;;;:::o;17667:124::-;;;;:::o;7:139:1:-;;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;;405:2;393:9;384:7;380:23;376:32;373:2;;;421:1;418;411:12;373:2;464:1;489:53;534:7;525:6;514:9;510:22;489:53;:::i;:::-;479:63;;435:117;363:196;;;;:::o;565:407::-;;;690:2;678:9;669:7;665:23;661:32;658:2;;;706:1;703;696:12;658:2;749:1;774:53;819:7;810:6;799:9;795:22;774:53;:::i;:::-;764:63;;720:117;876:2;902:53;947:7;938:6;927:9;923:22;902:53;:::i;:::-;892:63;;847:118;648:324;;;;;:::o;978:552::-;;;;1120:2;1108:9;1099:7;1095:23;1091:32;1088:2;;;1136:1;1133;1126:12;1088:2;1179:1;1204:53;1249:7;1240:6;1229:9;1225:22;1204:53;:::i;:::-;1194:63;;1150:117;1306:2;1332:53;1377:7;1368:6;1357:9;1353:22;1332:53;:::i;:::-;1322:63;;1277:118;1434:2;1460:53;1505:7;1496:6;1485:9;1481:22;1460:53;:::i;:::-;1450:63;;1405:118;1078:452;;;;;:::o;1536:407::-;;;1661:2;1649:9;1640:7;1636:23;1632:32;1629:2;;;1677:1;1674;1667:12;1629:2;1720:1;1745:53;1790:7;1781:6;1770:9;1766:22;1745:53;:::i;:::-;1735:63;;1691:117;1847:2;1873:53;1918:7;1909:6;1898:9;1894:22;1873:53;:::i;:::-;1863:63;;1818:118;1619:324;;;;;:::o;1949:109::-;2030:21;2045:5;2030:21;:::i;:::-;2025:3;2018:34;2008:50;;:::o;2064:364::-;;2180:39;2213:5;2180:39;:::i;:::-;2235:71;2299:6;2294:3;2235:71;:::i;:::-;2228:78;;2315:52;2360:6;2355:3;2348:4;2341:5;2337:16;2315:52;:::i;:::-;2392:29;2414:6;2392:29;:::i;:::-;2387:3;2383:39;2376:46;;2156:272;;;;;:::o;2434:367::-;;2597:67;2661:2;2656:3;2597:67;:::i;:::-;2590:74;;2694:34;2690:1;2685:3;2681:11;2674:55;2760:5;2755:2;2750:3;2746:12;2739:27;2792:2;2787:3;2783:12;2776:19;;2580:221;;;:::o;2807:366::-;;2970:67;3034:2;3029:3;2970:67;:::i;:::-;2963:74;;3067:34;3063:1;3058:3;3054:11;3047:55;3133:4;3128:2;3123:3;3119:12;3112:26;3164:2;3159:3;3155:12;3148:19;;2953:220;;;:::o;3179:327::-;;3342:67;3406:2;3401:3;3342:67;:::i;:::-;3335:74;;3439:31;3435:1;3430:3;3426:11;3419:52;3497:2;3492:3;3488:12;3481:19;;3325:181;;;:::o;3512:370::-;;3675:67;3739:2;3734:3;3675:67;:::i;:::-;3668:74;;3772:34;3768:1;3763:3;3759:11;3752:55;3838:8;3833:2;3828:3;3824:12;3817:30;3873:2;3868:3;3864:12;3857:19;;3658:224;;;:::o;3888:369::-;;4051:67;4115:2;4110:3;4051:67;:::i;:::-;4044:74;;4148:34;4144:1;4139:3;4135:11;4128:55;4214:7;4209:2;4204:3;4200:12;4193:29;4248:2;4243:3;4239:12;4232:19;;4034:223;;;:::o;4263:368::-;;4426:67;4490:2;4485:3;4426:67;:::i;:::-;4419:74;;4523:34;4519:1;4514:3;4510:11;4503:55;4589:6;4584:2;4579:3;4575:12;4568:28;4622:2;4617:3;4613:12;4606:19;;4409:222;;;:::o;4637:369::-;;4800:67;4864:2;4859:3;4800:67;:::i;:::-;4793:74;;4897:34;4893:1;4888:3;4884:11;4877:55;4963:7;4958:2;4953:3;4949:12;4942:29;4997:2;4992:3;4988:12;4981:19;;4783:223;;;:::o;5012:118::-;5099:24;5117:5;5099:24;:::i;:::-;5094:3;5087:37;5077:53;;:::o;5136:112::-;5219:22;5235:5;5219:22;:::i;:::-;5214:3;5207:35;5197:51;;:::o;5254:210::-;;5379:2;5368:9;5364:18;5356:26;;5392:65;5454:1;5443:9;5439:17;5430:6;5392:65;:::i;:::-;5346:118;;;;:::o;5470:313::-;;5621:2;5610:9;5606:18;5598:26;;5670:9;5664:4;5660:20;5656:1;5645:9;5641:17;5634:47;5698:78;5771:4;5762:6;5698:78;:::i;:::-;5690:86;;5588:195;;;;:::o;5789:419::-;;5993:2;5982:9;5978:18;5970:26;;6042:9;6036:4;6032:20;6028:1;6017:9;6013:17;6006:47;6070:131;6196:4;6070:131;:::i;:::-;6062:139;;5960:248;;;:::o;6214:419::-;;6418:2;6407:9;6403:18;6395:26;;6467:9;6461:4;6457:20;6453:1;6442:9;6438:17;6431:47;6495:131;6621:4;6495:131;:::i;:::-;6487:139;;6385:248;;;:::o;6639:419::-;;6843:2;6832:9;6828:18;6820:26;;6892:9;6886:4;6882:20;6878:1;6867:9;6863:17;6856:47;6920:131;7046:4;6920:131;:::i;:::-;6912:139;;6810:248;;;:::o;7064:419::-;;7268:2;7257:9;7253:18;7245:26;;7317:9;7311:4;7307:20;7303:1;7292:9;7288:17;7281:47;7345:131;7471:4;7345:131;:::i;:::-;7337:139;;7235:248;;;:::o;7489:419::-;;7693:2;7682:9;7678:18;7670:26;;7742:9;7736:4;7732:20;7728:1;7717:9;7713:17;7706:47;7770:131;7896:4;7770:131;:::i;:::-;7762:139;;7660:248;;;:::o;7914:419::-;;8118:2;8107:9;8103:18;8095:26;;8167:9;8161:4;8157:20;8153:1;8142:9;8138:17;8131:47;8195:131;8321:4;8195:131;:::i;:::-;8187:139;;8085:248;;;:::o;8339:419::-;;8543:2;8532:9;8528:18;8520:26;;8592:9;8586:4;8582:20;8578:1;8567:9;8563:17;8556:47;8620:131;8746:4;8620:131;:::i;:::-;8612:139;;8510:248;;;:::o;8764:222::-;;8895:2;8884:9;8880:18;8872:26;;8908:71;8976:1;8965:9;8961:17;8952:6;8908:71;:::i;:::-;8862:124;;;;:::o;8992:214::-;;9119:2;9108:9;9104:18;9096:26;;9132:67;9196:1;9185:9;9181:17;9172:6;9132:67;:::i;:::-;9086:120;;;;:::o;9212:99::-;;9298:5;9292:12;9282:22;;9271:40;;;:::o;9317:169::-;;9435:6;9430:3;9423:19;9475:4;9470:3;9466:14;9451:29;;9413:73;;;;:::o;9492:305::-;;9551:20;9569:1;9551:20;:::i;:::-;9546:25;;9585:20;9603:1;9585:20;:::i;:::-;9580:25;;9739:1;9671:66;9667:74;9664:1;9661:81;9658:2;;;9745:18;;:::i;:::-;9658:2;9789:1;9786;9782:9;9775:16;;9536:261;;;;:::o;9803:96::-;;9869:24;9887:5;9869:24;:::i;:::-;9858:35;;9848:51;;;:::o;9905:90::-;;9982:5;9975:13;9968:21;9957:32;;9947:48;;;:::o;10001:126::-;;10078:42;10071:5;10067:54;10056:65;;10046:81;;;:::o;10133:77::-;;10199:5;10188:16;;10178:32;;;:::o;10216:86::-;;10291:4;10284:5;10280:16;10269:27;;10259:43;;;:::o;10308:307::-;10376:1;10386:113;10400:6;10397:1;10394:13;10386:113;;;10485:1;10480:3;10476:11;10470:18;10466:1;10461:3;10457:11;10450:39;10422:2;10419:1;10415:10;10410:15;;10386:113;;;10517:6;10514:1;10511:13;10508:2;;;10597:1;10588:6;10583:3;10579:16;10572:27;10508:2;10357:258;;;;:::o;10621:320::-;;10702:1;10696:4;10692:12;10682:22;;10749:1;10743:4;10739:12;10770:18;10760:2;;10826:4;10818:6;10814:17;10804:27;;10760:2;10888;10880:6;10877:14;10857:18;10854:38;10851:2;;;10907:18;;:::i;:::-;10851:2;10672:269;;;;:::o;10947:180::-;10995:77;10992:1;10985:88;11092:4;11089:1;11082:15;11116:4;11113:1;11106:15;11133:180;11181:77;11178:1;11171:88;11278:4;11275:1;11268:15;11302:4;11299:1;11292:15;11319:102;;11411:2;11407:7;11402:2;11395:5;11391:14;11387:28;11377:38;;11367:54;;;:::o;11427:122::-;11500:24;11518:5;11500:24;:::i;:::-;11493:5;11490:35;11480:2;;11539:1;11536;11529:12;11480:2;11470:79;:::o;11555:122::-;11628:24;11646:5;11628:24;:::i;:::-;11621:5;11618:35;11608:2;;11667:1;11664;11657:12;11608:2;11598:79;:::o

ipfs://0e9aa02712f926eba1da60ba633567a06c8396c790542c3d18f21b81388fcf89