Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( 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 WLFI is ERC20 *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-08-26
*/

// SPDX-License-Identifier: MIT

/*

https://t.me/Wlfiethcoin
https://x.com/Wlfiethcoin

*/

pragma solidity ^0.8.0;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

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

pragma solidity ^0.8.0;

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

pragma solidity ^0.8.0;

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

pragma solidity ^0.8.0;

contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

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

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

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

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

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

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

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

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

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

        return true;
    }

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

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _balances[to] += amount;
        }

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

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

        _totalSupply += amount;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _balances[account] += amount;
        }
        emit Transfer(address(0), account, amount);

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

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

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _totalSupply -= amount;
        }

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

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

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

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

    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `amount`.
     *
     * Does not update the allowance amount in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Might emit an {Approval} event.
     */
    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

pragma solidity ^0.8.26;

contract WLFI is ERC20 {
    constructor() ERC20("worldlibertyfi", "WLFI") {
        _mint(msg.sender, 1000000000 * 10 ** decimals());
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b506040518060400160405280600e81526020017f776f726c646c69626572747966690000000000000000000000000000000000008152506040518060400160405280600481526020017f574c464900000000000000000000000000000000000000000000000000000000815250816003908161008b9190610481565b50806004908161009b9190610481565b5050506100d6336100b06100db60201b60201c565b600a6100bc91906106b8565b633b9aca006100cb9190610702565b6100e360201b60201c565b610816565b5f6012905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610151576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101489061079d565b60405180910390fd5b6101625f838361023d60201b60201c565b8060025f82825461017391906107bb565b92505081905550805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161022091906107fd565b60405180910390a36102395f838361024260201b60201c565b5050565b505050565b505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806102c257607f821691505b6020821081036102d5576102d461027e565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026103377fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826102fc565b61034186836102fc565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61038561038061037b84610359565b610362565b610359565b9050919050565b5f819050919050565b61039e8361036b565b6103b26103aa8261038c565b848454610308565b825550505050565b5f90565b6103c66103ba565b6103d1818484610395565b505050565b5b818110156103f4576103e95f826103be565b6001810190506103d7565b5050565b601f8211156104395761040a816102db565b610413846102ed565b81016020851015610422578190505b61043661042e856102ed565b8301826103d6565b50505b505050565b5f82821c905092915050565b5f6104595f198460080261043e565b1980831691505092915050565b5f610471838361044a565b9150826002028217905092915050565b61048a82610247565b67ffffffffffffffff8111156104a3576104a2610251565b5b6104ad82546102ab565b6104b88282856103f8565b5f60209050601f8311600181146104e9575f84156104d7578287015190505b6104e18582610466565b865550610548565b601f1984166104f7866102db565b5f5b8281101561051e578489015182556001820191506020850194506020810190506104f9565b8683101561053b5784890151610537601f89168261044a565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156105d2578086048111156105ae576105ad610550565b5b60018516156105bd5780820291505b80810290506105cb8561057d565b9450610592565b94509492505050565b5f826105ea57600190506106a5565b816105f7575f90506106a5565b816001811461060d576002811461061757610646565b60019150506106a5565b60ff84111561062957610628610550565b5b8360020a9150848211156106405761063f610550565b5b506106a5565b5060208310610133831016604e8410600b841016171561067b5782820a90508381111561067657610675610550565b5b6106a5565b6106888484846001610589565b9250905081840481111561069f5761069e610550565b5b81810290505b9392505050565b5f60ff82169050919050565b5f6106c282610359565b91506106cd836106ac565b92506106fa7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846105db565b905092915050565b5f61070c82610359565b915061071783610359565b925082820261072581610359565b9150828204841483151761073c5761073b610550565b5b5092915050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f610787601f83610743565b915061079282610753565b602082019050919050565b5f6020820190508181035f8301526107b48161077b565b9050919050565b5f6107c582610359565b91506107d083610359565b92508282019050808211156107e8576107e7610550565b5b92915050565b6107f781610359565b82525050565b5f6020820190506108105f8301846107ee565b92915050565b6111a9806108235f395ff3fe608060405234801561000f575f80fd5b50600436106100a7575f3560e01c8063395093511161006f578063395093511461016557806370a082311461019557806395d89b41146101c5578063a457c2d7146101e3578063a9059cbb14610213578063dd62ed3e14610243576100a7565b806306fdde03146100ab578063095ea7b3146100c957806318160ddd146100f957806323b872dd14610117578063313ce56714610147575b5f80fd5b6100b3610273565b6040516100c09190610ac3565b60405180910390f35b6100e360048036038101906100de9190610b74565b610303565b6040516100f09190610bcc565b60405180910390f35b610101610325565b60405161010e9190610bf4565b60405180910390f35b610131600480360381019061012c9190610c0d565b61032e565b60405161013e9190610bcc565b60405180910390f35b61014f61035c565b60405161015c9190610c78565b60405180910390f35b61017f600480360381019061017a9190610b74565b610364565b60405161018c9190610bcc565b60405180910390f35b6101af60048036038101906101aa9190610c91565b61039a565b6040516101bc9190610bf4565b60405180910390f35b6101cd6103df565b6040516101da9190610ac3565b60405180910390f35b6101fd60048036038101906101f89190610b74565b61046f565b60405161020a9190610bcc565b60405180910390f35b61022d60048036038101906102289190610b74565b6104e4565b60405161023a9190610bcc565b60405180910390f35b61025d60048036038101906102589190610cbc565b610506565b60405161026a9190610bf4565b60405180910390f35b60606003805461028290610d27565b80601f01602080910402602001604051908101604052809291908181526020018280546102ae90610d27565b80156102f95780601f106102d0576101008083540402835291602001916102f9565b820191905f5260205f20905b8154815290600101906020018083116102dc57829003601f168201915b5050505050905090565b5f8061030d610588565b905061031a81858561058f565b600191505092915050565b5f600254905090565b5f80610338610588565b9050610345858285610752565b6103508585856107dd565b60019150509392505050565b5f6012905090565b5f8061036e610588565b905061038f8185856103808589610506565b61038a9190610d84565b61058f565b600191505092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600480546103ee90610d27565b80601f016020809104026020016040519081016040528092919081815260200182805461041a90610d27565b80156104655780601f1061043c57610100808354040283529160200191610465565b820191905f5260205f20905b81548152906001019060200180831161044857829003601f168201915b5050505050905090565b5f80610479610588565b90505f6104868286610506565b9050838110156104cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c290610e27565b60405180910390fd5b6104d8828686840361058f565b60019250505092915050565b5f806104ee610588565b90506104fb8185856107dd565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036105fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f490610eb5565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361066b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066290610f43565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516107459190610bf4565b60405180910390a3505050565b5f61075d8484610506565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146107d757818110156107c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c090610fab565b60405180910390fd5b6107d6848484840361058f565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361084b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084290611039565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108b9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108b0906110c7565b60405180910390fd5b6108c4838383610a49565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610947576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093e90611155565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a309190610bf4565b60405180910390a3610a43848484610a4e565b50505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610a9582610a53565b610a9f8185610a5d565b9350610aaf818560208601610a6d565b610ab881610a7b565b840191505092915050565b5f6020820190508181035f830152610adb8184610a8b565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610b1082610ae7565b9050919050565b610b2081610b06565b8114610b2a575f80fd5b50565b5f81359050610b3b81610b17565b92915050565b5f819050919050565b610b5381610b41565b8114610b5d575f80fd5b50565b5f81359050610b6e81610b4a565b92915050565b5f8060408385031215610b8a57610b89610ae3565b5b5f610b9785828601610b2d565b9250506020610ba885828601610b60565b9150509250929050565b5f8115159050919050565b610bc681610bb2565b82525050565b5f602082019050610bdf5f830184610bbd565b92915050565b610bee81610b41565b82525050565b5f602082019050610c075f830184610be5565b92915050565b5f805f60608486031215610c2457610c23610ae3565b5b5f610c3186828701610b2d565b9350506020610c4286828701610b2d565b9250506040610c5386828701610b60565b9150509250925092565b5f60ff82169050919050565b610c7281610c5d565b82525050565b5f602082019050610c8b5f830184610c69565b92915050565b5f60208284031215610ca657610ca5610ae3565b5b5f610cb384828501610b2d565b91505092915050565b5f8060408385031215610cd257610cd1610ae3565b5b5f610cdf85828601610b2d565b9250506020610cf085828601610b2d565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610d3e57607f821691505b602082108103610d5157610d50610cfa565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610d8e82610b41565b9150610d9983610b41565b9250828201905080821115610db157610db0610d57565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f610e11602583610a5d565b9150610e1c82610db7565b604082019050919050565b5f6020820190508181035f830152610e3e81610e05565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f610e9f602483610a5d565b9150610eaa82610e45565b604082019050919050565b5f6020820190508181035f830152610ecc81610e93565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f610f2d602283610a5d565b9150610f3882610ed3565b604082019050919050565b5f6020820190508181035f830152610f5a81610f21565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f610f95601d83610a5d565b9150610fa082610f61565b602082019050919050565b5f6020820190508181035f830152610fc281610f89565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611023602583610a5d565b915061102e82610fc9565b604082019050919050565b5f6020820190508181035f83015261105081611017565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6110b1602383610a5d565b91506110bc82611057565b604082019050919050565b5f6020820190508181035f8301526110de816110a5565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61113f602683610a5d565b915061114a826110e5565b604082019050919050565b5f6020820190508181035f83015261116c81611133565b905091905056fea26469706673582212202681f3e2dcd2f2387085d1b3db23720c3098d3dfbce8af1ade15215f64288fcf64736f6c634300081a0033

0x608060405234801561000f575f80fd5b50600436106100a7575f3560e01c8063395093511161006f578063395093511461016557806370a082311461019557806395d89b41146101c5578063a457c2d7146101e3578063a9059cbb14610213578063dd62ed3e14610243576100a7565b806306fdde03146100ab578063095ea7b3146100c957806318160ddd146100f957806323b872dd14610117578063313ce56714610147575b5f80fd5b6100b3610273565b6040516100c09190610ac3565b60405180910390f35b6100e360048036038101906100de9190610b74565b610303565b6040516100f09190610bcc565b60405180910390f35b610101610325565b60405161010e9190610bf4565b60405180910390f35b610131600480360381019061012c9190610c0d565b61032e565b60405161013e9190610bcc565b60405180910390f35b61014f61035c565b60405161015c9190610c78565b60405180910390f35b61017f600480360381019061017a9190610b74565b610364565b60405161018c9190610bcc565b60405180910390f35b6101af60048036038101906101aa9190610c91565b61039a565b6040516101bc9190610bf4565b60405180910390f35b6101cd6103df565b6040516101da9190610ac3565b60405180910390f35b6101fd60048036038101906101f89190610b74565b61046f565b60405161020a9190610bcc565b60405180910390f35b61022d60048036038101906102289190610b74565b6104e4565b60405161023a9190610bcc565b60405180910390f35b61025d60048036038101906102589190610cbc565b610506565b60405161026a9190610bf4565b60405180910390f35b60606003805461028290610d27565b80601f01602080910402602001604051908101604052809291908181526020018280546102ae90610d27565b80156102f95780601f106102d0576101008083540402835291602001916102f9565b820191905f5260205f20905b8154815290600101906020018083116102dc57829003601f168201915b5050505050905090565b5f8061030d610588565b905061031a81858561058f565b600191505092915050565b5f600254905090565b5f80610338610588565b9050610345858285610752565b6103508585856107dd565b60019150509392505050565b5f6012905090565b5f8061036e610588565b905061038f8185856103808589610506565b61038a9190610d84565b61058f565b600191505092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600480546103ee90610d27565b80601f016020809104026020016040519081016040528092919081815260200182805461041a90610d27565b80156104655780601f1061043c57610100808354040283529160200191610465565b820191905f5260205f20905b81548152906001019060200180831161044857829003601f168201915b5050505050905090565b5f80610479610588565b90505f6104868286610506565b9050838110156104cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c290610e27565b60405180910390fd5b6104d8828686840361058f565b60019250505092915050565b5f806104ee610588565b90506104fb8185856107dd565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036105fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f490610eb5565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361066b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066290610f43565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516107459190610bf4565b60405180910390a3505050565b5f61075d8484610506565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146107d757818110156107c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c090610fab565b60405180910390fd5b6107d6848484840361058f565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361084b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084290611039565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108b9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108b0906110c7565b60405180910390fd5b6108c4838383610a49565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610947576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093e90611155565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a309190610bf4565b60405180910390a3610a43848484610a4e565b50505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610a9582610a53565b610a9f8185610a5d565b9350610aaf818560208601610a6d565b610ab881610a7b565b840191505092915050565b5f6020820190508181035f830152610adb8184610a8b565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610b1082610ae7565b9050919050565b610b2081610b06565b8114610b2a575f80fd5b50565b5f81359050610b3b81610b17565b92915050565b5f819050919050565b610b5381610b41565b8114610b5d575f80fd5b50565b5f81359050610b6e81610b4a565b92915050565b5f8060408385031215610b8a57610b89610ae3565b5b5f610b9785828601610b2d565b9250506020610ba885828601610b60565b9150509250929050565b5f8115159050919050565b610bc681610bb2565b82525050565b5f602082019050610bdf5f830184610bbd565b92915050565b610bee81610b41565b82525050565b5f602082019050610c075f830184610be5565b92915050565b5f805f60608486031215610c2457610c23610ae3565b5b5f610c3186828701610b2d565b9350506020610c4286828701610b2d565b9250506040610c5386828701610b60565b9150509250925092565b5f60ff82169050919050565b610c7281610c5d565b82525050565b5f602082019050610c8b5f830184610c69565b92915050565b5f60208284031215610ca657610ca5610ae3565b5b5f610cb384828501610b2d565b91505092915050565b5f8060408385031215610cd257610cd1610ae3565b5b5f610cdf85828601610b2d565b9250506020610cf085828601610b2d565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610d3e57607f821691505b602082108103610d5157610d50610cfa565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610d8e82610b41565b9150610d9983610b41565b9250828201905080821115610db157610db0610d57565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f610e11602583610a5d565b9150610e1c82610db7565b604082019050919050565b5f6020820190508181035f830152610e3e81610e05565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f610e9f602483610a5d565b9150610eaa82610e45565b604082019050919050565b5f6020820190508181035f830152610ecc81610e93565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f610f2d602283610a5d565b9150610f3882610ed3565b604082019050919050565b5f6020820190508181035f830152610f5a81610f21565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f610f95601d83610a5d565b9150610fa082610f61565b602082019050919050565b5f6020820190508181035f830152610fc281610f89565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611023602583610a5d565b915061102e82610fc9565b604082019050919050565b5f6020820190508181035f83015261105081611017565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6110b1602383610a5d565b91506110bc82611057565b604082019050919050565b5f6020820190508181035f8301526110de816110a5565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61113f602683610a5d565b915061114a826110e5565b604082019050919050565b5f6020820190508181035f83015261116c81611133565b905091905056fea26469706673582212202681f3e2dcd2f2387085d1b3db23720c3098d3dfbce8af1ade15215f64288fcf64736f6c634300081a0033

15518:146:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4302:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6653:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5422:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7434:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5264:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8138:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5593:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4521:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8879:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5926:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6182:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4302:100;4356:13;4389:5;4382:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4302:100;:::o;6653:201::-;6736:4;6753:13;6769:12;:10;:12::i;:::-;6753:28;;6792:32;6801:5;6808:7;6817:6;6792:8;:32::i;:::-;6842:4;6835:11;;;6653:201;;;;:::o;5422:108::-;5483:7;5510:12;;5503:19;;5422:108;:::o;7434:295::-;7565:4;7582:15;7600:12;:10;:12::i;:::-;7582:30;;7623:38;7639:4;7645:7;7654:6;7623:15;:38::i;:::-;7672:27;7682:4;7688:2;7692:6;7672:9;:27::i;:::-;7717:4;7710:11;;;7434:295;;;;;:::o;5264:93::-;5322:5;5347:2;5340:9;;5264:93;:::o;8138:238::-;8226:4;8243:13;8259:12;:10;:12::i;:::-;8243:28;;8282:64;8291:5;8298:7;8335:10;8307:25;8317:5;8324:7;8307:9;:25::i;:::-;:38;;;;:::i;:::-;8282:8;:64::i;:::-;8364:4;8357:11;;;8138:238;;;;:::o;5593:127::-;5667:7;5694:9;:18;5704:7;5694:18;;;;;;;;;;;;;;;;5687:25;;5593:127;;;:::o;4521:104::-;4577:13;4610:7;4603:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4521:104;:::o;8879:436::-;8972:4;8989:13;9005:12;:10;:12::i;:::-;8989:28;;9028:24;9055:25;9065:5;9072:7;9055:9;:25::i;:::-;9028:52;;9119:15;9099:16;:35;;9091:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;9212:60;9221:5;9228:7;9256:15;9237:16;:34;9212:8;:60::i;:::-;9303:4;9296:11;;;;8879:436;;;;:::o;5926:193::-;6005:4;6022:13;6038:12;:10;:12::i;:::-;6022:28;;6061;6071:5;6078:2;6082:6;6061:9;:28::i;:::-;6107:4;6100:11;;;5926:193;;;;:::o;6182:151::-;6271:7;6298:11;:18;6310:5;6298:18;;;;;;;;;;;;;;;:27;6317:7;6298:27;;;;;;;;;;;;;;;;6291:34;;6182:151;;;;:::o;162:98::-;215:7;242:10;235:17;;162:98;:::o;12906:380::-;13059:1;13042:19;;:5;:19;;;13034:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;13140:1;13121:21;;:7;:21;;;13113:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;13224:6;13194:11;:18;13206:5;13194:18;;;;;;;;;;;;;;;:27;13213:7;13194:27;;;;;;;;;;;;;;;:36;;;;13262:7;13246:32;;13255:5;13246:32;;;13271:6;13246:32;;;;;;:::i;:::-;;;;;;;;12906:380;;;:::o;13577:453::-;13712:24;13739:25;13749:5;13756:7;13739:9;:25::i;:::-;13712:52;;13799:17;13779:16;:37;13775:248;;13861:6;13841:16;:26;;13833:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;13945:51;13954:5;13961:7;13989:6;13970:16;:25;13945:8;:51::i;:::-;13775:248;13701:329;13577:453;;;:::o;9785:840::-;9932:1;9916:18;;:4;:18;;;9908:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10009:1;9995:16;;:2;:16;;;9987:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;10064:38;10085:4;10091:2;10095:6;10064:20;:38::i;:::-;10115:19;10137:9;:15;10147:4;10137:15;;;;;;;;;;;;;;;;10115:37;;10186:6;10171:11;:21;;10163:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;10303:6;10289:11;:20;10271:9;:15;10281:4;10271:15;;;;;;;;;;;;;;;:38;;;;10506:6;10489:9;:13;10499:2;10489:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;10556:2;10541:26;;10550:4;10541:26;;;10560:6;10541:26;;;;;;:::i;:::-;;;;;;;;10580:37;10600:4;10606:2;10610:6;10580:19;:37::i;:::-;9897:728;9785:840;;;:::o;14630:125::-;;;;:::o;15359: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:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:474::-;5149:6;5157;5206:2;5194:9;5185:7;5181:23;5177:32;5174:119;;;5212:79;;:::i;:::-;5174:119;5332:1;5357:53;5402:7;5393:6;5382:9;5378:22;5357:53;:::i;:::-;5347:63;;5303:117;5459:2;5485:53;5530:7;5521:6;5510:9;5506:22;5485:53;:::i;:::-;5475:63;;5430:118;5081:474;;;;;:::o;5561:180::-;5609:77;5606:1;5599:88;5706:4;5703:1;5696:15;5730:4;5727:1;5720:15;5747:320;5791:6;5828:1;5822:4;5818:12;5808:22;;5875:1;5869:4;5865:12;5896:18;5886:81;;5952:4;5944:6;5940:17;5930:27;;5886:81;6014:2;6006:6;6003:14;5983:18;5980:38;5977:84;;6033:18;;:::i;:::-;5977:84;5798:269;5747:320;;;:::o;6073:180::-;6121:77;6118:1;6111:88;6218:4;6215:1;6208:15;6242:4;6239:1;6232:15;6259:191;6299:3;6318:20;6336:1;6318:20;:::i;:::-;6313:25;;6352:20;6370:1;6352:20;:::i;:::-;6347:25;;6395:1;6392;6388:9;6381:16;;6416:3;6413:1;6410:10;6407:36;;;6423:18;;:::i;:::-;6407:36;6259:191;;;;:::o;6456:224::-;6596:34;6592:1;6584:6;6580:14;6573:58;6665:7;6660:2;6652:6;6648:15;6641:32;6456:224;:::o;6686:366::-;6828:3;6849:67;6913:2;6908:3;6849:67;:::i;:::-;6842:74;;6925:93;7014:3;6925:93;:::i;:::-;7043:2;7038:3;7034:12;7027:19;;6686:366;;;:::o;7058:419::-;7224:4;7262:2;7251:9;7247:18;7239:26;;7311:9;7305:4;7301:20;7297:1;7286:9;7282:17;7275:47;7339:131;7465:4;7339:131;:::i;:::-;7331:139;;7058:419;;;:::o;7483:223::-;7623:34;7619:1;7611:6;7607:14;7600:58;7692:6;7687:2;7679:6;7675:15;7668:31;7483:223;:::o;7712:366::-;7854:3;7875:67;7939:2;7934:3;7875:67;:::i;:::-;7868:74;;7951:93;8040:3;7951:93;:::i;:::-;8069:2;8064:3;8060:12;8053:19;;7712:366;;;:::o;8084:419::-;8250:4;8288:2;8277:9;8273:18;8265:26;;8337:9;8331:4;8327:20;8323:1;8312:9;8308:17;8301:47;8365:131;8491:4;8365:131;:::i;:::-;8357:139;;8084:419;;;:::o;8509:221::-;8649:34;8645:1;8637:6;8633:14;8626:58;8718:4;8713:2;8705:6;8701:15;8694:29;8509:221;:::o;8736:366::-;8878:3;8899:67;8963:2;8958:3;8899:67;:::i;:::-;8892:74;;8975:93;9064:3;8975:93;:::i;:::-;9093:2;9088:3;9084:12;9077:19;;8736:366;;;:::o;9108:419::-;9274:4;9312:2;9301:9;9297:18;9289:26;;9361:9;9355:4;9351:20;9347:1;9336:9;9332:17;9325:47;9389:131;9515:4;9389:131;:::i;:::-;9381:139;;9108:419;;;:::o;9533:179::-;9673:31;9669:1;9661:6;9657:14;9650:55;9533:179;:::o;9718:366::-;9860:3;9881:67;9945:2;9940:3;9881:67;:::i;:::-;9874:74;;9957:93;10046:3;9957:93;:::i;:::-;10075:2;10070:3;10066:12;10059:19;;9718:366;;;:::o;10090:419::-;10256:4;10294:2;10283:9;10279:18;10271:26;;10343:9;10337:4;10333:20;10329:1;10318:9;10314:17;10307:47;10371:131;10497:4;10371:131;:::i;:::-;10363:139;;10090:419;;;:::o;10515:224::-;10655:34;10651:1;10643:6;10639:14;10632:58;10724:7;10719:2;10711:6;10707:15;10700:32;10515:224;:::o;10745:366::-;10887:3;10908:67;10972:2;10967:3;10908:67;:::i;:::-;10901:74;;10984:93;11073:3;10984:93;:::i;:::-;11102:2;11097:3;11093:12;11086:19;;10745:366;;;:::o;11117:419::-;11283:4;11321:2;11310:9;11306:18;11298:26;;11370:9;11364:4;11360:20;11356:1;11345:9;11341:17;11334:47;11398:131;11524:4;11398:131;:::i;:::-;11390:139;;11117:419;;;:::o;11542:222::-;11682:34;11678:1;11670:6;11666:14;11659:58;11751:5;11746:2;11738:6;11734:15;11727:30;11542:222;:::o;11770:366::-;11912:3;11933:67;11997:2;11992:3;11933:67;:::i;:::-;11926:74;;12009:93;12098:3;12009:93;:::i;:::-;12127:2;12122:3;12118:12;12111:19;;11770:366;;;:::o;12142:419::-;12308:4;12346:2;12335:9;12331:18;12323:26;;12395:9;12389:4;12385:20;12381:1;12370:9;12366:17;12359:47;12423:131;12549:4;12423:131;:::i;:::-;12415:139;;12142:419;;;:::o;12567:225::-;12707:34;12703:1;12695:6;12691:14;12684:58;12776:8;12771:2;12763:6;12759:15;12752:33;12567:225;:::o;12798:366::-;12940:3;12961:67;13025:2;13020:3;12961:67;:::i;:::-;12954:74;;13037:93;13126:3;13037:93;:::i;:::-;13155:2;13150:3;13146:12;13139:19;;12798:366;;;:::o;13170:419::-;13336:4;13374:2;13363:9;13359:18;13351:26;;13423:9;13417:4;13413:20;13409:1;13398:9;13394:17;13387:47;13451:131;13577:4;13451:131;:::i;:::-;13443:139;;13170:419;;;:::o

ipfs://2681f3e2dcd2f2387085d1b3db23720c3098d3dfbce8af1ade15215f64288fcf