Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData()    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ... 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()  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 BitcoinETF is ERC20, Owna ... *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-10-28
*/

//              Bitcoin
//
//  https://bitcoinetf.network
//  https://twitter.com/RealBitcoinETF
//  https://t.me/RealBitcoinETF
//
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.4;

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

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

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

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

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

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

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

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

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

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

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

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

contract BitcoinETF is ERC20, Ownable {
    constructor() ERC20("Bitcoin ETF", "Bitcoin") {
        _mint(msg.sender, 21000000000 * 10 ** 18);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"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":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"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":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280600b81526020017f426974636f696e204554460000000000000000000000000000000000000000008152506040518060400160405280600781526020017f426974636f696e000000000000000000000000000000000000000000000000008152508160039080519060200190620000969291906200033c565b508060049080519060200190620000af9291906200033c565b505050620000d2620000c6620000f660201b60201c565b620000fe60201b60201c565b620000f0336b43dacaf91c1a84ff08000000620001c460201b60201c565b62000598565b600033905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000237576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200022e9062000424565b60405180910390fd5b6200024b600083836200033260201b60201c565b80600260008282546200025f919062000474565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000312919062000446565b60405180910390a36200032e600083836200033760201b60201c565b5050565b505050565b505050565b8280546200034a90620004db565b90600052602060002090601f0160209004810192826200036e5760008555620003ba565b82601f106200038957805160ff1916838001178555620003ba565b82800160010185558215620003ba579182015b82811115620003b95782518255916020019190600101906200039c565b5b509050620003c99190620003cd565b5090565b5b80821115620003e8576000816000905550600101620003ce565b5090565b6000620003fb601f8362000463565b915062000408826200056f565b602082019050919050565b6200041e81620004d1565b82525050565b600060208201905081810360008301526200043f81620003ec565b9050919050565b60006020820190506200045d600083018462000413565b92915050565b600082825260208201905092915050565b60006200048182620004d1565b91506200048e83620004d1565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620004c657620004c562000511565b5b828201905092915050565b6000819050919050565b60006002820490506001821680620004f457607f821691505b602082108114156200050b576200050a62000540565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6115fd80620005a86000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c8063715018a61161008c578063a457c2d711610066578063a457c2d71461024f578063a9059cbb1461027f578063dd62ed3e146102af578063f2fde38b146102df576100ea565b8063715018a6146102095780638da5cb5b1461021357806395d89b4114610231576100ea565b806323b872dd116100c857806323b872dd1461015b578063313ce5671461018b57806339509351146101a957806370a08231146101d9576100ea565b806306fdde03146100ef578063095ea7b31461010d57806318160ddd1461013d575b600080fd5b6100f76102fb565b604051610104919061100b565b60405180910390f35b61012760048036038101906101229190610de9565b61038d565b6040516101349190610ff0565b60405180910390f35b6101456103b0565b604051610152919061114d565b60405180910390f35b61017560048036038101906101709190610d9a565b6103ba565b6040516101829190610ff0565b60405180910390f35b6101936103e9565b6040516101a09190611168565b60405180910390f35b6101c360048036038101906101be9190610de9565b6103f2565b6040516101d09190610ff0565b60405180910390f35b6101f360048036038101906101ee9190610d35565b610429565b604051610200919061114d565b60405180910390f35b610211610471565b005b61021b610485565b6040516102289190610fd5565b60405180910390f35b6102396104af565b604051610246919061100b565b60405180910390f35b61026960048036038101906102649190610de9565b610541565b6040516102769190610ff0565b60405180910390f35b61029960048036038101906102949190610de9565b6105b8565b6040516102a69190610ff0565b60405180910390f35b6102c960048036038101906102c49190610d5e565b6105db565b6040516102d6919061114d565b60405180910390f35b6102f960048036038101906102f49190610d35565b610662565b005b60606003805461030a9061127d565b80601f01602080910402602001604051908101604052809291908181526020018280546103369061127d565b80156103835780601f1061035857610100808354040283529160200191610383565b820191906000526020600020905b81548152906001019060200180831161036657829003601f168201915b5050505050905090565b6000806103986106e6565b90506103a58185856106ee565b600191505092915050565b6000600254905090565b6000806103c56106e6565b90506103d28582856108b9565b6103dd858585610945565b60019150509392505050565b60006012905090565b6000806103fd6106e6565b905061041e81858561040f85896105db565b610419919061119f565b6106ee565b600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610479610bbd565b6104836000610c3b565b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546104be9061127d565b80601f01602080910402602001604051908101604052809291908181526020018280546104ea9061127d565b80156105375780601f1061050c57610100808354040283529160200191610537565b820191906000526020600020905b81548152906001019060200180831161051a57829003601f168201915b5050505050905090565b60008061054c6106e6565b9050600061055a82866105db565b90508381101561059f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105969061112d565b60405180910390fd5b6105ac82868684036106ee565b60019250505092915050565b6000806105c36106e6565b90506105d0818585610945565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61066a610bbd565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156106da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106d19061104d565b60405180910390fd5b6106e381610c3b565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561075e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107559061110d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156107ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c59061106d565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108ac919061114d565b60405180910390a3505050565b60006108c584846105db565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461093f5781811015610931576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109289061108d565b60405180910390fd5b61093e84848484036106ee565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ac906110ed565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a25576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1c9061102d565b60405180910390fd5b610a30838383610d01565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610ab6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aad906110ad565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ba4919061114d565b60405180910390a3610bb7848484610d06565b50505050565b610bc56106e6565b73ffffffffffffffffffffffffffffffffffffffff16610be3610485565b73ffffffffffffffffffffffffffffffffffffffff1614610c39576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c30906110cd565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b600081359050610d1a81611599565b92915050565b600081359050610d2f816115b0565b92915050565b600060208284031215610d4757600080fd5b6000610d5584828501610d0b565b91505092915050565b60008060408385031215610d7157600080fd5b6000610d7f85828601610d0b565b9250506020610d9085828601610d0b565b9150509250929050565b600080600060608486031215610daf57600080fd5b6000610dbd86828701610d0b565b9350506020610dce86828701610d0b565b9250506040610ddf86828701610d20565b9150509250925092565b60008060408385031215610dfc57600080fd5b6000610e0a85828601610d0b565b9250506020610e1b85828601610d20565b9150509250929050565b610e2e816111f5565b82525050565b610e3d81611207565b82525050565b6000610e4e82611183565b610e58818561118e565b9350610e6881856020860161124a565b610e718161130d565b840191505092915050565b6000610e8960238361118e565b9150610e948261131e565b604082019050919050565b6000610eac60268361118e565b9150610eb78261136d565b604082019050919050565b6000610ecf60228361118e565b9150610eda826113bc565b604082019050919050565b6000610ef2601d8361118e565b9150610efd8261140b565b602082019050919050565b6000610f1560268361118e565b9150610f2082611434565b604082019050919050565b6000610f3860208361118e565b9150610f4382611483565b602082019050919050565b6000610f5b60258361118e565b9150610f66826114ac565b604082019050919050565b6000610f7e60248361118e565b9150610f89826114fb565b604082019050919050565b6000610fa160258361118e565b9150610fac8261154a565b604082019050919050565b610fc081611233565b82525050565b610fcf8161123d565b82525050565b6000602082019050610fea6000830184610e25565b92915050565b60006020820190506110056000830184610e34565b92915050565b600060208201905081810360008301526110258184610e43565b905092915050565b6000602082019050818103600083015261104681610e7c565b9050919050565b6000602082019050818103600083015261106681610e9f565b9050919050565b6000602082019050818103600083015261108681610ec2565b9050919050565b600060208201905081810360008301526110a681610ee5565b9050919050565b600060208201905081810360008301526110c681610f08565b9050919050565b600060208201905081810360008301526110e681610f2b565b9050919050565b6000602082019050818103600083015261110681610f4e565b9050919050565b6000602082019050818103600083015261112681610f71565b9050919050565b6000602082019050818103600083015261114681610f94565b9050919050565b60006020820190506111626000830184610fb7565b92915050565b600060208201905061117d6000830184610fc6565b92915050565b600081519050919050565b600082825260208201905092915050565b60006111aa82611233565b91506111b583611233565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156111ea576111e96112af565b5b828201905092915050565b600061120082611213565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561126857808201518184015260208101905061124d565b83811115611277576000848401525b50505050565b6000600282049050600182168061129557607f821691505b602082108114156112a9576112a86112de565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6115a2816111f5565b81146115ad57600080fd5b50565b6115b981611233565b81146115c457600080fd5b5056fea264697066735822122005732107a6c826ce4b719535b154f031eff533eee6989c03c3979b6fbd21136a64736f6c63430008040033

0x608060405234801561001057600080fd5b50600436106100ea5760003560e01c8063715018a61161008c578063a457c2d711610066578063a457c2d71461024f578063a9059cbb1461027f578063dd62ed3e146102af578063f2fde38b146102df576100ea565b8063715018a6146102095780638da5cb5b1461021357806395d89b4114610231576100ea565b806323b872dd116100c857806323b872dd1461015b578063313ce5671461018b57806339509351146101a957806370a08231146101d9576100ea565b806306fdde03146100ef578063095ea7b31461010d57806318160ddd1461013d575b600080fd5b6100f76102fb565b604051610104919061100b565b60405180910390f35b61012760048036038101906101229190610de9565b61038d565b6040516101349190610ff0565b60405180910390f35b6101456103b0565b604051610152919061114d565b60405180910390f35b61017560048036038101906101709190610d9a565b6103ba565b6040516101829190610ff0565b60405180910390f35b6101936103e9565b6040516101a09190611168565b60405180910390f35b6101c360048036038101906101be9190610de9565b6103f2565b6040516101d09190610ff0565b60405180910390f35b6101f360048036038101906101ee9190610d35565b610429565b604051610200919061114d565b60405180910390f35b610211610471565b005b61021b610485565b6040516102289190610fd5565b60405180910390f35b6102396104af565b604051610246919061100b565b60405180910390f35b61026960048036038101906102649190610de9565b610541565b6040516102769190610ff0565b60405180910390f35b61029960048036038101906102949190610de9565b6105b8565b6040516102a69190610ff0565b60405180910390f35b6102c960048036038101906102c49190610d5e565b6105db565b6040516102d6919061114d565b60405180910390f35b6102f960048036038101906102f49190610d35565b610662565b005b60606003805461030a9061127d565b80601f01602080910402602001604051908101604052809291908181526020018280546103369061127d565b80156103835780601f1061035857610100808354040283529160200191610383565b820191906000526020600020905b81548152906001019060200180831161036657829003601f168201915b5050505050905090565b6000806103986106e6565b90506103a58185856106ee565b600191505092915050565b6000600254905090565b6000806103c56106e6565b90506103d28582856108b9565b6103dd858585610945565b60019150509392505050565b60006012905090565b6000806103fd6106e6565b905061041e81858561040f85896105db565b610419919061119f565b6106ee565b600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610479610bbd565b6104836000610c3b565b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546104be9061127d565b80601f01602080910402602001604051908101604052809291908181526020018280546104ea9061127d565b80156105375780601f1061050c57610100808354040283529160200191610537565b820191906000526020600020905b81548152906001019060200180831161051a57829003601f168201915b5050505050905090565b60008061054c6106e6565b9050600061055a82866105db565b90508381101561059f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105969061112d565b60405180910390fd5b6105ac82868684036106ee565b60019250505092915050565b6000806105c36106e6565b90506105d0818585610945565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61066a610bbd565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156106da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106d19061104d565b60405180910390fd5b6106e381610c3b565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561075e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107559061110d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156107ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c59061106d565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108ac919061114d565b60405180910390a3505050565b60006108c584846105db565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461093f5781811015610931576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109289061108d565b60405180910390fd5b61093e84848484036106ee565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ac906110ed565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a25576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1c9061102d565b60405180910390fd5b610a30838383610d01565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610ab6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aad906110ad565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ba4919061114d565b60405180910390a3610bb7848484610d06565b50505050565b610bc56106e6565b73ffffffffffffffffffffffffffffffffffffffff16610be3610485565b73ffffffffffffffffffffffffffffffffffffffff1614610c39576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c30906110cd565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b600081359050610d1a81611599565b92915050565b600081359050610d2f816115b0565b92915050565b600060208284031215610d4757600080fd5b6000610d5584828501610d0b565b91505092915050565b60008060408385031215610d7157600080fd5b6000610d7f85828601610d0b565b9250506020610d9085828601610d0b565b9150509250929050565b600080600060608486031215610daf57600080fd5b6000610dbd86828701610d0b565b9350506020610dce86828701610d0b565b9250506040610ddf86828701610d20565b9150509250925092565b60008060408385031215610dfc57600080fd5b6000610e0a85828601610d0b565b9250506020610e1b85828601610d20565b9150509250929050565b610e2e816111f5565b82525050565b610e3d81611207565b82525050565b6000610e4e82611183565b610e58818561118e565b9350610e6881856020860161124a565b610e718161130d565b840191505092915050565b6000610e8960238361118e565b9150610e948261131e565b604082019050919050565b6000610eac60268361118e565b9150610eb78261136d565b604082019050919050565b6000610ecf60228361118e565b9150610eda826113bc565b604082019050919050565b6000610ef2601d8361118e565b9150610efd8261140b565b602082019050919050565b6000610f1560268361118e565b9150610f2082611434565b604082019050919050565b6000610f3860208361118e565b9150610f4382611483565b602082019050919050565b6000610f5b60258361118e565b9150610f66826114ac565b604082019050919050565b6000610f7e60248361118e565b9150610f89826114fb565b604082019050919050565b6000610fa160258361118e565b9150610fac8261154a565b604082019050919050565b610fc081611233565b82525050565b610fcf8161123d565b82525050565b6000602082019050610fea6000830184610e25565b92915050565b60006020820190506110056000830184610e34565b92915050565b600060208201905081810360008301526110258184610e43565b905092915050565b6000602082019050818103600083015261104681610e7c565b9050919050565b6000602082019050818103600083015261106681610e9f565b9050919050565b6000602082019050818103600083015261108681610ec2565b9050919050565b600060208201905081810360008301526110a681610ee5565b9050919050565b600060208201905081810360008301526110c681610f08565b9050919050565b600060208201905081810360008301526110e681610f2b565b9050919050565b6000602082019050818103600083015261110681610f4e565b9050919050565b6000602082019050818103600083015261112681610f71565b9050919050565b6000602082019050818103600083015261114681610f94565b9050919050565b60006020820190506111626000830184610fb7565b92915050565b600060208201905061117d6000830184610fc6565b92915050565b600081519050919050565b600082825260208201905092915050565b60006111aa82611233565b91506111b583611233565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156111ea576111e96112af565b5b828201905092915050565b600061120082611213565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561126857808201518184015260208101905061124d565b83811115611277576000848401525b50505050565b6000600282049050600182168061129557607f821691505b602082108114156112a9576112a86112de565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6115a2816111f5565b81146115ad57600080fd5b50565b6115b981611233565b81146115c457600080fd5b5056fea264697066735822122005732107a6c826ce4b719535b154f031eff533eee6989c03c3979b6fbd21136a64736f6c63430008040033

19919:154:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8731:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11082:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9851:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11863:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9693:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12567:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10022:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2677:103;;;:::i;:::-;;2029:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8950:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13308:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10355:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10611:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2935:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8731:100;8785:13;8818:5;8811:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8731:100;:::o;11082:201::-;11165:4;11182:13;11198:12;:10;:12::i;:::-;11182:28;;11221:32;11230:5;11237:7;11246:6;11221:8;:32::i;:::-;11271:4;11264:11;;;11082:201;;;;:::o;9851:108::-;9912:7;9939:12;;9932:19;;9851:108;:::o;11863:295::-;11994:4;12011:15;12029:12;:10;:12::i;:::-;12011:30;;12052:38;12068:4;12074:7;12083:6;12052:15;:38::i;:::-;12101:27;12111:4;12117:2;12121:6;12101:9;:27::i;:::-;12146:4;12139:11;;;11863:295;;;;;:::o;9693:93::-;9751:5;9776:2;9769:9;;9693:93;:::o;12567:238::-;12655:4;12672:13;12688:12;:10;:12::i;:::-;12672:28;;12711:64;12720:5;12727:7;12764:10;12736:25;12746:5;12753:7;12736:9;:25::i;:::-;:38;;;;:::i;:::-;12711:8;:64::i;:::-;12793:4;12786:11;;;12567:238;;;;:::o;10022:127::-;10096:7;10123:9;:18;10133:7;10123:18;;;;;;;;;;;;;;;;10116:25;;10022:127;;;:::o;2677:103::-;1915:13;:11;:13::i;:::-;2742:30:::1;2769:1;2742:18;:30::i;:::-;2677:103::o:0;2029:87::-;2075:7;2102:6;;;;;;;;;;;2095:13;;2029:87;:::o;8950:104::-;9006:13;9039:7;9032:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8950:104;:::o;13308:436::-;13401:4;13418:13;13434:12;:10;:12::i;:::-;13418:28;;13457:24;13484:25;13494:5;13501:7;13484:9;:25::i;:::-;13457:52;;13548:15;13528:16;:35;;13520:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;13641:60;13650:5;13657:7;13685:15;13666:16;:34;13641:8;:60::i;:::-;13732:4;13725:11;;;;13308:436;;;;:::o;10355:193::-;10434:4;10451:13;10467:12;:10;:12::i;:::-;10451:28;;10490;10500:5;10507:2;10511:6;10490:9;:28::i;:::-;10536:4;10529:11;;;10355:193;;;;:::o;10611:151::-;10700:7;10727:11;:18;10739:5;10727:18;;;;;;;;;;;;;;;:27;10746:7;10727:27;;;;;;;;;;;;;;;;10720:34;;10611:151;;;;:::o;2935:201::-;1915:13;:11;:13::i;:::-;3044:1:::1;3024:22;;:8;:22;;;;3016:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;3100:28;3119:8;3100:18;:28::i;:::-;2935:201:::0;:::o;738:98::-;791:7;818:10;811:17;;738:98;:::o;17335:380::-;17488:1;17471:19;;:5;:19;;;;17463:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;17569:1;17550:21;;:7;:21;;;;17542:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;17653:6;17623:11;:18;17635:5;17623:18;;;;;;;;;;;;;;;:27;17642:7;17623:27;;;;;;;;;;;;;;;:36;;;;17691:7;17675:32;;17684:5;17675:32;;;17700:6;17675:32;;;;;;:::i;:::-;;;;;;;;17335:380;;;:::o;18006:453::-;18141:24;18168:25;18178:5;18185:7;18168:9;:25::i;:::-;18141:52;;18228:17;18208:16;:37;18204:248;;18290:6;18270:16;:26;;18262:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18374:51;18383:5;18390:7;18418:6;18399:16;:25;18374:8;:51::i;:::-;18204:248;18006:453;;;;:::o;14214:840::-;14361:1;14345:18;;:4;:18;;;;14337:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14438:1;14424:16;;:2;:16;;;;14416:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;14493:38;14514:4;14520:2;14524:6;14493:20;:38::i;:::-;14544:19;14566:9;:15;14576:4;14566:15;;;;;;;;;;;;;;;;14544:37;;14615:6;14600:11;:21;;14592:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;14732:6;14718:11;:20;14700:9;:15;14710:4;14700:15;;;;;;;;;;;;;;;:38;;;;14935:6;14918:9;:13;14928:2;14918:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;14985:2;14970:26;;14979:4;14970:26;;;14989:6;14970:26;;;;;;:::i;:::-;;;;;;;;15009:37;15029:4;15035:2;15039:6;15009:19;:37::i;:::-;14214:840;;;;:::o;2194:132::-;2269:12;:10;:12::i;:::-;2258:23;;:7;:5;:7::i;:::-;:23;;;2250:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2194:132::o;3296:191::-;3370:16;3389:6;;;;;;;;;;;3370:25;;3415:8;3406:6;;:17;;;;;;;;;;;;;;;;;;3470:8;3439:40;;3460:8;3439:40;;;;;;;;;;;;3296:191;;:::o;19059:125::-;;;;:::o;19788:124::-;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;356:6;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::-;633:6;641;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::-;1055:6;1063;1071;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::-;1604:6;1612;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:118::-;2036:24;2054:5;2036:24;:::i;:::-;2031:3;2024:37;2014:53;;:::o;2073:109::-;2154:21;2169:5;2154:21;:::i;:::-;2149:3;2142:34;2132:50;;:::o;2188:364::-;2276:3;2304:39;2337:5;2304:39;:::i;:::-;2359:71;2423:6;2418:3;2359:71;:::i;:::-;2352:78;;2439:52;2484:6;2479:3;2472:4;2465:5;2461:16;2439:52;:::i;:::-;2516:29;2538:6;2516:29;:::i;:::-;2511:3;2507:39;2500:46;;2280:272;;;;;:::o;2558:366::-;2700:3;2721:67;2785:2;2780:3;2721:67;:::i;:::-;2714:74;;2797:93;2886:3;2797:93;:::i;:::-;2915:2;2910:3;2906:12;2899:19;;2704:220;;;:::o;2930:366::-;3072:3;3093:67;3157:2;3152:3;3093:67;:::i;:::-;3086:74;;3169:93;3258:3;3169:93;:::i;:::-;3287:2;3282:3;3278:12;3271:19;;3076:220;;;:::o;3302:366::-;3444:3;3465:67;3529:2;3524:3;3465:67;:::i;:::-;3458:74;;3541:93;3630:3;3541:93;:::i;:::-;3659:2;3654:3;3650:12;3643:19;;3448:220;;;:::o;3674:366::-;3816:3;3837:67;3901:2;3896:3;3837:67;:::i;:::-;3830:74;;3913:93;4002:3;3913:93;:::i;:::-;4031:2;4026:3;4022:12;4015:19;;3820:220;;;:::o;4046:366::-;4188:3;4209:67;4273:2;4268:3;4209:67;:::i;:::-;4202:74;;4285:93;4374:3;4285:93;:::i;:::-;4403:2;4398:3;4394:12;4387:19;;4192:220;;;:::o;4418:366::-;4560:3;4581:67;4645:2;4640:3;4581:67;:::i;:::-;4574:74;;4657:93;4746:3;4657:93;:::i;:::-;4775:2;4770:3;4766:12;4759:19;;4564:220;;;:::o;4790:366::-;4932:3;4953:67;5017:2;5012:3;4953:67;:::i;:::-;4946:74;;5029:93;5118:3;5029:93;:::i;:::-;5147:2;5142:3;5138:12;5131:19;;4936:220;;;:::o;5162:366::-;5304:3;5325:67;5389:2;5384:3;5325:67;:::i;:::-;5318:74;;5401:93;5490:3;5401:93;:::i;:::-;5519:2;5514:3;5510:12;5503:19;;5308:220;;;:::o;5534:366::-;5676:3;5697:67;5761:2;5756:3;5697:67;:::i;:::-;5690:74;;5773:93;5862:3;5773:93;:::i;:::-;5891:2;5886:3;5882:12;5875:19;;5680:220;;;:::o;5906:118::-;5993:24;6011:5;5993:24;:::i;:::-;5988:3;5981:37;5971:53;;:::o;6030:112::-;6113:22;6129:5;6113:22;:::i;:::-;6108:3;6101:35;6091:51;;:::o;6148:222::-;6241:4;6279:2;6268:9;6264:18;6256:26;;6292:71;6360:1;6349:9;6345:17;6336:6;6292:71;:::i;:::-;6246:124;;;;:::o;6376:210::-;6463:4;6501:2;6490:9;6486:18;6478:26;;6514:65;6576:1;6565:9;6561:17;6552:6;6514:65;:::i;:::-;6468:118;;;;:::o;6592:313::-;6705:4;6743:2;6732:9;6728:18;6720:26;;6792:9;6786:4;6782:20;6778:1;6767:9;6763:17;6756:47;6820:78;6893:4;6884:6;6820:78;:::i;:::-;6812:86;;6710:195;;;;:::o;6911:419::-;7077:4;7115:2;7104:9;7100:18;7092:26;;7164:9;7158:4;7154:20;7150:1;7139:9;7135:17;7128:47;7192:131;7318:4;7192:131;:::i;:::-;7184:139;;7082:248;;;:::o;7336:419::-;7502:4;7540:2;7529:9;7525:18;7517:26;;7589:9;7583:4;7579:20;7575:1;7564:9;7560:17;7553:47;7617:131;7743:4;7617:131;:::i;:::-;7609:139;;7507:248;;;:::o;7761:419::-;7927:4;7965:2;7954:9;7950:18;7942:26;;8014:9;8008:4;8004:20;8000:1;7989:9;7985:17;7978:47;8042:131;8168:4;8042:131;:::i;:::-;8034:139;;7932:248;;;:::o;8186:419::-;8352:4;8390:2;8379:9;8375:18;8367:26;;8439:9;8433:4;8429:20;8425:1;8414:9;8410:17;8403:47;8467:131;8593:4;8467:131;:::i;:::-;8459:139;;8357:248;;;:::o;8611:419::-;8777:4;8815:2;8804:9;8800:18;8792:26;;8864:9;8858:4;8854:20;8850:1;8839:9;8835:17;8828:47;8892:131;9018:4;8892:131;:::i;:::-;8884:139;;8782:248;;;:::o;9036:419::-;9202:4;9240:2;9229:9;9225:18;9217:26;;9289:9;9283:4;9279:20;9275:1;9264:9;9260:17;9253:47;9317:131;9443:4;9317:131;:::i;:::-;9309:139;;9207:248;;;:::o;9461:419::-;9627:4;9665:2;9654:9;9650:18;9642:26;;9714:9;9708:4;9704:20;9700:1;9689:9;9685:17;9678:47;9742:131;9868:4;9742:131;:::i;:::-;9734:139;;9632:248;;;:::o;9886:419::-;10052:4;10090:2;10079:9;10075:18;10067:26;;10139:9;10133:4;10129:20;10125:1;10114:9;10110:17;10103:47;10167:131;10293:4;10167:131;:::i;:::-;10159:139;;10057:248;;;:::o;10311:419::-;10477:4;10515:2;10504:9;10500:18;10492:26;;10564:9;10558:4;10554:20;10550:1;10539:9;10535:17;10528:47;10592:131;10718:4;10592:131;:::i;:::-;10584:139;;10482:248;;;:::o;10736:222::-;10829:4;10867:2;10856:9;10852:18;10844:26;;10880:71;10948:1;10937:9;10933:17;10924:6;10880:71;:::i;:::-;10834:124;;;;:::o;10964:214::-;11053:4;11091:2;11080:9;11076:18;11068:26;;11104:67;11168:1;11157:9;11153:17;11144:6;11104:67;:::i;:::-;11058:120;;;;:::o;11184:99::-;11236:6;11270:5;11264:12;11254:22;;11243:40;;;:::o;11289:169::-;11373:11;11407:6;11402:3;11395:19;11447:4;11442:3;11438:14;11423:29;;11385:73;;;;:::o;11464:305::-;11504:3;11523:20;11541:1;11523:20;:::i;:::-;11518:25;;11557:20;11575:1;11557:20;:::i;:::-;11552:25;;11711:1;11643:66;11639:74;11636:1;11633:81;11630:2;;;11717:18;;:::i;:::-;11630:2;11761:1;11758;11754:9;11747:16;;11508:261;;;;:::o;11775:96::-;11812:7;11841:24;11859:5;11841:24;:::i;:::-;11830:35;;11820:51;;;:::o;11877:90::-;11911:7;11954:5;11947:13;11940:21;11929:32;;11919:48;;;:::o;11973:126::-;12010:7;12050:42;12043:5;12039:54;12028:65;;12018:81;;;:::o;12105:77::-;12142:7;12171:5;12160:16;;12150:32;;;:::o;12188:86::-;12223:7;12263:4;12256:5;12252:16;12241:27;;12231:43;;;:::o;12280:307::-;12348:1;12358:113;12372:6;12369:1;12366:13;12358:113;;;12457:1;12452:3;12448:11;12442:18;12438:1;12433:3;12429:11;12422:39;12394:2;12391:1;12387:10;12382:15;;12358:113;;;12489:6;12486:1;12483:13;12480:2;;;12569:1;12560:6;12555:3;12551:16;12544:27;12480:2;12329:258;;;;:::o;12593:320::-;12637:6;12674:1;12668:4;12664:12;12654:22;;12721:1;12715:4;12711:12;12742:18;12732:2;;12798:4;12790:6;12786:17;12776:27;;12732:2;12860;12852:6;12849:14;12829:18;12826:38;12823:2;;;12879:18;;:::i;:::-;12823:2;12644:269;;;;:::o;12919:180::-;12967:77;12964:1;12957:88;13064:4;13061:1;13054:15;13088:4;13085:1;13078:15;13105:180;13153:77;13150:1;13143:88;13250:4;13247:1;13240:15;13274:4;13271:1;13264:15;13291:102;13332:6;13383:2;13379:7;13374:2;13367:5;13363:14;13359:28;13349:38;;13339:54;;;:::o;13399:222::-;13539:34;13535:1;13527:6;13523:14;13516:58;13608:5;13603:2;13595:6;13591:15;13584:30;13505:116;:::o;13627:225::-;13767:34;13763:1;13755:6;13751:14;13744:58;13836:8;13831:2;13823:6;13819:15;13812:33;13733:119;:::o;13858:221::-;13998:34;13994:1;13986:6;13982:14;13975:58;14067:4;14062:2;14054:6;14050:15;14043:29;13964:115;:::o;14085:179::-;14225:31;14221:1;14213:6;14209:14;14202:55;14191:73;:::o;14270:225::-;14410:34;14406:1;14398:6;14394:14;14387:58;14479:8;14474:2;14466:6;14462:15;14455:33;14376:119;:::o;14501:182::-;14641:34;14637:1;14629:6;14625:14;14618:58;14607:76;:::o;14689:224::-;14829:34;14825:1;14817:6;14813:14;14806:58;14898:7;14893:2;14885:6;14881:15;14874:32;14795:118;:::o;14919:223::-;15059:34;15055:1;15047:6;15043:14;15036:58;15128:6;15123:2;15115:6;15111:15;15104:31;15025:117;:::o;15148:224::-;15288:34;15284:1;15276:6;15272:14;15265:58;15357:7;15352:2;15344:6;15340:15;15333:32;15254:118;:::o;15378:122::-;15451:24;15469:5;15451:24;:::i;:::-;15444:5;15441:35;15431:2;;15490:1;15487;15480:12;15431:2;15421:79;:::o;15506:122::-;15579:24;15597:5;15579:24;:::i;:::-;15572:5;15569:35;15559:2;;15618:1;15615;15608:12;15559:2;15549:79;:::o

ipfs://05732107a6c826ce4b719535b154f031eff533eee6989c03c3979b6fbd21136a