Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData() interface 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(  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(    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ...  contract HippocratToken is ERC20, ... *    - function mint(address to, uint256 amo ...    - function burn(uint256 amount)    - function burnFrom(address account, ui ...    - function _mint(address account, uint2 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

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

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

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

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

/**
 * @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 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 Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

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

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

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

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

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

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

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

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

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

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

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

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

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

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

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

// OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)

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

contract HippocratToken is ERC20, Ownable {
    // set upper limit as constant to prevent arbitrary minting
    uint256 public constant UPPER_LIMIT = 108473427338 * (10**16);
    // Hippocrat minted at creation
    constructor(uint256 initialSupply) ERC20("Hippocrat", "HPO") {
        _mint(msg.sender, initialSupply);
    }
    // ERC20 is mintable
    function mint(address to, uint256 amount) public onlyOwner {
        _mint(to, amount);
    }
    // ERC20 is burnable
    function burn(uint256 amount) public {
        _burn(msg.sender, amount);
    }
    function burnFrom(address account, uint256 amount) public {
        _spendAllowance(account, msg.sender, amount);
        _burn(account, amount);
    }
    // ERC20 is capped
    function _mint(address account, uint256 amount) internal override {
        require(ERC20.totalSupply() + amount <= UPPER_LIMIT, "ERC20Capped: cap exceeded");
        super._mint(account, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"initialSupply","type":"uint256"}],"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":[],"name":"UPPER_LIMIT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"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"}]

60806040523480156200001157600080fd5b50604051620026253803806200262583398181016040528101906200003791906200042a565b6040518060400160405280600981526020017f486970706f6372617400000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f48504f00000000000000000000000000000000000000000000000000000000008152508160039081620000b49190620006cc565b508060049081620000c69190620006cc565b505050620000e9620000dd6200010260201b60201c565b6200010a60201b60201c565b620000fb3382620001d060201b60201c565b5062000940565b600033905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b6b0381456ac9d4d91c230a000081620001f36200025e60201b6200044e1760201c565b620001ff9190620007e2565b111562000243576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200023a906200087e565b60405180910390fd5b6200025a82826200026860201b620007cf1760201c565b5050565b6000600254905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603620002da576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002d190620008f0565b60405180910390fd5b620002ee60008383620003e060201b60201c565b8060026000828254620003029190620007e2565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254620003599190620007e2565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620003c0919062000923565b60405180910390a3620003dc60008383620003e560201b60201c565b5050565b505050565b505050565b600080fd5b6000819050919050565b6200040481620003ef565b81146200041057600080fd5b50565b6000815190506200042481620003f9565b92915050565b600060208284031215620004435762000442620003ea565b5b6000620004538482850162000413565b91505092915050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620004de57607f821691505b602082108103620004f457620004f362000496565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200055e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200051f565b6200056a86836200051f565b95508019841693508086168417925050509392505050565b6000819050919050565b6000620005ad620005a7620005a184620003ef565b62000582565b620003ef565b9050919050565b6000819050919050565b620005c9836200058c565b620005e1620005d882620005b4565b8484546200052c565b825550505050565b600090565b620005f8620005e9565b62000605818484620005be565b505050565b5b818110156200062d5762000621600082620005ee565b6001810190506200060b565b5050565b601f8211156200067c576200064681620004fa565b62000651846200050f565b8101602085101562000661578190505b6200067962000670856200050f565b8301826200060a565b50505b505050565b600082821c905092915050565b6000620006a16000198460080262000681565b1980831691505092915050565b6000620006bc83836200068e565b9150826002028217905092915050565b620006d7826200045c565b67ffffffffffffffff811115620006f357620006f262000467565b5b620006ff8254620004c5565b6200070c82828562000631565b600060209050601f8311600181146200074457600084156200072f578287015190505b6200073b8582620006ae565b865550620007ab565b601f1984166200075486620004fa565b60005b828110156200077e5784890151825560018201915060208501945060208101905062000757565b868310156200079e57848901516200079a601f8916826200068e565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000620007ef82620003ef565b9150620007fc83620003ef565b9250828201905080821115620008175762000816620007b3565b5b92915050565b600082825260208201905092915050565b7f45524332304361707065643a2063617020657863656564656400000000000000600082015250565b6000620008666019836200081d565b915062000873826200082e565b602082019050919050565b60006020820190508181036000830152620008998162000857565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000620008d8601f836200081d565b9150620008e582620008a0565b602082019050919050565b600060208201905081810360008301526200090b81620008c9565b9050919050565b6200091d81620003ef565b82525050565b60006020820190506200093a600083018462000912565b92915050565b611cd580620009506000396000f3fe608060405234801561001057600080fd5b50600436106101165760003560e01c806370a08231116100a257806395d89b411161007157806395d89b41146102cf578063a457c2d7146102ed578063a9059cbb1461031d578063dd62ed3e1461034d578063f2fde38b1461037d57610116565b806370a082311461025b578063715018a61461028b57806379cc6790146102955780638da5cb5b146102b157610116565b8063313ce567116100e9578063313ce567146101b757806339509351146101d557806340c10f191461020557806342966c68146102215780636c8ef9eb1461023d57610116565b806306fdde031461011b578063095ea7b31461013957806318160ddd1461016957806323b872dd14610187575b600080fd5b610123610399565b604051610130919061122d565b60405180910390f35b610153600480360381019061014e91906112e8565b61042b565b6040516101609190611343565b60405180910390f35b61017161044e565b60405161017e919061136d565b60405180910390f35b6101a1600480360381019061019c9190611388565b610458565b6040516101ae9190611343565b60405180910390f35b6101bf610487565b6040516101cc91906113f7565b60405180910390f35b6101ef60048036038101906101ea91906112e8565b610490565b6040516101fc9190611343565b60405180910390f35b61021f600480360381019061021a91906112e8565b6104c7565b005b61023b60048036038101906102369190611412565b6104dd565b005b6102456104ea565b604051610252919061136d565b60405180910390f35b6102756004803603810190610270919061143f565b6104fa565b604051610282919061136d565b60405180910390f35b610293610542565b005b6102af60048036038101906102aa91906112e8565b610556565b005b6102b961056f565b6040516102c6919061147b565b60405180910390f35b6102d7610599565b6040516102e4919061122d565b60405180910390f35b610307600480360381019061030291906112e8565b61062b565b6040516103149190611343565b60405180910390f35b610337600480360381019061033291906112e8565b6106a2565b6040516103449190611343565b60405180910390f35b61036760048036038101906103629190611496565b6106c5565b604051610374919061136d565b60405180910390f35b6103976004803603810190610392919061143f565b61074c565b005b6060600380546103a890611505565b80601f01602080910402602001604051908101604052809291908181526020018280546103d490611505565b80156104215780601f106103f657610100808354040283529160200191610421565b820191906000526020600020905b81548152906001019060200180831161040457829003601f168201915b5050505050905090565b60008061043661092e565b9050610443818585610936565b600191505092915050565b6000600254905090565b60008061046361092e565b9050610470858285610aff565b61047b858585610b8b565b60019150509392505050565b60006012905090565b60008061049b61092e565b90506104bc8185856104ad85896106c5565b6104b79190611565565b610936565b600191505092915050565b6104cf610e0a565b6104d98282610e88565b5050565b6104e73382610ef7565b50565b6b0381456ac9d4d91c230a000081565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61054a610e0a565b61055460006110cd565b565b610561823383610aff565b61056b8282610ef7565b5050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546105a890611505565b80601f01602080910402602001604051908101604052809291908181526020018280546105d490611505565b80156106215780601f106105f657610100808354040283529160200191610621565b820191906000526020600020905b81548152906001019060200180831161060457829003601f168201915b5050505050905090565b60008061063661092e565b9050600061064482866106c5565b905083811015610689576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106809061160b565b60405180910390fd5b6106968286868403610936565b60019250505092915050565b6000806106ad61092e565b90506106ba818585610b8b565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610754610e0a565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036107c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ba9061169d565b60405180910390fd5b6107cc816110cd565b50565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361083e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083590611709565b60405180910390fd5b61084a60008383611193565b806002600082825461085c9190611565565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108b19190611565565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610916919061136d565b60405180910390a361092a60008383611198565b5050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099c9061179b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610a14576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a0b9061182d565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610af2919061136d565b60405180910390a3505050565b6000610b0b84846106c5565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610b855781811015610b77576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6e90611899565b60405180910390fd5b610b848484848403610936565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bfa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bf19061192b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c69576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c60906119bd565b60405180910390fd5b610c74838383611193565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610cfa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf190611a4f565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d8d9190611565565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610df1919061136d565b60405180910390a3610e04848484611198565b50505050565b610e1261092e565b73ffffffffffffffffffffffffffffffffffffffff16610e3061056f565b73ffffffffffffffffffffffffffffffffffffffff1614610e86576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7d90611abb565b60405180910390fd5b565b6b0381456ac9d4d91c230a000081610e9e61044e565b610ea89190611565565b1115610ee9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ee090611b27565b60405180910390fd5b610ef382826107cf565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f66576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f5d90611bb9565b60405180910390fd5b610f7282600083611193565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610ff8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fef90611c4b565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816002600082825461104f9190611c6b565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110b4919061136d565b60405180910390a36110c883600084611198565b505050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b838110156111d75780820151818401526020810190506111bc565b60008484015250505050565b6000601f19601f8301169050919050565b60006111ff8261119d565b61120981856111a8565b93506112198185602086016111b9565b611222816111e3565b840191505092915050565b6000602082019050818103600083015261124781846111f4565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061127f82611254565b9050919050565b61128f81611274565b811461129a57600080fd5b50565b6000813590506112ac81611286565b92915050565b6000819050919050565b6112c5816112b2565b81146112d057600080fd5b50565b6000813590506112e2816112bc565b92915050565b600080604083850312156112ff576112fe61124f565b5b600061130d8582860161129d565b925050602061131e858286016112d3565b9150509250929050565b60008115159050919050565b61133d81611328565b82525050565b60006020820190506113586000830184611334565b92915050565b611367816112b2565b82525050565b6000602082019050611382600083018461135e565b92915050565b6000806000606084860312156113a1576113a061124f565b5b60006113af8682870161129d565b93505060206113c08682870161129d565b92505060406113d1868287016112d3565b9150509250925092565b600060ff82169050919050565b6113f1816113db565b82525050565b600060208201905061140c60008301846113e8565b92915050565b6000602082840312156114285761142761124f565b5b6000611436848285016112d3565b91505092915050565b6000602082840312156114555761145461124f565b5b60006114638482850161129d565b91505092915050565b61147581611274565b82525050565b6000602082019050611490600083018461146c565b92915050565b600080604083850312156114ad576114ac61124f565b5b60006114bb8582860161129d565b92505060206114cc8582860161129d565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061151d57607f821691505b6020821081036115305761152f6114d6565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611570826112b2565b915061157b836112b2565b925082820190508082111561159357611592611536565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b60006115f56025836111a8565b915061160082611599565b604082019050919050565b60006020820190508181036000830152611624816115e8565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006116876026836111a8565b91506116928261162b565b604082019050919050565b600060208201905081810360008301526116b68161167a565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b60006116f3601f836111a8565b91506116fe826116bd565b602082019050919050565b60006020820190508181036000830152611722816116e6565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006117856024836111a8565b915061179082611729565b604082019050919050565b600060208201905081810360008301526117b481611778565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b60006118176022836111a8565b9150611822826117bb565b604082019050919050565b600060208201905081810360008301526118468161180a565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611883601d836111a8565b915061188e8261184d565b602082019050919050565b600060208201905081810360008301526118b281611876565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b60006119156025836111a8565b9150611920826118b9565b604082019050919050565b6000602082019050818103600083015261194481611908565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006119a76023836111a8565b91506119b28261194b565b604082019050919050565b600060208201905081810360008301526119d68161199a565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611a396026836111a8565b9150611a44826119dd565b604082019050919050565b60006020820190508181036000830152611a6881611a2c565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611aa56020836111a8565b9150611ab082611a6f565b602082019050919050565b60006020820190508181036000830152611ad481611a98565b9050919050565b7f45524332304361707065643a2063617020657863656564656400000000000000600082015250565b6000611b116019836111a8565b9150611b1c82611adb565b602082019050919050565b60006020820190508181036000830152611b4081611b04565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000611ba36021836111a8565b9150611bae82611b47565b604082019050919050565b60006020820190508181036000830152611bd281611b96565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000611c356022836111a8565b9150611c4082611bd9565b604082019050919050565b60006020820190508181036000830152611c6481611c28565b9050919050565b6000611c76826112b2565b9150611c81836112b2565b9250828203905081811115611c9957611c98611536565b5b9291505056fea2646970667358221220a1de598bc631cb7ce0a5b52814edfe8e8163b5ffab3e1e3533ad76ddef6e580a64736f6c6343000812003300000000000000000000000000000000000000000381456ac9d4d91c230a0000

0x608060405234801561001057600080fd5b50600436106101165760003560e01c806370a08231116100a257806395d89b411161007157806395d89b41146102cf578063a457c2d7146102ed578063a9059cbb1461031d578063dd62ed3e1461034d578063f2fde38b1461037d57610116565b806370a082311461025b578063715018a61461028b57806379cc6790146102955780638da5cb5b146102b157610116565b8063313ce567116100e9578063313ce567146101b757806339509351146101d557806340c10f191461020557806342966c68146102215780636c8ef9eb1461023d57610116565b806306fdde031461011b578063095ea7b31461013957806318160ddd1461016957806323b872dd14610187575b600080fd5b610123610399565b604051610130919061122d565b60405180910390f35b610153600480360381019061014e91906112e8565b61042b565b6040516101609190611343565b60405180910390f35b61017161044e565b60405161017e919061136d565b60405180910390f35b6101a1600480360381019061019c9190611388565b610458565b6040516101ae9190611343565b60405180910390f35b6101bf610487565b6040516101cc91906113f7565b60405180910390f35b6101ef60048036038101906101ea91906112e8565b610490565b6040516101fc9190611343565b60405180910390f35b61021f600480360381019061021a91906112e8565b6104c7565b005b61023b60048036038101906102369190611412565b6104dd565b005b6102456104ea565b604051610252919061136d565b60405180910390f35b6102756004803603810190610270919061143f565b6104fa565b604051610282919061136d565b60405180910390f35b610293610542565b005b6102af60048036038101906102aa91906112e8565b610556565b005b6102b961056f565b6040516102c6919061147b565b60405180910390f35b6102d7610599565b6040516102e4919061122d565b60405180910390f35b610307600480360381019061030291906112e8565b61062b565b6040516103149190611343565b60405180910390f35b610337600480360381019061033291906112e8565b6106a2565b6040516103449190611343565b60405180910390f35b61036760048036038101906103629190611496565b6106c5565b604051610374919061136d565b60405180910390f35b6103976004803603810190610392919061143f565b61074c565b005b6060600380546103a890611505565b80601f01602080910402602001604051908101604052809291908181526020018280546103d490611505565b80156104215780601f106103f657610100808354040283529160200191610421565b820191906000526020600020905b81548152906001019060200180831161040457829003601f168201915b5050505050905090565b60008061043661092e565b9050610443818585610936565b600191505092915050565b6000600254905090565b60008061046361092e565b9050610470858285610aff565b61047b858585610b8b565b60019150509392505050565b60006012905090565b60008061049b61092e565b90506104bc8185856104ad85896106c5565b6104b79190611565565b610936565b600191505092915050565b6104cf610e0a565b6104d98282610e88565b5050565b6104e73382610ef7565b50565b6b0381456ac9d4d91c230a000081565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61054a610e0a565b61055460006110cd565b565b610561823383610aff565b61056b8282610ef7565b5050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546105a890611505565b80601f01602080910402602001604051908101604052809291908181526020018280546105d490611505565b80156106215780601f106105f657610100808354040283529160200191610621565b820191906000526020600020905b81548152906001019060200180831161060457829003601f168201915b5050505050905090565b60008061063661092e565b9050600061064482866106c5565b905083811015610689576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106809061160b565b60405180910390fd5b6106968286868403610936565b60019250505092915050565b6000806106ad61092e565b90506106ba818585610b8b565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610754610e0a565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036107c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ba9061169d565b60405180910390fd5b6107cc816110cd565b50565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361083e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083590611709565b60405180910390fd5b61084a60008383611193565b806002600082825461085c9190611565565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108b19190611565565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610916919061136d565b60405180910390a361092a60008383611198565b5050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099c9061179b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610a14576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a0b9061182d565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610af2919061136d565b60405180910390a3505050565b6000610b0b84846106c5565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610b855781811015610b77576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6e90611899565b60405180910390fd5b610b848484848403610936565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bfa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bf19061192b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c69576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c60906119bd565b60405180910390fd5b610c74838383611193565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610cfa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf190611a4f565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d8d9190611565565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610df1919061136d565b60405180910390a3610e04848484611198565b50505050565b610e1261092e565b73ffffffffffffffffffffffffffffffffffffffff16610e3061056f565b73ffffffffffffffffffffffffffffffffffffffff1614610e86576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7d90611abb565b60405180910390fd5b565b6b0381456ac9d4d91c230a000081610e9e61044e565b610ea89190611565565b1115610ee9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ee090611b27565b60405180910390fd5b610ef382826107cf565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f66576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f5d90611bb9565b60405180910390fd5b610f7282600083611193565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610ff8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fef90611c4b565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816002600082825461104f9190611c6b565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110b4919061136d565b60405180910390a36110c883600084611198565b505050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b838110156111d75780820151818401526020810190506111bc565b60008484015250505050565b6000601f19601f8301169050919050565b60006111ff8261119d565b61120981856111a8565b93506112198185602086016111b9565b611222816111e3565b840191505092915050565b6000602082019050818103600083015261124781846111f4565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061127f82611254565b9050919050565b61128f81611274565b811461129a57600080fd5b50565b6000813590506112ac81611286565b92915050565b6000819050919050565b6112c5816112b2565b81146112d057600080fd5b50565b6000813590506112e2816112bc565b92915050565b600080604083850312156112ff576112fe61124f565b5b600061130d8582860161129d565b925050602061131e858286016112d3565b9150509250929050565b60008115159050919050565b61133d81611328565b82525050565b60006020820190506113586000830184611334565b92915050565b611367816112b2565b82525050565b6000602082019050611382600083018461135e565b92915050565b6000806000606084860312156113a1576113a061124f565b5b60006113af8682870161129d565b93505060206113c08682870161129d565b92505060406113d1868287016112d3565b9150509250925092565b600060ff82169050919050565b6113f1816113db565b82525050565b600060208201905061140c60008301846113e8565b92915050565b6000602082840312156114285761142761124f565b5b6000611436848285016112d3565b91505092915050565b6000602082840312156114555761145461124f565b5b60006114638482850161129d565b91505092915050565b61147581611274565b82525050565b6000602082019050611490600083018461146c565b92915050565b600080604083850312156114ad576114ac61124f565b5b60006114bb8582860161129d565b92505060206114cc8582860161129d565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061151d57607f821691505b6020821081036115305761152f6114d6565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611570826112b2565b915061157b836112b2565b925082820190508082111561159357611592611536565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b60006115f56025836111a8565b915061160082611599565b604082019050919050565b60006020820190508181036000830152611624816115e8565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006116876026836111a8565b91506116928261162b565b604082019050919050565b600060208201905081810360008301526116b68161167a565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b60006116f3601f836111a8565b91506116fe826116bd565b602082019050919050565b60006020820190508181036000830152611722816116e6565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006117856024836111a8565b915061179082611729565b604082019050919050565b600060208201905081810360008301526117b481611778565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b60006118176022836111a8565b9150611822826117bb565b604082019050919050565b600060208201905081810360008301526118468161180a565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611883601d836111a8565b915061188e8261184d565b602082019050919050565b600060208201905081810360008301526118b281611876565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b60006119156025836111a8565b9150611920826118b9565b604082019050919050565b6000602082019050818103600083015261194481611908565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006119a76023836111a8565b91506119b28261194b565b604082019050919050565b600060208201905081810360008301526119d68161199a565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611a396026836111a8565b9150611a44826119dd565b604082019050919050565b60006020820190508181036000830152611a6881611a2c565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611aa56020836111a8565b9150611ab082611a6f565b602082019050919050565b60006020820190508181036000830152611ad481611a98565b9050919050565b7f45524332304361707065643a2063617020657863656564656400000000000000600082015250565b6000611b116019836111a8565b9150611b1c82611adb565b602082019050919050565b60006020820190508181036000830152611b4081611b04565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000611ba36021836111a8565b9150611bae82611b47565b604082019050919050565b60006020820190508181036000830152611bd281611b96565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000611c356022836111a8565b9150611c4082611bd9565b604082019050919050565b60006020820190508181036000830152611c6481611c28565b9050919050565b6000611c76826112b2565b9150611c81836112b2565b9250828203905081811115611c9957611c98611536565b5b9291505056fea2646970667358221220a1de598bc631cb7ce0a5b52814edfe8e8163b5ffab3e1e3533ad76ddef6e580a64736f6c63430008120033

00000000000000000000000000000000000000000381456ac9d4d91c230a0000

-----Decoded View---------------
Arg [0] : initialSupply (uint256): 1084734273380000000000000000

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000381456ac9d4d91c230a0000

19483:969:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6083:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8434:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7203:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9215:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7045:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9919:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19846:95;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;19973:81;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;19597:61;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7374:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18666:103;;;:::i;:::-;;20060:154;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;18018:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6302:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10660:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7707:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7963:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18924:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6083:100;6137:13;6170:5;6163:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6083:100;:::o;8434:201::-;8517:4;8534:13;8550:12;:10;:12::i;:::-;8534:28;;8573:32;8582:5;8589:7;8598:6;8573:8;:32::i;:::-;8623:4;8616:11;;;8434:201;;;;:::o;7203:108::-;7264:7;7291:12;;7284:19;;7203:108;:::o;9215:295::-;9346:4;9363:15;9381:12;:10;:12::i;:::-;9363:30;;9404:38;9420:4;9426:7;9435:6;9404:15;:38::i;:::-;9453:27;9463:4;9469:2;9473:6;9453:9;:27::i;:::-;9498:4;9491:11;;;9215:295;;;;;:::o;7045:93::-;7103:5;7128:2;7121:9;;7045:93;:::o;9919:238::-;10007:4;10024:13;10040:12;:10;:12::i;:::-;10024:28;;10063:64;10072:5;10079:7;10116:10;10088:25;10098:5;10105:7;10088:9;:25::i;:::-;:38;;;;:::i;:::-;10063:8;:64::i;:::-;10145:4;10138:11;;;9919:238;;;;:::o;19846:95::-;17904:13;:11;:13::i;:::-;19916:17:::1;19922:2;19926:6;19916:5;:17::i;:::-;19846:95:::0;;:::o;19973:81::-;20021:25;20027:10;20039:6;20021:5;:25::i;:::-;19973:81;:::o;19597:61::-;19635:23;19597:61;:::o;7374:127::-;7448:7;7475:9;:18;7485:7;7475:18;;;;;;;;;;;;;;;;7468:25;;7374:127;;;:::o;18666:103::-;17904:13;:11;:13::i;:::-;18731:30:::1;18758:1;18731:18;:30::i;:::-;18666:103::o:0;20060:154::-;20129:44;20145:7;20154:10;20166:6;20129:15;:44::i;:::-;20184:22;20190:7;20199:6;20184:5;:22::i;:::-;20060:154;;:::o;18018:87::-;18064:7;18091:6;;;;;;;;;;;18084:13;;18018:87;:::o;6302:104::-;6358:13;6391:7;6384:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6302:104;:::o;10660:436::-;10753:4;10770:13;10786:12;:10;:12::i;:::-;10770:28;;10809:24;10836:25;10846:5;10853:7;10836:9;:25::i;:::-;10809:52;;10900:15;10880:16;:35;;10872:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;10993:60;11002:5;11009:7;11037:15;11018:16;:34;10993:8;:60::i;:::-;11084:4;11077:11;;;;10660:436;;;;:::o;7707:193::-;7786:4;7803:13;7819:12;:10;:12::i;:::-;7803:28;;7842;7852:5;7859:2;7863:6;7842:9;:28::i;:::-;7888:4;7881:11;;;7707:193;;;;:::o;7963:151::-;8052:7;8079:11;:18;8091:5;8079:18;;;;;;;;;;;;;;;:27;8098:7;8079:27;;;;;;;;;;;;;;;;8072:34;;7963:151;;;;:::o;18924:201::-;17904:13;:11;:13::i;:::-;19033:1:::1;19013:22;;:8;:22;;::::0;19005:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;19089:28;19108:8;19089:18;:28::i;:::-;18924:201:::0;:::o;12524:399::-;12627:1;12608:21;;:7;:21;;;12600:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;12678:49;12707:1;12711:7;12720:6;12678:20;:49::i;:::-;12756:6;12740:12;;:22;;;;;;;:::i;:::-;;;;;;;;12795:6;12773:9;:18;12783:7;12773:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;12838:7;12817:37;;12834:1;12817:37;;;12847:6;12817:37;;;;;;:::i;:::-;;;;;;;;12867:48;12895:1;12899:7;12908:6;12867:19;:48::i;:::-;12524:399;;:::o;656:98::-;709:7;736:10;729:17;;656:98;:::o;14285:380::-;14438:1;14421:19;;:5;:19;;;14413:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14519:1;14500:21;;:7;:21;;;14492:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14603:6;14573:11;:18;14585:5;14573:18;;;;;;;;;;;;;;;:27;14592:7;14573:27;;;;;;;;;;;;;;;:36;;;;14641:7;14625:32;;14634:5;14625:32;;;14650:6;14625:32;;;;;;:::i;:::-;;;;;;;;14285:380;;;:::o;14956:453::-;15091:24;15118:25;15128:5;15135:7;15118:9;:25::i;:::-;15091:52;;15178:17;15158:16;:37;15154:248;;15240:6;15220:16;:26;;15212:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15324:51;15333:5;15340:7;15368:6;15349:16;:25;15324:8;:51::i;:::-;15154:248;15080:329;14956:453;;;:::o;11566:671::-;11713:1;11697:18;;:4;:18;;;11689:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;11790:1;11776:16;;:2;:16;;;11768:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;11845:38;11866:4;11872:2;11876:6;11845:20;:38::i;:::-;11896:19;11918:9;:15;11928:4;11918:15;;;;;;;;;;;;;;;;11896:37;;11967:6;11952:11;:21;;11944:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;12084:6;12070:11;:20;12052:9;:15;12062:4;12052:15;;;;;;;;;;;;;;;:38;;;;12129:6;12112:9;:13;12122:2;12112:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;12168:2;12153:26;;12162:4;12153:26;;;12172:6;12153:26;;;;;;:::i;:::-;;;;;;;;12192:37;12212:4;12218:2;12222:6;12192:19;:37::i;:::-;11678:559;11566:671;;;:::o;18183:132::-;18258:12;:10;:12::i;:::-;18247:23;;:7;:5;:7::i;:::-;:23;;;18239:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18183:132::o;20244:205::-;19635:23;20351:6;20329:19;:17;:19::i;:::-;:28;;;;:::i;:::-;:43;;20321:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;20413:28;20425:7;20434:6;20413:11;:28::i;:::-;20244:205;;:::o;13256:591::-;13359:1;13340:21;;:7;:21;;;13332:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;13412:49;13433:7;13450:1;13454:6;13412:20;:49::i;:::-;13474:22;13499:9;:18;13509:7;13499:18;;;;;;;;;;;;;;;;13474:43;;13554:6;13536:14;:24;;13528:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;13673:6;13656:14;:23;13635:9;:18;13645:7;13635:18;;;;;;;;;;;;;;;:44;;;;13717:6;13701:12;;:22;;;;;;;:::i;:::-;;;;;;;;13767:1;13741:37;;13750:7;13741:37;;;13771:6;13741:37;;;;;;:::i;:::-;;;;;;;;13791:48;13811:7;13828:1;13832:6;13791:19;:48::i;:::-;13321:526;13256:591;;:::o;19285:191::-;19359:16;19378:6;;;;;;;;;;;19359:25;;19404:8;19395:6;;:17;;;;;;;;;;;;;;;;;;19459:8;19428:40;;19449:8;19428:40;;;;;;;;;;;;19348:128;19285:191;:::o;16009:125::-;;;;:::o;16738:124::-;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:::-;5247:6;5296:2;5284:9;5275:7;5271:23;5267:32;5264:119;;;5302:79;;:::i;:::-;5264:119;5422:1;5447:53;5492:7;5483:6;5472:9;5468:22;5447:53;:::i;:::-;5437:63;;5393:117;5188:329;;;;:::o;5523:118::-;5610:24;5628:5;5610:24;:::i;:::-;5605:3;5598:37;5523:118;;:::o;5647:222::-;5740:4;5778:2;5767:9;5763:18;5755:26;;5791:71;5859:1;5848:9;5844:17;5835:6;5791:71;:::i;:::-;5647:222;;;;:::o;5875:474::-;5943:6;5951;6000:2;5988:9;5979:7;5975:23;5971:32;5968:119;;;6006:79;;:::i;:::-;5968:119;6126:1;6151:53;6196:7;6187:6;6176:9;6172:22;6151:53;:::i;:::-;6141:63;;6097:117;6253:2;6279:53;6324:7;6315:6;6304:9;6300:22;6279:53;:::i;:::-;6269:63;;6224:118;5875:474;;;;;:::o;6355:180::-;6403:77;6400:1;6393:88;6500:4;6497:1;6490:15;6524:4;6521:1;6514:15;6541:320;6585:6;6622:1;6616:4;6612:12;6602:22;;6669:1;6663:4;6659:12;6690:18;6680:81;;6746:4;6738:6;6734:17;6724:27;;6680:81;6808:2;6800:6;6797:14;6777:18;6774:38;6771:84;;6827:18;;:::i;:::-;6771:84;6592:269;6541:320;;;:::o;6867:180::-;6915:77;6912:1;6905:88;7012:4;7009:1;7002:15;7036:4;7033:1;7026:15;7053:191;7093:3;7112:20;7130:1;7112:20;:::i;:::-;7107:25;;7146:20;7164:1;7146:20;:::i;:::-;7141:25;;7189:1;7186;7182:9;7175:16;;7210:3;7207:1;7204:10;7201:36;;;7217:18;;:::i;:::-;7201:36;7053:191;;;;:::o;7250:224::-;7390:34;7386:1;7378:6;7374:14;7367:58;7459:7;7454:2;7446:6;7442:15;7435:32;7250:224;:::o;7480:366::-;7622:3;7643:67;7707:2;7702:3;7643:67;:::i;:::-;7636:74;;7719:93;7808:3;7719:93;:::i;:::-;7837:2;7832:3;7828:12;7821:19;;7480:366;;;:::o;7852:419::-;8018:4;8056:2;8045:9;8041:18;8033:26;;8105:9;8099:4;8095:20;8091:1;8080:9;8076:17;8069:47;8133:131;8259:4;8133:131;:::i;:::-;8125:139;;7852:419;;;:::o;8277:225::-;8417:34;8413:1;8405:6;8401:14;8394:58;8486:8;8481:2;8473:6;8469:15;8462:33;8277:225;:::o;8508:366::-;8650:3;8671:67;8735:2;8730:3;8671:67;:::i;:::-;8664:74;;8747:93;8836:3;8747:93;:::i;:::-;8865:2;8860:3;8856:12;8849:19;;8508:366;;;:::o;8880:419::-;9046:4;9084:2;9073:9;9069:18;9061:26;;9133:9;9127:4;9123:20;9119:1;9108:9;9104:17;9097:47;9161:131;9287:4;9161:131;:::i;:::-;9153:139;;8880:419;;;:::o;9305:181::-;9445:33;9441:1;9433:6;9429:14;9422:57;9305:181;:::o;9492:366::-;9634:3;9655:67;9719:2;9714:3;9655:67;:::i;:::-;9648:74;;9731:93;9820:3;9731:93;:::i;:::-;9849:2;9844:3;9840:12;9833:19;;9492:366;;;:::o;9864:419::-;10030:4;10068:2;10057:9;10053:18;10045:26;;10117:9;10111:4;10107:20;10103:1;10092:9;10088:17;10081:47;10145:131;10271:4;10145:131;:::i;:::-;10137:139;;9864:419;;;:::o;10289:223::-;10429:34;10425:1;10417:6;10413:14;10406:58;10498:6;10493:2;10485:6;10481:15;10474:31;10289:223;:::o;10518:366::-;10660:3;10681:67;10745:2;10740:3;10681:67;:::i;:::-;10674:74;;10757:93;10846:3;10757:93;:::i;:::-;10875:2;10870:3;10866:12;10859:19;;10518:366;;;:::o;10890:419::-;11056:4;11094:2;11083:9;11079:18;11071:26;;11143:9;11137:4;11133:20;11129:1;11118:9;11114:17;11107:47;11171:131;11297:4;11171:131;:::i;:::-;11163:139;;10890:419;;;:::o;11315:221::-;11455:34;11451:1;11443:6;11439:14;11432:58;11524:4;11519:2;11511:6;11507:15;11500:29;11315:221;:::o;11542:366::-;11684:3;11705:67;11769:2;11764:3;11705:67;:::i;:::-;11698:74;;11781:93;11870:3;11781:93;:::i;:::-;11899:2;11894:3;11890:12;11883:19;;11542:366;;;:::o;11914:419::-;12080:4;12118:2;12107:9;12103:18;12095:26;;12167:9;12161:4;12157:20;12153:1;12142:9;12138:17;12131:47;12195:131;12321:4;12195:131;:::i;:::-;12187:139;;11914:419;;;:::o;12339:179::-;12479:31;12475:1;12467:6;12463:14;12456:55;12339:179;:::o;12524:366::-;12666:3;12687:67;12751:2;12746:3;12687:67;:::i;:::-;12680:74;;12763:93;12852:3;12763:93;:::i;:::-;12881:2;12876:3;12872:12;12865:19;;12524:366;;;:::o;12896:419::-;13062:4;13100:2;13089:9;13085:18;13077:26;;13149:9;13143:4;13139:20;13135:1;13124:9;13120:17;13113:47;13177:131;13303:4;13177:131;:::i;:::-;13169:139;;12896:419;;;:::o;13321:224::-;13461:34;13457:1;13449:6;13445:14;13438:58;13530:7;13525:2;13517:6;13513:15;13506:32;13321:224;:::o;13551:366::-;13693:3;13714:67;13778:2;13773:3;13714:67;:::i;:::-;13707:74;;13790:93;13879:3;13790:93;:::i;:::-;13908:2;13903:3;13899:12;13892:19;;13551:366;;;:::o;13923:419::-;14089:4;14127:2;14116:9;14112:18;14104:26;;14176:9;14170:4;14166:20;14162:1;14151:9;14147:17;14140:47;14204:131;14330:4;14204:131;:::i;:::-;14196:139;;13923:419;;;:::o;14348:222::-;14488:34;14484:1;14476:6;14472:14;14465:58;14557:5;14552:2;14544:6;14540:15;14533:30;14348:222;:::o;14576:366::-;14718:3;14739:67;14803:2;14798:3;14739:67;:::i;:::-;14732:74;;14815:93;14904:3;14815:93;:::i;:::-;14933:2;14928:3;14924:12;14917:19;;14576:366;;;:::o;14948:419::-;15114:4;15152:2;15141:9;15137:18;15129:26;;15201:9;15195:4;15191:20;15187:1;15176:9;15172:17;15165:47;15229:131;15355:4;15229:131;:::i;:::-;15221:139;;14948:419;;;:::o;15373:225::-;15513:34;15509:1;15501:6;15497:14;15490:58;15582:8;15577:2;15569:6;15565:15;15558:33;15373:225;:::o;15604:366::-;15746:3;15767:67;15831:2;15826:3;15767:67;:::i;:::-;15760:74;;15843:93;15932:3;15843:93;:::i;:::-;15961:2;15956:3;15952:12;15945:19;;15604:366;;;:::o;15976:419::-;16142:4;16180:2;16169:9;16165:18;16157:26;;16229:9;16223:4;16219:20;16215:1;16204:9;16200:17;16193:47;16257:131;16383:4;16257:131;:::i;:::-;16249:139;;15976:419;;;:::o;16401:182::-;16541:34;16537:1;16529:6;16525:14;16518:58;16401:182;:::o;16589:366::-;16731:3;16752:67;16816:2;16811:3;16752:67;:::i;:::-;16745:74;;16828:93;16917:3;16828:93;:::i;:::-;16946:2;16941:3;16937:12;16930:19;;16589:366;;;:::o;16961:419::-;17127:4;17165:2;17154:9;17150:18;17142:26;;17214:9;17208:4;17204:20;17200:1;17189:9;17185:17;17178:47;17242:131;17368:4;17242:131;:::i;:::-;17234:139;;16961:419;;;:::o;17386:175::-;17526:27;17522:1;17514:6;17510:14;17503:51;17386:175;:::o;17567:366::-;17709:3;17730:67;17794:2;17789:3;17730:67;:::i;:::-;17723:74;;17806:93;17895:3;17806:93;:::i;:::-;17924:2;17919:3;17915:12;17908:19;;17567:366;;;:::o;17939:419::-;18105:4;18143:2;18132:9;18128:18;18120:26;;18192:9;18186:4;18182:20;18178:1;18167:9;18163:17;18156:47;18220:131;18346:4;18220:131;:::i;:::-;18212:139;;17939:419;;;:::o;18364:220::-;18504:34;18500:1;18492:6;18488:14;18481:58;18573:3;18568:2;18560:6;18556:15;18549:28;18364:220;:::o;18590:366::-;18732:3;18753:67;18817:2;18812:3;18753:67;:::i;:::-;18746:74;;18829:93;18918:3;18829:93;:::i;:::-;18947:2;18942:3;18938:12;18931:19;;18590:366;;;:::o;18962:419::-;19128:4;19166:2;19155:9;19151:18;19143:26;;19215:9;19209:4;19205:20;19201:1;19190:9;19186:17;19179:47;19243:131;19369:4;19243:131;:::i;:::-;19235:139;;18962:419;;;:::o;19387:221::-;19527:34;19523:1;19515:6;19511:14;19504:58;19596:4;19591:2;19583:6;19579:15;19572:29;19387:221;:::o;19614:366::-;19756:3;19777:67;19841:2;19836:3;19777:67;:::i;:::-;19770:74;;19853:93;19942:3;19853:93;:::i;:::-;19971:2;19966:3;19962:12;19955:19;;19614:366;;;:::o;19986:419::-;20152:4;20190:2;20179:9;20175:18;20167:26;;20239:9;20233:4;20229:20;20225:1;20214:9;20210:17;20203:47;20267:131;20393:4;20267:131;:::i;:::-;20259:139;;19986:419;;;:::o;20411:194::-;20451:4;20471:20;20489:1;20471:20;:::i;:::-;20466:25;;20505:20;20523:1;20505:20;:::i;:::-;20500:25;;20549:1;20546;20542:9;20534:17;;20573:1;20567:4;20564:11;20561:37;;;20578:18;;:::i;:::-;20561:37;20411:194;;;;:::o

ipfs://a1de598bc631cb7ce0a5b52814edfe8e8163b5ffab3e1e3533ad76ddef6e580a