Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20Errors
• interface IERC721Errors
• interface IERC1155Errors
•    - function _msgSender()
•    - function _msgData()
•    - function _contextSuffixLength()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function taxCollector()
•    - function pair1()
•    - function pair2()
•    - function tax()
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function _setPair1(address pair_)
•    - function _setPair2(address pair_)
•    - function _setTaxCollector(address tax ...
•    - 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 ...
•  contract BurgerToken is TaxableTok ... *
•    - function changePair1(address pair_)
•    - function changePair2(address pair_)
•    - function changeTaxCollector(address t ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
// File: @openzeppelin/contracts/interfaces/draft-IERC6093.sol


// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

/**
 * @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 Standard ERC721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in EIP-20.
     * Used in balance queries.
     * @param owner Address of the current owner of a token.
     */
    error ERC721InvalidOwner(address owner);

    /**
     * @dev Indicates a `tokenId` whose `owner` is the zero address.
     * @param tokenId Identifier number of a token.
     */
    error ERC721NonexistentToken(uint256 tokenId);

    /**
     * @dev Indicates an error related to the ownership over a particular token. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param tokenId Identifier number of a token.
     * @param owner Address of the current owner of a token.
     */
    error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner);

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

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

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param tokenId Identifier number of a token.
     */
    error ERC721InsufficientApproval(address operator, uint256 tokenId);

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

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

/**
 * @dev Standard ERC1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC1155 tokens.
 */
interface IERC1155Errors {
    /**
     * @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.
     * @param tokenId Identifier number of a token.
     */
    error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId);

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

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

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param owner Address of the current owner of a token.
     */
    error ERC1155MissingApprovalForAll(address operator, address owner);

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

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

    /**
     * @dev Indicates an array length mismatch between ids and values in a safeBatchTransferFrom operation.
     * Used in batch transfers.
     * @param idsLength Length of the array of token identifiers
     * @param valuesLength Length of the array of token amounts
     */
    error ERC1155InvalidArrayLength(uint256 idsLength, uint256 valuesLength);
}

// File: @openzeppelin/contracts/utils/Context.sol


// OpenZeppelin Contracts (last updated v5.0.1) (utils/Context.sol)

pragma solidity ^0.8.20;

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

// File: @openzeppelin/contracts/access/Ownable.sol


// OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)

pragma solidity ^0.8.20;


/**
 * @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`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(newOwner);
    }

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

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


// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

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

// File: @openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol


// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.20;


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



pragma solidity ^0.8.20;


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

    uint256 private _tax = 3;

    address private _pair1;
    address private _pair2;
    address private _taxCollector;


    /**
     * @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_, address taxCollector_) {
        _name = name_;
        _symbol = symbol_;
        _setTaxCollector(taxCollector_);
    }

    /**
     * @dev Returns the tax collector address of the token.
     */
    function taxCollector() public view virtual returns (address) {
        return _taxCollector;
    }

    /**
     * @dev Returns the pair one (WETH) of the token.
     */
    function pair1() public view virtual returns (address) {
        return _pair1;
    }

    /**
     * @dev Returns the pair one (WETH) of the token.
     */
    function pair2() public view virtual returns (address) {
        return _pair2;
    }

    /**
     * @dev Returns the buy tax of the token.
     */
    function tax() public view virtual returns (uint256) {
        return _tax;
    }


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

    function _setPair1(address pair_) internal    {
        _pair1 = pair_;
    }

    function _setPair2(address pair_) internal    {
        _pair2 = pair_;
    }

    function _setTaxCollector(address taxCollector_) internal    {
        _taxCollector = taxCollector_;
    }


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

        uint256 taxValue = (value * _tax) / 100;


        if (from == _pair1 || from == _pair2) {
            _update(from, _taxCollector, taxValue);
            _update(from, to, value - taxValue);
        } else if(to == _pair1 || to == _pair2) {
            _update(from, _taxCollector, taxValue);
            _update(from, to, value);
        } else {
            _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);
            }
        }
    }
}

// File: contracts/Burger.sol


// File: .deps/npm/@openzeppelin/contracts/interfaces/draft-IERC6093.sol

// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;



contract BurgerToken is TaxableToken, Ownable {
    constructor(
        address taxCollector_,
        address owner_
    ) TaxableToken("BURGER", "BURGER", taxCollector_) Ownable(owner_) {
        _mint(owner_, 100_000_000 ether);
    }

    function changePair1(address pair_) external  onlyOwner {
        _setPair1(pair_);
    }

    function changePair2(address pair_) external  onlyOwner {
        _setPair2(pair_);
    }

    function changeTaxCollector(address taxCollector_) external onlyOwner {
        _setTaxCollector(taxCollector_);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"taxCollector_","type":"address"},{"internalType":"address","name":"owner_","type":"address"}],"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":[{"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":[{"internalType":"address","name":"pair_","type":"address"}],"name":"changePair1","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"pair_","type":"address"}],"name":"changePair2","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"taxCollector_","type":"address"}],"name":"changeTaxCollector","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"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":[],"name":"pair1","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pair2","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"taxCollector","outputs":[{"internalType":"address","name":"","type":"address"}],"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":"value","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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6080604052600360055534801562000015575f80fd5b506040516200202d3803806200202d83398181016040528101906200003b9190620005a4565b806040518060400160405280600681526020017f42555247455200000000000000000000000000000000000000000000000000008152506040518060400160405280600681526020017f4255524745520000000000000000000000000000000000000000000000000000815250848260039081620000ba91906200084d565b508160049081620000cc91906200084d565b50620000de816200018b60201b60201c565b5050505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160362000154575f6040517f1e4fbdf70000000000000000000000000000000000000000000000000000000081526004016200014b919062000942565b60405180910390fd5b6200016581620001ce60201b60201c565b5062000183816a52b7d2dcc80cd2e40000006200029160201b60201c565b505062000a2b565b8060085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160095f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000304575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401620002fb919062000942565b60405180910390fd5b620003175f83836200031b60201b60201c565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036200036f578060025f8282546200036291906200098a565b9250508190555062000440565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015620003fb578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401620003f293929190620009d5565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000489578060025f8282540392505081905550620004d3565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000532919062000a10565b60405180910390a3505050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6200056e8262000543565b9050919050565b620005808162000562565b81146200058b575f80fd5b50565b5f815190506200059e8162000575565b92915050565b5f8060408385031215620005bd57620005bc6200053f565b5b5f620005cc858286016200058e565b9250506020620005df858286016200058e565b9150509250929050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200066557607f821691505b6020821081036200067b576200067a62000620565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620006df7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620006a2565b620006eb8683620006a2565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620007356200072f620007298462000703565b6200070c565b62000703565b9050919050565b5f819050919050565b620007508362000715565b620007686200075f826200073c565b848454620006ae565b825550505050565b5f90565b6200077e62000770565b6200078b81848462000745565b505050565b5b81811015620007b257620007a65f8262000774565b60018101905062000791565b5050565b601f8211156200080157620007cb8162000681565b620007d68462000693565b81016020851015620007e6578190505b620007fe620007f58562000693565b83018262000790565b50505b505050565b5f82821c905092915050565b5f620008235f198460080262000806565b1980831691505092915050565b5f6200083d838362000812565b9150826002028217905092915050565b6200085882620005e9565b67ffffffffffffffff811115620008745762000873620005f3565b5b6200088082546200064d565b6200088d828285620007b6565b5f60209050601f831160018114620008c3575f8415620008ae578287015190505b620008ba858262000830565b86555062000929565b601f198416620008d38662000681565b5f5b82811015620008fc57848901518255600182019150602085019450602081019050620008d5565b868310156200091c578489015162000918601f89168262000812565b8355505b6001600288020188555050505b505050505050565b6200093c8162000562565b82525050565b5f602082019050620009575f83018462000931565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f620009968262000703565b9150620009a38362000703565b9250828201905080821115620009be57620009bd6200095d565b5b92915050565b620009cf8162000703565b82525050565b5f606082019050620009ea5f83018662000931565b620009f96020830185620009c4565b62000a086040830184620009c4565b949350505050565b5f60208201905062000a255f830184620009c4565b92915050565b6115f48062000a395f395ff3fe608060405234801561000f575f80fd5b506004361061011f575f3560e01c8063715018a6116100ab578063a6bb96d81161006f578063a6bb96d8146102e5578063a9059cbb14610301578063bea1dcf814610331578063dd62ed3e1461034f578063f2fde38b1461037f5761011f565b8063715018a614610263578063763014c71461026d5780638da5cb5b1461028b57806395d89b41146102a957806399c8d556146102c75761011f565b806323b872dd116100f257806323b872dd146101ad578063313ce567146101dd5780633e085d63146101fb57806370a082311461021757806370cf9d3f146102475761011f565b806306fdde0314610123578063095ea7b31461014157806318160ddd1461017157806322fc8fc31461018f575b5f80fd5b61012b61039b565b604051610138919061119c565b60405180910390f35b61015b6004803603810190610156919061124d565b61042b565b60405161016891906112a5565b60405180910390f35b61017961044d565b60405161018691906112cd565b60405180910390f35b610197610456565b6040516101a491906112f5565b60405180910390f35b6101c760048036038101906101c2919061130e565b61047e565b6040516101d491906112a5565b60405180910390f35b6101e56104ac565b6040516101f29190611379565b60405180910390f35b61021560048036038101906102109190611392565b6104b4565b005b610231600480360381019061022c9190611392565b6104c8565b60405161023e91906112cd565b60405180910390f35b610261600480360381019061025c9190611392565b61050d565b005b61026b610521565b005b610275610534565b60405161028291906112f5565b60405180910390f35b61029361055c565b6040516102a091906112f5565b60405180910390f35b6102b1610584565b6040516102be919061119c565b60405180910390f35b6102cf610614565b6040516102dc91906112cd565b60405180910390f35b6102ff60048036038101906102fa9190611392565b61061d565b005b61031b6004803603810190610316919061124d565b610631565b60405161032891906112a5565b60405180910390f35b610339610653565b60405161034691906112f5565b60405180910390f35b610369600480360381019061036491906113bd565b61067b565b60405161037691906112cd565b60405180910390f35b61039960048036038101906103949190611392565b6106fd565b005b6060600380546103aa90611428565b80601f01602080910402602001604051908101604052809291908181526020018280546103d690611428565b80156104215780601f106103f857610100808354040283529160200191610421565b820191905f5260205f20905b81548152906001019060200180831161040457829003601f168201915b5050505050905090565b5f80610435610781565b9050610442818585610788565b600191505092915050565b5f600254905090565b5f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b5f80610488610781565b905061049585828561079a565b6104a085858561082c565b60019150509392505050565b5f6012905090565b6104bc610b17565b6104c581610b9e565b50565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610515610b17565b61051e81610be1565b50565b610529610b17565b6105325f610c24565b565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b5f60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461059390611428565b80601f01602080910402602001604051908101604052809291908181526020018280546105bf90611428565b801561060a5780601f106105e15761010080835404028352916020019161060a565b820191905f5260205f20905b8154815290600101906020018083116105ed57829003601f168201915b5050505050905090565b5f600554905090565b610625610b17565b61062e81610ce7565b50565b5f8061063b610781565b905061064881858561082c565b600191505092915050565b5f60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610705610b17565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610775575f6040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161076c91906112f5565b60405180910390fd5b61077e81610c24565b50565b5f33905090565b6107958383836001610d2a565b505050565b5f6107a5848461067b565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146108265781811015610817578281836040517ffb8f41b200000000000000000000000000000000000000000000000000000000815260040161080e93929190611458565b60405180910390fd5b61082584848484035f610d2a565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361089c575f6040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161089391906112f5565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361090c575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161090391906112f5565b60405180910390fd5b5f60646005548361091d91906114ba565b6109279190611528565b905060065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614806109d0575060075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b15610a1c57610a018460085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683610ef9565b610a1784848385610a129190611558565b610ef9565b610b11565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480610ac3575060075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b15610b0457610af48460085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683610ef9565b610aff848484610ef9565b610b10565b610b0f848484610ef9565b5b5b50505050565b610b1f610781565b73ffffffffffffffffffffffffffffffffffffffff16610b3d61055c565b73ffffffffffffffffffffffffffffffffffffffff1614610b9c57610b60610781565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610b9391906112f5565b60405180910390fd5b565b8060075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b8060085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160095f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610d9a575f6040517fe602df05000000000000000000000000000000000000000000000000000000008152600401610d9191906112f5565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610e0a575f6040517f94280d62000000000000000000000000000000000000000000000000000000008152600401610e0191906112f5565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015610ef3578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610eea91906112cd565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f49578060025f828254610f3d919061158b565b92505081905550611017565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610fd2578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610fc993929190611458565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361105e578060025f82825403925050819055506110a8565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161110591906112cd565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561114957808201518184015260208101905061112e565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61116e82611112565b611178818561111c565b935061118881856020860161112c565b61119181611154565b840191505092915050565b5f6020820190508181035f8301526111b48184611164565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111e9826111c0565b9050919050565b6111f9816111df565b8114611203575f80fd5b50565b5f81359050611214816111f0565b92915050565b5f819050919050565b61122c8161121a565b8114611236575f80fd5b50565b5f8135905061124781611223565b92915050565b5f8060408385031215611263576112626111bc565b5b5f61127085828601611206565b925050602061128185828601611239565b9150509250929050565b5f8115159050919050565b61129f8161128b565b82525050565b5f6020820190506112b85f830184611296565b92915050565b6112c78161121a565b82525050565b5f6020820190506112e05f8301846112be565b92915050565b6112ef816111df565b82525050565b5f6020820190506113085f8301846112e6565b92915050565b5f805f60608486031215611325576113246111bc565b5b5f61133286828701611206565b935050602061134386828701611206565b925050604061135486828701611239565b9150509250925092565b5f60ff82169050919050565b6113738161135e565b82525050565b5f60208201905061138c5f83018461136a565b92915050565b5f602082840312156113a7576113a66111bc565b5b5f6113b484828501611206565b91505092915050565b5f80604083850312156113d3576113d26111bc565b5b5f6113e085828601611206565b92505060206113f185828601611206565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061143f57607f821691505b602082108103611452576114516113fb565b5b50919050565b5f60608201905061146b5f8301866112e6565b61147860208301856112be565b61148560408301846112be565b949350505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6114c48261121a565b91506114cf8361121a565b92508282026114dd8161121a565b915082820484148315176114f4576114f361148d565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6115328261121a565b915061153d8361121a565b92508261154d5761154c6114fb565b5b828204905092915050565b5f6115628261121a565b915061156d8361121a565b92508282039050818111156115855761158461148d565b5b92915050565b5f6115958261121a565b91506115a08361121a565b92508282019050808211156115b8576115b761148d565b5b9291505056fea264697066735822122016916efa9c316f6ebf9b8e005065ad73520b17f1de089ace622a298155e41ab764736f6c634300081600330000000000000000000000007f079dab95b1ea3ada9cae79bbf21a753cc99ee60000000000000000000000007f079dab95b1ea3ada9cae79bbf21a753cc99ee6

0x608060405234801561000f575f80fd5b506004361061011f575f3560e01c8063715018a6116100ab578063a6bb96d81161006f578063a6bb96d8146102e5578063a9059cbb14610301578063bea1dcf814610331578063dd62ed3e1461034f578063f2fde38b1461037f5761011f565b8063715018a614610263578063763014c71461026d5780638da5cb5b1461028b57806395d89b41146102a957806399c8d556146102c75761011f565b806323b872dd116100f257806323b872dd146101ad578063313ce567146101dd5780633e085d63146101fb57806370a082311461021757806370cf9d3f146102475761011f565b806306fdde0314610123578063095ea7b31461014157806318160ddd1461017157806322fc8fc31461018f575b5f80fd5b61012b61039b565b604051610138919061119c565b60405180910390f35b61015b6004803603810190610156919061124d565b61042b565b60405161016891906112a5565b60405180910390f35b61017961044d565b60405161018691906112cd565b60405180910390f35b610197610456565b6040516101a491906112f5565b60405180910390f35b6101c760048036038101906101c2919061130e565b61047e565b6040516101d491906112a5565b60405180910390f35b6101e56104ac565b6040516101f29190611379565b60405180910390f35b61021560048036038101906102109190611392565b6104b4565b005b610231600480360381019061022c9190611392565b6104c8565b60405161023e91906112cd565b60405180910390f35b610261600480360381019061025c9190611392565b61050d565b005b61026b610521565b005b610275610534565b60405161028291906112f5565b60405180910390f35b61029361055c565b6040516102a091906112f5565b60405180910390f35b6102b1610584565b6040516102be919061119c565b60405180910390f35b6102cf610614565b6040516102dc91906112cd565b60405180910390f35b6102ff60048036038101906102fa9190611392565b61061d565b005b61031b6004803603810190610316919061124d565b610631565b60405161032891906112a5565b60405180910390f35b610339610653565b60405161034691906112f5565b60405180910390f35b610369600480360381019061036491906113bd565b61067b565b60405161037691906112cd565b60405180910390f35b61039960048036038101906103949190611392565b6106fd565b005b6060600380546103aa90611428565b80601f01602080910402602001604051908101604052809291908181526020018280546103d690611428565b80156104215780601f106103f857610100808354040283529160200191610421565b820191905f5260205f20905b81548152906001019060200180831161040457829003601f168201915b5050505050905090565b5f80610435610781565b9050610442818585610788565b600191505092915050565b5f600254905090565b5f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b5f80610488610781565b905061049585828561079a565b6104a085858561082c565b60019150509392505050565b5f6012905090565b6104bc610b17565b6104c581610b9e565b50565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610515610b17565b61051e81610be1565b50565b610529610b17565b6105325f610c24565b565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b5f60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461059390611428565b80601f01602080910402602001604051908101604052809291908181526020018280546105bf90611428565b801561060a5780601f106105e15761010080835404028352916020019161060a565b820191905f5260205f20905b8154815290600101906020018083116105ed57829003601f168201915b5050505050905090565b5f600554905090565b610625610b17565b61062e81610ce7565b50565b5f8061063b610781565b905061064881858561082c565b600191505092915050565b5f60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610705610b17565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610775575f6040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161076c91906112f5565b60405180910390fd5b61077e81610c24565b50565b5f33905090565b6107958383836001610d2a565b505050565b5f6107a5848461067b565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146108265781811015610817578281836040517ffb8f41b200000000000000000000000000000000000000000000000000000000815260040161080e93929190611458565b60405180910390fd5b61082584848484035f610d2a565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361089c575f6040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161089391906112f5565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361090c575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161090391906112f5565b60405180910390fd5b5f60646005548361091d91906114ba565b6109279190611528565b905060065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614806109d0575060075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b15610a1c57610a018460085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683610ef9565b610a1784848385610a129190611558565b610ef9565b610b11565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480610ac3575060075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b15610b0457610af48460085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683610ef9565b610aff848484610ef9565b610b10565b610b0f848484610ef9565b5b5b50505050565b610b1f610781565b73ffffffffffffffffffffffffffffffffffffffff16610b3d61055c565b73ffffffffffffffffffffffffffffffffffffffff1614610b9c57610b60610781565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610b9391906112f5565b60405180910390fd5b565b8060075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b8060085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160095f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610d9a575f6040517fe602df05000000000000000000000000000000000000000000000000000000008152600401610d9191906112f5565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610e0a575f6040517f94280d62000000000000000000000000000000000000000000000000000000008152600401610e0191906112f5565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015610ef3578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610eea91906112cd565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f49578060025f828254610f3d919061158b565b92505081905550611017565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610fd2578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610fc993929190611458565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361105e578060025f82825403925050819055506110a8565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161110591906112cd565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561114957808201518184015260208101905061112e565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61116e82611112565b611178818561111c565b935061118881856020860161112c565b61119181611154565b840191505092915050565b5f6020820190508181035f8301526111b48184611164565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111e9826111c0565b9050919050565b6111f9816111df565b8114611203575f80fd5b50565b5f81359050611214816111f0565b92915050565b5f819050919050565b61122c8161121a565b8114611236575f80fd5b50565b5f8135905061124781611223565b92915050565b5f8060408385031215611263576112626111bc565b5b5f61127085828601611206565b925050602061128185828601611239565b9150509250929050565b5f8115159050919050565b61129f8161128b565b82525050565b5f6020820190506112b85f830184611296565b92915050565b6112c78161121a565b82525050565b5f6020820190506112e05f8301846112be565b92915050565b6112ef816111df565b82525050565b5f6020820190506113085f8301846112e6565b92915050565b5f805f60608486031215611325576113246111bc565b5b5f61133286828701611206565b935050602061134386828701611206565b925050604061135486828701611239565b9150509250925092565b5f60ff82169050919050565b6113738161135e565b82525050565b5f60208201905061138c5f83018461136a565b92915050565b5f602082840312156113a7576113a66111bc565b5b5f6113b484828501611206565b91505092915050565b5f80604083850312156113d3576113d26111bc565b5b5f6113e085828601611206565b92505060206113f185828601611206565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061143f57607f821691505b602082108103611452576114516113fb565b5b50919050565b5f60608201905061146b5f8301866112e6565b61147860208301856112be565b61148560408301846112be565b949350505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6114c48261121a565b91506114cf8361121a565b92508282026114dd8161121a565b915082820484148315176114f4576114f361148d565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6115328261121a565b915061153d8361121a565b92508261154d5761154c6114fb565b5b828204905092915050565b5f6115628261121a565b915061156d8361121a565b92508282039050818111156115855761158461148d565b5b92915050565b5f6115958261121a565b91506115a08361121a565b92508282019050808211156115b8576115b761148d565b5b9291505056fea264697066735822122016916efa9c316f6ebf9b8e005065ad73520b17f1de089ace622a298155e41ab764736f6c63430008160033

0000000000000000000000007f079dab95b1ea3ada9cae79bbf21a753cc99ee60000000000000000000000007f079dab95b1ea3ada9cae79bbf21a753cc99ee6

-----Decoded View---------------
Arg [0] : taxCollector_ (address): 0x7f079daB95b1ea3ada9Cae79bBf21a753CC99ee6
Arg [1] : owner_ (address): 0x7f079daB95b1ea3ada9Cae79bBf21a753CC99ee6

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 0000000000000000000000007f079dab95b1ea3ada9cae79bbf21a753cc99ee6
Arg [1] : 0000000000000000000000007f079dab95b1ea3ada9cae79bbf21a753cc99ee6

27502:573:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17259:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19845:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18361:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16776:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20613:249;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18212:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27853:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;18523:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27952:120;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;10124:103;;;:::i;:::-;;16944:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9449;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17469:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17104:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27754:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;19139:182;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16594:101;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19384:142;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10382:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;17259:91;17304:13;17337:5;17330:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17259:91;:::o;19845:190::-;19918:4;19935:13;19951:12;:10;:12::i;:::-;19935:28;;19974:31;19983:5;19990:7;19999:5;19974:8;:31::i;:::-;20023:4;20016:11;;;19845:190;;;;:::o;18361:99::-;18413:7;18440:12;;18433:19;;18361:99;:::o;16776:87::-;16822:7;16849:6;;;;;;;;;;;16842:13;;16776:87;:::o;20613:249::-;20700:4;20717:15;20735:12;:10;:12::i;:::-;20717:30;;20758:37;20774:4;20780:7;20789:5;20758:15;:37::i;:::-;20806:26;20816:4;20822:2;20826:5;20806:9;:26::i;:::-;20850:4;20843:11;;;20613:249;;;;;:::o;18212:84::-;18261:5;18286:2;18279:9;;18212:84;:::o;27853:91::-;9335:13;:11;:13::i;:::-;27920:16:::1;27930:5;27920:9;:16::i;:::-;27853:91:::0;:::o;18523:118::-;18588:7;18615:9;:18;18625:7;18615:18;;;;;;;;;;;;;;;;18608:25;;18523:118;;;:::o;27952:120::-;9335:13;:11;:13::i;:::-;28033:31:::1;28050:13;28033:16;:31::i;:::-;27952:120:::0;:::o;10124:103::-;9335:13;:11;:13::i;:::-;10189:30:::1;10216:1;10189:18;:30::i;:::-;10124:103::o:0;16944:87::-;16990:7;17017:6;;;;;;;;;;;17010:13;;16944:87;:::o;9449:::-;9495:7;9522:6;;;;;;;;;;;9515:13;;9449:87;:::o;17469:95::-;17516:13;17549:7;17542:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17469:95;:::o;17104:83::-;17148:7;17175:4;;17168:11;;17104:83;:::o;27754:91::-;9335:13;:11;:13::i;:::-;27821:16:::1;27831:5;27821:9;:16::i;:::-;27754:91:::0;:::o;19139:182::-;19208:4;19225:13;19241:12;:10;:12::i;:::-;19225:28;;19264:27;19274:5;19281:2;19285:5;19264:9;:27::i;:::-;19309:4;19302:11;;;19139:182;;;;:::o;16594:101::-;16647:7;16674:13;;;;;;;;;;;16667:20;;16594:101;:::o;19384:142::-;19464:7;19491:11;:18;19503:5;19491:18;;;;;;;;;;;;;;;:27;19510:7;19491:27;;;;;;;;;;;;;;;;19484:34;;19384:142;;;;:::o;10382:220::-;9335:13;:11;:13::i;:::-;10487:1:::1;10467:22;;:8;:22;;::::0;10463:93:::1;;10541:1;10513:31;;;;;;;;;;;:::i;:::-;;;;;;;;10463:93;10566:28;10585:8;10566:18;:28::i;:::-;10382:220:::0;:::o;7458:98::-;7511:7;7538:10;7531:17;;7458:98;:::o;25068:130::-;25153:37;25162:5;25169:7;25178:5;25185:4;25153:8;:37::i;:::-;25068:130;;;:::o;26784:487::-;26884:24;26911:25;26921:5;26928:7;26911:9;:25::i;:::-;26884:52;;26971:17;26951:16;:37;26947:317;;27028:5;27009:16;:24;27005:132;;;27088:7;27097:16;27115:5;27061:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;27005:132;27180:57;27189:5;27196:7;27224:5;27205:16;:24;27231:5;27180:8;:57::i;:::-;26947:317;26873:398;26784:487;;;:::o;21247:704::-;21347:1;21331:18;;:4;:18;;;21327:88;;21400:1;21373:30;;;;;;;;;;;:::i;:::-;;;;;;;;21327:88;21443:1;21429:16;;:2;:16;;;21425:88;;21498:1;21469:32;;;;;;;;;;;:::i;:::-;;;;;;;;21425:88;21525:16;21561:3;21553:4;;21545:5;:12;;;;:::i;:::-;21544:20;;;;:::i;:::-;21525:39;;21591:6;;;;;;;;;;;21583:14;;:4;:14;;;:32;;;;21609:6;;;;;;;;;;;21601:14;;:4;:14;;;21583:32;21579:353;;;21632:38;21640:4;21646:13;;;;;;;;;;;21661:8;21632:7;:38::i;:::-;21685:35;21693:4;21699:2;21711:8;21703:5;:16;;;;:::i;:::-;21685:7;:35::i;:::-;21579:353;;;21747:6;;;;;;;;;;;21741:12;;:2;:12;;;:28;;;;21763:6;;;;;;;;;;;21757:12;;:2;:12;;;21741:28;21738:194;;;21786:38;21794:4;21800:13;;;;;;;;;;;21815:8;21786:7;:38::i;:::-;21839:24;21847:4;21853:2;21857:5;21839:7;:24::i;:::-;21738:194;;;21896:24;21904:4;21910:2;21914:5;21896:7;:24::i;:::-;21738:194;21579:353;21316:635;21247:704;;;:::o;9614:166::-;9685:12;:10;:12::i;:::-;9674:23;;:7;:5;:7::i;:::-;:23;;;9670:103;;9748:12;:10;:12::i;:::-;9721:40;;;;;;;;;;;:::i;:::-;;;;;;;;9670:103;9614:166::o;18736:79::-;18802:5;18793:6;;:14;;;;;;;;;;;;;;;;;;18736:79;:::o;18823:109::-;18911:13;18895;;:29;;;;;;;;;;;;;;;;;;18823:109;:::o;10762:191::-;10836:16;10855:6;;;;;;;;;;;10836:25;;10881:8;10872:6;;:17;;;;;;;;;;;;;;;;;;10936:8;10905:40;;10926:8;10905:40;;;;;;;;;;;;10825:128;10762:191;:::o;18649:79::-;18715:5;18706:6;;:14;;;;;;;;;;;;;;;;;;18649:79;:::o;26049:443::-;26179:1;26162:19;;:5;:19;;;26158:91;;26234:1;26205:32;;;;;;;;;;;:::i;:::-;;;;;;;;26158:91;26282:1;26263:21;;:7;:21;;;26259:92;;26336:1;26308:31;;;;;;;;;;;:::i;:::-;;;;;;;;26259:92;26391:5;26361:11;:18;26373:5;26361:18;;;;;;;;;;;;;;;:27;26380:7;26361:27;;;;;;;;;;;;;;;:35;;;;26411:9;26407:78;;;26458:7;26442:31;;26451:5;26442:31;;;26467:5;26442:31;;;;;;:::i;:::-;;;;;;;;26407:78;26049:443;;;;:::o;22275:1135::-;22381:1;22365:18;;:4;:18;;;22361:552;;22519:5;22503:12;;:21;;;;;;;:::i;:::-;;;;;;;;22361:552;;;22557:19;22579:9;:15;22589:4;22579:15;;;;;;;;;;;;;;;;22557:37;;22627:5;22613:11;:19;22609:117;;;22685:4;22691:11;22704:5;22660:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;22609:117;22881:5;22867:11;:19;22849:9;:15;22859:4;22849:15;;;;;;;;;;;;;;;:37;;;;22542:371;22361:552;22943:1;22929:16;;:2;:16;;;22925:435;;23111:5;23095:12;;:21;;;;;;;;;;;22925:435;;;23328:5;23311:9;:13;23321:2;23311:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;22925:435;23392:2;23377:25;;23386:4;23377:25;;;23396:5;23377:25;;;;;;:::i;:::-;;;;;;;;22275: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:118::-;3885:24;3903:5;3885:24;:::i;:::-;3880:3;3873:37;3798:118;;:::o;3922:222::-;4015:4;4053:2;4042:9;4038:18;4030:26;;4066:71;4134:1;4123:9;4119:17;4110:6;4066:71;:::i;:::-;3922:222;;;;:::o;4150:619::-;4227:6;4235;4243;4292:2;4280:9;4271:7;4267:23;4263:32;4260:119;;;4298:79;;:::i;:::-;4260:119;4418:1;4443:53;4488:7;4479:6;4468:9;4464:22;4443:53;:::i;:::-;4433:63;;4389:117;4545:2;4571:53;4616:7;4607:6;4596:9;4592:22;4571:53;:::i;:::-;4561:63;;4516:118;4673:2;4699:53;4744:7;4735:6;4724:9;4720:22;4699:53;:::i;:::-;4689:63;;4644:118;4150:619;;;;;:::o;4775:86::-;4810:7;4850:4;4843:5;4839:16;4828:27;;4775:86;;;:::o;4867:112::-;4950:22;4966:5;4950:22;:::i;:::-;4945:3;4938:35;4867:112;;:::o;4985:214::-;5074:4;5112:2;5101:9;5097:18;5089:26;;5125:67;5189:1;5178:9;5174:17;5165:6;5125:67;:::i;:::-;4985:214;;;;:::o;5205:329::-;5264:6;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5205:329;;;;:::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:180::-;6068:77;6065:1;6058:88;6165:4;6162:1;6155:15;6189:4;6186:1;6179:15;6206:320;6250:6;6287:1;6281:4;6277:12;6267:22;;6334:1;6328:4;6324:12;6355:18;6345:81;;6411:4;6403:6;6399:17;6389:27;;6345:81;6473:2;6465:6;6462:14;6442:18;6439:38;6436:84;;6492:18;;:::i;:::-;6436:84;6257:269;6206:320;;;:::o;6532:442::-;6681:4;6719:2;6708:9;6704:18;6696:26;;6732:71;6800:1;6789:9;6785:17;6776:6;6732:71;:::i;:::-;6813:72;6881:2;6870:9;6866:18;6857:6;6813:72;:::i;:::-;6895;6963:2;6952:9;6948:18;6939:6;6895:72;:::i;:::-;6532:442;;;;;;:::o;6980:180::-;7028:77;7025:1;7018:88;7125:4;7122:1;7115:15;7149:4;7146:1;7139:15;7166:410;7206:7;7229:20;7247:1;7229:20;:::i;:::-;7224:25;;7263:20;7281:1;7263:20;:::i;:::-;7258:25;;7318:1;7315;7311:9;7340:30;7358:11;7340:30;:::i;:::-;7329:41;;7519:1;7510:7;7506:15;7503:1;7500:22;7480:1;7473:9;7453:83;7430:139;;7549:18;;:::i;:::-;7430:139;7214:362;7166:410;;;;:::o;7582:180::-;7630:77;7627:1;7620:88;7727:4;7724:1;7717:15;7751:4;7748:1;7741:15;7768:185;7808:1;7825:20;7843:1;7825:20;:::i;:::-;7820:25;;7859:20;7877:1;7859:20;:::i;:::-;7854:25;;7898:1;7888:35;;7903:18;;:::i;:::-;7888:35;7945:1;7942;7938:9;7933:14;;7768:185;;;;:::o;7959:194::-;7999:4;8019:20;8037:1;8019:20;:::i;:::-;8014:25;;8053:20;8071:1;8053:20;:::i;:::-;8048:25;;8097:1;8094;8090:9;8082:17;;8121:1;8115:4;8112:11;8109:37;;;8126:18;;:::i;:::-;8109:37;7959:194;;;;:::o;8159:191::-;8199:3;8218:20;8236:1;8218:20;:::i;:::-;8213:25;;8252:20;8270:1;8252:20;:::i;:::-;8247:25;;8295:1;8292;8288:9;8281:16;;8316:3;8313:1;8310:10;8307:36;;;8323:18;;:::i;:::-;8307:36;8159:191;;;;:::o

ipfs://16916efa9c316f6ebf9b8e005065ad73520b17f1de089ace622a298155e41ab7