Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
•    - function _msgData()
•    - function _contextSuffixLength()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
• interface IERC20Errors
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•    - function _transfer(address from, addr ...
•    - function _update(address from, addres ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _approve(address owner, addr ...
•    - function _spendAllowance(address owne ...
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function _transferOwnership(address n ...
•  contract SatoriBRC is ERC20, Ownab ... *
•    - function transfer(address recipient, ...
•    - function shouldApplyDeflation(address ...
•    - function getDeflationRate()
•    - function isWhitelisted(address accoun ...
•    - function addToWhitelist(address accou ...
•    - function removeFromWhitelist(address ...
•    - function recoverETH()
•    - function recoverERC20(address tokenAd ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
pragma solidity 0.8.24;

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

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

    function _contextSuffixLength() internal view virtual returns (uint256) {
        return 0;
    }
}


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

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

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

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

    /**
     * @dev Moves a `value` amount of 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 value) 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 a `value` amount of tokens 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 value) external returns (bool);

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to` using the
     * allowance mechanism. `value` 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 value) external returns (bool);
}

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 */
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);
}

/**
 * @dev Standard ERC20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC20 tokens.
 */
interface IERC20Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC20InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC20InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `spender`’s `allowance`. Used in transfers.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     * @param allowance Amount of tokens a `spender` is allowed to operate with.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC20InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `spender` to be approved. Used in approvals.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC20InvalidSpender(address spender);
}

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 */
abstract contract ERC20 is Context, IERC20, IERC20Metadata, IERC20Errors {
    mapping(address account => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

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

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

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

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual 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 `value`.
     */
    function transfer(address to, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, value);
        return true;
    }

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

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `value` 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 value) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, value);
        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 `value`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `value`.
     */
    function transferFrom(address from, address to, uint256 value) public virtual returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, value);
        _transfer(from, to, value);
        return true;
    }

    /**
     * @dev Moves a `value` 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.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _transfer(address from, address to, uint256 value) internal {
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        if (to == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(from, to, value);
    }

    /**
     * @dev Transfers a `value` amount of tokens from `from` to `to`, or alternatively mints (or burns) if `from`
     * (or `to`) is the zero address. All customizations to transfers, mints, and burns should be done by overriding
     * this function.
     *
     * Emits a {Transfer} event.
     */
    function _update(address from, address to, uint256 value) internal virtual {
        if (from == address(0)) {
            // Overflow check required: The rest of the code assumes that totalSupply never overflows
            _totalSupply += value;
        } else {
            uint256 fromBalance = _balances[from];
            if (fromBalance < value) {
                revert ERC20InsufficientBalance(from, fromBalance, value);
            }
            unchecked {
                // Overflow not possible: value <= fromBalance <= totalSupply.
                _balances[from] = fromBalance - value;
            }
        }

        if (to == address(0)) {
            unchecked {
                // Overflow not possible: value <= totalSupply or value <= fromBalance <= totalSupply.
                _totalSupply -= value;
            }
        } else {
            unchecked {
                // Overflow not possible: balance + value is at most totalSupply, which we know fits into a uint256.
                _balances[to] += value;
            }
        }

        emit Transfer(from, to, value);
    }

    /**
     * @dev Creates a `value` amount of tokens and assigns them to `account`, by transferring it from address(0).
     * Relies on the `_update` mechanism
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _mint(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(address(0), account, value);
    }

    /**
     * @dev Destroys a `value` amount of tokens from `account`, lowering the total supply.
     * Relies on the `_update` mechanism.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead
     */
    function _burn(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        _update(account, address(0), value);
    }

    /**
     * @dev Sets `value` 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.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

    /**
     * @dev Variant of {_approve} with an optional flag to enable or disable the {Approval} event.
     *
     * By default (when calling {_approve}) the flag is set to true. On the other hand, approval changes made by
     * `_spendAllowance` during the `transferFrom` operation set the flag to false. This saves gas by not emitting any
     * `Approval` event during `transferFrom` operations.
     *
     * Anyone who wishes to continue emitting `Approval` events on the`transferFrom` operation can force the flag to
     * true using the following override:
     * ```
     * function _approve(address owner, address spender, uint256 value, bool) internal virtual override {
     *     super._approve(owner, spender, value, true);
     * }
     * ```
     *
     * Requirements are the same as {_approve}.
     */
    function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual {
        if (owner == address(0)) {
            revert ERC20InvalidApprover(address(0));
        }
        if (spender == address(0)) {
            revert ERC20InvalidSpender(address(0));
        }
        _allowances[owner][spender] = value;
        if (emitEvent) {
            emit Approval(owner, spender, value);
        }
    }

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

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * The initial owner is set to the address provided by the deployer. This can
 * later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

    /**
     * @dev The caller account is not authorized to perform an operation.
     */
    error OwnableUnauthorizedAccount(address account);

    /**
     * @dev The owner is not a valid owner account. (eg. `address(0)`)
     */
    error OwnableInvalidOwner(address owner);

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the address provided by the deployer as the initial owner.
     */
    constructor(address initialOwner) {
        if (initialOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(initialOwner);
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        if (owner() != _msgSender()) {
            revert OwnableUnauthorizedAccount(_msgSender());
        }
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}


contract SatoriBRC is ERC20, Ownable {
    uint256 public immutable INITIAL_SUPPLY = 100_000_000 * 1e18;
    uint256 public immutable DEF_STEP_1 = 85_000_000 * 1e18;
    uint256 public immutable DEF_STEP_2 = 75_000_000 * 1e18;
    uint256 public immutable DEF_END = 50_000_000 * 1e18;
    uint256 public immutable START_DEFLATION_TIME = 1722338058; 

    mapping(address => bool) private whitelist;

    constructor() ERC20("Satori Labs", "SATORI") Ownable(_msgSender()){
        _mint(_msgSender(), INITIAL_SUPPLY);
    }

    /**
     * @notice Overrides the ERC20 transfer function to implement deflation.
     * @param recipient The address of the recipient.
     * @param amount The amount of tokens to transfer.
     * @return A boolean value indicating whether the operation succeeded.
     */
    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        address sender = _msgSender();
        if (shouldApplyDeflation(sender, recipient)) {
            uint256 deflationRate = getDeflationRate();
            uint256 burnAmount = (amount * deflationRate) / 10_000;
            uint256 transferAmount = amount - burnAmount;

            _burn(sender, burnAmount);
            return super.transfer(recipient, transferAmount);
        } else {
            return super.transfer(recipient, amount);
        }
    }

    /**
     * @notice Checks if deflation should be applied based on the current conditions.
     * @param sender The address of the sender.
     * @param recipient The address of the recipient.
     * @return A boolean value indicating whether deflation should be applied.
     */
    function shouldApplyDeflation(address sender, address recipient) internal view returns (bool) {
        return block.timestamp >= START_DEFLATION_TIME &&
               !isWhitelisted(sender) &&
               !isWhitelisted(recipient);
    }

    /**
     * @notice Calculates the current deflation rate based on the total supply.
     * @return The deflation rate as basis points (e.g., 150 for 1.5%).
     */
    function getDeflationRate() public view returns (uint256) {
        uint256 currentSupply = totalSupply();

        if (currentSupply > DEF_STEP_1) return 150; // 1.5%
        if (currentSupply > DEF_STEP_2) return 300; // 3%
        if (currentSupply > DEF_END) return 500; // 5%

        return 0; // No burn rate beyond 50 million tokens
    }


    /**
     * @notice Checks if an account is whitelisted.
     * @param account The address to check.
     * @return A boolean value indicating whether the account is whitelisted.
     */
    function isWhitelisted(address account) public view returns (bool) {
        return whitelist[account] || balanceOf(account) >= (INITIAL_SUPPLY / 1000);
    }

    /**
     * @notice Adds an account to the whitelist.
     * @param account The address to whitelist.
     */
    function addToWhitelist(address account) external onlyOwner {
        require(!whitelist[account], "Already set to this value");
        whitelist[account] = true;
    }

    /**
     * @notice Removes an account from the whitelist.
     * @param account The address to remove from the whitelist.
     */
    function removeFromWhitelist(address account) external onlyOwner {
        require(whitelist[account], "Already set to this value");
        whitelist[account] = false;
    }

    /**
     * @notice Allows the owner to recover any ETH sent to the contract.
     */
    function recoverETH() external onlyOwner {
        require(address(this).balance > 0, "Insufficient ETH Balance");
        payable(owner()).transfer(address(this).balance);
    }

    /**
     * @notice Allows the owner to recover any ERC20 tokens sent to the contract.
     * @param tokenAddress The address of the ERC20 token contract.
     */
    function recoverERC20(address tokenAddress) external onlyOwner {
        require(IERC20(tokenAddress).balanceOf(owner()) > 0, "Insufficient ERC20 balance");
        bool success = IERC20(tokenAddress).transfer(owner(), IERC20(tokenAddress).balanceOf(owner()));
        require(success);
    }

    /**
     * @notice Fallback function to accept ETH.
     */
    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DEF_END","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DEF_STEP_1","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DEF_STEP_2","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"START_DEFLATION_TIME","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addToWhitelist","outputs":[],"stateMutability":"nonpayable","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":"value","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":[],"name":"getDeflationRate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isWhitelisted","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"tokenAddress","type":"address"}],"name":"recoverERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"recoverETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"removeFromWhitelist","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","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":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6101206040526a52b7d2dcc80cd2e40000006080908152506a464f733baa0ae67500000060a0908152506a3e09de2596099e2b00000060c0908152506a295be96e6406697200000060e0908152506366a8cb0a6101009081525034801562000065575f80fd5b5062000076620001b660201b60201c565b6040518060400160405280600b81526020017f5361746f7269204c6162730000000000000000000000000000000000000000008152506040518060400160405280600681526020017f5341544f524900000000000000000000000000000000000000000000000000008152508160039081620000f3919062000792565b50806004908162000105919062000792565b5050505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036200017b575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401620001729190620008b9565b60405180910390fd5b6200018c81620001bd60201b60201c565b50620001b0620001a1620001b660201b60201c565b6080516200028060201b60201c565b620009a2565b5f33905090565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603620002f3575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401620002ea9190620008b9565b60405180910390fd5b620003065f83836200030a60201b60201c565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036200035e578060025f82825462000351919062000901565b925050819055506200042f565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015620003ea578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401620003e1939291906200094c565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000478578060025f8282540392505081905550620004c2565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000521919062000987565b60405180910390a3505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620005aa57607f821691505b602082108103620005c057620005bf62000565565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620006247fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620005e7565b620006308683620005e7565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6200067a620006746200066e8462000648565b62000651565b62000648565b9050919050565b5f819050919050565b62000695836200065a565b620006ad620006a48262000681565b848454620005f3565b825550505050565b5f90565b620006c3620006b5565b620006d08184846200068a565b505050565b5b81811015620006f757620006eb5f82620006b9565b600181019050620006d6565b5050565b601f82111562000746576200071081620005c6565b6200071b84620005d8565b810160208510156200072b578190505b620007436200073a85620005d8565b830182620006d5565b50505b505050565b5f82821c905092915050565b5f620007685f19846008026200074b565b1980831691505092915050565b5f62000782838362000757565b9150826002028217905092915050565b6200079d826200052e565b67ffffffffffffffff811115620007b957620007b862000538565b5b620007c5825462000592565b620007d2828285620006fb565b5f60209050601f83116001811462000808575f8415620007f3578287015190505b620007ff858262000775565b8655506200086e565b601f1984166200081886620005c6565b5f5b8281101562000841578489015182556001820191506020850194506020810190506200081a565b868310156200086157848901516200085d601f89168262000757565b8355505b6001600288020188555050505b505050505050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f620008a18262000876565b9050919050565b620008b38162000895565b82525050565b5f602082019050620008ce5f830184620008a8565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6200090d8262000648565b91506200091a8362000648565b9250828201905080821115620009355762000934620008d4565b5b92915050565b620009468162000648565b82525050565b5f606082019050620009615f830186620008a8565b6200097060208301856200093b565b6200097f60408301846200093b565b949350505050565b5f6020820190506200099c5f8301846200093b565b92915050565b60805160a05160c05160e05161010051611ceb62000a035f395f81816107d9015261113f01525f8181610c6a0152610cc901525f818161075d0152610c3701525f8181610c050152610ca501525f818161069f015261071f0152611ceb5ff3fe608060405260043610610138575f3560e01c80637cfa9724116100aa578063a9059cbb1161006e578063a9059cbb146103ff578063c50e38951461043b578063cb148c0f14610465578063d75dc8901461048f578063dd62ed3e146104b9578063e43252d7146104f55761013f565b80637cfa9724146103315780638ab1d6811461035b5780638da5cb5b1461038357806395d89b41146103ad5780639e8c708e146103d75761013f565b80632ff2e9dc116100fc5780632ff2e9dc14610225578063313ce5671461024f5780633af32abf14610279578063696ed33c146102b557806370a08231146102df578063715018a61461031b5761013f565b80630614117a1461014357806306fdde0314610159578063095ea7b31461018357806318160ddd146101bf57806323b872dd146101e95761013f565b3661013f57005b5f80fd5b34801561014e575f80fd5b5061015761051d565b005b348015610164575f80fd5b5061016d6105b4565b60405161017a91906116a0565b60405180910390f35b34801561018e575f80fd5b506101a960048036038101906101a49190611751565b610644565b6040516101b691906117a9565b60405180910390f35b3480156101ca575f80fd5b506101d3610666565b6040516101e091906117d1565b60405180910390f35b3480156101f4575f80fd5b5061020f600480360381019061020a91906117ea565b61066f565b60405161021c91906117a9565b60405180910390f35b348015610230575f80fd5b5061023961069d565b60405161024691906117d1565b60405180910390f35b34801561025a575f80fd5b506102636106c1565b6040516102709190611855565b60405180910390f35b348015610284575f80fd5b5061029f600480360381019061029a919061186e565b6106c9565b6040516102ac91906117a9565b60405180910390f35b3480156102c0575f80fd5b506102c961075b565b6040516102d691906117d1565b60405180910390f35b3480156102ea575f80fd5b506103056004803603810190610300919061186e565b61077f565b60405161031291906117d1565b60405180910390f35b348015610326575f80fd5b5061032f6107c4565b005b34801561033c575f80fd5b506103456107d7565b60405161035291906117d1565b60405180910390f35b348015610366575f80fd5b50610381600480360381019061037c919061186e565b6107fb565b005b34801561038e575f80fd5b506103976108e3565b6040516103a491906118a8565b60405180910390f35b3480156103b8575f80fd5b506103c161090b565b6040516103ce91906116a0565b60405180910390f35b3480156103e2575f80fd5b506103fd60048036038101906103f8919061186e565b61099b565b005b34801561040a575f80fd5b5061042560048036038101906104209190611751565b610b73565b60405161043291906117a9565b60405180910390f35b348015610446575f80fd5b5061044f610bf7565b60405161045c91906117d1565b60405180910390f35b348015610470575f80fd5b50610479610ca3565b60405161048691906117d1565b60405180910390f35b34801561049a575f80fd5b506104a3610cc7565b6040516104b091906117d1565b60405180910390f35b3480156104c4575f80fd5b506104df60048036038101906104da91906118c1565b610ceb565b6040516104ec91906117d1565b60405180910390f35b348015610500575f80fd5b5061051b6004803603810190610516919061186e565b610d6d565b005b610525610e57565b5f4711610567576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161055e90611949565b60405180910390fd5b61056f6108e3565b73ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f193505050501580156105b1573d5f803e3d5ffd5b50565b6060600380546105c390611994565b80601f01602080910402602001604051908101604052809291908181526020018280546105ef90611994565b801561063a5780601f106106115761010080835404028352916020019161063a565b820191905f5260205f20905b81548152906001019060200180831161061d57829003601f168201915b5050505050905090565b5f8061064e610ede565b905061065b818585610ee5565b600191505092915050565b5f600254905090565b5f80610679610ede565b9050610686858285610ef7565b610691858585610f89565b60019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f6012905090565b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff168061075457506103e87f00000000000000000000000000000000000000000000000000000000000000006107489190611a1e565b6107518361077f565b10155b9050919050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6107cc610e57565b6107d55f611079565b565b7f000000000000000000000000000000000000000000000000000000000000000081565b610803610e57565b60065f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1661088c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161088390611a98565b60405180910390fd5b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461091a90611994565b80601f016020809104026020016040519081016040528092919081815260200182805461094690611994565b80156109915780601f1061096857610100808354040283529160200191610991565b820191905f5260205f20905b81548152906001019060200180831161097457829003601f168201915b5050505050905090565b6109a3610e57565b5f8173ffffffffffffffffffffffffffffffffffffffff166370a082316109c86108e3565b6040518263ffffffff1660e01b81526004016109e491906118a8565b602060405180830381865afa1580156109ff573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a239190611aca565b11610a63576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5a90611b3f565b60405180910390fd5b5f8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb610a886108e3565b8473ffffffffffffffffffffffffffffffffffffffff166370a08231610aac6108e3565b6040518263ffffffff1660e01b8152600401610ac891906118a8565b602060405180830381865afa158015610ae3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b079190611aca565b6040518363ffffffff1660e01b8152600401610b24929190611b5d565b6020604051808303815f875af1158015610b40573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b649190611bae565b905080610b6f575f80fd5b5050565b5f80610b7d610ede565b9050610b89818561113c565b15610be3575f610b97610bf7565b90505f6127108286610ba99190611bd9565b610bb39190611a1e565b90505f8186610bc29190611c1a565b9050610bce848361118d565b610bd8878261120c565b945050505050610bf1565b610bed848461120c565b9150505b92915050565b5f80610c01610666565b90507f0000000000000000000000000000000000000000000000000000000000000000811115610c35576096915050610ca0565b7f0000000000000000000000000000000000000000000000000000000000000000811115610c685761012c915050610ca0565b7f0000000000000000000000000000000000000000000000000000000000000000811115610c9b576101f4915050610ca0565b5f9150505b90565b7f000000000000000000000000000000000000000000000000000000000000000081565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610d75610e57565b60065f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610dff576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df690611a98565b60405180910390fd5b600160065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b610e5f610ede565b73ffffffffffffffffffffffffffffffffffffffff16610e7d6108e3565b73ffffffffffffffffffffffffffffffffffffffff1614610edc57610ea0610ede565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610ed391906118a8565b60405180910390fd5b565b5f33905090565b610ef2838383600161122e565b505050565b5f610f028484610ceb565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610f835781811015610f74578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610f6b93929190611c4d565b60405180910390fd5b610f8284848484035f61122e565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ff9575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610ff091906118a8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611069575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161106091906118a8565b60405180910390fd5b6110748383836113fd565b505050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f7f000000000000000000000000000000000000000000000000000000000000000042101580156111735750611171836106c9565b155b80156111855750611183826106c9565b155b905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036111fd575f6040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016111f491906118a8565b60405180910390fd5b611208825f836113fd565b5050565b5f80611216610ede565b9050611223818585610f89565b600191505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361129e575f6040517fe602df0500000000000000000000000000000000000000000000000000000000815260040161129591906118a8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361130e575f6040517f94280d6200000000000000000000000000000000000000000000000000000000815260040161130591906118a8565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555080156113f7578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516113ee91906117d1565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361144d578060025f8282546114419190611c82565b9250508190555061151b565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156114d6578381836040517fe450d38c0000000000000000000000000000000000000000000000000000000081526004016114cd93929190611c4d565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611562578060025f82825403925050819055506115ac565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161160991906117d1565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561164d578082015181840152602081019050611632565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61167282611616565b61167c8185611620565b935061168c818560208601611630565b61169581611658565b840191505092915050565b5f6020820190508181035f8301526116b88184611668565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6116ed826116c4565b9050919050565b6116fd816116e3565b8114611707575f80fd5b50565b5f81359050611718816116f4565b92915050565b5f819050919050565b6117308161171e565b811461173a575f80fd5b50565b5f8135905061174b81611727565b92915050565b5f8060408385031215611767576117666116c0565b5b5f6117748582860161170a565b92505060206117858582860161173d565b9150509250929050565b5f8115159050919050565b6117a38161178f565b82525050565b5f6020820190506117bc5f83018461179a565b92915050565b6117cb8161171e565b82525050565b5f6020820190506117e45f8301846117c2565b92915050565b5f805f60608486031215611801576118006116c0565b5b5f61180e8682870161170a565b935050602061181f8682870161170a565b92505060406118308682870161173d565b9150509250925092565b5f60ff82169050919050565b61184f8161183a565b82525050565b5f6020820190506118685f830184611846565b92915050565b5f60208284031215611883576118826116c0565b5b5f6118908482850161170a565b91505092915050565b6118a2816116e3565b82525050565b5f6020820190506118bb5f830184611899565b92915050565b5f80604083850312156118d7576118d66116c0565b5b5f6118e48582860161170a565b92505060206118f58582860161170a565b9150509250929050565b7f496e73756666696369656e74204554482042616c616e636500000000000000005f82015250565b5f611933601883611620565b915061193e826118ff565b602082019050919050565b5f6020820190508181035f83015261196081611927565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806119ab57607f821691505b6020821081036119be576119bd611967565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611a288261171e565b9150611a338361171e565b925082611a4357611a426119c4565b5b828204905092915050565b7f416c72656164792073657420746f20746869732076616c7565000000000000005f82015250565b5f611a82601983611620565b9150611a8d82611a4e565b602082019050919050565b5f6020820190508181035f830152611aaf81611a76565b9050919050565b5f81519050611ac481611727565b92915050565b5f60208284031215611adf57611ade6116c0565b5b5f611aec84828501611ab6565b91505092915050565b7f496e73756666696369656e742045524332302062616c616e63650000000000005f82015250565b5f611b29601a83611620565b9150611b3482611af5565b602082019050919050565b5f6020820190508181035f830152611b5681611b1d565b9050919050565b5f604082019050611b705f830185611899565b611b7d60208301846117c2565b9392505050565b611b8d8161178f565b8114611b97575f80fd5b50565b5f81519050611ba881611b84565b92915050565b5f60208284031215611bc357611bc26116c0565b5b5f611bd084828501611b9a565b91505092915050565b5f611be38261171e565b9150611bee8361171e565b9250828202611bfc8161171e565b91508282048414831517611c1357611c126119f1565b5b5092915050565b5f611c248261171e565b9150611c2f8361171e565b9250828203905081811115611c4757611c466119f1565b5b92915050565b5f606082019050611c605f830186611899565b611c6d60208301856117c2565b611c7a60408301846117c2565b949350505050565b5f611c8c8261171e565b9150611c978361171e565b9250828201905080821115611caf57611cae6119f1565b5b9291505056fea264697066735822122007ed969c53af7b7ee9117ade09cbe44e1baf4b7250c921303a8cef863e47316864736f6c63430008180033

0x608060405260043610610138575f3560e01c80637cfa9724116100aa578063a9059cbb1161006e578063a9059cbb146103ff578063c50e38951461043b578063cb148c0f14610465578063d75dc8901461048f578063dd62ed3e146104b9578063e43252d7146104f55761013f565b80637cfa9724146103315780638ab1d6811461035b5780638da5cb5b1461038357806395d89b41146103ad5780639e8c708e146103d75761013f565b80632ff2e9dc116100fc5780632ff2e9dc14610225578063313ce5671461024f5780633af32abf14610279578063696ed33c146102b557806370a08231146102df578063715018a61461031b5761013f565b80630614117a1461014357806306fdde0314610159578063095ea7b31461018357806318160ddd146101bf57806323b872dd146101e95761013f565b3661013f57005b5f80fd5b34801561014e575f80fd5b5061015761051d565b005b348015610164575f80fd5b5061016d6105b4565b60405161017a91906116a0565b60405180910390f35b34801561018e575f80fd5b506101a960048036038101906101a49190611751565b610644565b6040516101b691906117a9565b60405180910390f35b3480156101ca575f80fd5b506101d3610666565b6040516101e091906117d1565b60405180910390f35b3480156101f4575f80fd5b5061020f600480360381019061020a91906117ea565b61066f565b60405161021c91906117a9565b60405180910390f35b348015610230575f80fd5b5061023961069d565b60405161024691906117d1565b60405180910390f35b34801561025a575f80fd5b506102636106c1565b6040516102709190611855565b60405180910390f35b348015610284575f80fd5b5061029f600480360381019061029a919061186e565b6106c9565b6040516102ac91906117a9565b60405180910390f35b3480156102c0575f80fd5b506102c961075b565b6040516102d691906117d1565b60405180910390f35b3480156102ea575f80fd5b506103056004803603810190610300919061186e565b61077f565b60405161031291906117d1565b60405180910390f35b348015610326575f80fd5b5061032f6107c4565b005b34801561033c575f80fd5b506103456107d7565b60405161035291906117d1565b60405180910390f35b348015610366575f80fd5b50610381600480360381019061037c919061186e565b6107fb565b005b34801561038e575f80fd5b506103976108e3565b6040516103a491906118a8565b60405180910390f35b3480156103b8575f80fd5b506103c161090b565b6040516103ce91906116a0565b60405180910390f35b3480156103e2575f80fd5b506103fd60048036038101906103f8919061186e565b61099b565b005b34801561040a575f80fd5b5061042560048036038101906104209190611751565b610b73565b60405161043291906117a9565b60405180910390f35b348015610446575f80fd5b5061044f610bf7565b60405161045c91906117d1565b60405180910390f35b348015610470575f80fd5b50610479610ca3565b60405161048691906117d1565b60405180910390f35b34801561049a575f80fd5b506104a3610cc7565b6040516104b091906117d1565b60405180910390f35b3480156104c4575f80fd5b506104df60048036038101906104da91906118c1565b610ceb565b6040516104ec91906117d1565b60405180910390f35b348015610500575f80fd5b5061051b6004803603810190610516919061186e565b610d6d565b005b610525610e57565b5f4711610567576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161055e90611949565b60405180910390fd5b61056f6108e3565b73ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f193505050501580156105b1573d5f803e3d5ffd5b50565b6060600380546105c390611994565b80601f01602080910402602001604051908101604052809291908181526020018280546105ef90611994565b801561063a5780601f106106115761010080835404028352916020019161063a565b820191905f5260205f20905b81548152906001019060200180831161061d57829003601f168201915b5050505050905090565b5f8061064e610ede565b905061065b818585610ee5565b600191505092915050565b5f600254905090565b5f80610679610ede565b9050610686858285610ef7565b610691858585610f89565b60019150509392505050565b7f00000000000000000000000000000000000000000052b7d2dcc80cd2e400000081565b5f6012905090565b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff168061075457506103e87f00000000000000000000000000000000000000000052b7d2dcc80cd2e40000006107489190611a1e565b6107518361077f565b10155b9050919050565b7f0000000000000000000000000000000000000000003e09de2596099e2b00000081565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6107cc610e57565b6107d55f611079565b565b7f0000000000000000000000000000000000000000000000000000000066a8cb0a81565b610803610e57565b60065f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1661088c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161088390611a98565b60405180910390fd5b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461091a90611994565b80601f016020809104026020016040519081016040528092919081815260200182805461094690611994565b80156109915780601f1061096857610100808354040283529160200191610991565b820191905f5260205f20905b81548152906001019060200180831161097457829003601f168201915b5050505050905090565b6109a3610e57565b5f8173ffffffffffffffffffffffffffffffffffffffff166370a082316109c86108e3565b6040518263ffffffff1660e01b81526004016109e491906118a8565b602060405180830381865afa1580156109ff573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a239190611aca565b11610a63576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5a90611b3f565b60405180910390fd5b5f8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb610a886108e3565b8473ffffffffffffffffffffffffffffffffffffffff166370a08231610aac6108e3565b6040518263ffffffff1660e01b8152600401610ac891906118a8565b602060405180830381865afa158015610ae3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b079190611aca565b6040518363ffffffff1660e01b8152600401610b24929190611b5d565b6020604051808303815f875af1158015610b40573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b649190611bae565b905080610b6f575f80fd5b5050565b5f80610b7d610ede565b9050610b89818561113c565b15610be3575f610b97610bf7565b90505f6127108286610ba99190611bd9565b610bb39190611a1e565b90505f8186610bc29190611c1a565b9050610bce848361118d565b610bd8878261120c565b945050505050610bf1565b610bed848461120c565b9150505b92915050565b5f80610c01610666565b90507f000000000000000000000000000000000000000000464f733baa0ae675000000811115610c35576096915050610ca0565b7f0000000000000000000000000000000000000000003e09de2596099e2b000000811115610c685761012c915050610ca0565b7f000000000000000000000000000000000000000000295be96e64066972000000811115610c9b576101f4915050610ca0565b5f9150505b90565b7f000000000000000000000000000000000000000000464f733baa0ae67500000081565b7f000000000000000000000000000000000000000000295be96e6406697200000081565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610d75610e57565b60065f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610dff576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df690611a98565b60405180910390fd5b600160065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b610e5f610ede565b73ffffffffffffffffffffffffffffffffffffffff16610e7d6108e3565b73ffffffffffffffffffffffffffffffffffffffff1614610edc57610ea0610ede565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610ed391906118a8565b60405180910390fd5b565b5f33905090565b610ef2838383600161122e565b505050565b5f610f028484610ceb565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610f835781811015610f74578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610f6b93929190611c4d565b60405180910390fd5b610f8284848484035f61122e565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ff9575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610ff091906118a8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611069575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161106091906118a8565b60405180910390fd5b6110748383836113fd565b505050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f7f0000000000000000000000000000000000000000000000000000000066a8cb0a42101580156111735750611171836106c9565b155b80156111855750611183826106c9565b155b905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036111fd575f6040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016111f491906118a8565b60405180910390fd5b611208825f836113fd565b5050565b5f80611216610ede565b9050611223818585610f89565b600191505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361129e575f6040517fe602df0500000000000000000000000000000000000000000000000000000000815260040161129591906118a8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361130e575f6040517f94280d6200000000000000000000000000000000000000000000000000000000815260040161130591906118a8565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555080156113f7578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516113ee91906117d1565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361144d578060025f8282546114419190611c82565b9250508190555061151b565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156114d6578381836040517fe450d38c0000000000000000000000000000000000000000000000000000000081526004016114cd93929190611c4d565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611562578060025f82825403925050819055506115ac565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161160991906117d1565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561164d578082015181840152602081019050611632565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61167282611616565b61167c8185611620565b935061168c818560208601611630565b61169581611658565b840191505092915050565b5f6020820190508181035f8301526116b88184611668565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6116ed826116c4565b9050919050565b6116fd816116e3565b8114611707575f80fd5b50565b5f81359050611718816116f4565b92915050565b5f819050919050565b6117308161171e565b811461173a575f80fd5b50565b5f8135905061174b81611727565b92915050565b5f8060408385031215611767576117666116c0565b5b5f6117748582860161170a565b92505060206117858582860161173d565b9150509250929050565b5f8115159050919050565b6117a38161178f565b82525050565b5f6020820190506117bc5f83018461179a565b92915050565b6117cb8161171e565b82525050565b5f6020820190506117e45f8301846117c2565b92915050565b5f805f60608486031215611801576118006116c0565b5b5f61180e8682870161170a565b935050602061181f8682870161170a565b92505060406118308682870161173d565b9150509250925092565b5f60ff82169050919050565b61184f8161183a565b82525050565b5f6020820190506118685f830184611846565b92915050565b5f60208284031215611883576118826116c0565b5b5f6118908482850161170a565b91505092915050565b6118a2816116e3565b82525050565b5f6020820190506118bb5f830184611899565b92915050565b5f80604083850312156118d7576118d66116c0565b5b5f6118e48582860161170a565b92505060206118f58582860161170a565b9150509250929050565b7f496e73756666696369656e74204554482042616c616e636500000000000000005f82015250565b5f611933601883611620565b915061193e826118ff565b602082019050919050565b5f6020820190508181035f83015261196081611927565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806119ab57607f821691505b6020821081036119be576119bd611967565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611a288261171e565b9150611a338361171e565b925082611a4357611a426119c4565b5b828204905092915050565b7f416c72656164792073657420746f20746869732076616c7565000000000000005f82015250565b5f611a82601983611620565b9150611a8d82611a4e565b602082019050919050565b5f6020820190508181035f830152611aaf81611a76565b9050919050565b5f81519050611ac481611727565b92915050565b5f60208284031215611adf57611ade6116c0565b5b5f611aec84828501611ab6565b91505092915050565b7f496e73756666696369656e742045524332302062616c616e63650000000000005f82015250565b5f611b29601a83611620565b9150611b3482611af5565b602082019050919050565b5f6020820190508181035f830152611b5681611b1d565b9050919050565b5f604082019050611b705f830185611899565b611b7d60208301846117c2565b9392505050565b611b8d8161178f565b8114611b97575f80fd5b50565b5f81519050611ba881611b84565b92915050565b5f60208284031215611bc357611bc26116c0565b5b5f611bd084828501611b9a565b91505092915050565b5f611be38261171e565b9150611bee8361171e565b9250828202611bfc8161171e565b91508282048414831517611c1357611c126119f1565b5b5092915050565b5f611c248261171e565b9150611c2f8361171e565b9250828203905081811115611c4757611c466119f1565b5b92915050565b5f606082019050611c605f830186611899565b611c6d60208301856117c2565b611c7a60408301846117c2565b949350505050565b5f611c8c8261171e565b9150611c978361171e565b9250828201905080821115611caf57611cae6119f1565b5b9291505056fea264697066735822122007ed969c53af7b7ee9117ade09cbe44e1baf4b7250c921303a8cef863e47316864736f6c63430008180033

19864:4318:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23420:181;;;;;;;;;;;;;:::i;:::-;;7885:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10178:190;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8987:99;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10946:249;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19908:60;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8838:84;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22540:160;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20037:55;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9149:118;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19401:103;;;;;;;;;;;;;:::i;:::-;;20158:58;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23143:177;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;18726:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8095:95;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23779:296;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;20688:570;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21981:354;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19975:55;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20099:52;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9717:142;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22825:172;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;23420:181;18612:13;:11;:13::i;:::-;23504:1:::1;23480:21;:25;23472:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;23553:7;:5;:7::i;:::-;23545:25;;:48;23571:21;23545:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;23420:181::o:0;7885:91::-;7930:13;7963:5;7956:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7885:91;:::o;10178:190::-;10251:4;10268:13;10284:12;:10;:12::i;:::-;10268:28;;10307:31;10316:5;10323:7;10332:5;10307:8;:31::i;:::-;10356:4;10349:11;;;10178:190;;;;:::o;8987:99::-;9039:7;9066:12;;9059:19;;8987:99;:::o;10946:249::-;11033:4;11050:15;11068:12;:10;:12::i;:::-;11050:30;;11091:37;11107:4;11113:7;11122:5;11091:15;:37::i;:::-;11139:26;11149:4;11155:2;11159:5;11139:9;:26::i;:::-;11183:4;11176:11;;;10946:249;;;;;:::o;19908:60::-;;;:::o;8838:84::-;8887:5;8912:2;8905:9;;8838:84;:::o;22540:160::-;22601:4;22625:9;:18;22635:7;22625:18;;;;;;;;;;;;;;;;;;;;;;;;;:67;;;;22687:4;22670:14;:21;;;;:::i;:::-;22647:18;22657:7;22647:9;:18::i;:::-;:45;;22625:67;22618:74;;22540:160;;;:::o;20037:55::-;;;:::o;9149:118::-;9214:7;9241:9;:18;9251:7;9241:18;;;;;;;;;;;;;;;;9234:25;;9149:118;;;:::o;19401:103::-;18612:13;:11;:13::i;:::-;19466:30:::1;19493:1;19466:18;:30::i;:::-;19401:103::o:0;20158:58::-;;;:::o;23143:177::-;18612:13;:11;:13::i;:::-;23227:9:::1;:18;23237:7;23227:18;;;;;;;;;;;;;;;;;;;;;;;;;23219:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;23307:5;23286:9;:18;23296:7;23286:18;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;23143:177:::0;:::o;18726:87::-;18772:7;18799:6;;;;;;;;;;;18792:13;;18726:87;:::o;8095:95::-;8142:13;8175:7;8168:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8095:95;:::o;23779:296::-;18612:13;:11;:13::i;:::-;23903:1:::1;23868:12;23861:30;;;23892:7;:5;:7::i;:::-;23861:39;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:43;23853:82;;;;;;;;;;;;:::i;:::-;;;;;;;;;23946:12;23968;23961:29;;;23991:7;:5;:7::i;:::-;24007:12;24000:30;;;24031:7;:5;:7::i;:::-;24000:39;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;23961:79;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;23946:94;;24059:7;24051:16;;;::::0;::::1;;23842:233;23779:296:::0;:::o;20688:570::-;20774:4;20791:14;20808:12;:10;:12::i;:::-;20791:29;;20835:39;20856:6;20864:9;20835:20;:39::i;:::-;20831:420;;;20891:21;20915:18;:16;:18::i;:::-;20891:42;;20948:18;20996:6;20979:13;20970:6;:22;;;;:::i;:::-;20969:33;;;;:::i;:::-;20948:54;;21017:22;21051:10;21042:6;:19;;;;:::i;:::-;21017:44;;21078:25;21084:6;21092:10;21078:5;:25::i;:::-;21125:41;21140:9;21151:14;21125;:41::i;:::-;21118:48;;;;;;;;20831:420;21206:33;21221:9;21232:6;21206:14;:33::i;:::-;21199:40;;;20688:570;;;;;:::o;21981:354::-;22030:7;22050:21;22074:13;:11;:13::i;:::-;22050:37;;22120:10;22104:13;:26;22100:42;;;22139:3;22132:10;;;;;22100:42;22181:10;22165:13;:26;22161:42;;;22200:3;22193:10;;;;;22161:42;22240:7;22224:13;:23;22220:39;;;22256:3;22249:10;;;;;22220:39;22285:1;22278:8;;;21981:354;;:::o;19975:55::-;;;:::o;20099:52::-;;;:::o;9717:142::-;9797:7;9824:11;:18;9836:5;9824:18;;;;;;;;;;;;;;;:27;9843:7;9824:27;;;;;;;;;;;;;;;;9817:34;;9717:142;;;;:::o;22825:172::-;18612:13;:11;:13::i;:::-;22905:9:::1;:18;22915:7;22905:18;;;;;;;;;;;;;;;;;;;;;;;;;22904:19;22896:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;22985:4;22964:9;:18;22974:7;22964:18;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;22825:172:::0;:::o;18891:166::-;18962:12;:10;:12::i;:::-;18951:23;;:7;:5;:7::i;:::-;:23;;;18947:103;;19025:12;:10;:12::i;:::-;18998:40;;;;;;;;;;;:::i;:::-;;;;;;;;18947:103;18891:166::o;600:98::-;653:7;680:10;673:17;;600:98;:::o;15005:130::-;15090:37;15099:5;15106:7;15115:5;15122:4;15090:8;:37::i;:::-;15005:130;;;:::o;16721:487::-;16821:24;16848:25;16858:5;16865:7;16848:9;:25::i;:::-;16821:52;;16908:17;16888:16;:37;16884:317;;16965:5;16946:16;:24;16942:132;;;17025:7;17034:16;17052:5;16998:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;16942:132;17117:57;17126:5;17133:7;17161:5;17142:16;:24;17168:5;17117:8;:57::i;:::-;16884:317;16810:398;16721:487;;;:::o;11580:308::-;11680:1;11664:18;;:4;:18;;;11660:88;;11733:1;11706:30;;;;;;;;;;;:::i;:::-;;;;;;;;11660:88;11776:1;11762:16;;:2;:16;;;11758:88;;11831:1;11802:32;;;;;;;;;;;:::i;:::-;;;;;;;;11758:88;11856:24;11864:4;11870:2;11874:5;11856:7;:24::i;:::-;11580:308;;;:::o;19664:191::-;19738:16;19757:6;;;;;;;;;;;19738:25;;19783:8;19774:6;;:17;;;;;;;;;;;;;;;;;;19838:8;19807:40;;19828:8;19807:40;;;;;;;;;;;;19727:128;19664:191;:::o;21555:246::-;21643:4;21686:20;21667:15;:39;;:81;;;;;21727:21;21741:6;21727:13;:21::i;:::-;21726:22;21667:81;:126;;;;;21769:24;21783:9;21769:13;:24::i;:::-;21768:25;21667:126;21660:133;;21555:246;;;;:::o;14241:211::-;14331:1;14312:21;;:7;:21;;;14308:91;;14384:1;14357:30;;;;;;;;;;;:::i;:::-;;;;;;;;14308:91;14409:35;14417:7;14434:1;14438:5;14409:7;:35::i;:::-;14241:211;;:::o;9472:182::-;9541:4;9558:13;9574:12;:10;:12::i;:::-;9558:28;;9597:27;9607:5;9614:2;9618:5;9597:9;:27::i;:::-;9642:4;9635:11;;;9472:182;;;;:::o;15986:443::-;16116:1;16099:19;;:5;:19;;;16095:91;;16171:1;16142:32;;;;;;;;;;;:::i;:::-;;;;;;;;16095:91;16219:1;16200:21;;:7;:21;;;16196:92;;16273:1;16245:31;;;;;;;;;;;:::i;:::-;;;;;;;;16196:92;16328:5;16298:11;:18;16310:5;16298:18;;;;;;;;;;;;;;;:27;16317:7;16298:27;;;;;;;;;;;;;;;:35;;;;16348:9;16344:78;;;16395:7;16379:31;;16388:5;16379:31;;;16404:5;16379:31;;;;;;:::i;:::-;;;;;;;;16344:78;15986:443;;;;:::o;12212:1135::-;12318:1;12302:18;;:4;:18;;;12298:552;;12456:5;12440:12;;:21;;;;;;;:::i;:::-;;;;;;;;12298:552;;;12494:19;12516:9;:15;12526:4;12516:15;;;;;;;;;;;;;;;;12494:37;;12564:5;12550:11;:19;12546:117;;;12622:4;12628:11;12641:5;12597:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;12546:117;12818:5;12804:11;:19;12786:9;:15;12796:4;12786:15;;;;;;;;;;;;;;;:37;;;;12479:371;12298:552;12880:1;12866:16;;:2;:16;;;12862:435;;13048:5;13032:12;;:21;;;;;;;;;;;12862:435;;;13265:5;13248:9;:13;13258:2;13248:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;12862:435;13329:2;13314:25;;13323:4;13314:25;;;13333:5;13314:25;;;;;;:::i;:::-;;;;;;;;12212:1135;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:118::-;5275:24;5293:5;5275:24;:::i;:::-;5270:3;5263:37;5188:118;;:::o;5312:222::-;5405:4;5443:2;5432:9;5428:18;5420:26;;5456:71;5524:1;5513:9;5509:17;5500:6;5456:71;:::i;:::-;5312:222;;;;:::o;5540:474::-;5608:6;5616;5665:2;5653:9;5644:7;5640:23;5636:32;5633:119;;;5671:79;;:::i;:::-;5633:119;5791:1;5816:53;5861:7;5852:6;5841:9;5837:22;5816:53;:::i;:::-;5806:63;;5762:117;5918:2;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5889:118;5540:474;;;;;:::o;6020:174::-;6160:26;6156:1;6148:6;6144:14;6137:50;6020:174;:::o;6200:366::-;6342:3;6363:67;6427:2;6422:3;6363:67;:::i;:::-;6356:74;;6439:93;6528:3;6439:93;:::i;:::-;6557:2;6552:3;6548:12;6541:19;;6200:366;;;:::o;6572:419::-;6738:4;6776:2;6765:9;6761:18;6753:26;;6825:9;6819:4;6815:20;6811:1;6800:9;6796:17;6789:47;6853:131;6979:4;6853:131;:::i;:::-;6845:139;;6572:419;;;:::o;6997:180::-;7045:77;7042:1;7035:88;7142:4;7139:1;7132:15;7166:4;7163:1;7156:15;7183:320;7227:6;7264:1;7258:4;7254:12;7244:22;;7311:1;7305:4;7301:12;7332:18;7322:81;;7388:4;7380:6;7376:17;7366:27;;7322:81;7450:2;7442:6;7439:14;7419:18;7416:38;7413:84;;7469:18;;:::i;:::-;7413:84;7234:269;7183:320;;;:::o;7509:180::-;7557:77;7554:1;7547:88;7654:4;7651:1;7644:15;7678:4;7675:1;7668:15;7695:180;7743:77;7740:1;7733:88;7840:4;7837:1;7830:15;7864:4;7861:1;7854:15;7881:185;7921:1;7938:20;7956:1;7938:20;:::i;:::-;7933:25;;7972:20;7990:1;7972:20;:::i;:::-;7967:25;;8011:1;8001:35;;8016:18;;:::i;:::-;8001:35;8058:1;8055;8051:9;8046:14;;7881:185;;;;:::o;8072:175::-;8212:27;8208:1;8200:6;8196:14;8189:51;8072:175;:::o;8253:366::-;8395:3;8416:67;8480:2;8475:3;8416:67;:::i;:::-;8409:74;;8492:93;8581:3;8492:93;:::i;:::-;8610:2;8605:3;8601:12;8594:19;;8253:366;;;:::o;8625:419::-;8791:4;8829:2;8818:9;8814:18;8806:26;;8878:9;8872:4;8868:20;8864:1;8853:9;8849:17;8842:47;8906:131;9032:4;8906:131;:::i;:::-;8898:139;;8625:419;;;:::o;9050:143::-;9107:5;9138:6;9132:13;9123:22;;9154:33;9181:5;9154:33;:::i;:::-;9050:143;;;;:::o;9199:351::-;9269:6;9318:2;9306:9;9297:7;9293:23;9289:32;9286:119;;;9324:79;;:::i;:::-;9286:119;9444:1;9469:64;9525:7;9516:6;9505:9;9501:22;9469:64;:::i;:::-;9459:74;;9415:128;9199:351;;;;:::o;9556:176::-;9696:28;9692:1;9684:6;9680:14;9673:52;9556:176;:::o;9738:366::-;9880:3;9901:67;9965:2;9960:3;9901:67;:::i;:::-;9894:74;;9977:93;10066:3;9977:93;:::i;:::-;10095:2;10090:3;10086:12;10079:19;;9738:366;;;:::o;10110:419::-;10276:4;10314:2;10303:9;10299:18;10291:26;;10363:9;10357:4;10353:20;10349:1;10338:9;10334:17;10327:47;10391:131;10517:4;10391:131;:::i;:::-;10383:139;;10110:419;;;:::o;10535:332::-;10656:4;10694:2;10683:9;10679:18;10671:26;;10707:71;10775:1;10764:9;10760:17;10751:6;10707:71;:::i;:::-;10788:72;10856:2;10845:9;10841:18;10832:6;10788:72;:::i;:::-;10535:332;;;;;:::o;10873:116::-;10943:21;10958:5;10943:21;:::i;:::-;10936:5;10933:32;10923:60;;10979:1;10976;10969:12;10923:60;10873:116;:::o;10995:137::-;11049:5;11080:6;11074:13;11065:22;;11096:30;11120:5;11096:30;:::i;:::-;10995:137;;;;:::o;11138:345::-;11205:6;11254:2;11242:9;11233:7;11229:23;11225:32;11222:119;;;11260:79;;:::i;:::-;11222:119;11380:1;11405:61;11458:7;11449:6;11438:9;11434:22;11405:61;:::i;:::-;11395:71;;11351:125;11138:345;;;;:::o;11489:410::-;11529:7;11552:20;11570:1;11552:20;:::i;:::-;11547:25;;11586:20;11604:1;11586:20;:::i;:::-;11581:25;;11641:1;11638;11634:9;11663:30;11681:11;11663:30;:::i;:::-;11652:41;;11842:1;11833:7;11829:15;11826:1;11823:22;11803:1;11796:9;11776:83;11753:139;;11872:18;;:::i;:::-;11753:139;11537:362;11489:410;;;;:::o;11905:194::-;11945:4;11965:20;11983:1;11965:20;:::i;:::-;11960:25;;11999:20;12017:1;11999:20;:::i;:::-;11994:25;;12043:1;12040;12036:9;12028:17;;12067:1;12061:4;12058:11;12055:37;;;12072:18;;:::i;:::-;12055:37;11905:194;;;;:::o;12105:442::-;12254:4;12292:2;12281:9;12277:18;12269:26;;12305:71;12373:1;12362:9;12358:17;12349:6;12305:71;:::i;:::-;12386:72;12454:2;12443:9;12439:18;12430:6;12386:72;:::i;:::-;12468;12536:2;12525:9;12521:18;12512:6;12468:72;:::i;:::-;12105:442;;;;;;:::o;12553:191::-;12593:3;12612:20;12630:1;12612:20;:::i;:::-;12607:25;;12646:20;12664:1;12646:20;:::i;:::-;12641:25;;12689:1;12686;12682:9;12675:16;;12710:3;12707:1;12704:10;12701:36;;;12717:18;;:::i;:::-;12701:36;12553:191;;;;:::o

ipfs://07ed969c53af7b7ee9117ade09cbe44e1baf4b7250c921303a8cef863e473168