Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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(    - function _msgSender() library SafeTransfer    - function safeTransfer(  contract Aidi is Context, IERC20 *    - function recoverERC20(address token)    - function recoverETH()    - function changeAidiverseWallet(addres ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function burn(uint256 amount)    - function burnFrom(address account, ui ...    - 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 _burn(address account, uint2 ...    - function _approve(    - function _spendAllowance(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*
* 
* Aidi Finance is the flagship token of the Aidiverse.  
* 
* Website: https://aidiverse.com
* 
*/

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.23;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

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

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

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

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

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

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

library SafeTransfer {
    function safeTransfer(
        IERC20 token,
        address to,
        uint256 value
    ) internal {
        (bool s, ) = address(token).call(
            abi.encodeWithSelector(IERC20.transfer.selector, to, value)
        );
        require(s, "safeTransfer failed");
    }
}

// File: contracts/AidiERC20.sol

contract Aidi is Context, IERC20 {

    using SafeTransfer for IERC20;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;
    uint8 private _decimals;

    address payable public aidiverseWallet = payable(0xa542Ccfe02aeDF424925ef384270768808b5AC43);

    constructor () {
        _name = "Aidi Finance";
        _symbol = "AIDI";
        _decimals = 18;
        uint256 amount = 1000000000000000000000000000; // 1B
        _totalSupply = amount;
        _balances[_msgSender()] = amount;
        emit Transfer(address(0), _msgSender(), amount);
    }

    receive() external payable {

  	}

    function recoverERC20(address token) external {
        require(_msgSender() == aidiverseWallet, "Not permitted!");
        IERC20(token).safeTransfer(
            aidiverseWallet,
            IERC20(token).balanceOf(address(this))
        );
    }

    function recoverETH() external {
        require(_msgSender() == aidiverseWallet, "Not permitted!");
        (bool success, ) = aidiverseWallet.call{value: address(this).balance}(new bytes(0));
        require(success, "recoverETH: ETH recovery failed");
    }

    function changeAidiverseWallet(address newAidiverseWallet) external {
        require(newAidiverseWallet != address(0), "Zero address");
        require(_msgSender() == aidiverseWallet, "Not permitted!");
        aidiverseWallet = payable(newAidiverseWallet);
    }

    function name() external view returns (string memory) {
        return _name;
    }

    function symbol() external view returns (string memory) {
        return _symbol;
    }

    function decimals() external view returns (uint8) {
        return _decimals;
    }

    function totalSupply() external view override returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) external view override returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) external virtual {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for ``accounts``'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) external virtual {
        _spendAllowance(account, _msgSender(), amount);
        _burn(account, amount);
    }

    /**
     * @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) external virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) external 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) external 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
    ) external 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) external virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, _allowances[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) external virtual returns (bool) {
        address owner = _msgSender();
        uint256 currentAllowance = _allowances[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 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 = _allowances[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 {}

}

• Solid Proof- Nov 27th, 2023 - Security Audit Report

[{"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":[],"name":"aidiverseWallet","outputs":[{"internalType":"address payable","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newAidiverseWallet","type":"address"}],"name":"changeAidiverseWallet","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"}],"name":"recoverERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"recoverETH","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"},{"stateMutability":"payable","type":"receive"}]

608060405260058054610100600160a81b03191674a542ccfe02aedf424925ef384270768808b5ac430017905534801562000038575f80fd5b5060408051808201909152600c81526b416964692046696e616e636560a01b60208201526003906200006b9082620001cc565b50604080518082019091526004808252634149444960e01b602083015290620000959082620001cc565b506005805460ff191660121790556b033b2e3c9fd0803ce80000006002819055805f80620000c03390565b6001600160a01b0316815260208101919091526040015f2055336001600160a01b03165f6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200011f91815260200190565b60405180910390a35062000298565b634e487b7160e01b5f52604160045260245ffd5b600181811c908216806200015757607f821691505b6020821081036200017657634e487b7160e01b5f52602260045260245ffd5b50919050565b601f821115620001c757805f5260205f20601f840160051c81016020851015620001a35750805b601f840160051c820191505b81811015620001c4575f8155600101620001af565b50505b505050565b81516001600160401b03811115620001e857620001e86200012e565b6200020081620001f9845462000142565b846200017c565b602080601f83116001811462000236575f84156200021e5750858301515b5f19600386901b1c1916600185901b17855562000290565b5f85815260208120601f198616915b82811015620002665788860151825594840194600190910190840162000245565b50858210156200028457878501515f19600388901b60f8161c191681555b505060018460011b0185555b505050505050565b610f3080620002a65f395ff3fe6080604052600436106100fd575f3560e01c80636d3467e5116100925780639e8c708e116100625780639e8c708e146102b6578063a457c2d7146102d5578063a9059cbb146102f4578063c362699414610313578063dd62ed3e14610332575f80fd5b80636d3467e51461021357806370a082311461024f57806379cc67901461028357806395d89b41146102a2575f80fd5b806323b872dd116100cd57806323b872dd14610195578063313ce567146101b457806339509351146101d557806342966c68146101f4575f80fd5b80630614117a1461010857806306fdde031461011e578063095ea7b31461014857806318160ddd14610177575f80fd5b3661010457005b5f80fd5b348015610113575f80fd5b5061011c610376565b005b348015610129575f80fd5b50610132610478565b60405161013f9190610d33565b60405180910390f35b348015610153575f80fd5b50610167610162366004610d80565b610508565b604051901515815260200161013f565b348015610182575f80fd5b506002545b60405190815260200161013f565b3480156101a0575f80fd5b506101676101af366004610da8565b610521565b3480156101bf575f80fd5b5060055460405160ff909116815260200161013f565b3480156101e0575f80fd5b506101676101ef366004610d80565b610544565b3480156101ff575f80fd5b5061011c61020e366004610de1565b610582565b34801561021e575f80fd5b506005546102379061010090046001600160a01b031681565b6040516001600160a01b03909116815260200161013f565b34801561025a575f80fd5b50610187610269366004610df8565b6001600160a01b03165f9081526020819052604090205490565b34801561028e575f80fd5b5061011c61029d366004610d80565b61058c565b3480156102ad575f80fd5b506101326105a5565b3480156102c1575f80fd5b5061011c6102d0366004610df8565b6105b4565b3480156102e0575f80fd5b506101676102ef366004610d80565b610674565b3480156102ff575f80fd5b5061016761030e366004610d80565b610705565b34801561031e575f80fd5b5061011c61032d366004610df8565b610712565b34801561033d575f80fd5b5061018761034c366004610e18565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b60055461010090046001600160a01b0316336001600160a01b0316146103b75760405162461bcd60e51b81526004016103ae90610e49565b60405180910390fd5b600554604080515f80825260208201928390529261010090046001600160a01b03169147916103e591610e71565b5f6040518083038185875af1925050503d805f811461041f576040519150601f19603f3d011682016040523d82523d5f602084013e610424565b606091505b50509050806104755760405162461bcd60e51b815260206004820152601f60248201527f7265636f7665724554483a20455448207265636f76657279206661696c65640060448201526064016103ae565b50565b60606003805461048790610e8c565b80601f01602080910402602001604051908101604052809291908181526020018280546104b390610e8c565b80156104fe5780601f106104d5576101008083540402835291602001916104fe565b820191905f5260205f20905b8154815290600101906020018083116104e157829003601f168201915b5050505050905090565b5f336105158185856107b7565b60019150505b92915050565b5f3361052e8582856108db565b61053985858561096b565b506001949350505050565b335f8181526001602090815260408083206001600160a01b0387168452909152812054909190610515908290869061057d908790610ec4565b6107b7565b6104753382610b0d565b6105978233836108db565b6105a18282610b0d565b5050565b60606004805461048790610e8c565b60055461010090046001600160a01b0316336001600160a01b0316146105ec5760405162461bcd60e51b81526004016103ae90610e49565b6005546040516370a0823160e01b81523060048201526104759161010090046001600160a01b0390811691908416906370a0823190602401602060405180830381865afa15801561063f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106639190610ee3565b6001600160a01b0384169190610c35565b335f8181526001602090815260408083206001600160a01b0387168452909152812054909190838110156106f85760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016103ae565b61053982868684036107b7565b5f3361051581858561096b565b6001600160a01b0381166107575760405162461bcd60e51b815260206004820152600c60248201526b5a65726f206164647265737360a01b60448201526064016103ae565b60055461010090046001600160a01b0316336001600160a01b03161461078f5760405162461bcd60e51b81526004016103ae90610e49565b600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b6001600160a01b0383166108195760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103ae565b6001600160a01b03821661087a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103ae565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038084165f908152600160209081526040808320938616835292905220545f19811461096557818110156109585760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016103ae565b61096584848484036107b7565b50505050565b6001600160a01b0383166109cf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103ae565b6001600160a01b038216610a315760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103ae565b6001600160a01b0383165f9081526020819052604090205481811015610aa85760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016103ae565b6001600160a01b038481165f81815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3610965565b6001600160a01b038216610b6d5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b60648201526084016103ae565b6001600160a01b0382165f9081526020819052604090205481811015610be05760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b60648201526084016103ae565b6001600160a01b0383165f818152602081815260408083208686039055600280548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91016108ce565b604080516001600160a01b038481166024830152604480830185905283518084039091018152606490920183526020820180516001600160e01b031663a9059cbb60e01b17905291515f92861691610c8c91610e71565b5f604051808303815f865af19150503d805f8114610cc5576040519150601f19603f3d011682016040523d82523d5f602084013e610cca565b606091505b50509050806109655760405162461bcd60e51b81526020600482015260136024820152721cd85999551c985b9cd9995c8819985a5b1959606a1b60448201526064016103ae565b5f5b83811015610d2b578181015183820152602001610d13565b50505f910152565b602081525f8251806020840152610d51816040850160208701610d11565b601f01601f19169190910160400192915050565b80356001600160a01b0381168114610d7b575f80fd5b919050565b5f8060408385031215610d91575f80fd5b610d9a83610d65565b946020939093013593505050565b5f805f60608486031215610dba575f80fd5b610dc384610d65565b9250610dd160208501610d65565b9150604084013590509250925092565b5f60208284031215610df1575f80fd5b5035919050565b5f60208284031215610e08575f80fd5b610e1182610d65565b9392505050565b5f8060408385031215610e29575f80fd5b610e3283610d65565b9150610e4060208401610d65565b90509250929050565b6020808252600e908201526d4e6f74207065726d69747465642160901b604082015260600190565b5f8251610e82818460208701610d11565b9190910192915050565b600181811c90821680610ea057607f821691505b602082108103610ebe57634e487b7160e01b5f52602260045260245ffd5b50919050565b8082018082111561051b57634e487b7160e01b5f52601160045260245ffd5b5f60208284031215610ef3575f80fd5b505191905056fea2646970667358221220a476231b442c6f5b88f733073f3a4821568efcb06b26598d0e89ba25d6b3e42064736f6c63430008170033

0x6080604052600436106100fd575f3560e01c80636d3467e5116100925780639e8c708e116100625780639e8c708e146102b6578063a457c2d7146102d5578063a9059cbb146102f4578063c362699414610313578063dd62ed3e14610332575f80fd5b80636d3467e51461021357806370a082311461024f57806379cc67901461028357806395d89b41146102a2575f80fd5b806323b872dd116100cd57806323b872dd14610195578063313ce567146101b457806339509351146101d557806342966c68146101f4575f80fd5b80630614117a1461010857806306fdde031461011e578063095ea7b31461014857806318160ddd14610177575f80fd5b3661010457005b5f80fd5b348015610113575f80fd5b5061011c610376565b005b348015610129575f80fd5b50610132610478565b60405161013f9190610d33565b60405180910390f35b348015610153575f80fd5b50610167610162366004610d80565b610508565b604051901515815260200161013f565b348015610182575f80fd5b506002545b60405190815260200161013f565b3480156101a0575f80fd5b506101676101af366004610da8565b610521565b3480156101bf575f80fd5b5060055460405160ff909116815260200161013f565b3480156101e0575f80fd5b506101676101ef366004610d80565b610544565b3480156101ff575f80fd5b5061011c61020e366004610de1565b610582565b34801561021e575f80fd5b506005546102379061010090046001600160a01b031681565b6040516001600160a01b03909116815260200161013f565b34801561025a575f80fd5b50610187610269366004610df8565b6001600160a01b03165f9081526020819052604090205490565b34801561028e575f80fd5b5061011c61029d366004610d80565b61058c565b3480156102ad575f80fd5b506101326105a5565b3480156102c1575f80fd5b5061011c6102d0366004610df8565b6105b4565b3480156102e0575f80fd5b506101676102ef366004610d80565b610674565b3480156102ff575f80fd5b5061016761030e366004610d80565b610705565b34801561031e575f80fd5b5061011c61032d366004610df8565b610712565b34801561033d575f80fd5b5061018761034c366004610e18565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b60055461010090046001600160a01b0316336001600160a01b0316146103b75760405162461bcd60e51b81526004016103ae90610e49565b60405180910390fd5b600554604080515f80825260208201928390529261010090046001600160a01b03169147916103e591610e71565b5f6040518083038185875af1925050503d805f811461041f576040519150601f19603f3d011682016040523d82523d5f602084013e610424565b606091505b50509050806104755760405162461bcd60e51b815260206004820152601f60248201527f7265636f7665724554483a20455448207265636f76657279206661696c65640060448201526064016103ae565b50565b60606003805461048790610e8c565b80601f01602080910402602001604051908101604052809291908181526020018280546104b390610e8c565b80156104fe5780601f106104d5576101008083540402835291602001916104fe565b820191905f5260205f20905b8154815290600101906020018083116104e157829003601f168201915b5050505050905090565b5f336105158185856107b7565b60019150505b92915050565b5f3361052e8582856108db565b61053985858561096b565b506001949350505050565b335f8181526001602090815260408083206001600160a01b0387168452909152812054909190610515908290869061057d908790610ec4565b6107b7565b6104753382610b0d565b6105978233836108db565b6105a18282610b0d565b5050565b60606004805461048790610e8c565b60055461010090046001600160a01b0316336001600160a01b0316146105ec5760405162461bcd60e51b81526004016103ae90610e49565b6005546040516370a0823160e01b81523060048201526104759161010090046001600160a01b0390811691908416906370a0823190602401602060405180830381865afa15801561063f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106639190610ee3565b6001600160a01b0384169190610c35565b335f8181526001602090815260408083206001600160a01b0387168452909152812054909190838110156106f85760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016103ae565b61053982868684036107b7565b5f3361051581858561096b565b6001600160a01b0381166107575760405162461bcd60e51b815260206004820152600c60248201526b5a65726f206164647265737360a01b60448201526064016103ae565b60055461010090046001600160a01b0316336001600160a01b03161461078f5760405162461bcd60e51b81526004016103ae90610e49565b600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b6001600160a01b0383166108195760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103ae565b6001600160a01b03821661087a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103ae565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038084165f908152600160209081526040808320938616835292905220545f19811461096557818110156109585760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016103ae565b61096584848484036107b7565b50505050565b6001600160a01b0383166109cf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103ae565b6001600160a01b038216610a315760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103ae565b6001600160a01b0383165f9081526020819052604090205481811015610aa85760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016103ae565b6001600160a01b038481165f81815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3610965565b6001600160a01b038216610b6d5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b60648201526084016103ae565b6001600160a01b0382165f9081526020819052604090205481811015610be05760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b60648201526084016103ae565b6001600160a01b0383165f818152602081815260408083208686039055600280548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91016108ce565b604080516001600160a01b038481166024830152604480830185905283518084039091018152606490920183526020820180516001600160e01b031663a9059cbb60e01b17905291515f92861691610c8c91610e71565b5f604051808303815f865af19150503d805f8114610cc5576040519150601f19603f3d011682016040523d82523d5f602084013e610cca565b606091505b50509050806109655760405162461bcd60e51b81526020600482015260136024820152721cd85999551c985b9cd9995c8819985a5b1959606a1b60448201526064016103ae565b5f5b83811015610d2b578181015183820152602001610d13565b50505f910152565b602081525f8251806020840152610d51816040850160208701610d11565b601f01601f19169190910160400192915050565b80356001600160a01b0381168114610d7b575f80fd5b919050565b5f8060408385031215610d91575f80fd5b610d9a83610d65565b946020939093013593505050565b5f805f60608486031215610dba575f80fd5b610dc384610d65565b9250610dd160208501610d65565b9150604084013590509250925092565b5f60208284031215610df1575f80fd5b5035919050565b5f60208284031215610e08575f80fd5b610e1182610d65565b9392505050565b5f8060408385031215610e29575f80fd5b610e3283610d65565b9150610e4060208401610d65565b90509250929050565b6020808252600e908201526d4e6f74207065726d69747465642160901b604082015260600190565b5f8251610e82818460208701610d11565b9190910192915050565b600181811c90821680610ea057607f821691505b602082108103610ebe57634e487b7160e01b5f52602260045260245ffd5b50919050565b8082018082111561051b57634e487b7160e01b5f52601160045260245ffd5b5f60208284031215610ef3575f80fd5b505191905056fea2646970667358221220a476231b442c6f5b88f733073f3a4821568efcb06b26598d0e89ba25d6b3e42064736f6c63430008170033

3956:11764:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5012:264;;;;;;;;;;;;;:::i;:::-;;5561:85;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7706:203;;;;;;;;;;-1:-1:-1;7706:203:0;;;;;:::i;:::-;;:::i;:::-;;;1272:14:1;;1265:22;1247:41;;1235:2;1220:18;7706:203:0;1107:187:1;5844:102:0;;;;;;;;;;-1:-1:-1;5926:12:0;;5844:102;;;1445:25:1;;;1433:2;1418:18;5844:102:0;1299:177:1;8489:297:0;;;;;;;;;;-1:-1:-1;8489:297:0;;;;;:::i;:::-;;:::i;5751:85::-;;;;;;;;;;-1:-1:-1;5819:9:0;;5751:85;;5819:9;;;;1956:36:1;;1944:2;1929:18;5751:85:0;1814:184:1;9195:242:0;;;;;;;;;;-1:-1:-1;9195:242:0;;;;;:::i;:::-;;:::i;6191:93::-;;;;;;;;;;-1:-1:-1;6191:93:0;;;;;:::i;:::-;;:::i;4294:92::-;;;;;;;;;;-1:-1:-1;4294:92:0;;;;;;;-1:-1:-1;;;;;4294:92:0;;;;;;-1:-1:-1;;;;;2368:32:1;;;2350:51;;2338:2;2323:18;4294:92:0;2188:219:1;5954:121:0;;;;;;;;;;-1:-1:-1;5954:121:0;;;;;:::i;:::-;-1:-1:-1;;;;;6049:18:0;6022:7;6049:18;;;;;;;;;;;;5954:121;6603:166;;;;;;;;;;-1:-1:-1;6603:166:0;;;;;:::i;:::-;;:::i;5654:89::-;;;;;;;;;;;;;:::i;4750:254::-;;;;;;;;;;-1:-1:-1;4750:254:0;;;;;:::i;:::-;;:::i;9940:440::-;;;;;;;;;;-1:-1:-1;9940:440:0;;;;;:::i;:::-;;:::i;6975:195::-;;;;;;;;;;-1:-1:-1;6975:195:0;;;;;:::i;:::-;;:::i;5284:269::-;;;;;;;;;;-1:-1:-1;5284:269:0;;;;;:::i;:::-;;:::i;7233:153::-;;;;;;;;;;-1:-1:-1;7233:153:0;;;;;:::i;:::-;-1:-1:-1;;;;;7351:18:0;;;7324:7;7351:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7233:153;5012:264;5078:15;;;;;-1:-1:-1;;;;;5078:15:0;3574:10;-1:-1:-1;;;;;5062:31:0;;5054:58;;;;-1:-1:-1;;;5054:58:0;;;;;;;:::i;:::-;;;;;;;;;5142:15;;5193:12;;;5124;5193;;;;;;;;;;5124;5142:15;;;-1:-1:-1;;;;;5142:15:0;;5170:21;;5142:64;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5123:83;;;5225:7;5217:51;;;;-1:-1:-1;;;5217:51:0;;3837:2:1;5217:51:0;;;3819:21:1;3876:2;3856:18;;;3849:30;3915:33;3895:18;;;3888:61;3966:18;;5217:51:0;3635:355:1;5217:51:0;5043:233;5012:264::o;5561:85::-;5600:13;5633:5;5626:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5561:85;:::o;7706:203::-;7791:4;3574:10;7847:32;3574:10;7863:7;7872:6;7847:8;:32::i;:::-;7897:4;7890:11;;;7706:203;;;;;:::o;8489:297::-;8622:4;3574:10;8680:38;8696:4;3574:10;8711:6;8680:15;:38::i;:::-;8729:27;8739:4;8745:2;8749:6;8729:9;:27::i;:::-;-1:-1:-1;8774:4:0;;8489:297;-1:-1:-1;;;;8489:297:0:o;9195:242::-;3574:10;9285:4;9366:18;;;:11;:18;;;;;;;;-1:-1:-1;;;;;9366:27:0;;;;;;;;;;9285:4;;3574:10;9341:66;;3574:10;;9366:27;;:40;;9396:10;;9366:40;:::i;:::-;9341:8;:66::i;6191:93::-;6249:27;3574:10;6269:6;6249:5;:27::i;6603:166::-;6682:46;6698:7;3574:10;6721:6;6682:15;:46::i;:::-;6739:22;6745:7;6754:6;6739:5;:22::i;:::-;6603:166;;:::o;5654:89::-;5695:13;5728:7;5721:14;;;;;:::i;4750:254::-;4831:15;;;;;-1:-1:-1;;;;;4831:15:0;3574:10;-1:-1:-1;;;;;4815:31:0;;4807:58;;;;-1:-1:-1;;;4807:58:0;;;;;;;:::i;:::-;4917:15;;4947:38;;-1:-1:-1;;;4947:38:0;;4979:4;4947:38;;;2350:51:1;4876:120:0;;4917:15;;;-1:-1:-1;;;;;4917:15:0;;;;4947:23;;;;;;2323:18:1;;4947:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;4876:26:0;;;:120;:26;:120::i;9940:440::-;3574:10;10035:4;10118:18;;;:11;:18;;;;;;;;-1:-1:-1;;;;;10118:27:0;;;;;;;;;;10035:4;;3574:10;10164:35;;;;10156:85;;;;-1:-1:-1;;;10156:85:0;;5206:2:1;10156:85:0;;;5188:21:1;5245:2;5225:18;;;5218:30;5284:34;5264:18;;;5257:62;-1:-1:-1;;;5335:18:1;;;5328:35;5380:19;;10156:85:0;5004:401:1;10156:85:0;10277:60;10286:5;10293:7;10321:15;10302:16;:34;10277:8;:60::i;6975:195::-;7056:4;3574:10;7112:28;3574:10;7129:2;7133:6;7112:9;:28::i;5284:269::-;-1:-1:-1;;;;;5371:32:0;;5363:57;;;;-1:-1:-1;;;5363:57:0;;5612:2:1;5363:57:0;;;5594:21:1;5651:2;5631:18;;;5624:30;-1:-1:-1;;;5670:18:1;;;5663:42;5722:18;;5363:57:0;5410:336:1;5363:57:0;5455:15;;;;;-1:-1:-1;;;;;5455:15:0;3574:10;-1:-1:-1;;;;;5439:31:0;;5431:58;;;;-1:-1:-1;;;5431:58:0;;;;;;;:::i;:::-;5500:15;:45;;-1:-1:-1;;;;;5500:45:0;;;;;-1:-1:-1;;;;;;5500:45:0;;;;;;;;;5284:269::o;13136:380::-;-1:-1:-1;;;;;13272:19:0;;13264:68;;;;-1:-1:-1;;;13264:68:0;;5953:2:1;13264:68:0;;;5935:21:1;5992:2;5972:18;;;5965:30;6031:34;6011:18;;;6004:62;-1:-1:-1;;;6082:18:1;;;6075:34;6126:19;;13264:68:0;5751:400:1;13264:68:0;-1:-1:-1;;;;;13351:21:0;;13343:68;;;;-1:-1:-1;;;13343:68:0;;6358:2:1;13343:68:0;;;6340:21:1;6397:2;6377:18;;;6370:30;6436:34;6416:18;;;6409:62;-1:-1:-1;;;6487:18:1;;;6480:32;6529:19;;13343:68:0;6156:398:1;13343:68:0;-1:-1:-1;;;;;13424:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;13476:32;;1445:25:1;;;13476:32:0;;1418:18:1;13476:32:0;;;;;;;;13136:380;;;:::o;13807:455::-;-1:-1:-1;;;;;13969:18:0;;;13942:24;13969:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;-1:-1:-1;;14011:37:0;;14007:248;;14093:6;14073:16;:26;;14065:68;;;;-1:-1:-1;;;14065:68:0;;6761:2:1;14065:68:0;;;6743:21:1;6800:2;6780:18;;;6773:30;6839:31;6819:18;;;6812:59;6888:18;;14065:68:0;6559:353:1;14065:68:0;14177:51;14186:5;14193:7;14221:6;14202:16;:25;14177:8;:51::i;:::-;13931:331;13807:455;;;:::o;10850:840::-;-1:-1:-1;;;;;10981:18:0;;10973:68;;;;-1:-1:-1;;;10973:68:0;;7119:2:1;10973:68:0;;;7101:21:1;7158:2;7138:18;;;7131:30;7197:34;7177:18;;;7170:62;-1:-1:-1;;;7248:18:1;;;7241:35;7293:19;;10973:68:0;6917:401:1;10973:68:0;-1:-1:-1;;;;;11060:16:0;;11052:64;;;;-1:-1:-1;;;11052:64:0;;7525:2:1;11052:64:0;;;7507:21:1;7564:2;7544:18;;;7537:30;7603:34;7583:18;;;7576:62;-1:-1:-1;;;7654:18:1;;;7647:33;7697:19;;11052:64:0;7323:399:1;11052:64:0;-1:-1:-1;;;;;11202:15:0;;11180:19;11202:15;;;;;;;;;;;11236:21;;;;11228:72;;;;-1:-1:-1;;;11228:72:0;;7929:2:1;11228:72:0;;;7911:21:1;7968:2;7948:18;;;7941:30;8007:34;7987:18;;;7980:62;-1:-1:-1;;;8058:18:1;;;8051:36;8104:19;;11228:72:0;7727:402:1;11228:72:0;-1:-1:-1;;;;;11336:15:0;;;:9;:15;;;;;;;;;;;11354:20;;;11336:38;;11554:13;;;;;;;;;;:23;;;;;;11606:26;;1445:25:1;;;11554:13:0;;11606:26;;1418:18:1;11606:26:0;;;;;;;11645:37;12023:675;;-1:-1:-1;;;;;12107:21:0;;12099:67;;;;-1:-1:-1;;;12099:67:0;;8336:2:1;12099:67:0;;;8318:21:1;8375:2;8355:18;;;8348:30;8414:34;8394:18;;;8387:62;-1:-1:-1;;;8465:18:1;;;8458:31;8506:19;;12099:67:0;8134:397:1;12099:67:0;-1:-1:-1;;;;;12266:18:0;;12241:22;12266:18;;;;;;;;;;;12303:24;;;;12295:71;;;;-1:-1:-1;;;12295:71:0;;8738:2:1;12295:71:0;;;8720:21:1;8777:2;8757:18;;;8750:30;8816:34;8796:18;;;8789:62;-1:-1:-1;;;8867:18:1;;;8860:32;8909:19;;12295:71:0;8536:398:1;12295:71:0;-1:-1:-1;;;;;12402:18:0;;:9;:18;;;;;;;;;;;12423:23;;;12402:44;;12541:12;:22;;;;;;;12592:37;1445:25:1;;;12402:9:0;;:18;12592:37;;1418:18:1;12592:37:0;1299:177:1;3627:286:0;3791:59;;;-1:-1:-1;;;;;9131:32:1;;;3791:59:0;;;9113:51:1;9180:18;;;;9173:34;;;3791:59:0;;;;;;;;;;9086:18:1;;;;3791:59:0;;;;;;;-1:-1:-1;;;;;3791:59:0;-1:-1:-1;;;3791:59:0;;;3757:104;;-1:-1:-1;;3757:19:0;;;:104;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3744:117;;;3880:1;3872:33;;;;-1:-1:-1;;;3872:33:0;;9420:2:1;3872:33:0;;;9402:21:1;9459:2;9439:18;;;9432:30;-1:-1:-1;;;9478:18:1;;;9471:49;9537:18;;3872:33:0;9218:343:1;14:250;99:1;109:113;123:6;120:1;117:13;109:113;;;199:11;;;193:18;180:11;;;173:39;145:2;138:10;109:113;;;-1:-1:-1;;256:1:1;238:16;;231:27;14:250::o;269:396::-;418:2;407:9;400:21;381:4;450:6;444:13;493:6;488:2;477:9;473:18;466:34;509:79;581:6;576:2;565:9;561:18;556:2;548:6;544:15;509:79;:::i;:::-;649:2;628:15;-1:-1:-1;;624:29:1;609:45;;;;656:2;605:54;;269:396;-1:-1:-1;;269:396:1:o;670:173::-;738:20;;-1:-1:-1;;;;;787:31:1;;777:42;;767:70;;833:1;830;823:12;767:70;670:173;;;:::o;848:254::-;916:6;924;977:2;965:9;956:7;952:23;948:32;945:52;;;993:1;990;983:12;945:52;1016:29;1035:9;1016:29;:::i;:::-;1006:39;1092:2;1077:18;;;;1064:32;;-1:-1:-1;;;848:254:1:o;1481:328::-;1558:6;1566;1574;1627:2;1615:9;1606:7;1602:23;1598:32;1595:52;;;1643:1;1640;1633:12;1595:52;1666:29;1685:9;1666:29;:::i;:::-;1656:39;;1714:38;1748:2;1737:9;1733:18;1714:38;:::i;:::-;1704:48;;1799:2;1788:9;1784:18;1771:32;1761:42;;1481:328;;;;;:::o;2003:180::-;2062:6;2115:2;2103:9;2094:7;2090:23;2086:32;2083:52;;;2131:1;2128;2121:12;2083:52;-1:-1:-1;2154:23:1;;2003:180;-1:-1:-1;2003:180:1:o;2412:186::-;2471:6;2524:2;2512:9;2503:7;2499:23;2495:32;2492:52;;;2540:1;2537;2530:12;2492:52;2563:29;2582:9;2563:29;:::i;:::-;2553:39;2412:186;-1:-1:-1;;;2412:186:1:o;2603:260::-;2671:6;2679;2732:2;2720:9;2711:7;2707:23;2703:32;2700:52;;;2748:1;2745;2738:12;2700:52;2771:29;2790:9;2771:29;:::i;:::-;2761:39;;2819:38;2853:2;2842:9;2838:18;2819:38;:::i;:::-;2809:48;;2603:260;;;;;:::o;2868:338::-;3070:2;3052:21;;;3109:2;3089:18;;;3082:30;-1:-1:-1;;;3143:2:1;3128:18;;3121:44;3197:2;3182:18;;2868:338::o;3343:287::-;3472:3;3510:6;3504:13;3526:66;3585:6;3580:3;3573:4;3565:6;3561:17;3526:66;:::i;:::-;3608:16;;;;;3343:287;-1:-1:-1;;3343:287:1:o;3995:380::-;4074:1;4070:12;;;;4117;;;4138:61;;4192:4;4184:6;4180:17;4170:27;;4138:61;4245:2;4237:6;4234:14;4214:18;4211:38;4208:161;;4291:10;4286:3;4282:20;4279:1;4272:31;4326:4;4323:1;4316:15;4354:4;4351:1;4344:15;4208:161;;3995:380;;;:::o;4380:222::-;4445:9;;;4466:10;;;4463:133;;;4518:10;4513:3;4509:20;4506:1;4499:31;4553:4;4550:1;4543:15;4581:4;4578:1;4571:15;4815:184;4885:6;4938:2;4926:9;4917:7;4913:23;4909:32;4906:52;;;4954:1;4951;4944:12;4906:52;-1:-1:-1;4977:16:1;;4815:184;-1:-1:-1;4815:184:1:o

ipfs://a476231b442c6f5b88f733073f3a4821568efcb06b26598d0e89ba25d6b3e420