Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-07-30
*/

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.13 ^0.8.20;

// lib/openzeppelin-contracts/contracts/interfaces/draft-IERC6093.sol

// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/draft-IERC6093.sol)

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

// lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol

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

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

// lib/openzeppelin-contracts/contracts/utils/Context.sol

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

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

// lib/openzeppelin-contracts/contracts/token/ERC20/extensions/IERC20Metadata.sol

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

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

// lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol

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

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

// src/TaxlessTrump.sol

contract TaxlessTrump is ERC20 {
    IERC20 public constant MAGA = IERC20(0x576e2BeD8F7b46D34016198911Cdf9886f78bea7);

    constructor() ERC20("MAGA", "TRUMP") {}

    function decimals() public pure override returns (uint8) {
        return 9;
    }

    function convertTaxedTrumpToTaxlessTrump(uint256 amount) external {
        uint256 balanceBefore = MAGA.balanceOf(address(this));
        MAGA.transferFrom(msg.sender, address(this), amount);
        uint256 tokensToMint = MAGA.balanceOf(address(this)) - balanceBefore;
        _mint(msg.sender, tokensToMint);
    }

    function convertTaxlessTrumpToTaxedTrump(uint256 amount) external {
        _burn(msg.sender, amount);
        MAGA.transfer(msg.sender, amount);
    }
}

• 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"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"MAGA","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"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":"uint256","name":"amount","type":"uint256"}],"name":"convertTaxedTrumpToTaxlessTrump","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"convertTaxlessTrumpToTaxedTrump","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"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"}]

608060405234801562000010575f80fd5b506040518060400160405280600481526020017f4d414741000000000000000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f5452554d5000000000000000000000000000000000000000000000000000000081525081600390816200008e91906200030d565b508060049081620000a091906200030d565b505050620003f1565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200012557607f821691505b6020821081036200013b576200013a620000e0565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026200019f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000162565b620001ab868362000162565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620001f5620001ef620001e984620001c3565b620001cc565b620001c3565b9050919050565b5f819050919050565b6200021083620001d5565b620002286200021f82620001fc565b8484546200016e565b825550505050565b5f90565b6200023e62000230565b6200024b81848462000205565b505050565b5b818110156200027257620002665f8262000234565b60018101905062000251565b5050565b601f821115620002c1576200028b8162000141565b620002968462000153565b81016020851015620002a6578190505b620002be620002b58562000153565b83018262000250565b50505b505050565b5f82821c905092915050565b5f620002e35f1984600802620002c6565b1980831691505092915050565b5f620002fd8383620002d2565b9150826002028217905092915050565b6200031882620000a9565b67ffffffffffffffff811115620003345762000333620000b3565b5b6200034082546200010d565b6200034d82828562000276565b5f60209050601f83116001811462000383575f84156200036e578287015190505b6200037a8582620002f0565b865550620003e9565b601f198416620003938662000141565b5f5b82811015620003bc5784890151825560018201915060208501945060208101905062000395565b86831015620003dc5784890151620003d8601f891682620002d2565b8355505b6001600288020188555050505b505050505050565b6113b180620003ff5f395ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c8063414774511161006f578063414774511461018c57806370a08231146101a857806395d89b41146101d8578063a9059cbb146101f6578063dd62ed3e14610226578063f970836714610256576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd1461012257806324a29d5014610152578063313ce5671461016e575b5f80fd5b6100be610274565b6040516100cb9190610e68565b60405180910390f35b6100ee60048036038101906100e99190610f19565b610304565b6040516100fb9190610f71565b60405180910390f35b61010c610326565b6040516101199190610f99565b60405180910390f35b61013c60048036038101906101379190610fb2565b61032f565b6040516101499190610f71565b60405180910390f35b61016c60048036038101906101679190611002565b61035d565b005b610176610527565b6040516101839190611048565b60405180910390f35b6101a660048036038101906101a19190611002565b61052f565b005b6101c260048036038101906101bd9190611061565b6105cc565b6040516101cf9190610f99565b60405180910390f35b6101e0610611565b6040516101ed9190610e68565b60405180910390f35b610210600480360381019061020b9190610f19565b6106a1565b60405161021d9190610f71565b60405180910390f35b610240600480360381019061023b919061108c565b6106c3565b60405161024d9190610f99565b60405180910390f35b61025e610745565b60405161026b9190611125565b60405180910390f35b6060600380546102839061116b565b80601f01602080910402602001604051908101604052809291908181526020018280546102af9061116b565b80156102fa5780601f106102d1576101008083540402835291602001916102fa565b820191905f5260205f20905b8154815290600101906020018083116102dd57829003601f168201915b5050505050905090565b5f8061030e61075d565b905061031b818585610764565b600191505092915050565b5f600254905090565b5f8061033961075d565b9050610346858285610776565b610351858585610808565b60019150509392505050565b5f73576e2bed8f7b46d34016198911cdf9886f78bea773ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016103ab91906111aa565b602060405180830381865afa1580156103c6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103ea91906111d7565b905073576e2bed8f7b46d34016198911cdf9886f78bea773ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b815260040161043d93929190611202565b6020604051808303815f875af1158015610459573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061047d9190611261565b505f8173576e2bed8f7b46d34016198911cdf9886f78bea773ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016104cd91906111aa565b602060405180830381865afa1580156104e8573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061050c91906111d7565b61051691906112b9565b905061052233826108f8565b505050565b5f6009905090565b6105393382610977565b73576e2bed8f7b46d34016198911cdf9886f78bea773ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b81526004016105889291906112ec565b6020604051808303815f875af11580156105a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105c89190611261565b5050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600480546106209061116b565b80601f016020809104026020016040519081016040528092919081815260200182805461064c9061116b565b80156106975780601f1061066e57610100808354040283529160200191610697565b820191905f5260205f20905b81548152906001019060200180831161067a57829003601f168201915b5050505050905090565b5f806106ab61075d565b90506106b8818585610808565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b73576e2bed8f7b46d34016198911cdf9886f78bea781565b5f33905090565b61077183838360016109f6565b505050565b5f61078184846106c3565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461080257818110156107f3578281836040517ffb8f41b20000000000000000000000000000000000000000000000000000000081526004016107ea93929190611313565b60405180910390fd5b61080184848484035f6109f6565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610878575f6040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161086f91906111aa565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108e8575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016108df91906111aa565b60405180910390fd5b6108f3838383610bc5565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610968575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161095f91906111aa565b60405180910390fd5b6109735f8383610bc5565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109e7575f6040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016109de91906111aa565b60405180910390fd5b6109f2825f83610bc5565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610a66575f6040517fe602df05000000000000000000000000000000000000000000000000000000008152600401610a5d91906111aa565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ad6575f6040517f94280d62000000000000000000000000000000000000000000000000000000008152600401610acd91906111aa565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015610bbf578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610bb69190610f99565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c15578060025f828254610c099190611348565b92505081905550610ce3565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610c9e578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610c9593929190611313565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d2a578060025f8282540392505081905550610d74565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610dd19190610f99565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610e15578082015181840152602081019050610dfa565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610e3a82610dde565b610e448185610de8565b9350610e54818560208601610df8565b610e5d81610e20565b840191505092915050565b5f6020820190508181035f830152610e808184610e30565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610eb582610e8c565b9050919050565b610ec581610eab565b8114610ecf575f80fd5b50565b5f81359050610ee081610ebc565b92915050565b5f819050919050565b610ef881610ee6565b8114610f02575f80fd5b50565b5f81359050610f1381610eef565b92915050565b5f8060408385031215610f2f57610f2e610e88565b5b5f610f3c85828601610ed2565b9250506020610f4d85828601610f05565b9150509250929050565b5f8115159050919050565b610f6b81610f57565b82525050565b5f602082019050610f845f830184610f62565b92915050565b610f9381610ee6565b82525050565b5f602082019050610fac5f830184610f8a565b92915050565b5f805f60608486031215610fc957610fc8610e88565b5b5f610fd686828701610ed2565b9350506020610fe786828701610ed2565b9250506040610ff886828701610f05565b9150509250925092565b5f6020828403121561101757611016610e88565b5b5f61102484828501610f05565b91505092915050565b5f60ff82169050919050565b6110428161102d565b82525050565b5f60208201905061105b5f830184611039565b92915050565b5f6020828403121561107657611075610e88565b5b5f61108384828501610ed2565b91505092915050565b5f80604083850312156110a2576110a1610e88565b5b5f6110af85828601610ed2565b92505060206110c085828601610ed2565b9150509250929050565b5f819050919050565b5f6110ed6110e86110e384610e8c565b6110ca565b610e8c565b9050919050565b5f6110fe826110d3565b9050919050565b5f61110f826110f4565b9050919050565b61111f81611105565b82525050565b5f6020820190506111385f830184611116565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061118257607f821691505b6020821081036111955761119461113e565b5b50919050565b6111a481610eab565b82525050565b5f6020820190506111bd5f83018461119b565b92915050565b5f815190506111d181610eef565b92915050565b5f602082840312156111ec576111eb610e88565b5b5f6111f9848285016111c3565b91505092915050565b5f6060820190506112155f83018661119b565b611222602083018561119b565b61122f6040830184610f8a565b949350505050565b61124081610f57565b811461124a575f80fd5b50565b5f8151905061125b81611237565b92915050565b5f6020828403121561127657611275610e88565b5b5f6112838482850161124d565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6112c382610ee6565b91506112ce83610ee6565b92508282039050818111156112e6576112e561128c565b5b92915050565b5f6040820190506112ff5f83018561119b565b61130c6020830184610f8a565b9392505050565b5f6060820190506113265f83018661119b565b6113336020830185610f8a565b6113406040830184610f8a565b949350505050565b5f61135282610ee6565b915061135d83610ee6565b92508282019050808211156113755761137461128c565b5b9291505056fea2646970667358221220332d5ce226d9dd527feece961b05d0b6c6e3ff54f4e1eb2095fabd61751f609e64736f6c63430008140033

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c8063414774511161006f578063414774511461018c57806370a08231146101a857806395d89b41146101d8578063a9059cbb146101f6578063dd62ed3e14610226578063f970836714610256576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd1461012257806324a29d5014610152578063313ce5671461016e575b5f80fd5b6100be610274565b6040516100cb9190610e68565b60405180910390f35b6100ee60048036038101906100e99190610f19565b610304565b6040516100fb9190610f71565b60405180910390f35b61010c610326565b6040516101199190610f99565b60405180910390f35b61013c60048036038101906101379190610fb2565b61032f565b6040516101499190610f71565b60405180910390f35b61016c60048036038101906101679190611002565b61035d565b005b610176610527565b6040516101839190611048565b60405180910390f35b6101a660048036038101906101a19190611002565b61052f565b005b6101c260048036038101906101bd9190611061565b6105cc565b6040516101cf9190610f99565b60405180910390f35b6101e0610611565b6040516101ed9190610e68565b60405180910390f35b610210600480360381019061020b9190610f19565b6106a1565b60405161021d9190610f71565b60405180910390f35b610240600480360381019061023b919061108c565b6106c3565b60405161024d9190610f99565b60405180910390f35b61025e610745565b60405161026b9190611125565b60405180910390f35b6060600380546102839061116b565b80601f01602080910402602001604051908101604052809291908181526020018280546102af9061116b565b80156102fa5780601f106102d1576101008083540402835291602001916102fa565b820191905f5260205f20905b8154815290600101906020018083116102dd57829003601f168201915b5050505050905090565b5f8061030e61075d565b905061031b818585610764565b600191505092915050565b5f600254905090565b5f8061033961075d565b9050610346858285610776565b610351858585610808565b60019150509392505050565b5f73576e2bed8f7b46d34016198911cdf9886f78bea773ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016103ab91906111aa565b602060405180830381865afa1580156103c6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103ea91906111d7565b905073576e2bed8f7b46d34016198911cdf9886f78bea773ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b815260040161043d93929190611202565b6020604051808303815f875af1158015610459573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061047d9190611261565b505f8173576e2bed8f7b46d34016198911cdf9886f78bea773ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016104cd91906111aa565b602060405180830381865afa1580156104e8573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061050c91906111d7565b61051691906112b9565b905061052233826108f8565b505050565b5f6009905090565b6105393382610977565b73576e2bed8f7b46d34016198911cdf9886f78bea773ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b81526004016105889291906112ec565b6020604051808303815f875af11580156105a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105c89190611261565b5050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600480546106209061116b565b80601f016020809104026020016040519081016040528092919081815260200182805461064c9061116b565b80156106975780601f1061066e57610100808354040283529160200191610697565b820191905f5260205f20905b81548152906001019060200180831161067a57829003601f168201915b5050505050905090565b5f806106ab61075d565b90506106b8818585610808565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b73576e2bed8f7b46d34016198911cdf9886f78bea781565b5f33905090565b61077183838360016109f6565b505050565b5f61078184846106c3565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461080257818110156107f3578281836040517ffb8f41b20000000000000000000000000000000000000000000000000000000081526004016107ea93929190611313565b60405180910390fd5b61080184848484035f6109f6565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610878575f6040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161086f91906111aa565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108e8575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016108df91906111aa565b60405180910390fd5b6108f3838383610bc5565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610968575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161095f91906111aa565b60405180910390fd5b6109735f8383610bc5565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109e7575f6040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016109de91906111aa565b60405180910390fd5b6109f2825f83610bc5565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610a66575f6040517fe602df05000000000000000000000000000000000000000000000000000000008152600401610a5d91906111aa565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ad6575f6040517f94280d62000000000000000000000000000000000000000000000000000000008152600401610acd91906111aa565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015610bbf578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610bb69190610f99565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c15578060025f828254610c099190611348565b92505081905550610ce3565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610c9e578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610c9593929190611313565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d2a578060025f8282540392505081905550610d74565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610dd19190610f99565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610e15578082015181840152602081019050610dfa565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610e3a82610dde565b610e448185610de8565b9350610e54818560208601610df8565b610e5d81610e20565b840191505092915050565b5f6020820190508181035f830152610e808184610e30565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610eb582610e8c565b9050919050565b610ec581610eab565b8114610ecf575f80fd5b50565b5f81359050610ee081610ebc565b92915050565b5f819050919050565b610ef881610ee6565b8114610f02575f80fd5b50565b5f81359050610f1381610eef565b92915050565b5f8060408385031215610f2f57610f2e610e88565b5b5f610f3c85828601610ed2565b9250506020610f4d85828601610f05565b9150509250929050565b5f8115159050919050565b610f6b81610f57565b82525050565b5f602082019050610f845f830184610f62565b92915050565b610f9381610ee6565b82525050565b5f602082019050610fac5f830184610f8a565b92915050565b5f805f60608486031215610fc957610fc8610e88565b5b5f610fd686828701610ed2565b9350506020610fe786828701610ed2565b9250506040610ff886828701610f05565b9150509250925092565b5f6020828403121561101757611016610e88565b5b5f61102484828501610f05565b91505092915050565b5f60ff82169050919050565b6110428161102d565b82525050565b5f60208201905061105b5f830184611039565b92915050565b5f6020828403121561107657611075610e88565b5b5f61108384828501610ed2565b91505092915050565b5f80604083850312156110a2576110a1610e88565b5b5f6110af85828601610ed2565b92505060206110c085828601610ed2565b9150509250929050565b5f819050919050565b5f6110ed6110e86110e384610e8c565b6110ca565b610e8c565b9050919050565b5f6110fe826110d3565b9050919050565b5f61110f826110f4565b9050919050565b61111f81611105565b82525050565b5f6020820190506111385f830184611116565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061118257607f821691505b6020821081036111955761119461113e565b5b50919050565b6111a481610eab565b82525050565b5f6020820190506111bd5f83018461119b565b92915050565b5f815190506111d181610eef565b92915050565b5f602082840312156111ec576111eb610e88565b5b5f6111f9848285016111c3565b91505092915050565b5f6060820190506112155f83018661119b565b611222602083018561119b565b61122f6040830184610f8a565b949350505050565b61124081610f57565b811461124a575f80fd5b50565b5f8151905061125b81611237565b92915050565b5f6020828403121561127657611275610e88565b5b5f6112838482850161124d565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6112c382610ee6565b91506112ce83610ee6565b92508282039050818111156112e6576112e561128c565b5b92915050565b5f6040820190506112ff5f83018561119b565b61130c6020830184610f8a565b9392505050565b5f6060820190506113265f83018661119b565b6113336020830185610f8a565b6113406040830184610f8a565b949350505050565b5f61135282610ee6565b915061135d83610ee6565b92508282019050808211156113755761137461128c565b5b9291505056fea2646970667358221220332d5ce226d9dd527feece961b05d0b6c6e3ff54f4e1eb2095fabd61751f609e64736f6c63430008140033

22607:753:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13250:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15543:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14352:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16311:249;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22873:322;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22781:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23203:154;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;14514:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13460:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14837:182;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15082:142;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22645:80;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13250:91;13295:13;13328:5;13321:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13250:91;:::o;15543:190::-;15616:4;15633:13;15649:12;:10;:12::i;:::-;15633:28;;15672:31;15681:5;15688:7;15697:5;15672:8;:31::i;:::-;15721:4;15714:11;;;15543:190;;;;:::o;14352:99::-;14404:7;14431:12;;14424:19;;14352:99;:::o;16311:249::-;16398:4;16415:15;16433:12;:10;:12::i;:::-;16415:30;;16456:37;16472:4;16478:7;16487:5;16456:15;:37::i;:::-;16504:26;16514:4;16520:2;16524:5;16504:9;:26::i;:::-;16548:4;16541:11;;;16311:249;;;;;:::o;22873:322::-;22950:21;22682:42;22974:14;;;22997:4;22974:29;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;22950:53;;22682:42;23014:17;;;23032:10;23052:4;23059:6;23014:52;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;23077:20;23132:13;22682:42;23100:14;;;23123:4;23100:29;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45;;;;:::i;:::-;23077:68;;23156:31;23162:10;23174:12;23156:5;:31::i;:::-;22939:256;;22873:322;:::o;22781:84::-;22831:5;22856:1;22849:8;;22781:84;:::o;23203:154::-;23280:25;23286:10;23298:6;23280:5;:25::i;:::-;22682:42;23316:13;;;23330:10;23342:6;23316:33;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;23203:154;:::o;14514:118::-;14579:7;14606:9;:18;14616:7;14606:18;;;;;;;;;;;;;;;;14599:25;;14514:118;;;:::o;13460:95::-;13507:13;13540:7;13533:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13460:95;:::o;14837:182::-;14906:4;14923:13;14939:12;:10;:12::i;:::-;14923:28;;14962:27;14972:5;14979:2;14983:5;14962:9;:27::i;:::-;15007:4;15000:11;;;14837:182;;;;:::o;15082:142::-;15162:7;15189:11;:18;15201:5;15189:18;;;;;;;;;;;;;;;:27;15208:7;15189:27;;;;;;;;;;;;;;;;15182:34;;15082:142;;;;:::o;22645:80::-;22682:42;22645:80;:::o;10322:98::-;10375:7;10402:10;10395:17;;10322:98;:::o;20370:130::-;20455:37;20464:5;20471:7;20480:5;20487:4;20455:8;:37::i;:::-;20370:130;;;:::o;22086:487::-;22186:24;22213:25;22223:5;22230:7;22213:9;:25::i;:::-;22186:52;;22273:17;22253:16;:37;22249:317;;22330:5;22311:16;:24;22307:132;;;22390:7;22399:16;22417:5;22363:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;22307:132;22482:57;22491:5;22498:7;22526:5;22507:16;:24;22533:5;22482:8;:57::i;:::-;22249:317;22175:398;22086:487;;;:::o;16945:308::-;17045:1;17029:18;;:4;:18;;;17025:88;;17098:1;17071:30;;;;;;;;;;;:::i;:::-;;;;;;;;17025:88;17141:1;17127:16;;:2;:16;;;17123:88;;17196:1;17167:32;;;;;;;;;;;:::i;:::-;;;;;;;;17123:88;17221:24;17229:4;17235:2;17239:5;17221:7;:24::i;:::-;16945:308;;;:::o;19065:213::-;19155:1;19136:21;;:7;:21;;;19132:93;;19210:1;19181:32;;;;;;;;;;;:::i;:::-;;;;;;;;19132:93;19235:35;19251:1;19255:7;19264:5;19235:7;:35::i;:::-;19065:213;;:::o;19606:211::-;19696:1;19677:21;;:7;:21;;;19673:91;;19749:1;19722:30;;;;;;;;;;;:::i;:::-;;;;;;;;19673:91;19774:35;19782:7;19799:1;19803:5;19774:7;:35::i;:::-;19606:211;;:::o;21351:443::-;21481:1;21464:19;;:5;:19;;;21460:91;;21536:1;21507:32;;;;;;;;;;;:::i;:::-;;;;;;;;21460:91;21584:1;21565:21;;:7;:21;;;21561:92;;21638:1;21610:31;;;;;;;;;;;:::i;:::-;;;;;;;;21561:92;21693:5;21663:11;:18;21675:5;21663:18;;;;;;;;;;;;;;;:27;21682:7;21663:27;;;;;;;;;;;;;;;:35;;;;21713:9;21709:78;;;21760:7;21744:31;;21753:5;21744:31;;;21769:5;21744:31;;;;;;:::i;:::-;;;;;;;;21709:78;21351:443;;;;:::o;17577:1135::-;17683:1;17667:18;;:4;:18;;;17663:552;;17821:5;17805:12;;:21;;;;;;;:::i;:::-;;;;;;;;17663:552;;;17859:19;17881:9;:15;17891:4;17881:15;;;;;;;;;;;;;;;;17859:37;;17929:5;17915:11;:19;17911:117;;;17987:4;17993:11;18006:5;17962:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;17911:117;18183:5;18169:11;:19;18151:9;:15;18161:4;18151:15;;;;;;;;;;;;;;;:37;;;;17844:371;17663:552;18245:1;18231:16;;:2;:16;;;18227:435;;18413:5;18397:12;;:21;;;;;;;;;;;18227:435;;;18630:5;18613:9;:13;18623:2;18613:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;18227:435;18694:2;18679:25;;18688:4;18679:25;;;18698:5;18679:25;;;;;;:::i;:::-;;;;;;;;17577: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:329::-;4482:6;4531:2;4519:9;4510:7;4506:23;4502:32;4499:119;;;4537:79;;:::i;:::-;4499:119;4657:1;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4628:117;4423:329;;;;:::o;4758:86::-;4793:7;4833:4;4826:5;4822:16;4811:27;;4758:86;;;:::o;4850:112::-;4933:22;4949:5;4933:22;:::i;:::-;4928:3;4921:35;4850:112;;:::o;4968:214::-;5057:4;5095:2;5084:9;5080:18;5072:26;;5108:67;5172:1;5161:9;5157:17;5148:6;5108:67;:::i;:::-;4968:214;;;;:::o;5188:329::-;5247:6;5296:2;5284:9;5275:7;5271:23;5267:32;5264:119;;;5302:79;;:::i;:::-;5264:119;5422:1;5447:53;5492:7;5483:6;5472:9;5468:22;5447:53;:::i;:::-;5437:63;;5393:117;5188:329;;;;:::o;5523:474::-;5591:6;5599;5648:2;5636:9;5627:7;5623:23;5619:32;5616:119;;;5654:79;;:::i;:::-;5616:119;5774:1;5799:53;5844:7;5835:6;5824:9;5820:22;5799:53;:::i;:::-;5789:63;;5745:117;5901:2;5927:53;5972:7;5963:6;5952:9;5948:22;5927:53;:::i;:::-;5917:63;;5872:118;5523:474;;;;;:::o;6003:60::-;6031:3;6052:5;6045:12;;6003:60;;;:::o;6069:142::-;6119:9;6152:53;6170:34;6179:24;6197:5;6179:24;:::i;:::-;6170:34;:::i;:::-;6152:53;:::i;:::-;6139:66;;6069:142;;;:::o;6217:126::-;6267:9;6300:37;6331:5;6300:37;:::i;:::-;6287:50;;6217:126;;;:::o;6349:140::-;6413:9;6446:37;6477:5;6446:37;:::i;:::-;6433:50;;6349:140;;;:::o;6495:159::-;6596:51;6641:5;6596:51;:::i;:::-;6591:3;6584:64;6495:159;;:::o;6660:250::-;6767:4;6805:2;6794:9;6790:18;6782:26;;6818:85;6900:1;6889:9;6885:17;6876:6;6818:85;:::i;:::-;6660:250;;;;:::o;6916:180::-;6964:77;6961:1;6954:88;7061:4;7058:1;7051:15;7085:4;7082:1;7075:15;7102:320;7146:6;7183:1;7177:4;7173:12;7163:22;;7230:1;7224:4;7220:12;7251:18;7241:81;;7307:4;7299:6;7295:17;7285:27;;7241:81;7369:2;7361:6;7358:14;7338:18;7335:38;7332:84;;7388:18;;:::i;:::-;7332:84;7153:269;7102:320;;;:::o;7428:118::-;7515:24;7533:5;7515:24;:::i;:::-;7510:3;7503:37;7428:118;;:::o;7552:222::-;7645:4;7683:2;7672:9;7668:18;7660:26;;7696:71;7764:1;7753:9;7749:17;7740:6;7696:71;:::i;:::-;7552:222;;;;:::o;7780:143::-;7837:5;7868:6;7862:13;7853:22;;7884:33;7911:5;7884:33;:::i;:::-;7780:143;;;;:::o;7929:351::-;7999:6;8048:2;8036:9;8027:7;8023:23;8019:32;8016:119;;;8054:79;;:::i;:::-;8016:119;8174:1;8199:64;8255:7;8246:6;8235:9;8231:22;8199:64;:::i;:::-;8189:74;;8145:128;7929:351;;;;:::o;8286:442::-;8435:4;8473:2;8462:9;8458:18;8450:26;;8486:71;8554:1;8543:9;8539:17;8530:6;8486:71;:::i;:::-;8567:72;8635:2;8624:9;8620:18;8611:6;8567:72;:::i;:::-;8649;8717:2;8706:9;8702:18;8693:6;8649:72;:::i;:::-;8286:442;;;;;;:::o;8734:116::-;8804:21;8819:5;8804:21;:::i;:::-;8797:5;8794:32;8784:60;;8840:1;8837;8830:12;8784:60;8734:116;:::o;8856:137::-;8910:5;8941:6;8935:13;8926:22;;8957:30;8981:5;8957:30;:::i;:::-;8856:137;;;;:::o;8999:345::-;9066:6;9115:2;9103:9;9094:7;9090:23;9086:32;9083:119;;;9121:79;;:::i;:::-;9083:119;9241:1;9266:61;9319:7;9310:6;9299:9;9295:22;9266:61;:::i;:::-;9256:71;;9212:125;8999:345;;;;:::o;9350:180::-;9398:77;9395:1;9388:88;9495:4;9492:1;9485:15;9519:4;9516:1;9509:15;9536:194;9576:4;9596:20;9614:1;9596:20;:::i;:::-;9591:25;;9630:20;9648:1;9630:20;:::i;:::-;9625:25;;9674:1;9671;9667:9;9659:17;;9698:1;9692:4;9689:11;9686:37;;;9703:18;;:::i;:::-;9686:37;9536:194;;;;:::o;9736:332::-;9857:4;9895:2;9884:9;9880:18;9872:26;;9908:71;9976:1;9965:9;9961:17;9952:6;9908:71;:::i;:::-;9989:72;10057:2;10046:9;10042:18;10033:6;9989:72;:::i;:::-;9736:332;;;;;:::o;10074:442::-;10223:4;10261:2;10250:9;10246:18;10238:26;;10274:71;10342:1;10331:9;10327:17;10318:6;10274:71;:::i;:::-;10355:72;10423:2;10412:9;10408:18;10399:6;10355:72;:::i;:::-;10437;10505:2;10494:9;10490:18;10481:6;10437:72;:::i;:::-;10074:442;;;;;;:::o;10522:191::-;10562:3;10581:20;10599:1;10581:20;:::i;:::-;10576:25;;10615:20;10633:1;10615:20;:::i;:::-;10610:25;;10658:1;10655;10651:9;10644:16;;10679:3;10676:1;10673:10;10670:36;;;10686:18;;:::i;:::-;10670:36;10522:191;;;;:::o

ipfs://332d5ce226d9dd527feece961b05d0b6c6e3ff54f4e1eb2095fabd61751f609e