Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData()    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ... interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _spendAllowance(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(  contract PROOFOFCardano is ERC20, ... *    - function mint(address to, uint256 amo ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-10-02
*/

// File: @openzeppelin/[email protected]/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/[email protected]/access/Ownable.sol


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

pragma solidity ^0.8.0;


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

// File: @openzeppelin/[email protected]/token/ERC20/IERC20.sol


// OpenZeppelin Contracts (last updated v4.6.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/[email protected]/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/[email protected]/token/ERC20/ERC20.sol


// OpenZeppelin Contracts (last updated v4.7.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.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, IERC20Metadata {
    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual override returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless this function is
     * overridden;
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address to, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, amount);
        return true;
    }

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

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

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

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

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

        return true;
    }

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

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
        }
        _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 {}
}

// File: ADA0.2.sol


pragma solidity ^0.8.4;



contract PROOFOFCardano is ERC20, Ownable {
    constructor() ERC20("PROOF OF Cardano", "ADA0.2") {
        _mint(msg.sender, 450000000 * 10 ** decimals());
    }

    function mint(address to, uint256 amount) public onlyOwner {
        _mint(to, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

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

60806040523480156200001157600080fd5b506040518060400160405280601081526020017f50524f4f46204f462043617264616e6f000000000000000000000000000000008152506040518060400160405280600681526020017f414441302e32000000000000000000000000000000000000000000000000000081525081600390805190602001906200009692919062000372565b508060049080519060200190620000af92919062000372565b505050620000d2620000c66200011860201b60201c565b6200012060201b60201c565b6200011233620000e7620001e660201b60201c565b600a620000f5919062000562565b631ad274806200010691906200069f565b620001ef60201b60201c565b620007e1565b600033905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60006012905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000262576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000259906200045a565b60405180910390fd5b62000276600083836200036860201b60201c565b80600260008282546200028a9190620004aa565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254620002e19190620004aa565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200034891906200047c565b60405180910390a362000364600083836200036d60201b60201c565b5050565b505050565b505050565b828054620003809062000717565b90600052602060002090601f016020900481019282620003a45760008555620003f0565b82601f10620003bf57805160ff1916838001178555620003f0565b82800160010185558215620003f0579182015b82811115620003ef578251825591602001919060010190620003d2565b5b509050620003ff919062000403565b5090565b5b808211156200041e57600081600090555060010162000404565b5090565b600062000431601f8362000499565b91506200043e82620007b8565b602082019050919050565b620004548162000700565b82525050565b60006020820190508181036000830152620004758162000422565b9050919050565b600060208201905062000493600083018462000449565b92915050565b600082825260208201905092915050565b6000620004b78262000700565b9150620004c48362000700565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620004fc57620004fb6200074d565b5b828201905092915050565b6000808291508390505b600185111562000559578086048111156200053157620005306200074d565b5b6001851615620005415780820291505b80810290506200055185620007ab565b945062000511565b94509492505050565b60006200056f8262000700565b91506200057c836200070a565b9250620005ab7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620005b3565b905092915050565b600082620005c5576001905062000698565b81620005d5576000905062000698565b8160018114620005ee5760028114620005f9576200062f565b600191505062000698565b60ff8411156200060e576200060d6200074d565b5b8360020a9150848211156200062857620006276200074d565b5b5062000698565b5060208310610133831016604e8410600b8410161715620006695782820a9050838111156200066357620006626200074d565b5b62000698565b62000678848484600162000507565b925090508184048111156200069257620006916200074d565b5b81810290505b9392505050565b6000620006ac8262000700565b9150620006b98362000700565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615620006f557620006f46200074d565b5b828202905092915050565b6000819050919050565b600060ff82169050919050565b600060028204905060018216806200073057607f821691505b602082108114156200074757620007466200077c565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60008160011c9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b61180f80620007f16000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a457c2d711610066578063a457c2d714610276578063a9059cbb146102a6578063dd62ed3e146102d6578063f2fde38b14610306576100f5565b806370a0823114610200578063715018a6146102305780638da5cb5b1461023a57806395d89b4114610258576100f5565b806323b872dd116100d357806323b872dd14610166578063313ce5671461019657806339509351146101b457806340c10f19146101e4576100f5565b806306fdde03146100fa578063095ea7b31461011857806318160ddd14610148575b600080fd5b610102610322565b60405161010f91906111d4565b60405180910390f35b610132600480360381019061012d9190610f8f565b6103b4565b60405161013f91906111b9565b60405180910390f35b6101506103d7565b60405161015d9190611336565b60405180910390f35b610180600480360381019061017b9190610f40565b6103e1565b60405161018d91906111b9565b60405180910390f35b61019e610410565b6040516101ab9190611351565b60405180910390f35b6101ce60048036038101906101c99190610f8f565b610419565b6040516101db91906111b9565b60405180910390f35b6101fe60048036038101906101f99190610f8f565b610450565b005b61021a60048036038101906102159190610edb565b610466565b6040516102279190611336565b60405180910390f35b6102386104ae565b005b6102426104c2565b60405161024f919061119e565b60405180910390f35b6102606104ec565b60405161026d91906111d4565b60405180910390f35b610290600480360381019061028b9190610f8f565b61057e565b60405161029d91906111b9565b60405180910390f35b6102c060048036038101906102bb9190610f8f565b6105f5565b6040516102cd91906111b9565b60405180910390f35b6102f060048036038101906102eb9190610f04565b610618565b6040516102fd9190611336565b60405180910390f35b610320600480360381019061031b9190610edb565b61069f565b005b60606003805461033190611466565b80601f016020809104026020016040519081016040528092919081815260200182805461035d90611466565b80156103aa5780601f1061037f576101008083540402835291602001916103aa565b820191906000526020600020905b81548152906001019060200180831161038d57829003601f168201915b5050505050905090565b6000806103bf610723565b90506103cc81858561072b565b600191505092915050565b6000600254905090565b6000806103ec610723565b90506103f98582856108f6565b610404858585610982565b60019150509392505050565b60006012905090565b600080610424610723565b90506104458185856104368589610618565b6104409190611388565b61072b565b600191505092915050565b610458610c03565b6104628282610c81565b5050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6104b6610c03565b6104c06000610de1565b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546104fb90611466565b80601f016020809104026020016040519081016040528092919081815260200182805461052790611466565b80156105745780601f1061054957610100808354040283529160200191610574565b820191906000526020600020905b81548152906001019060200180831161055757829003601f168201915b5050505050905090565b600080610589610723565b905060006105978286610618565b9050838110156105dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d3906112f6565b60405180910390fd5b6105e9828686840361072b565b60019250505092915050565b600080610600610723565b905061060d818585610982565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6106a7610c03565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610717576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070e90611216565b60405180910390fd5b61072081610de1565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561079b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610792906112d6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561080b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080290611236565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108e99190611336565b60405180910390a3505050565b60006109028484610618565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461097c578181101561096e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096590611256565b60405180910390fd5b61097b848484840361072b565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e9906112b6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a62576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a59906111f6565b60405180910390fd5b610a6d838383610ea7565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610af3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aea90611276565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b869190611388565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610bea9190611336565b60405180910390a3610bfd848484610eac565b50505050565b610c0b610723565b73ffffffffffffffffffffffffffffffffffffffff16610c296104c2565b73ffffffffffffffffffffffffffffffffffffffff1614610c7f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c7690611296565b60405180910390fd5b565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610cf1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce890611316565b60405180910390fd5b610cfd60008383610ea7565b8060026000828254610d0f9190611388565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d649190611388565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610dc99190611336565b60405180910390a3610ddd60008383610eac565b5050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b600081359050610ec0816117ab565b92915050565b600081359050610ed5816117c2565b92915050565b600060208284031215610eed57600080fd5b6000610efb84828501610eb1565b91505092915050565b60008060408385031215610f1757600080fd5b6000610f2585828601610eb1565b9250506020610f3685828601610eb1565b9150509250929050565b600080600060608486031215610f5557600080fd5b6000610f6386828701610eb1565b9350506020610f7486828701610eb1565b9250506040610f8586828701610ec6565b9150509250925092565b60008060408385031215610fa257600080fd5b6000610fb085828601610eb1565b9250506020610fc185828601610ec6565b9150509250929050565b610fd4816113de565b82525050565b610fe3816113f0565b82525050565b6000610ff48261136c565b610ffe8185611377565b935061100e818560208601611433565b611017816114f6565b840191505092915050565b600061102f602383611377565b915061103a82611507565b604082019050919050565b6000611052602683611377565b915061105d82611556565b604082019050919050565b6000611075602283611377565b9150611080826115a5565b604082019050919050565b6000611098601d83611377565b91506110a3826115f4565b602082019050919050565b60006110bb602683611377565b91506110c68261161d565b604082019050919050565b60006110de602083611377565b91506110e98261166c565b602082019050919050565b6000611101602583611377565b915061110c82611695565b604082019050919050565b6000611124602483611377565b915061112f826116e4565b604082019050919050565b6000611147602583611377565b915061115282611733565b604082019050919050565b600061116a601f83611377565b915061117582611782565b602082019050919050565b6111898161141c565b82525050565b61119881611426565b82525050565b60006020820190506111b36000830184610fcb565b92915050565b60006020820190506111ce6000830184610fda565b92915050565b600060208201905081810360008301526111ee8184610fe9565b905092915050565b6000602082019050818103600083015261120f81611022565b9050919050565b6000602082019050818103600083015261122f81611045565b9050919050565b6000602082019050818103600083015261124f81611068565b9050919050565b6000602082019050818103600083015261126f8161108b565b9050919050565b6000602082019050818103600083015261128f816110ae565b9050919050565b600060208201905081810360008301526112af816110d1565b9050919050565b600060208201905081810360008301526112cf816110f4565b9050919050565b600060208201905081810360008301526112ef81611117565b9050919050565b6000602082019050818103600083015261130f8161113a565b9050919050565b6000602082019050818103600083015261132f8161115d565b9050919050565b600060208201905061134b6000830184611180565b92915050565b6000602082019050611366600083018461118f565b92915050565b600081519050919050565b600082825260208201905092915050565b60006113938261141c565b915061139e8361141c565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156113d3576113d2611498565b5b828201905092915050565b60006113e9826113fc565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015611451578082015181840152602081019050611436565b83811115611460576000848401525b50505050565b6000600282049050600182168061147e57607f821691505b60208210811415611492576114916114c7565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6117b4816113de565b81146117bf57600080fd5b50565b6117cb8161141c565b81146117d657600080fd5b5056fea2646970667358221220a79f18113b71924dc5edab9eb817042792b6a532171d84c5658c6d71cbb8c89764736f6c63430008040033

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a457c2d711610066578063a457c2d714610276578063a9059cbb146102a6578063dd62ed3e146102d6578063f2fde38b14610306576100f5565b806370a0823114610200578063715018a6146102305780638da5cb5b1461023a57806395d89b4114610258576100f5565b806323b872dd116100d357806323b872dd14610166578063313ce5671461019657806339509351146101b457806340c10f19146101e4576100f5565b806306fdde03146100fa578063095ea7b31461011857806318160ddd14610148575b600080fd5b610102610322565b60405161010f91906111d4565b60405180910390f35b610132600480360381019061012d9190610f8f565b6103b4565b60405161013f91906111b9565b60405180910390f35b6101506103d7565b60405161015d9190611336565b60405180910390f35b610180600480360381019061017b9190610f40565b6103e1565b60405161018d91906111b9565b60405180910390f35b61019e610410565b6040516101ab9190611351565b60405180910390f35b6101ce60048036038101906101c99190610f8f565b610419565b6040516101db91906111b9565b60405180910390f35b6101fe60048036038101906101f99190610f8f565b610450565b005b61021a60048036038101906102159190610edb565b610466565b6040516102279190611336565b60405180910390f35b6102386104ae565b005b6102426104c2565b60405161024f919061119e565b60405180910390f35b6102606104ec565b60405161026d91906111d4565b60405180910390f35b610290600480360381019061028b9190610f8f565b61057e565b60405161029d91906111b9565b60405180910390f35b6102c060048036038101906102bb9190610f8f565b6105f5565b6040516102cd91906111b9565b60405180910390f35b6102f060048036038101906102eb9190610f04565b610618565b6040516102fd9190611336565b60405180910390f35b610320600480360381019061031b9190610edb565b61069f565b005b60606003805461033190611466565b80601f016020809104026020016040519081016040528092919081815260200182805461035d90611466565b80156103aa5780601f1061037f576101008083540402835291602001916103aa565b820191906000526020600020905b81548152906001019060200180831161038d57829003601f168201915b5050505050905090565b6000806103bf610723565b90506103cc81858561072b565b600191505092915050565b6000600254905090565b6000806103ec610723565b90506103f98582856108f6565b610404858585610982565b60019150509392505050565b60006012905090565b600080610424610723565b90506104458185856104368589610618565b6104409190611388565b61072b565b600191505092915050565b610458610c03565b6104628282610c81565b5050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6104b6610c03565b6104c06000610de1565b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546104fb90611466565b80601f016020809104026020016040519081016040528092919081815260200182805461052790611466565b80156105745780601f1061054957610100808354040283529160200191610574565b820191906000526020600020905b81548152906001019060200180831161055757829003601f168201915b5050505050905090565b600080610589610723565b905060006105978286610618565b9050838110156105dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d3906112f6565b60405180910390fd5b6105e9828686840361072b565b60019250505092915050565b600080610600610723565b905061060d818585610982565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6106a7610c03565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610717576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070e90611216565b60405180910390fd5b61072081610de1565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561079b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610792906112d6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561080b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080290611236565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108e99190611336565b60405180910390a3505050565b60006109028484610618565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461097c578181101561096e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096590611256565b60405180910390fd5b61097b848484840361072b565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e9906112b6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a62576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a59906111f6565b60405180910390fd5b610a6d838383610ea7565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610af3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aea90611276565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b869190611388565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610bea9190611336565b60405180910390a3610bfd848484610eac565b50505050565b610c0b610723565b73ffffffffffffffffffffffffffffffffffffffff16610c296104c2565b73ffffffffffffffffffffffffffffffffffffffff1614610c7f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c7690611296565b60405180910390fd5b565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610cf1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce890611316565b60405180910390fd5b610cfd60008383610ea7565b8060026000828254610d0f9190611388565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d649190611388565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610dc99190611336565b60405180910390a3610ddd60008383610eac565b5050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b600081359050610ec0816117ab565b92915050565b600081359050610ed5816117c2565b92915050565b600060208284031215610eed57600080fd5b6000610efb84828501610eb1565b91505092915050565b60008060408385031215610f1757600080fd5b6000610f2585828601610eb1565b9250506020610f3685828601610eb1565b9150509250929050565b600080600060608486031215610f5557600080fd5b6000610f6386828701610eb1565b9350506020610f7486828701610eb1565b9250506040610f8586828701610ec6565b9150509250925092565b60008060408385031215610fa257600080fd5b6000610fb085828601610eb1565b9250506020610fc185828601610ec6565b9150509250929050565b610fd4816113de565b82525050565b610fe3816113f0565b82525050565b6000610ff48261136c565b610ffe8185611377565b935061100e818560208601611433565b611017816114f6565b840191505092915050565b600061102f602383611377565b915061103a82611507565b604082019050919050565b6000611052602683611377565b915061105d82611556565b604082019050919050565b6000611075602283611377565b9150611080826115a5565b604082019050919050565b6000611098601d83611377565b91506110a3826115f4565b602082019050919050565b60006110bb602683611377565b91506110c68261161d565b604082019050919050565b60006110de602083611377565b91506110e98261166c565b602082019050919050565b6000611101602583611377565b915061110c82611695565b604082019050919050565b6000611124602483611377565b915061112f826116e4565b604082019050919050565b6000611147602583611377565b915061115282611733565b604082019050919050565b600061116a601f83611377565b915061117582611782565b602082019050919050565b6111898161141c565b82525050565b61119881611426565b82525050565b60006020820190506111b36000830184610fcb565b92915050565b60006020820190506111ce6000830184610fda565b92915050565b600060208201905081810360008301526111ee8184610fe9565b905092915050565b6000602082019050818103600083015261120f81611022565b9050919050565b6000602082019050818103600083015261122f81611045565b9050919050565b6000602082019050818103600083015261124f81611068565b9050919050565b6000602082019050818103600083015261126f8161108b565b9050919050565b6000602082019050818103600083015261128f816110ae565b9050919050565b600060208201905081810360008301526112af816110d1565b9050919050565b600060208201905081810360008301526112cf816110f4565b9050919050565b600060208201905081810360008301526112ef81611117565b9050919050565b6000602082019050818103600083015261130f8161113a565b9050919050565b6000602082019050818103600083015261132f8161115d565b9050919050565b600060208201905061134b6000830184611180565b92915050565b6000602082019050611366600083018461118f565b92915050565b600081519050919050565b600082825260208201905092915050565b60006113938261141c565b915061139e8361141c565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156113d3576113d2611498565b5b828201905092915050565b60006113e9826113fc565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015611451578082015181840152602081019050611436565b83811115611460576000848401525b50505050565b6000600282049050600182168061147e57607f821691505b60208210811415611492576114916114c7565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6117b4816113de565b81146117bf57600080fd5b50565b6117cb8161141c565b81146117d657600080fd5b5056fea2646970667358221220a79f18113b71924dc5edab9eb817042792b6a532171d84c5658c6d71cbb8c89764736f6c63430008040033

20225:271:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9383:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11734:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10503:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12515:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10345:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13219:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20398:95;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;10674:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2788:103;;;:::i;:::-;;2140:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9602:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13960:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11007:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11263:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3046:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;9383:100;9437:13;9470:5;9463:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9383:100;:::o;11734:201::-;11817:4;11834:13;11850:12;:10;:12::i;:::-;11834:28;;11873:32;11882:5;11889:7;11898:6;11873:8;:32::i;:::-;11923:4;11916:11;;;11734:201;;;;:::o;10503:108::-;10564:7;10591:12;;10584:19;;10503:108;:::o;12515:295::-;12646:4;12663:15;12681:12;:10;:12::i;:::-;12663:30;;12704:38;12720:4;12726:7;12735:6;12704:15;:38::i;:::-;12753:27;12763:4;12769:2;12773:6;12753:9;:27::i;:::-;12798:4;12791:11;;;12515:295;;;;;:::o;10345:93::-;10403:5;10428:2;10421:9;;10345:93;:::o;13219:238::-;13307:4;13324:13;13340:12;:10;:12::i;:::-;13324:28;;13363:64;13372:5;13379:7;13416:10;13388:25;13398:5;13405:7;13388:9;:25::i;:::-;:38;;;;:::i;:::-;13363:8;:64::i;:::-;13445:4;13438:11;;;13219:238;;;;:::o;20398:95::-;2026:13;:11;:13::i;:::-;20468:17:::1;20474:2;20478:6;20468:5;:17::i;:::-;20398:95:::0;;:::o;10674:127::-;10748:7;10775:9;:18;10785:7;10775:18;;;;;;;;;;;;;;;;10768:25;;10674:127;;;:::o;2788:103::-;2026:13;:11;:13::i;:::-;2853:30:::1;2880:1;2853:18;:30::i;:::-;2788:103::o:0;2140:87::-;2186:7;2213:6;;;;;;;;;;;2206:13;;2140:87;:::o;9602:104::-;9658:13;9691:7;9684:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9602:104;:::o;13960:436::-;14053:4;14070:13;14086:12;:10;:12::i;:::-;14070:28;;14109:24;14136:25;14146:5;14153:7;14136:9;:25::i;:::-;14109:52;;14200:15;14180:16;:35;;14172:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;14293:60;14302:5;14309:7;14337:15;14318:16;:34;14293:8;:60::i;:::-;14384:4;14377:11;;;;13960:436;;;;:::o;11007:193::-;11086:4;11103:13;11119:12;:10;:12::i;:::-;11103:28;;11142;11152:5;11159:2;11163:6;11142:9;:28::i;:::-;11188:4;11181:11;;;11007:193;;;;:::o;11263:151::-;11352:7;11379:11;:18;11391:5;11379:18;;;;;;;;;;;;;;;:27;11398:7;11379:27;;;;;;;;;;;;;;;;11372:34;;11263:151;;;;:::o;3046:201::-;2026:13;:11;:13::i;:::-;3155:1:::1;3135:22;;:8;:22;;;;3127:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;3211:28;3230:8;3211:18;:28::i;:::-;3046:201:::0;:::o;685:98::-;738:7;765:10;758:17;;685:98;:::o;17585:380::-;17738:1;17721:19;;:5;:19;;;;17713:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;17819:1;17800:21;;:7;:21;;;;17792:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;17903:6;17873:11;:18;17885:5;17873:18;;;;;;;;;;;;;;;:27;17892:7;17873:27;;;;;;;;;;;;;;;:36;;;;17941:7;17925:32;;17934:5;17925:32;;;17950:6;17925:32;;;;;;:::i;:::-;;;;;;;;17585:380;;;:::o;18256:453::-;18391:24;18418:25;18428:5;18435:7;18418:9;:25::i;:::-;18391:52;;18478:17;18458:16;:37;18454:248;;18540:6;18520:16;:26;;18512:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18624:51;18633:5;18640:7;18668:6;18649:16;:25;18624:8;:51::i;:::-;18454:248;18256:453;;;;:::o;14866:671::-;15013:1;14997:18;;:4;:18;;;;14989:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15090:1;15076:16;;:2;:16;;;;15068:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;15145:38;15166:4;15172:2;15176:6;15145:20;:38::i;:::-;15196:19;15218:9;:15;15228:4;15218:15;;;;;;;;;;;;;;;;15196:37;;15267:6;15252:11;:21;;15244:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;15384:6;15370:11;:20;15352:9;:15;15362:4;15352:15;;;;;;;;;;;;;;;:38;;;;15429:6;15412:9;:13;15422:2;15412:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;15468:2;15453:26;;15462:4;15453:26;;;15472:6;15453:26;;;;;;:::i;:::-;;;;;;;;15492:37;15512:4;15518:2;15522:6;15492:19;:37::i;:::-;14866:671;;;;:::o;2305:132::-;2380:12;:10;:12::i;:::-;2369:23;;:7;:5;:7::i;:::-;:23;;;2361:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2305:132::o;15824:399::-;15927:1;15908:21;;:7;:21;;;;15900:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;15978:49;16007:1;16011:7;16020:6;15978:20;:49::i;:::-;16056:6;16040:12;;:22;;;;;;;:::i;:::-;;;;;;;;16095:6;16073:9;:18;16083:7;16073:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;16138:7;16117:37;;16134:1;16117:37;;;16147:6;16117:37;;;;;;:::i;:::-;;;;;;;;16167:48;16195:1;16199:7;16208:6;16167:19;:48::i;:::-;15824:399;;:::o;3407:191::-;3481:16;3500:6;;;;;;;;;;;3481:25;;3526:8;3517:6;;:17;;;;;;;;;;;;;;;;;;3581:8;3550:40;;3571:8;3550:40;;;;;;;;;;;;3407:191;;:::o;19309:125::-;;;;:::o;20038:124::-;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;356:6;405:2;393:9;384:7;380:23;376:32;373:2;;;421:1;418;411:12;373:2;464:1;489:53;534:7;525:6;514:9;510:22;489:53;:::i;:::-;479:63;;435:117;363:196;;;;:::o;565:407::-;633:6;641;690:2;678:9;669:7;665:23;661:32;658:2;;;706:1;703;696:12;658:2;749:1;774:53;819:7;810:6;799:9;795:22;774:53;:::i;:::-;764:63;;720:117;876:2;902:53;947:7;938:6;927:9;923:22;902:53;:::i;:::-;892:63;;847:118;648:324;;;;;:::o;978:552::-;1055:6;1063;1071;1120:2;1108:9;1099:7;1095:23;1091:32;1088:2;;;1136:1;1133;1126:12;1088:2;1179:1;1204:53;1249:7;1240:6;1229:9;1225:22;1204:53;:::i;:::-;1194:63;;1150:117;1306:2;1332:53;1377:7;1368:6;1357:9;1353:22;1332:53;:::i;:::-;1322:63;;1277:118;1434:2;1460:53;1505:7;1496:6;1485:9;1481:22;1460:53;:::i;:::-;1450:63;;1405:118;1078:452;;;;;:::o;1536:407::-;1604:6;1612;1661:2;1649:9;1640:7;1636:23;1632:32;1629:2;;;1677:1;1674;1667:12;1629:2;1720:1;1745:53;1790:7;1781:6;1770:9;1766:22;1745:53;:::i;:::-;1735:63;;1691:117;1847:2;1873:53;1918:7;1909:6;1898:9;1894:22;1873:53;:::i;:::-;1863:63;;1818:118;1619:324;;;;;:::o;1949:118::-;2036:24;2054:5;2036:24;:::i;:::-;2031:3;2024:37;2014:53;;:::o;2073:109::-;2154:21;2169:5;2154:21;:::i;:::-;2149:3;2142:34;2132:50;;:::o;2188:364::-;2276:3;2304:39;2337:5;2304:39;:::i;:::-;2359:71;2423:6;2418:3;2359:71;:::i;:::-;2352:78;;2439:52;2484:6;2479:3;2472:4;2465:5;2461:16;2439:52;:::i;:::-;2516:29;2538:6;2516:29;:::i;:::-;2511:3;2507:39;2500:46;;2280:272;;;;;:::o;2558:366::-;2700:3;2721:67;2785:2;2780:3;2721:67;:::i;:::-;2714:74;;2797:93;2886:3;2797:93;:::i;:::-;2915:2;2910:3;2906:12;2899:19;;2704:220;;;:::o;2930:366::-;3072:3;3093:67;3157:2;3152:3;3093:67;:::i;:::-;3086:74;;3169:93;3258:3;3169:93;:::i;:::-;3287:2;3282:3;3278:12;3271:19;;3076:220;;;:::o;3302:366::-;3444:3;3465:67;3529:2;3524:3;3465:67;:::i;:::-;3458:74;;3541:93;3630:3;3541:93;:::i;:::-;3659:2;3654:3;3650:12;3643:19;;3448:220;;;:::o;3674:366::-;3816:3;3837:67;3901:2;3896:3;3837:67;:::i;:::-;3830:74;;3913:93;4002:3;3913:93;:::i;:::-;4031:2;4026:3;4022:12;4015:19;;3820:220;;;:::o;4046:366::-;4188:3;4209:67;4273:2;4268:3;4209:67;:::i;:::-;4202:74;;4285:93;4374:3;4285:93;:::i;:::-;4403:2;4398:3;4394:12;4387:19;;4192:220;;;:::o;4418:366::-;4560:3;4581:67;4645:2;4640:3;4581:67;:::i;:::-;4574:74;;4657:93;4746:3;4657:93;:::i;:::-;4775:2;4770:3;4766:12;4759:19;;4564:220;;;:::o;4790:366::-;4932:3;4953:67;5017:2;5012:3;4953:67;:::i;:::-;4946:74;;5029:93;5118:3;5029:93;:::i;:::-;5147:2;5142:3;5138:12;5131:19;;4936:220;;;:::o;5162:366::-;5304:3;5325:67;5389:2;5384:3;5325:67;:::i;:::-;5318:74;;5401:93;5490:3;5401:93;:::i;:::-;5519:2;5514:3;5510:12;5503:19;;5308:220;;;:::o;5534:366::-;5676:3;5697:67;5761:2;5756:3;5697:67;:::i;:::-;5690:74;;5773:93;5862:3;5773:93;:::i;:::-;5891:2;5886:3;5882:12;5875:19;;5680:220;;;:::o;5906:366::-;6048:3;6069:67;6133:2;6128:3;6069:67;:::i;:::-;6062:74;;6145:93;6234:3;6145:93;:::i;:::-;6263:2;6258:3;6254:12;6247:19;;6052:220;;;:::o;6278:118::-;6365:24;6383:5;6365:24;:::i;:::-;6360:3;6353:37;6343:53;;:::o;6402:112::-;6485:22;6501:5;6485:22;:::i;:::-;6480:3;6473:35;6463:51;;:::o;6520:222::-;6613:4;6651:2;6640:9;6636:18;6628:26;;6664:71;6732:1;6721:9;6717:17;6708:6;6664:71;:::i;:::-;6618:124;;;;:::o;6748:210::-;6835:4;6873:2;6862:9;6858:18;6850:26;;6886:65;6948:1;6937:9;6933:17;6924:6;6886:65;:::i;:::-;6840:118;;;;:::o;6964:313::-;7077:4;7115:2;7104:9;7100:18;7092:26;;7164:9;7158:4;7154:20;7150:1;7139:9;7135:17;7128:47;7192:78;7265:4;7256:6;7192:78;:::i;:::-;7184:86;;7082:195;;;;:::o;7283:419::-;7449:4;7487:2;7476:9;7472:18;7464:26;;7536:9;7530:4;7526:20;7522:1;7511:9;7507:17;7500:47;7564:131;7690:4;7564:131;:::i;:::-;7556:139;;7454:248;;;:::o;7708:419::-;7874:4;7912:2;7901:9;7897:18;7889:26;;7961:9;7955:4;7951:20;7947:1;7936:9;7932:17;7925:47;7989:131;8115:4;7989:131;:::i;:::-;7981:139;;7879:248;;;:::o;8133:419::-;8299:4;8337:2;8326:9;8322:18;8314:26;;8386:9;8380:4;8376:20;8372:1;8361:9;8357:17;8350:47;8414:131;8540:4;8414:131;:::i;:::-;8406:139;;8304:248;;;:::o;8558:419::-;8724:4;8762:2;8751:9;8747:18;8739:26;;8811:9;8805:4;8801:20;8797:1;8786:9;8782:17;8775:47;8839:131;8965:4;8839:131;:::i;:::-;8831:139;;8729:248;;;:::o;8983:419::-;9149:4;9187:2;9176:9;9172:18;9164:26;;9236:9;9230:4;9226:20;9222:1;9211:9;9207:17;9200:47;9264:131;9390:4;9264:131;:::i;:::-;9256:139;;9154:248;;;:::o;9408:419::-;9574:4;9612:2;9601:9;9597:18;9589:26;;9661:9;9655:4;9651:20;9647:1;9636:9;9632:17;9625:47;9689:131;9815:4;9689:131;:::i;:::-;9681:139;;9579:248;;;:::o;9833:419::-;9999:4;10037:2;10026:9;10022:18;10014:26;;10086:9;10080:4;10076:20;10072:1;10061:9;10057:17;10050:47;10114:131;10240:4;10114:131;:::i;:::-;10106:139;;10004:248;;;:::o;10258:419::-;10424:4;10462:2;10451:9;10447:18;10439:26;;10511:9;10505:4;10501:20;10497:1;10486:9;10482:17;10475:47;10539:131;10665:4;10539:131;:::i;:::-;10531:139;;10429:248;;;:::o;10683:419::-;10849:4;10887:2;10876:9;10872:18;10864:26;;10936:9;10930:4;10926:20;10922:1;10911:9;10907:17;10900:47;10964:131;11090:4;10964:131;:::i;:::-;10956:139;;10854:248;;;:::o;11108:419::-;11274:4;11312:2;11301:9;11297:18;11289:26;;11361:9;11355:4;11351:20;11347:1;11336:9;11332:17;11325:47;11389:131;11515:4;11389:131;:::i;:::-;11381:139;;11279:248;;;:::o;11533:222::-;11626:4;11664:2;11653:9;11649:18;11641:26;;11677:71;11745:1;11734:9;11730:17;11721:6;11677:71;:::i;:::-;11631:124;;;;:::o;11761:214::-;11850:4;11888:2;11877:9;11873:18;11865:26;;11901:67;11965:1;11954:9;11950:17;11941:6;11901:67;:::i;:::-;11855:120;;;;:::o;11981:99::-;12033:6;12067:5;12061:12;12051:22;;12040:40;;;:::o;12086:169::-;12170:11;12204:6;12199:3;12192:19;12244:4;12239:3;12235:14;12220:29;;12182:73;;;;:::o;12261:305::-;12301:3;12320:20;12338:1;12320:20;:::i;:::-;12315:25;;12354:20;12372:1;12354:20;:::i;:::-;12349:25;;12508:1;12440:66;12436:74;12433:1;12430:81;12427:2;;;12514:18;;:::i;:::-;12427:2;12558:1;12555;12551:9;12544:16;;12305:261;;;;:::o;12572:96::-;12609:7;12638:24;12656:5;12638:24;:::i;:::-;12627:35;;12617:51;;;:::o;12674:90::-;12708:7;12751:5;12744:13;12737:21;12726:32;;12716:48;;;:::o;12770:126::-;12807:7;12847:42;12840:5;12836:54;12825:65;;12815:81;;;:::o;12902:77::-;12939:7;12968:5;12957:16;;12947:32;;;:::o;12985:86::-;13020:7;13060:4;13053:5;13049:16;13038:27;;13028:43;;;:::o;13077:307::-;13145:1;13155:113;13169:6;13166:1;13163:13;13155:113;;;13254:1;13249:3;13245:11;13239:18;13235:1;13230:3;13226:11;13219:39;13191:2;13188:1;13184:10;13179:15;;13155:113;;;13286:6;13283:1;13280:13;13277:2;;;13366:1;13357:6;13352:3;13348:16;13341:27;13277:2;13126:258;;;;:::o;13390:320::-;13434:6;13471:1;13465:4;13461:12;13451:22;;13518:1;13512:4;13508:12;13539:18;13529:2;;13595:4;13587:6;13583:17;13573:27;;13529:2;13657;13649:6;13646:14;13626:18;13623:38;13620:2;;;13676:18;;:::i;:::-;13620:2;13441:269;;;;:::o;13716:180::-;13764:77;13761:1;13754:88;13861:4;13858:1;13851:15;13885:4;13882:1;13875:15;13902:180;13950:77;13947:1;13940:88;14047:4;14044:1;14037:15;14071:4;14068:1;14061:15;14088:102;14129:6;14180:2;14176:7;14171:2;14164:5;14160:14;14156:28;14146:38;;14136:54;;;:::o;14196:222::-;14336:34;14332:1;14324:6;14320:14;14313:58;14405:5;14400:2;14392:6;14388:15;14381:30;14302:116;:::o;14424:225::-;14564:34;14560:1;14552:6;14548:14;14541:58;14633:8;14628:2;14620:6;14616:15;14609:33;14530:119;:::o;14655:221::-;14795:34;14791:1;14783:6;14779:14;14772:58;14864:4;14859:2;14851:6;14847:15;14840:29;14761:115;:::o;14882:179::-;15022:31;15018:1;15010:6;15006:14;14999:55;14988:73;:::o;15067:225::-;15207:34;15203:1;15195:6;15191:14;15184:58;15276:8;15271:2;15263:6;15259:15;15252:33;15173:119;:::o;15298:182::-;15438:34;15434:1;15426:6;15422:14;15415:58;15404:76;:::o;15486:224::-;15626:34;15622:1;15614:6;15610:14;15603:58;15695:7;15690:2;15682:6;15678:15;15671:32;15592:118;:::o;15716:223::-;15856:34;15852:1;15844:6;15840:14;15833:58;15925:6;15920:2;15912:6;15908:15;15901:31;15822:117;:::o;15945:224::-;16085:34;16081:1;16073:6;16069:14;16062:58;16154:7;16149:2;16141:6;16137:15;16130:32;16051:118;:::o;16175:181::-;16315:33;16311:1;16303:6;16299:14;16292:57;16281:75;:::o;16362:122::-;16435:24;16453:5;16435:24;:::i;:::-;16428:5;16425:35;16415:2;;16474:1;16471;16464:12;16415:2;16405:79;:::o;16490:122::-;16563:24;16581:5;16563:24;:::i;:::-;16556:5;16553:35;16543:2;;16602:1;16599;16592:12;16543:2;16533:79;:::o

ipfs://a79f18113b71924dc5edab9eb817042792b6a532171d84c5658c6d71cbb8c897