Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ... 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(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address from, addr ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _spendAllowance(address owne ...    - function _beforeTokenTransfer(address ...    - function _afterTokenTransfer(address ...  contract BasiliskToken is ERC20 *    - function setOwner(address newOwner)    - function owner()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// File: @openzeppelin/contracts/utils/Context.sol


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

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol


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

pragma solidity ^0.8.0;

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

// File: @openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol


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

// File: @openzeppelin/contracts/token/ERC20/ERC20.sol


// OpenZeppelin Contracts (last updated v4.9.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].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * 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}.
     *
     * 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 default value returned by this function, unless
     * it's 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 {}
}

// File: contracts/BasiliskToken.sol



pragma solidity ^0.8.0;


contract BasiliskToken is ERC20 {
    address private _owner;

    constructor() ERC20('Basilisk', 'BASI') {
        _owner = msg.sender;
        _mint(_owner, 420000000000000000000000000);
    }

    function setOwner(address newOwner) external {
        require(msg.sender == _owner, 'Only the owner can change ownership');
        _owner = newOwner;
    }

    function owner() public view returns (address) {
        return _owner;
    }
}

• 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":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"setOwner","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"}]

60806040523480156200001157600080fd5b506040518060400160405280600881526020017f426173696c69736b0000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f4241534900000000000000000000000000000000000000000000000000000000815250816003908051906020019062000096929190620002b1565b508060049080519060200190620000af929190620002b1565b50505033600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555062000133600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166b015b6a759f4835dc240000006200013960201b60201c565b620004ff565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620001ac576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620001a390620003b4565b60405180910390fd5b620001c060008383620002a760201b60201c565b8060026000828254620001d4919062000404565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002879190620003d6565b60405180910390a3620002a360008383620002ac60201b60201c565b5050565b505050565b505050565b828054620002bf906200046b565b90600052602060002090601f016020900481019282620002e357600085556200032f565b82601f10620002fe57805160ff19168380011785556200032f565b828001600101855582156200032f579182015b828111156200032e57825182559160200191906001019062000311565b5b5090506200033e919062000342565b5090565b5b808211156200035d57600081600090555060010162000343565b5090565b600062000370601f83620003f3565b91507f45524332303a206d696e7420746f20746865207a65726f2061646472657373006000830152602082019050919050565b620003ae8162000461565b82525050565b60006020820190508181036000830152620003cf8162000361565b9050919050565b6000602082019050620003ed6000830184620003a3565b92915050565b600082825260208201905092915050565b6000620004118262000461565b91506200041e8362000461565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620004565762000455620004a1565b5b828201905092915050565b6000819050919050565b600060028204905060018216806200048457607f821691505b602082108114156200049b576200049a620004d0565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b611404806200050f6000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063395093511161008c57806395d89b411161006657806395d89b4114610228578063a457c2d714610246578063a9059cbb14610276578063dd62ed3e146102a6576100cf565b806339509351146101aa57806370a08231146101da5780638da5cb5b1461020a576100cf565b806306fdde03146100d4578063095ea7b3146100f257806313af40351461012257806318160ddd1461013e57806323b872dd1461015c578063313ce5671461018c575b600080fd5b6100dc6102d6565b6040516100e991906110ad565b60405180910390f35b61010c60048036038101906101079190610cbc565b610368565b6040516101199190611092565b60405180910390f35b61013c60048036038101906101379190610c08565b61038b565b005b61014661045f565b60405161015391906111cf565b60405180910390f35b61017660048036038101906101719190610c6d565b610469565b6040516101839190611092565b60405180910390f35b610194610498565b6040516101a191906111ea565b60405180910390f35b6101c460048036038101906101bf9190610cbc565b6104a1565b6040516101d19190611092565b60405180910390f35b6101f460048036038101906101ef9190610c08565b6104d8565b60405161020191906111cf565b60405180910390f35b610212610520565b60405161021f9190611077565b60405180910390f35b61023061054a565b60405161023d91906110ad565b60405180910390f35b610260600480360381019061025b9190610cbc565b6105dc565b60405161026d9190611092565b60405180910390f35b610290600480360381019061028b9190610cbc565b610653565b60405161029d9190611092565b60405180910390f35b6102c060048036038101906102bb9190610c31565b610676565b6040516102cd91906111cf565b60405180910390f35b6060600380546102e5906112ff565b80601f0160208091040260200160405190810160405280929190818152602001828054610311906112ff565b801561035e5780601f106103335761010080835404028352916020019161035e565b820191906000526020600020905b81548152906001019060200180831161034157829003601f168201915b5050505050905090565b6000806103736106fd565b9050610380818585610705565b600191505092915050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461041b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104129061118f565b60405180910390fd5b80600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600254905090565b6000806104746106fd565b90506104818582856108d0565b61048c85858561095c565b60019150509392505050565b60006012905090565b6000806104ac6106fd565b90506104cd8185856104be8589610676565b6104c89190611221565b610705565b600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060048054610559906112ff565b80601f0160208091040260200160405190810160405280929190818152602001828054610585906112ff565b80156105d25780601f106105a7576101008083540402835291602001916105d2565b820191906000526020600020905b8154815290600101906020018083116105b557829003601f168201915b5050505050905090565b6000806105e76106fd565b905060006105f58286610676565b90508381101561063a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610631906111af565b60405180910390fd5b6106478286868403610705565b60019250505092915050565b60008061065e6106fd565b905061066b81858561095c565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610775576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076c9061116f565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156107e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107dc906110ef565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108c391906111cf565b60405180910390a3505050565b60006108dc8484610676565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109565781811015610948576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093f9061110f565b60405180910390fd5b6109558484848403610705565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c39061114f565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a33906110cf565b60405180910390fd5b610a47838383610bd4565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610acd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac49061112f565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610bbb91906111cf565b60405180910390a3610bce848484610bd9565b50505050565b505050565b505050565b600081359050610bed816113a0565b92915050565b600081359050610c02816113b7565b92915050565b600060208284031215610c1a57600080fd5b6000610c2884828501610bde565b91505092915050565b60008060408385031215610c4457600080fd5b6000610c5285828601610bde565b9250506020610c6385828601610bde565b9150509250929050565b600080600060608486031215610c8257600080fd5b6000610c9086828701610bde565b9350506020610ca186828701610bde565b9250506040610cb286828701610bf3565b9150509250925092565b60008060408385031215610ccf57600080fd5b6000610cdd85828601610bde565b9250506020610cee85828601610bf3565b9150509250929050565b610d0181611277565b82525050565b610d1081611289565b82525050565b6000610d2182611205565b610d2b8185611210565b9350610d3b8185602086016112cc565b610d448161138f565b840191505092915050565b6000610d5c602383611210565b91507f45524332303a207472616e7366657220746f20746865207a65726f206164647260008301527f65737300000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610dc2602283611210565b91507f45524332303a20617070726f766520746f20746865207a65726f20616464726560008301527f73730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610e28601d83611210565b91507f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006000830152602082019050919050565b6000610e68602683611210565b91507f45524332303a207472616e7366657220616d6f756e742065786365656473206260008301527f616c616e636500000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610ece602583611210565b91507f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008301527f64726573730000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610f34602483611210565b91507f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610f9a602383611210565b91507f4f6e6c7920746865206f776e65722063616e206368616e6765206f776e65727360008301527f68697000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000611000602583611210565b91507f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008301527f207a65726f0000000000000000000000000000000000000000000000000000006020830152604082019050919050565b611062816112b5565b82525050565b611071816112bf565b82525050565b600060208201905061108c6000830184610cf8565b92915050565b60006020820190506110a76000830184610d07565b92915050565b600060208201905081810360008301526110c78184610d16565b905092915050565b600060208201905081810360008301526110e881610d4f565b9050919050565b6000602082019050818103600083015261110881610db5565b9050919050565b6000602082019050818103600083015261112881610e1b565b9050919050565b6000602082019050818103600083015261114881610e5b565b9050919050565b6000602082019050818103600083015261116881610ec1565b9050919050565b6000602082019050818103600083015261118881610f27565b9050919050565b600060208201905081810360008301526111a881610f8d565b9050919050565b600060208201905081810360008301526111c881610ff3565b9050919050565b60006020820190506111e46000830184611059565b92915050565b60006020820190506111ff6000830184611068565b92915050565b600081519050919050565b600082825260208201905092915050565b600061122c826112b5565b9150611237836112b5565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561126c5761126b611331565b5b828201905092915050565b600061128282611295565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156112ea5780820151818401526020810190506112cf565b838111156112f9576000848401525b50505050565b6000600282049050600182168061131757607f821691505b6020821081141561132b5761132a611360565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b6113a981611277565b81146113b457600080fd5b50565b6113c0816112b5565b81146113cb57600080fd5b5056fea2646970667358221220a151f076929c7c9486f2e28c297e604f7ff1245903cdeac8fb0bb9071462137464736f6c63430008000033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063395093511161008c57806395d89b411161006657806395d89b4114610228578063a457c2d714610246578063a9059cbb14610276578063dd62ed3e146102a6576100cf565b806339509351146101aa57806370a08231146101da5780638da5cb5b1461020a576100cf565b806306fdde03146100d4578063095ea7b3146100f257806313af40351461012257806318160ddd1461013e57806323b872dd1461015c578063313ce5671461018c575b600080fd5b6100dc6102d6565b6040516100e991906110ad565b60405180910390f35b61010c60048036038101906101079190610cbc565b610368565b6040516101199190611092565b60405180910390f35b61013c60048036038101906101379190610c08565b61038b565b005b61014661045f565b60405161015391906111cf565b60405180910390f35b61017660048036038101906101719190610c6d565b610469565b6040516101839190611092565b60405180910390f35b610194610498565b6040516101a191906111ea565b60405180910390f35b6101c460048036038101906101bf9190610cbc565b6104a1565b6040516101d19190611092565b60405180910390f35b6101f460048036038101906101ef9190610c08565b6104d8565b60405161020191906111cf565b60405180910390f35b610212610520565b60405161021f9190611077565b60405180910390f35b61023061054a565b60405161023d91906110ad565b60405180910390f35b610260600480360381019061025b9190610cbc565b6105dc565b60405161026d9190611092565b60405180910390f35b610290600480360381019061028b9190610cbc565b610653565b60405161029d9190611092565b60405180910390f35b6102c060048036038101906102bb9190610c31565b610676565b6040516102cd91906111cf565b60405180910390f35b6060600380546102e5906112ff565b80601f0160208091040260200160405190810160405280929190818152602001828054610311906112ff565b801561035e5780601f106103335761010080835404028352916020019161035e565b820191906000526020600020905b81548152906001019060200180831161034157829003601f168201915b5050505050905090565b6000806103736106fd565b9050610380818585610705565b600191505092915050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461041b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104129061118f565b60405180910390fd5b80600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600254905090565b6000806104746106fd565b90506104818582856108d0565b61048c85858561095c565b60019150509392505050565b60006012905090565b6000806104ac6106fd565b90506104cd8185856104be8589610676565b6104c89190611221565b610705565b600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060048054610559906112ff565b80601f0160208091040260200160405190810160405280929190818152602001828054610585906112ff565b80156105d25780601f106105a7576101008083540402835291602001916105d2565b820191906000526020600020905b8154815290600101906020018083116105b557829003601f168201915b5050505050905090565b6000806105e76106fd565b905060006105f58286610676565b90508381101561063a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610631906111af565b60405180910390fd5b6106478286868403610705565b60019250505092915050565b60008061065e6106fd565b905061066b81858561095c565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610775576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076c9061116f565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156107e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107dc906110ef565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108c391906111cf565b60405180910390a3505050565b60006108dc8484610676565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109565781811015610948576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093f9061110f565b60405180910390fd5b6109558484848403610705565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c39061114f565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a33906110cf565b60405180910390fd5b610a47838383610bd4565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610acd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac49061112f565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610bbb91906111cf565b60405180910390a3610bce848484610bd9565b50505050565b505050565b505050565b600081359050610bed816113a0565b92915050565b600081359050610c02816113b7565b92915050565b600060208284031215610c1a57600080fd5b6000610c2884828501610bde565b91505092915050565b60008060408385031215610c4457600080fd5b6000610c5285828601610bde565b9250506020610c6385828601610bde565b9150509250929050565b600080600060608486031215610c8257600080fd5b6000610c9086828701610bde565b9350506020610ca186828701610bde565b9250506040610cb286828701610bf3565b9150509250925092565b60008060408385031215610ccf57600080fd5b6000610cdd85828601610bde565b9250506020610cee85828601610bf3565b9150509250929050565b610d0181611277565b82525050565b610d1081611289565b82525050565b6000610d2182611205565b610d2b8185611210565b9350610d3b8185602086016112cc565b610d448161138f565b840191505092915050565b6000610d5c602383611210565b91507f45524332303a207472616e7366657220746f20746865207a65726f206164647260008301527f65737300000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610dc2602283611210565b91507f45524332303a20617070726f766520746f20746865207a65726f20616464726560008301527f73730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610e28601d83611210565b91507f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006000830152602082019050919050565b6000610e68602683611210565b91507f45524332303a207472616e7366657220616d6f756e742065786365656473206260008301527f616c616e636500000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610ece602583611210565b91507f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008301527f64726573730000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610f34602483611210565b91507f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610f9a602383611210565b91507f4f6e6c7920746865206f776e65722063616e206368616e6765206f776e65727360008301527f68697000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000611000602583611210565b91507f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008301527f207a65726f0000000000000000000000000000000000000000000000000000006020830152604082019050919050565b611062816112b5565b82525050565b611071816112bf565b82525050565b600060208201905061108c6000830184610cf8565b92915050565b60006020820190506110a76000830184610d07565b92915050565b600060208201905081810360008301526110c78184610d16565b905092915050565b600060208201905081810360008301526110e881610d4f565b9050919050565b6000602082019050818103600083015261110881610db5565b9050919050565b6000602082019050818103600083015261112881610e1b565b9050919050565b6000602082019050818103600083015261114881610e5b565b9050919050565b6000602082019050818103600083015261116881610ec1565b9050919050565b6000602082019050818103600083015261118881610f27565b9050919050565b600060208201905081810360008301526111a881610f8d565b9050919050565b600060208201905081810360008301526111c881610ff3565b9050919050565b60006020820190506111e46000830184611059565b92915050565b60006020820190506111ff6000830184611068565b92915050565b600081519050919050565b600082825260208201905092915050565b600061122c826112b5565b9150611237836112b5565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561126c5761126b611331565b5b828201905092915050565b600061128282611295565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156112ea5780820151818401526020810190506112cf565b838111156112f9576000848401525b50505050565b6000600282049050600182168061131757607f821691505b6020821081141561132b5761132a611360565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b6113a981611277565b81146113b457600080fd5b50565b6113c0816112b5565b81146113cb57600080fd5b5056fea2646970667358221220a151f076929c7c9486f2e28c297e604f7ff1245903cdeac8fb0bb9071462137464736f6c63430008000033

17687:459:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6621:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8981:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17896:160;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7750:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9762:261;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7592:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10432:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7921:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18064:79;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6840:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11173:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8254:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8510:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6621:100;6675:13;6708:5;6701:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6621:100;:::o;8981:201::-;9064:4;9081:13;9097:12;:10;:12::i;:::-;9081:28;;9120:32;9129:5;9136:7;9145:6;9120:8;:32::i;:::-;9170:4;9163:11;;;8981:201;;;;:::o;17896:160::-;17974:6;;;;;;;;;;;17960:20;;:10;:20;;;17952:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18040:8;18031:6;;:17;;;;;;;;;;;;;;;;;;17896:160;:::o;7750:108::-;7811:7;7838:12;;7831:19;;7750:108;:::o;9762:261::-;9859:4;9876:15;9894:12;:10;:12::i;:::-;9876:30;;9917:38;9933:4;9939:7;9948:6;9917:15;:38::i;:::-;9966:27;9976:4;9982:2;9986:6;9966:9;:27::i;:::-;10011:4;10004:11;;;9762:261;;;;;:::o;7592:93::-;7650:5;7675:2;7668:9;;7592:93;:::o;10432:238::-;10520:4;10537:13;10553:12;:10;:12::i;:::-;10537:28;;10576:64;10585:5;10592:7;10629:10;10601:25;10611:5;10618:7;10601:9;:25::i;:::-;:38;;;;:::i;:::-;10576:8;:64::i;:::-;10658:4;10651:11;;;10432:238;;;;:::o;7921:127::-;7995:7;8022:9;:18;8032:7;8022:18;;;;;;;;;;;;;;;;8015:25;;7921:127;;;:::o;18064:79::-;18102:7;18129:6;;;;;;;;;;;18122:13;;18064:79;:::o;6840:104::-;6896:13;6929:7;6922:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6840:104;:::o;11173:436::-;11266:4;11283:13;11299:12;:10;:12::i;:::-;11283:28;;11322:24;11349:25;11359:5;11366:7;11349:9;:25::i;:::-;11322:52;;11413:15;11393:16;:35;;11385:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;11506:60;11515:5;11522:7;11550:15;11531:16;:34;11506:8;:60::i;:::-;11597:4;11590:11;;;;11173:436;;;;:::o;8254:193::-;8333:4;8350:13;8366:12;:10;:12::i;:::-;8350:28;;8389;8399:5;8406:2;8410:6;8389:9;:28::i;:::-;8435:4;8428:11;;;8254:193;;;;:::o;8510:151::-;8599:7;8626:11;:18;8638:5;8626:18;;;;;;;;;;;;;;;:27;8645:7;8626:27;;;;;;;;;;;;;;;;8619:34;;8510:151;;;;:::o;679:98::-;732:7;759:10;752:17;;679:98;:::o;15166:346::-;15285:1;15268:19;;:5;:19;;;;15260:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15366:1;15347:21;;:7;:21;;;;15339:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15450:6;15420:11;:18;15432:5;15420:18;;;;;;;;;;;;;;;:27;15439:7;15420:27;;;;;;;;;;;;;;;:36;;;;15488:7;15472:32;;15481:5;15472:32;;;15497:6;15472:32;;;;;;:::i;:::-;;;;;;;;15166:346;;;:::o;15803:419::-;15904:24;15931:25;15941:5;15948:7;15931:9;:25::i;:::-;15904:52;;15991:17;15971:16;:37;15967:248;;16053:6;16033:16;:26;;16025:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;16137:51;16146:5;16153:7;16181:6;16162:16;:25;16137:8;:51::i;:::-;15967:248;15803:419;;;;:::o;12079:806::-;12192:1;12176:18;;:4;:18;;;;12168:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12269:1;12255:16;;:2;:16;;;;12247:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;12324:38;12345:4;12351:2;12355:6;12324:20;:38::i;:::-;12375:19;12397:9;:15;12407:4;12397:15;;;;;;;;;;;;;;;;12375:37;;12446:6;12431:11;:21;;12423:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;12563:6;12549:11;:20;12531:9;:15;12541:4;12531:15;;;;;;;;;;;;;;;:38;;;;12766:6;12749:9;:13;12759:2;12749:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;12816:2;12801:26;;12810:4;12801:26;;;12820:6;12801:26;;;;;;:::i;:::-;;;;;;;;12840:37;12860:4;12866:2;12870:6;12840:19;:37::i;:::-;12079:806;;;;:::o;16822:91::-;;;;:::o;17517:90::-;;;;:::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: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::-;;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:367::-;;2721:67;2785:2;2780:3;2721:67;:::i;:::-;2714:74;;2818:34;2814:1;2809:3;2805:11;2798:55;2884:5;2879:2;2874:3;2870:12;2863:27;2916:2;2911:3;2907:12;2900:19;;2704:221;;;:::o;2931:366::-;;3094:67;3158:2;3153:3;3094:67;:::i;:::-;3087:74;;3191:34;3187:1;3182:3;3178:11;3171:55;3257:4;3252:2;3247:3;3243:12;3236:26;3288:2;3283:3;3279:12;3272:19;;3077:220;;;:::o;3303:327::-;;3466:67;3530:2;3525:3;3466:67;:::i;:::-;3459:74;;3563:31;3559:1;3554:3;3550:11;3543:52;3621:2;3616:3;3612:12;3605:19;;3449:181;;;:::o;3636:370::-;;3799:67;3863:2;3858:3;3799:67;:::i;:::-;3792:74;;3896:34;3892:1;3887:3;3883:11;3876:55;3962:8;3957:2;3952:3;3948:12;3941:30;3997:2;3992:3;3988:12;3981:19;;3782:224;;;:::o;4012:369::-;;4175:67;4239:2;4234:3;4175:67;:::i;:::-;4168:74;;4272:34;4268:1;4263:3;4259:11;4252:55;4338:7;4333:2;4328:3;4324:12;4317:29;4372:2;4367:3;4363:12;4356:19;;4158:223;;;:::o;4387:368::-;;4550:67;4614:2;4609:3;4550:67;:::i;:::-;4543:74;;4647:34;4643:1;4638:3;4634:11;4627:55;4713:6;4708:2;4703:3;4699:12;4692:28;4746:2;4741:3;4737:12;4730:19;;4533:222;;;:::o;4761:367::-;;4924:67;4988:2;4983:3;4924:67;:::i;:::-;4917:74;;5021:34;5017:1;5012:3;5008:11;5001:55;5087:5;5082:2;5077:3;5073:12;5066:27;5119:2;5114:3;5110:12;5103:19;;4907:221;;;:::o;5134:369::-;;5297:67;5361:2;5356:3;5297:67;:::i;:::-;5290:74;;5394:34;5390:1;5385:3;5381:11;5374:55;5460:7;5455:2;5450:3;5446:12;5439:29;5494:2;5489:3;5485:12;5478:19;;5280:223;;;:::o;5509:118::-;5596:24;5614:5;5596:24;:::i;:::-;5591:3;5584:37;5574:53;;:::o;5633:112::-;5716:22;5732:5;5716:22;:::i;:::-;5711:3;5704:35;5694:51;;:::o;5751:222::-;;5882:2;5871:9;5867:18;5859:26;;5895:71;5963:1;5952:9;5948:17;5939:6;5895:71;:::i;:::-;5849:124;;;;:::o;5979:210::-;;6104:2;6093:9;6089:18;6081:26;;6117:65;6179:1;6168:9;6164:17;6155:6;6117:65;:::i;:::-;6071:118;;;;:::o;6195:313::-;;6346:2;6335:9;6331:18;6323:26;;6395:9;6389:4;6385:20;6381:1;6370:9;6366:17;6359:47;6423:78;6496:4;6487:6;6423:78;:::i;:::-;6415:86;;6313:195;;;;:::o;6514:419::-;;6718:2;6707:9;6703:18;6695:26;;6767:9;6761:4;6757:20;6753:1;6742:9;6738:17;6731:47;6795:131;6921:4;6795:131;:::i;:::-;6787:139;;6685:248;;;:::o;6939:419::-;;7143:2;7132:9;7128:18;7120:26;;7192:9;7186:4;7182:20;7178:1;7167:9;7163:17;7156:47;7220:131;7346:4;7220:131;:::i;:::-;7212:139;;7110:248;;;:::o;7364:419::-;;7568:2;7557:9;7553:18;7545:26;;7617:9;7611:4;7607:20;7603:1;7592:9;7588:17;7581:47;7645:131;7771:4;7645:131;:::i;:::-;7637:139;;7535:248;;;:::o;7789:419::-;;7993:2;7982:9;7978:18;7970:26;;8042:9;8036:4;8032:20;8028:1;8017:9;8013:17;8006:47;8070:131;8196:4;8070:131;:::i;:::-;8062:139;;7960:248;;;:::o;8214:419::-;;8418:2;8407:9;8403:18;8395:26;;8467:9;8461:4;8457:20;8453:1;8442:9;8438:17;8431:47;8495:131;8621:4;8495:131;:::i;:::-;8487:139;;8385:248;;;:::o;8639:419::-;;8843:2;8832:9;8828:18;8820:26;;8892:9;8886:4;8882:20;8878:1;8867:9;8863:17;8856:47;8920:131;9046:4;8920:131;:::i;:::-;8912:139;;8810:248;;;:::o;9064:419::-;;9268:2;9257:9;9253:18;9245:26;;9317:9;9311:4;9307:20;9303:1;9292:9;9288:17;9281:47;9345:131;9471:4;9345:131;:::i;:::-;9337:139;;9235:248;;;:::o;9489:419::-;;9693:2;9682:9;9678:18;9670:26;;9742:9;9736:4;9732:20;9728:1;9717:9;9713:17;9706:47;9770:131;9896:4;9770:131;:::i;:::-;9762:139;;9660:248;;;:::o;9914:222::-;;10045:2;10034:9;10030:18;10022:26;;10058:71;10126:1;10115:9;10111:17;10102:6;10058:71;:::i;:::-;10012:124;;;;:::o;10142:214::-;;10269:2;10258:9;10254:18;10246:26;;10282:67;10346:1;10335:9;10331:17;10322:6;10282:67;:::i;:::-;10236:120;;;;:::o;10362:99::-;;10448:5;10442:12;10432:22;;10421:40;;;:::o;10467:169::-;;10585:6;10580:3;10573:19;10625:4;10620:3;10616:14;10601:29;;10563:73;;;;:::o;10642:305::-;;10701:20;10719:1;10701:20;:::i;:::-;10696:25;;10735:20;10753:1;10735:20;:::i;:::-;10730:25;;10889:1;10821:66;10817:74;10814:1;10811:81;10808:2;;;10895:18;;:::i;:::-;10808:2;10939:1;10936;10932:9;10925:16;;10686:261;;;;:::o;10953:96::-;;11019:24;11037:5;11019:24;:::i;:::-;11008:35;;10998:51;;;:::o;11055:90::-;;11132:5;11125:13;11118:21;11107:32;;11097:48;;;:::o;11151:126::-;;11228:42;11221:5;11217:54;11206:65;;11196:81;;;:::o;11283:77::-;;11349:5;11338:16;;11328:32;;;:::o;11366:86::-;;11441:4;11434:5;11430:16;11419:27;;11409:43;;;:::o;11458:307::-;11526:1;11536:113;11550:6;11547:1;11544:13;11536:113;;;11635:1;11630:3;11626:11;11620:18;11616:1;11611:3;11607:11;11600:39;11572:2;11569:1;11565:10;11560:15;;11536:113;;;11667:6;11664:1;11661:13;11658:2;;;11747:1;11738:6;11733:3;11729:16;11722:27;11658:2;11507:258;;;;:::o;11771:320::-;;11852:1;11846:4;11842:12;11832:22;;11899:1;11893:4;11889:12;11920:18;11910:2;;11976:4;11968:6;11964:17;11954:27;;11910:2;12038;12030:6;12027:14;12007:18;12004:38;12001:2;;;12057:18;;:::i;:::-;12001:2;11822:269;;;;:::o;12097:180::-;12145:77;12142:1;12135:88;12242:4;12239:1;12232:15;12266:4;12263:1;12256:15;12283:180;12331:77;12328:1;12321:88;12428:4;12425:1;12418:15;12452:4;12449:1;12442:15;12469:102;;12561:2;12557:7;12552:2;12545:5;12541:14;12537:28;12527:38;;12517:54;;;:::o;12577:122::-;12650:24;12668:5;12650:24;:::i;:::-;12643:5;12640:35;12630:2;;12689:1;12686;12679:12;12630:2;12620:79;:::o;12705:122::-;12778:24;12796:5;12778:24;:::i;:::-;12771:5;12768:35;12758:2;;12817:1;12814;12807:12;12758:2;12748:79;:::o

ipfs://a151f076929c7c9486f2e28c297e604f7ff1245903cdeac8fb0bb90714621374