Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library Counters    - function current(Counter storage coun ...    - function increment(Counter storage co ...    - function decrement(Counter storage co ...    - function reset(Counter storage counte ... library Math    - function max(uint256 a, uint256 b)    - function min(uint256 a, uint256 b)    - function average(uint256 a, uint256 b ...    - function ceilDiv(uint256 a, uint256 b ...    - function mulDiv(    - function mulDiv(    - function sqrt(uint256 a)    - function sqrt(uint256 a, Rounding rou ... library Arrays    - function findUpperBound(uint256[] sto ...    - function _msgSender()    - function _msgData()    - 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( interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _spendAllowance(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(    - function _snapshot()    - function _getCurrentSnapshotId()    - function balanceOfAt(address account, ...    - function totalSupplyAt(uint256 snapsh ...    - function _beforeTokenTransfer(    - function _valueAt(uint256 snapshotId, ...    - function _updateAccountSnapshot(addre ...    - function _updateTotalSupplySnapshot()    - function _updateSnapshot(Snapshots st ...    - function _lastSnapshotId(uint256[] st ...    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract Relaxable is ERC20, ERC20 ... *    - function snapshot()    - function _beforeTokenTransfer(address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-10-22
*/

// File: contract-72404e8f5d_flat.sol


// File: @openzeppelin/[email protected]/utils/Counters.sol


// OpenZeppelin Contracts v4.4.1 (utils/Counters.sol)

pragma solidity ^0.8.0;

/**
 * @title Counters
 * @author Matt Condon (@shrugs)
 * @dev Provides counters that can only be incremented, decremented or reset. This can be used e.g. to track the number
 * of elements in a mapping, issuing ERC721 ids, or counting request ids.
 *
 * Include with `using Counters for Counters.Counter;`
 */
library Counters {
    struct Counter {
        // This variable should never be directly accessed by users of the library: interactions must be restricted to
        // the library's function. As of Solidity v0.5.2, this cannot be enforced, though there is a proposal to add
        // this feature: see https://github.com/ethereum/solidity/issues/4637
        uint256 _value; // default: 0
    }

    function current(Counter storage counter) internal view returns (uint256) {
        return counter._value;
    }

    function increment(Counter storage counter) internal {
        unchecked {
            counter._value += 1;
        }
    }

    function decrement(Counter storage counter) internal {
        uint256 value = counter._value;
        require(value > 0, "Counter: decrement overflow");
        unchecked {
            counter._value = value - 1;
        }
    }

    function reset(Counter storage counter) internal {
        counter._value = 0;
    }
}

// File: @openzeppelin/[email protected]/utils/math/Math.sol


// OpenZeppelin Contracts (last updated v4.7.0) (utils/math/Math.sol)

pragma solidity ^0.8.0;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    enum Rounding {
        Down, // Toward negative infinity
        Up, // Toward infinity
        Zero // Toward zero
    }

    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow.
        return (a & b) + (a ^ b) / 2;
    }

    /**
     * @dev Returns the ceiling of the division of two numbers.
     *
     * This differs from standard division with `/` in that it rounds up instead
     * of rounding down.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b - 1) / b can overflow on addition, so we distribute.
        return a == 0 ? 0 : (a - 1) / b + 1;
    }

    /**
     * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0
     * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv)
     * with further edits by Uniswap Labs also under MIT license.
     */
    function mulDiv(
        uint256 x,
        uint256 y,
        uint256 denominator
    ) internal pure returns (uint256 result) {
        unchecked {
            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use
            // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
            // variables such that product = prod1 * 2^256 + prod0.
            uint256 prod0; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod0 := mul(x, y)
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 0) {
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1);

            ///////////////////////////////////////////////
            // 512 by 256 division.
            ///////////////////////////////////////////////

            // Make division exact by subtracting the remainder from [prod1 prod0].
            uint256 remainder;
            assembly {
                // Compute remainder using mulmod.
                remainder := mulmod(x, y, denominator)

                // Subtract 256 bit number from 512 bit number.
                prod1 := sub(prod1, gt(remainder, prod0))
                prod0 := sub(prod0, remainder)
            }

            // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1.
            // See https://cs.stackexchange.com/q/138556/92363.

            // Does not overflow because the denominator cannot be zero at this stage in the function.
            uint256 twos = denominator & (~denominator + 1);
            assembly {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

                // Divide [prod1 prod0] by twos.
                prod0 := div(prod0, twos)

                // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.
                twos := add(div(sub(0, twos), twos), 1)
            }

            // Shift in bits from prod1 into prod0.
            prod0 |= prod1 * twos;

            // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such
            // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for
            // four bits. That is, denominator * inv = 1 mod 2^4.
            uint256 inverse = (3 * denominator) ^ 2;

            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works
            // in modular arithmetic, doubling the correct bits in each step.
            inverse *= 2 - denominator * inverse; // inverse mod 2^8
            inverse *= 2 - denominator * inverse; // inverse mod 2^16
            inverse *= 2 - denominator * inverse; // inverse mod 2^32
            inverse *= 2 - denominator * inverse; // inverse mod 2^64
            inverse *= 2 - denominator * inverse; // inverse mod 2^128
            inverse *= 2 - denominator * inverse; // inverse mod 2^256

            // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.
            // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is
            // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1
            // is no longer required.
            result = prod0 * inverse;
            return result;
        }
    }

    /**
     * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.
     */
    function mulDiv(
        uint256 x,
        uint256 y,
        uint256 denominator,
        Rounding rounding
    ) internal pure returns (uint256) {
        uint256 result = mulDiv(x, y, denominator);
        if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {
            result += 1;
        }
        return result;
    }

    /**
     * @dev Returns the square root of a number. It the number is not a perfect square, the value is rounded down.
     *
     * Inspired by Henry S. Warren, Jr.'s "Hacker's Delight" (Chapter 11).
     */
    function sqrt(uint256 a) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
        // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
        // `msb(a) <= a < 2*msb(a)`.
        // We also know that `k`, the position of the most significant bit, is such that `msb(a) = 2**k`.
        // This gives `2**k < a <= 2**(k+1)` → `2**(k/2) <= sqrt(a) < 2 ** (k/2+1)`.
        // Using an algorithm similar to the msb conmputation, we are able to compute `result = 2**(k/2)` which is a
        // good first aproximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1;
        uint256 x = a;
        if (x >> 128 > 0) {
            x >>= 128;
            result <<= 64;
        }
        if (x >> 64 > 0) {
            x >>= 64;
            result <<= 32;
        }
        if (x >> 32 > 0) {
            x >>= 32;
            result <<= 16;
        }
        if (x >> 16 > 0) {
            x >>= 16;
            result <<= 8;
        }
        if (x >> 8 > 0) {
            x >>= 8;
            result <<= 4;
        }
        if (x >> 4 > 0) {
            x >>= 4;
            result <<= 2;
        }
        if (x >> 2 > 0) {
            result <<= 1;
        }

        // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,
        // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at
        // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision
        // into the expected uint128 result.
        unchecked {
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            return min(result, a / result);
        }
    }

    /**
     * @notice Calculates sqrt(a), following the selected rounding direction.
     */
    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {
        uint256 result = sqrt(a);
        if (rounding == Rounding.Up && result * result < a) {
            result += 1;
        }
        return result;
    }
}

// File: @openzeppelin/[email protected]/utils/Arrays.sol


// OpenZeppelin Contracts v4.4.1 (utils/Arrays.sol)

pragma solidity ^0.8.0;


/**
 * @dev Collection of functions related to array types.
 */
library Arrays {
    /**
     * @dev Searches a sorted `array` and returns the first index that contains
     * a value greater or equal to `element`. If no such index exists (i.e. all
     * values in the array are strictly less than `element`), the array length is
     * returned. Time complexity O(log n).
     *
     * `array` is expected to be sorted in ascending order, and to contain no
     * repeated elements.
     */
    function findUpperBound(uint256[] storage array, uint256 element) internal view returns (uint256) {
        if (array.length == 0) {
            return 0;
        }

        uint256 low = 0;
        uint256 high = array.length;

        while (low < high) {
            uint256 mid = Math.average(low, high);

            // Note that mid will always be strictly less than high (i.e. it will be a valid array index)
            // because Math.average rounds down (it does integer division with truncation).
            if (array[mid] > element) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        // At this point `low` is the exclusive upper bound. We will return the inclusive upper bound.
        if (low > 0 && array[low - 1] == element) {
            return low - 1;
        } else {
            return low;
        }
    }
}

// File: @openzeppelin/[email protected]/utils/Context.sol


// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

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

// File: @openzeppelin/[email protected]/access/Ownable.sol


// OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)

pragma solidity ^0.8.0;


/**
 * @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.
 *
 * By default, the owner account will be the one that deploys the contract. 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;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @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 {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing 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 {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _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/[email protected]/token/ERC20/IERC20.sol


// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

// File: @openzeppelin/[email protected]/token/ERC20/extensions/IERC20Metadata.sol


// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.0;


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

// File: @openzeppelin/[email protected]/token/ERC20/ERC20.sol


// OpenZeppelin Contracts (last updated v4.7.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0;




/**
 * @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}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * 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.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

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

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

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

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

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

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

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

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

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

        return true;
    }

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

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
        }
        _balances[to] += amount;

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

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

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

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

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

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

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

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

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

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

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

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

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

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

// File: @openzeppelin/[email protected]/token/ERC20/extensions/ERC20Snapshot.sol


// OpenZeppelin Contracts (last updated v4.7.0) (token/ERC20/extensions/ERC20Snapshot.sol)

pragma solidity ^0.8.0;




/**
 * @dev This contract extends an ERC20 token with a snapshot mechanism. When a snapshot is created, the balances and
 * total supply at the time are recorded for later access.
 *
 * This can be used to safely create mechanisms based on token balances such as trustless dividends or weighted voting.
 * In naive implementations it's possible to perform a "double spend" attack by reusing the same balance from different
 * accounts. By using snapshots to calculate dividends or voting power, those attacks no longer apply. It can also be
 * used to create an efficient ERC20 forking mechanism.
 *
 * Snapshots are created by the internal {_snapshot} function, which will emit the {Snapshot} event and return a
 * snapshot id. To get the total supply at the time of a snapshot, call the function {totalSupplyAt} with the snapshot
 * id. To get the balance of an account at the time of a snapshot, call the {balanceOfAt} function with the snapshot id
 * and the account address.
 *
 * NOTE: Snapshot policy can be customized by overriding the {_getCurrentSnapshotId} method. For example, having it
 * return `block.number` will trigger the creation of snapshot at the beginning of each new block. When overriding this
 * function, be careful about the monotonicity of its result. Non-monotonic snapshot ids will break the contract.
 *
 * Implementing snapshots for every block using this method will incur significant gas costs. For a gas-efficient
 * alternative consider {ERC20Votes}.
 *
 * ==== Gas Costs
 *
 * Snapshots are efficient. Snapshot creation is _O(1)_. Retrieval of balances or total supply from a snapshot is _O(log
 * n)_ in the number of snapshots that have been created, although _n_ for a specific account will generally be much
 * smaller since identical balances in subsequent snapshots are stored as a single entry.
 *
 * There is a constant overhead for normal ERC20 transfers due to the additional snapshot bookkeeping. This overhead is
 * only significant for the first transfer that immediately follows a snapshot for a particular account. Subsequent
 * transfers will have normal cost until the next snapshot, and so on.
 */

abstract contract ERC20Snapshot is ERC20 {
    // Inspired by Jordi Baylina's MiniMeToken to record historical balances:
    // https://github.com/Giveth/minime/blob/ea04d950eea153a04c51fa510b068b9dded390cb/contracts/MiniMeToken.sol

    using Arrays for uint256[];
    using Counters for Counters.Counter;

    // Snapshotted values have arrays of ids and the value corresponding to that id. These could be an array of a
    // Snapshot struct, but that would impede usage of functions that work on an array.
    struct Snapshots {
        uint256[] ids;
        uint256[] values;
    }

    mapping(address => Snapshots) private _accountBalanceSnapshots;
    Snapshots private _totalSupplySnapshots;

    // Snapshot ids increase monotonically, with the first value being 1. An id of 0 is invalid.
    Counters.Counter private _currentSnapshotId;

    /**
     * @dev Emitted by {_snapshot} when a snapshot identified by `id` is created.
     */
    event Snapshot(uint256 id);

    /**
     * @dev Creates a new snapshot and returns its snapshot id.
     *
     * Emits a {Snapshot} event that contains the same id.
     *
     * {_snapshot} is `internal` and you have to decide how to expose it externally. Its usage may be restricted to a
     * set of accounts, for example using {AccessControl}, or it may be open to the public.
     *
     * [WARNING]
     * ====
     * While an open way of calling {_snapshot} is required for certain trust minimization mechanisms such as forking,
     * you must consider that it can potentially be used by attackers in two ways.
     *
     * First, it can be used to increase the cost of retrieval of values from snapshots, although it will grow
     * logarithmically thus rendering this attack ineffective in the long term. Second, it can be used to target
     * specific accounts and increase the cost of ERC20 transfers for them, in the ways specified in the Gas Costs
     * section above.
     *
     * We haven't measured the actual numbers; if this is something you're interested in please reach out to us.
     * ====
     */
    function _snapshot() internal virtual returns (uint256) {
        _currentSnapshotId.increment();

        uint256 currentId = _getCurrentSnapshotId();
        emit Snapshot(currentId);
        return currentId;
    }

    /**
     * @dev Get the current snapshotId
     */
    function _getCurrentSnapshotId() internal view virtual returns (uint256) {
        return _currentSnapshotId.current();
    }

    /**
     * @dev Retrieves the balance of `account` at the time `snapshotId` was created.
     */
    function balanceOfAt(address account, uint256 snapshotId) public view virtual returns (uint256) {
        (bool snapshotted, uint256 value) = _valueAt(snapshotId, _accountBalanceSnapshots[account]);

        return snapshotted ? value : balanceOf(account);
    }

    /**
     * @dev Retrieves the total supply at the time `snapshotId` was created.
     */
    function totalSupplyAt(uint256 snapshotId) public view virtual returns (uint256) {
        (bool snapshotted, uint256 value) = _valueAt(snapshotId, _totalSupplySnapshots);

        return snapshotted ? value : totalSupply();
    }

    // Update balance and/or total supply snapshots before the values are modified. This is implemented
    // in the _beforeTokenTransfer hook, which is executed for _mint, _burn, and _transfer operations.
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual override {
        super._beforeTokenTransfer(from, to, amount);

        if (from == address(0)) {
            // mint
            _updateAccountSnapshot(to);
            _updateTotalSupplySnapshot();
        } else if (to == address(0)) {
            // burn
            _updateAccountSnapshot(from);
            _updateTotalSupplySnapshot();
        } else {
            // transfer
            _updateAccountSnapshot(from);
            _updateAccountSnapshot(to);
        }
    }

    function _valueAt(uint256 snapshotId, Snapshots storage snapshots) private view returns (bool, uint256) {
        require(snapshotId > 0, "ERC20Snapshot: id is 0");
        require(snapshotId <= _getCurrentSnapshotId(), "ERC20Snapshot: nonexistent id");

        // When a valid snapshot is queried, there are three possibilities:
        //  a) The queried value was not modified after the snapshot was taken. Therefore, a snapshot entry was never
        //  created for this id, and all stored snapshot ids are smaller than the requested one. The value that corresponds
        //  to this id is the current one.
        //  b) The queried value was modified after the snapshot was taken. Therefore, there will be an entry with the
        //  requested id, and its value is the one to return.
        //  c) More snapshots were created after the requested one, and the queried value was later modified. There will be
        //  no entry for the requested id: the value that corresponds to it is that of the smallest snapshot id that is
        //  larger than the requested one.
        //
        // In summary, we need to find an element in an array, returning the index of the smallest value that is larger if
        // it is not found, unless said value doesn't exist (e.g. when all values are smaller). Arrays.findUpperBound does
        // exactly this.

        uint256 index = snapshots.ids.findUpperBound(snapshotId);

        if (index == snapshots.ids.length) {
            return (false, 0);
        } else {
            return (true, snapshots.values[index]);
        }
    }

    function _updateAccountSnapshot(address account) private {
        _updateSnapshot(_accountBalanceSnapshots[account], balanceOf(account));
    }

    function _updateTotalSupplySnapshot() private {
        _updateSnapshot(_totalSupplySnapshots, totalSupply());
    }

    function _updateSnapshot(Snapshots storage snapshots, uint256 currentValue) private {
        uint256 currentId = _getCurrentSnapshotId();
        if (_lastSnapshotId(snapshots.ids) < currentId) {
            snapshots.ids.push(currentId);
            snapshots.values.push(currentValue);
        }
    }

    function _lastSnapshotId(uint256[] storage ids) private view returns (uint256) {
        if (ids.length == 0) {
            return 0;
        } else {
            return ids[ids.length - 1];
        }
    }
}

// File: @openzeppelin/[email protected]/token/ERC20/extensions/ERC20Burnable.sol


// OpenZeppelin Contracts (last updated v4.5.0) (token/ERC20/extensions/ERC20Burnable.sol)

pragma solidity ^0.8.0;



/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
abstract contract ERC20Burnable is Context, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

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

// File: contract-72404e8f5d.sol


pragma solidity ^0.8.4;





/// @custom:security-contact [email protected]
contract Relaxable is ERC20, ERC20Burnable, ERC20Snapshot, Ownable {
    constructor() ERC20("Relaxable", "RELAX") {
        _mint(msg.sender, 1000000000 * 10 ** decimals());
    }

    function snapshot() public onlyOwner {
        _snapshot();
    }

    // The following functions are overrides required by Solidity.

    function _beforeTokenTransfer(address from, address to, uint256 amount)
        internal
        override(ERC20, ERC20Snapshot)
    {
        super._beforeTokenTransfer(from, to, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Snapshot","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"snapshotId","type":"uint256"}],"name":"balanceOfAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"snapshot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"snapshotId","type":"uint256"}],"name":"totalSupplyAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280600981526020017f52656c617861626c6500000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f52454c41580000000000000000000000000000000000000000000000000000008152508160039080519060200190620000969291906200066f565b508060049080519060200190620000af9291906200066f565b505050620000d2620000c66200011860201b60201c565b6200012060201b60201c565b6200011233620000e7620001e660201b60201c565b600a620000f591906200085f565b633b9aca006200010691906200099c565b620001ef60201b60201c565b62000b48565b600033905090565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60006012905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000262576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002599062000757565b60405180910390fd5b62000276600083836200036860201b60201c565b80600260008282546200028a9190620007a7565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254620002e19190620007a7565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000348919062000779565b60405180910390a362000364600083836200038560201b60201c565b5050565b620003808383836200038a60201b620008a71760201c565b505050565b505050565b620003a28383836200048560201b620009611760201c565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415620003ff57620003e9826200048a60201b60201c565b620003f9620004ed60201b60201c565b62000480565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200045c5762000446836200048a60201b60201c565b62000456620004ed60201b60201c565b6200047f565b6200046d836200048a60201b60201c565b6200047e826200048a60201b60201c565b5b5b505050565b505050565b620004ea600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020620004de836200051160201b60201c565b6200055960201b60201c565b50565b6200050f600662000503620005e560201b60201c565b6200055960201b60201c565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60006200056b620005ef60201b60201c565b90508062000582846000016200060d60201b60201c565b1015620005e05782600001819080600181540180825580915050600190039060005260206000200160009091909190915055826001018290806001815401808255809150506001900390600052602060002001600090919091909150555b505050565b6000600254905090565b60006200060860086200066160201b620009661760201c565b905090565b600080828054905014156200062657600090506200065c565b81600183805490506200063a9190620009fd565b815481106200064e576200064d62000ae3565b5b906000526020600020015490505b919050565b600081600001549050919050565b8280546200067d9062000a4f565b90600052602060002090601f016020900481019282620006a15760008555620006ed565b82601f10620006bc57805160ff1916838001178555620006ed565b82800160010185558215620006ed579182015b82811115620006ec578251825591602001919060010190620006cf565b5b509050620006fc919062000700565b5090565b5b808211156200071b57600081600090555060010162000701565b5090565b60006200072e601f8362000796565b91506200073b8262000b1f565b602082019050919050565b620007518162000a38565b82525050565b6000602082019050818103600083015262000772816200071f565b9050919050565b600060208201905062000790600083018462000746565b92915050565b600082825260208201905092915050565b6000620007b48262000a38565b9150620007c18362000a38565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620007f957620007f862000a85565b5b828201905092915050565b6000808291508390505b600185111562000856578086048111156200082e576200082d62000a85565b5b60018516156200083e5780820291505b80810290506200084e8562000b12565b94506200080e565b94509492505050565b60006200086c8262000a38565b9150620008798362000a42565b9250620008a87fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620008b0565b905092915050565b600082620008c2576001905062000995565b81620008d2576000905062000995565b8160018114620008eb5760028114620008f6576200092c565b600191505062000995565b60ff8411156200090b576200090a62000a85565b5b8360020a91508482111562000925576200092462000a85565b5b5062000995565b5060208310610133831016604e8410600b8410161715620009665782820a90508381111562000960576200095f62000a85565b5b62000995565b62000975848484600162000804565b925090508184048111156200098f576200098e62000a85565b5b81810290505b9392505050565b6000620009a98262000a38565b9150620009b68362000a38565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615620009f257620009f162000a85565b5b828202905092915050565b600062000a0a8262000a38565b915062000a178362000a38565b92508282101562000a2d5762000a2c62000a85565b5b828203905092915050565b6000819050919050565b600060ff82169050919050565b6000600282049050600182168062000a6857607f821691505b6020821081141562000a7f5762000a7e62000ab4565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60008160011c9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6121198062000b586000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c8063715018a6116100ad578063981b24d011610071578063981b24d0146102f8578063a457c2d714610328578063a9059cbb14610358578063dd62ed3e14610388578063f2fde38b146103b857610121565b8063715018a61461028c57806379cc6790146102965780638da5cb5b146102b257806395d89b41146102d05780639711715a146102ee57610121565b8063313ce567116100f4578063313ce567146101c257806339509351146101e057806342966c68146102105780634ee2cd7e1461022c57806370a082311461025c57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806323b872dd14610192575b600080fd5b61012e6103d4565b60405161013b91906118ef565b60405180910390f35b61015e60048036038101906101599190611610565b610466565b60405161016b91906118d4565b60405180910390f35b61017c610489565b6040516101899190611ab1565b60405180910390f35b6101ac60048036038101906101a791906115bd565b610493565b6040516101b991906118d4565b60405180910390f35b6101ca6104c2565b6040516101d79190611acc565b60405180910390f35b6101fa60048036038101906101f59190611610565b6104cb565b60405161020791906118d4565b60405180910390f35b61022a60048036038101906102259190611650565b610502565b005b61024660048036038101906102419190611610565b610516565b6040516102539190611ab1565b60405180910390f35b61027660048036038101906102719190611550565b610586565b6040516102839190611ab1565b60405180910390f35b6102946105ce565b005b6102b060048036038101906102ab9190611610565b6105e2565b005b6102ba610602565b6040516102c791906118b9565b60405180910390f35b6102d861062c565b6040516102e591906118ef565b60405180910390f35b6102f66106be565b005b610312600480360381019061030d9190611650565b6106d1565b60405161031f9190611ab1565b60405180910390f35b610342600480360381019061033d9190611610565b610702565b60405161034f91906118d4565b60405180910390f35b610372600480360381019061036d9190611610565b610779565b60405161037f91906118d4565b60405180910390f35b6103a2600480360381019061039d919061157d565b61079c565b6040516103af9190611ab1565b60405180910390f35b6103d260048036038101906103cd9190611550565b610823565b005b6060600380546103e390611c46565b80601f016020809104026020016040519081016040528092919081815260200182805461040f90611c46565b801561045c5780601f106104315761010080835404028352916020019161045c565b820191906000526020600020905b81548152906001019060200180831161043f57829003601f168201915b5050505050905090565b600080610471610974565b905061047e81858561097c565b600191505092915050565b6000600254905090565b60008061049e610974565b90506104ab858285610b47565b6104b6858585610bd3565b60019150509392505050565b60006012905090565b6000806104d6610974565b90506104f78185856104e8858961079c565b6104f29190611b03565b61097c565b600191505092915050565b61051361050d610974565b82610e54565b50565b600080600061056384600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061102b565b915091508161057a5761057585610586565b61057c565b805b9250505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6105d6611121565b6105e0600061119f565b565b6105f4826105ee610974565b83610b47565b6105fe8282610e54565b5050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461063b90611c46565b80601f016020809104026020016040519081016040528092919081815260200182805461066790611c46565b80156106b45780601f10610689576101008083540402835291602001916106b4565b820191906000526020600020905b81548152906001019060200180831161069757829003601f168201915b5050505050905090565b6106c6611121565b6106ce611265565b50565b60008060006106e184600661102b565b91509150816106f7576106f2610489565b6106f9565b805b92505050919050565b60008061070d610974565b9050600061071b828661079c565b905083811015610760576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075790611a91565b60405180910390fd5b61076d828686840361097c565b60019250505092915050565b600080610784610974565b9050610791818585610bd3565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61082b611121565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561089b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089290611971565b60405180910390fd5b6108a48161119f565b50565b6108b2838383610961565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108fd576108f0826112bb565b6108f861130e565b61095c565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109485761093b836112bb565b61094361130e565b61095b565b610951836112bb565b61095a826112bb565b5b5b505050565b505050565b600081600001549050919050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e390611a51565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5390611991565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610b3a9190611ab1565b60405180910390a3505050565b6000610b53848461079c565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610bcd5781811015610bbf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb6906119b1565b60405180910390fd5b610bcc848484840361097c565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c43576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c3a90611a31565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610cb3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610caa90611931565b60405180910390fd5b610cbe838383611322565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610d44576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3b906119d1565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610dd79190611b03565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e3b9190611ab1565b60405180910390a3610e4e848484611332565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610ec4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ebb90611a11565b60405180910390fd5b610ed082600083611322565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610f56576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4d90611951565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160026000828254610fad9190611b8a565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110129190611ab1565b60405180910390a361102683600084611332565b505050565b60008060008411611071576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106890611a71565b60405180910390fd5b611079611337565b8411156110bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110b290611911565b60405180910390fd5b60006110d3858560000161134890919063ffffffff16565b905083600001805490508114156110f157600080925092505061111a565b600184600101828154811061110957611108611d05565b5b906000526020600020015492509250505b9250929050565b611129610974565b73ffffffffffffffffffffffffffffffffffffffff16611147610602565b73ffffffffffffffffffffffffffffffffffffffff161461119d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611194906119f1565b60405180910390fd5b565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60006112716008611422565b600061127b611337565b90507f8030e83b04d87bef53480e26263266d6ca66863aa8506aca6f2559d18aa1cb67816040516112ac9190611ab1565b60405180910390a18091505090565b61130b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061130683610586565b611438565b50565b611320600661131b610489565b611438565b565b61132d8383836108a7565b505050565b505050565b60006113436008610966565b905090565b6000808380549050141561135f576000905061141c565b600080848054905090505b808210156113c357600061137e83836114b3565b90508486828154811061139457611393611d05565b5b906000526020600020015411156113ad578091506113bd565b6001816113ba9190611b03565b92505b5061136a565b6000821180156113fb575083856001846113dd9190611b8a565b815481106113ee576113ed611d05565b5b9060005260206000200154145b156114165760018261140d9190611b8a565b9250505061141c565b81925050505b92915050565b6001816000016000828254019250508190555050565b6000611442611337565b905080611451846000016114d9565b10156114ae5782600001819080600181540180825580915050600190039060005260206000200160009091909190915055826001018290806001815401808255809150506001900390600052602060002001600090919091909150555b505050565b600060028284186114c49190611b59565b8284166114d19190611b03565b905092915050565b600080828054905014156114f05760009050611521565b81600183805490506115029190611b8a565b8154811061151357611512611d05565b5b906000526020600020015490505b919050565b600081359050611535816120b5565b92915050565b60008135905061154a816120cc565b92915050565b60006020828403121561156657611565611d34565b5b600061157484828501611526565b91505092915050565b6000806040838503121561159457611593611d34565b5b60006115a285828601611526565b92505060206115b385828601611526565b9150509250929050565b6000806000606084860312156115d6576115d5611d34565b5b60006115e486828701611526565b93505060206115f586828701611526565b92505060406116068682870161153b565b9150509250925092565b6000806040838503121561162757611626611d34565b5b600061163585828601611526565b92505060206116468582860161153b565b9150509250929050565b60006020828403121561166657611665611d34565b5b60006116748482850161153b565b91505092915050565b61168681611bbe565b82525050565b61169581611bd0565b82525050565b60006116a682611ae7565b6116b08185611af2565b93506116c0818560208601611c13565b6116c981611d39565b840191505092915050565b60006116e1601d83611af2565b91506116ec82611d4a565b602082019050919050565b6000611704602383611af2565b915061170f82611d73565b604082019050919050565b6000611727602283611af2565b915061173282611dc2565b604082019050919050565b600061174a602683611af2565b915061175582611e11565b604082019050919050565b600061176d602283611af2565b915061177882611e60565b604082019050919050565b6000611790601d83611af2565b915061179b82611eaf565b602082019050919050565b60006117b3602683611af2565b91506117be82611ed8565b604082019050919050565b60006117d6602083611af2565b91506117e182611f27565b602082019050919050565b60006117f9602183611af2565b915061180482611f50565b604082019050919050565b600061181c602583611af2565b915061182782611f9f565b604082019050919050565b600061183f602483611af2565b915061184a82611fee565b604082019050919050565b6000611862601683611af2565b915061186d8261203d565b602082019050919050565b6000611885602583611af2565b915061189082612066565b604082019050919050565b6118a481611bfc565b82525050565b6118b381611c06565b82525050565b60006020820190506118ce600083018461167d565b92915050565b60006020820190506118e9600083018461168c565b92915050565b60006020820190508181036000830152611909818461169b565b905092915050565b6000602082019050818103600083015261192a816116d4565b9050919050565b6000602082019050818103600083015261194a816116f7565b9050919050565b6000602082019050818103600083015261196a8161171a565b9050919050565b6000602082019050818103600083015261198a8161173d565b9050919050565b600060208201905081810360008301526119aa81611760565b9050919050565b600060208201905081810360008301526119ca81611783565b9050919050565b600060208201905081810360008301526119ea816117a6565b9050919050565b60006020820190508181036000830152611a0a816117c9565b9050919050565b60006020820190508181036000830152611a2a816117ec565b9050919050565b60006020820190508181036000830152611a4a8161180f565b9050919050565b60006020820190508181036000830152611a6a81611832565b9050919050565b60006020820190508181036000830152611a8a81611855565b9050919050565b60006020820190508181036000830152611aaa81611878565b9050919050565b6000602082019050611ac6600083018461189b565b92915050565b6000602082019050611ae160008301846118aa565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611b0e82611bfc565b9150611b1983611bfc565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115611b4e57611b4d611c78565b5b828201905092915050565b6000611b6482611bfc565b9150611b6f83611bfc565b925082611b7f57611b7e611ca7565b5b828204905092915050565b6000611b9582611bfc565b9150611ba083611bfc565b925082821015611bb357611bb2611c78565b5b828203905092915050565b6000611bc982611bdc565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015611c31578082015181840152602081019050611c16565b83811115611c40576000848401525b50505050565b60006002820490506001821680611c5e57607f821691505b60208210811415611c7257611c71611cd6565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f4552433230536e617073686f743a206e6f6e6578697374656e74206964000000600082015250565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f4552433230536e617073686f743a206964206973203000000000000000000000600082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6120be81611bbe565b81146120c957600080fd5b50565b6120d581611bfc565b81146120e057600080fd5b5056fea2646970667358221220fae0fd9c2f2935fb1112f644b3c33ab64e90f8f5e7237c13b38dbb4aa324c0db64736f6c63430008070033

0x608060405234801561001057600080fd5b50600436106101215760003560e01c8063715018a6116100ad578063981b24d011610071578063981b24d0146102f8578063a457c2d714610328578063a9059cbb14610358578063dd62ed3e14610388578063f2fde38b146103b857610121565b8063715018a61461028c57806379cc6790146102965780638da5cb5b146102b257806395d89b41146102d05780639711715a146102ee57610121565b8063313ce567116100f4578063313ce567146101c257806339509351146101e057806342966c68146102105780634ee2cd7e1461022c57806370a082311461025c57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806323b872dd14610192575b600080fd5b61012e6103d4565b60405161013b91906118ef565b60405180910390f35b61015e60048036038101906101599190611610565b610466565b60405161016b91906118d4565b60405180910390f35b61017c610489565b6040516101899190611ab1565b60405180910390f35b6101ac60048036038101906101a791906115bd565b610493565b6040516101b991906118d4565b60405180910390f35b6101ca6104c2565b6040516101d79190611acc565b60405180910390f35b6101fa60048036038101906101f59190611610565b6104cb565b60405161020791906118d4565b60405180910390f35b61022a60048036038101906102259190611650565b610502565b005b61024660048036038101906102419190611610565b610516565b6040516102539190611ab1565b60405180910390f35b61027660048036038101906102719190611550565b610586565b6040516102839190611ab1565b60405180910390f35b6102946105ce565b005b6102b060048036038101906102ab9190611610565b6105e2565b005b6102ba610602565b6040516102c791906118b9565b60405180910390f35b6102d861062c565b6040516102e591906118ef565b60405180910390f35b6102f66106be565b005b610312600480360381019061030d9190611650565b6106d1565b60405161031f9190611ab1565b60405180910390f35b610342600480360381019061033d9190611610565b610702565b60405161034f91906118d4565b60405180910390f35b610372600480360381019061036d9190611610565b610779565b60405161037f91906118d4565b60405180910390f35b6103a2600480360381019061039d919061157d565b61079c565b6040516103af9190611ab1565b60405180910390f35b6103d260048036038101906103cd9190611550565b610823565b005b6060600380546103e390611c46565b80601f016020809104026020016040519081016040528092919081815260200182805461040f90611c46565b801561045c5780601f106104315761010080835404028352916020019161045c565b820191906000526020600020905b81548152906001019060200180831161043f57829003601f168201915b5050505050905090565b600080610471610974565b905061047e81858561097c565b600191505092915050565b6000600254905090565b60008061049e610974565b90506104ab858285610b47565b6104b6858585610bd3565b60019150509392505050565b60006012905090565b6000806104d6610974565b90506104f78185856104e8858961079c565b6104f29190611b03565b61097c565b600191505092915050565b61051361050d610974565b82610e54565b50565b600080600061056384600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061102b565b915091508161057a5761057585610586565b61057c565b805b9250505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6105d6611121565b6105e0600061119f565b565b6105f4826105ee610974565b83610b47565b6105fe8282610e54565b5050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461063b90611c46565b80601f016020809104026020016040519081016040528092919081815260200182805461066790611c46565b80156106b45780601f10610689576101008083540402835291602001916106b4565b820191906000526020600020905b81548152906001019060200180831161069757829003601f168201915b5050505050905090565b6106c6611121565b6106ce611265565b50565b60008060006106e184600661102b565b91509150816106f7576106f2610489565b6106f9565b805b92505050919050565b60008061070d610974565b9050600061071b828661079c565b905083811015610760576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075790611a91565b60405180910390fd5b61076d828686840361097c565b60019250505092915050565b600080610784610974565b9050610791818585610bd3565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61082b611121565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561089b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089290611971565b60405180910390fd5b6108a48161119f565b50565b6108b2838383610961565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108fd576108f0826112bb565b6108f861130e565b61095c565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109485761093b836112bb565b61094361130e565b61095b565b610951836112bb565b61095a826112bb565b5b5b505050565b505050565b600081600001549050919050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e390611a51565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5390611991565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610b3a9190611ab1565b60405180910390a3505050565b6000610b53848461079c565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610bcd5781811015610bbf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb6906119b1565b60405180910390fd5b610bcc848484840361097c565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c43576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c3a90611a31565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610cb3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610caa90611931565b60405180910390fd5b610cbe838383611322565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610d44576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3b906119d1565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610dd79190611b03565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e3b9190611ab1565b60405180910390a3610e4e848484611332565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610ec4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ebb90611a11565b60405180910390fd5b610ed082600083611322565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610f56576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4d90611951565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160026000828254610fad9190611b8a565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110129190611ab1565b60405180910390a361102683600084611332565b505050565b60008060008411611071576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106890611a71565b60405180910390fd5b611079611337565b8411156110bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110b290611911565b60405180910390fd5b60006110d3858560000161134890919063ffffffff16565b905083600001805490508114156110f157600080925092505061111a565b600184600101828154811061110957611108611d05565b5b906000526020600020015492509250505b9250929050565b611129610974565b73ffffffffffffffffffffffffffffffffffffffff16611147610602565b73ffffffffffffffffffffffffffffffffffffffff161461119d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611194906119f1565b60405180910390fd5b565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60006112716008611422565b600061127b611337565b90507f8030e83b04d87bef53480e26263266d6ca66863aa8506aca6f2559d18aa1cb67816040516112ac9190611ab1565b60405180910390a18091505090565b61130b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061130683610586565b611438565b50565b611320600661131b610489565b611438565b565b61132d8383836108a7565b505050565b505050565b60006113436008610966565b905090565b6000808380549050141561135f576000905061141c565b600080848054905090505b808210156113c357600061137e83836114b3565b90508486828154811061139457611393611d05565b5b906000526020600020015411156113ad578091506113bd565b6001816113ba9190611b03565b92505b5061136a565b6000821180156113fb575083856001846113dd9190611b8a565b815481106113ee576113ed611d05565b5b9060005260206000200154145b156114165760018261140d9190611b8a565b9250505061141c565b81925050505b92915050565b6001816000016000828254019250508190555050565b6000611442611337565b905080611451846000016114d9565b10156114ae5782600001819080600181540180825580915050600190039060005260206000200160009091909190915055826001018290806001815401808255809150506001900390600052602060002001600090919091909150555b505050565b600060028284186114c49190611b59565b8284166114d19190611b03565b905092915050565b600080828054905014156114f05760009050611521565b81600183805490506115029190611b8a565b8154811061151357611512611d05565b5b906000526020600020015490505b919050565b600081359050611535816120b5565b92915050565b60008135905061154a816120cc565b92915050565b60006020828403121561156657611565611d34565b5b600061157484828501611526565b91505092915050565b6000806040838503121561159457611593611d34565b5b60006115a285828601611526565b92505060206115b385828601611526565b9150509250929050565b6000806000606084860312156115d6576115d5611d34565b5b60006115e486828701611526565b93505060206115f586828701611526565b92505060406116068682870161153b565b9150509250925092565b6000806040838503121561162757611626611d34565b5b600061163585828601611526565b92505060206116468582860161153b565b9150509250929050565b60006020828403121561166657611665611d34565b5b60006116748482850161153b565b91505092915050565b61168681611bbe565b82525050565b61169581611bd0565b82525050565b60006116a682611ae7565b6116b08185611af2565b93506116c0818560208601611c13565b6116c981611d39565b840191505092915050565b60006116e1601d83611af2565b91506116ec82611d4a565b602082019050919050565b6000611704602383611af2565b915061170f82611d73565b604082019050919050565b6000611727602283611af2565b915061173282611dc2565b604082019050919050565b600061174a602683611af2565b915061175582611e11565b604082019050919050565b600061176d602283611af2565b915061177882611e60565b604082019050919050565b6000611790601d83611af2565b915061179b82611eaf565b602082019050919050565b60006117b3602683611af2565b91506117be82611ed8565b604082019050919050565b60006117d6602083611af2565b91506117e182611f27565b602082019050919050565b60006117f9602183611af2565b915061180482611f50565b604082019050919050565b600061181c602583611af2565b915061182782611f9f565b604082019050919050565b600061183f602483611af2565b915061184a82611fee565b604082019050919050565b6000611862601683611af2565b915061186d8261203d565b602082019050919050565b6000611885602583611af2565b915061189082612066565b604082019050919050565b6118a481611bfc565b82525050565b6118b381611c06565b82525050565b60006020820190506118ce600083018461167d565b92915050565b60006020820190506118e9600083018461168c565b92915050565b60006020820190508181036000830152611909818461169b565b905092915050565b6000602082019050818103600083015261192a816116d4565b9050919050565b6000602082019050818103600083015261194a816116f7565b9050919050565b6000602082019050818103600083015261196a8161171a565b9050919050565b6000602082019050818103600083015261198a8161173d565b9050919050565b600060208201905081810360008301526119aa81611760565b9050919050565b600060208201905081810360008301526119ca81611783565b9050919050565b600060208201905081810360008301526119ea816117a6565b9050919050565b60006020820190508181036000830152611a0a816117c9565b9050919050565b60006020820190508181036000830152611a2a816117ec565b9050919050565b60006020820190508181036000830152611a4a8161180f565b9050919050565b60006020820190508181036000830152611a6a81611832565b9050919050565b60006020820190508181036000830152611a8a81611855565b9050919050565b60006020820190508181036000830152611aaa81611878565b9050919050565b6000602082019050611ac6600083018461189b565b92915050565b6000602082019050611ae160008301846118aa565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611b0e82611bfc565b9150611b1983611bfc565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115611b4e57611b4d611c78565b5b828201905092915050565b6000611b6482611bfc565b9150611b6f83611bfc565b925082611b7f57611b7e611ca7565b5b828204905092915050565b6000611b9582611bfc565b9150611ba083611bfc565b925082821015611bb357611bb2611c78565b5b828203905092915050565b6000611bc982611bdc565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015611c31578082015181840152602081019050611c16565b83811115611c40576000848401525b50505050565b60006002820490506001821680611c5e57607f821691505b60208210811415611c7257611c71611cd6565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f4552433230536e617073686f743a206e6f6e6578697374656e74206964000000600082015250565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f4552433230536e617073686f743a206964206973203000000000000000000000600082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6120be81611bbe565b81146120c957600080fd5b50565b6120d581611bfc565b81146120e057600080fd5b5056fea2646970667358221220fae0fd9c2f2935fb1112f644b3c33ab64e90f8f5e7237c13b38dbb4aa324c0db64736f6c63430008070033

42600:537:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21563:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23914:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22683:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24695:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22525:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25399:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;41892:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;37408:266;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22854:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14968:103;;;:::i;:::-;;42302:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;14320:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21782:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42791:67;;;:::i;:::-;;37778:234;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26140:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23187:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23443:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15226:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;21563:100;21617:13;21650:5;21643:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21563:100;:::o;23914:201::-;23997:4;24014:13;24030:12;:10;:12::i;:::-;24014:28;;24053:32;24062:5;24069:7;24078:6;24053:8;:32::i;:::-;24103:4;24096:11;;;23914:201;;;;:::o;22683:108::-;22744:7;22771:12;;22764:19;;22683:108;:::o;24695:295::-;24826:4;24843:15;24861:12;:10;:12::i;:::-;24843:30;;24884:38;24900:4;24906:7;24915:6;24884:15;:38::i;:::-;24933:27;24943:4;24949:2;24953:6;24933:9;:27::i;:::-;24978:4;24971:11;;;24695:295;;;;;:::o;22525:93::-;22583:5;22608:2;22601:9;;22525:93;:::o;25399:238::-;25487:4;25504:13;25520:12;:10;:12::i;:::-;25504:28;;25543:64;25552:5;25559:7;25596:10;25568:25;25578:5;25585:7;25568:9;:25::i;:::-;:38;;;;:::i;:::-;25543:8;:64::i;:::-;25625:4;25618:11;;;25399:238;;;;:::o;41892:91::-;41948:27;41954:12;:10;:12::i;:::-;41968:6;41948:5;:27::i;:::-;41892:91;:::o;37408:266::-;37495:7;37516:16;37534:13;37551:55;37560:10;37572:24;:33;37597:7;37572:33;;;;;;;;;;;;;;;37551:8;:55::i;:::-;37515:91;;;;37626:11;:40;;37648:18;37658:7;37648:9;:18::i;:::-;37626:40;;;37640:5;37626:40;37619:47;;;;37408:266;;;;:::o;22854:127::-;22928:7;22955:9;:18;22965:7;22955:18;;;;;;;;;;;;;;;;22948:25;;22854:127;;;:::o;14968:103::-;14206:13;:11;:13::i;:::-;15033:30:::1;15060:1;15033:18;:30::i;:::-;14968:103::o:0;42302:164::-;42379:46;42395:7;42404:12;:10;:12::i;:::-;42418:6;42379:15;:46::i;:::-;42436:22;42442:7;42451:6;42436:5;:22::i;:::-;42302:164;;:::o;14320:87::-;14366:7;14393:6;;;;;;;;;;;14386:13;;14320:87;:::o;21782:104::-;21838:13;21871:7;21864:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21782:104;:::o;42791:67::-;14206:13;:11;:13::i;:::-;42839:11:::1;:9;:11::i;:::-;;42791:67::o:0;37778:234::-;37850:7;37871:16;37889:13;37906:43;37915:10;37927:21;37906:8;:43::i;:::-;37870:79;;;;37969:11;:35;;37991:13;:11;:13::i;:::-;37969:35;;;37983:5;37969:35;37962:42;;;;37778:234;;;:::o;26140:436::-;26233:4;26250:13;26266:12;:10;:12::i;:::-;26250:28;;26289:24;26316:25;26326:5;26333:7;26316:9;:25::i;:::-;26289:52;;26380:15;26360:16;:35;;26352:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;26473:60;26482:5;26489:7;26517:15;26498:16;:34;26473:8;:60::i;:::-;26564:4;26557:11;;;;26140:436;;;;:::o;23187:193::-;23266:4;23283:13;23299:12;:10;:12::i;:::-;23283:28;;23322;23332:5;23339:2;23343:6;23322:9;:28::i;:::-;23368:4;23361:11;;;23187:193;;;;:::o;23443:151::-;23532:7;23559:11;:18;23571:5;23559:18;;;;;;;;;;;;;;;:27;23578:7;23559:27;;;;;;;;;;;;;;;;23552:34;;23443:151;;;;:::o;15226:201::-;14206:13;:11;:13::i;:::-;15335:1:::1;15315:22;;:8;:22;;;;15307:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;15391:28;15410:8;15391:18;:28::i;:::-;15226:201:::0;:::o;38229:622::-;38372:44;38399:4;38405:2;38409:6;38372:26;:44::i;:::-;38449:1;38433:18;;:4;:18;;;38429:415;;;38489:26;38512:2;38489:22;:26::i;:::-;38530:28;:26;:28::i;:::-;38429:415;;;38594:1;38580:16;;:2;:16;;;38576:268;;;38634:28;38657:4;38634:22;:28::i;:::-;38677;:26;:28::i;:::-;38576:268;;;38763:28;38786:4;38763:22;:28::i;:::-;38806:26;38829:2;38806:22;:26::i;:::-;38576:268;38429:415;38229:622;;;:::o;31489:125::-;;;;:::o;921:114::-;986:7;1013;:14;;;1006:21;;921:114;;;:::o;12865:98::-;12918:7;12945:10;12938:17;;12865:98;:::o;29765:380::-;29918:1;29901:19;;:5;:19;;;;29893:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;29999:1;29980:21;;:7;:21;;;;29972:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;30083:6;30053:11;:18;30065:5;30053:18;;;;;;;;;;;;;;;:27;30072:7;30053:27;;;;;;;;;;;;;;;:36;;;;30121:7;30105:32;;30114:5;30105:32;;;30130:6;30105:32;;;;;;:::i;:::-;;;;;;;;29765:380;;;:::o;30436:453::-;30571:24;30598:25;30608:5;30615:7;30598:9;:25::i;:::-;30571:52;;30658:17;30638:16;:37;30634:248;;30720:6;30700:16;:26;;30692:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;30804:51;30813:5;30820:7;30848:6;30829:16;:25;30804:8;:51::i;:::-;30634:248;30560:329;30436:453;;;:::o;27046:671::-;27193:1;27177:18;;:4;:18;;;;27169:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;27270:1;27256:16;;:2;:16;;;;27248:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;27325:38;27346:4;27352:2;27356:6;27325:20;:38::i;:::-;27376:19;27398:9;:15;27408:4;27398:15;;;;;;;;;;;;;;;;27376:37;;27447:6;27432:11;:21;;27424:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;27564:6;27550:11;:20;27532:9;:15;27542:4;27532:15;;;;;;;;;;;;;;;:38;;;;27609:6;27592:9;:13;27602:2;27592:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;27648:2;27633:26;;27642:4;27633:26;;;27652:6;27633:26;;;;;;:::i;:::-;;;;;;;;27672:37;27692:4;27698:2;27702:6;27672:19;:37::i;:::-;27158:559;27046:671;;;:::o;28736:591::-;28839:1;28820:21;;:7;:21;;;;28812:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;28892:49;28913:7;28930:1;28934:6;28892:20;:49::i;:::-;28954:22;28979:9;:18;28989:7;28979:18;;;;;;;;;;;;;;;;28954:43;;29034:6;29016:14;:24;;29008:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;29153:6;29136:14;:23;29115:9;:18;29125:7;29115:18;;;;;;;;;;;;;;;:44;;;;29197:6;29181:12;;:22;;;;;;;:::i;:::-;;;;;;;;29247:1;29221:37;;29230:7;29221:37;;;29251:6;29221:37;;;;;;:::i;:::-;;;;;;;;29271:48;29291:7;29308:1;29312:6;29271:19;:48::i;:::-;28801:526;28736:591;;:::o;38859:1619::-;38948:4;38954:7;38995:1;38982:10;:14;38974:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;39056:23;:21;:23::i;:::-;39042:10;:37;;39034:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;40252:13;40268:40;40297:10;40268:9;:13;;:28;;:40;;;;:::i;:::-;40252:56;;40334:9;:13;;:20;;;;40325:5;:29;40321:150;;;40379:5;40386:1;40371:17;;;;;;;40321:150;40429:4;40435:9;:16;;40452:5;40435:23;;;;;;;;:::i;:::-;;;;;;;;;;40421:38;;;;;38859:1619;;;;;;:::o;14485:132::-;14560:12;:10;:12::i;:::-;14549:23;;:7;:5;:7::i;:::-;:23;;;14541:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14485:132::o;15587:191::-;15661:16;15680:6;;;;;;;;;;;15661:25;;15706:8;15697:6;;:17;;;;;;;;;;;;;;;;;;15761:8;15730:40;;15751:8;15730:40;;;;;;;;;;;;15650:128;15587:191;:::o;36880:223::-;36927:7;36947:30;:18;:28;:30::i;:::-;36990:17;37010:23;:21;:23::i;:::-;36990:43;;37049:19;37058:9;37049:19;;;;;;:::i;:::-;;;;;;;;37086:9;37079:16;;;36880:223;:::o;40486:146::-;40554:70;40570:24;:33;40595:7;40570:33;;;;;;;;;;;;;;;40605:18;40615:7;40605:9;:18::i;:::-;40554:15;:70::i;:::-;40486:146;:::o;40640:118::-;40697:53;40713:21;40736:13;:11;:13::i;:::-;40697:15;:53::i;:::-;40640:118::o;42936:198::-;43082:44;43109:4;43115:2;43119:6;43082:26;:44::i;:::-;42936:198;;;:::o;32218:124::-;;;;:::o;37169:127::-;37233:7;37260:28;:18;:26;:28::i;:::-;37253:35;;37169:127;:::o;11255:918::-;11344:7;11384:1;11368:5;:12;;;;:17;11364:58;;;11409:1;11402:8;;;;11364:58;11434:11;11460:12;11475:5;:12;;;;11460:27;;11500:424;11513:4;11507:3;:10;11500:424;;;11534:11;11548:23;11561:3;11566:4;11548:12;:23::i;:::-;11534:37;;11805:7;11792:5;11798:3;11792:10;;;;;;;;:::i;:::-;;;;;;;;;;:20;11788:125;;;11840:3;11833:10;;11788:125;;;11896:1;11890:3;:7;;;;:::i;:::-;11884:13;;11788:125;11519:405;11500:424;;;12050:1;12044:3;:7;:36;;;;;12073:7;12055:5;12067:1;12061:3;:7;;;;:::i;:::-;12055:14;;;;;;;;:::i;:::-;;;;;;;;;;:25;12044:36;12040:126;;;12110:1;12104:3;:7;;;;:::i;:::-;12097:14;;;;;;12040:126;12151:3;12144:10;;;;11255:918;;;;;:::o;1043:127::-;1150:1;1132:7;:14;;;:19;;;;;;;;;;;1043:127;:::o;40766:310::-;40861:17;40881:23;:21;:23::i;:::-;40861:43;;40952:9;40919:30;40935:9;:13;;40919:15;:30::i;:::-;:42;40915:154;;;40978:9;:13;;40997:9;40978:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;41022:9;:16;;41044:12;41022:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40915:154;40850:226;40766:310;;:::o;2384:156::-;2446:7;2531:1;2526;2522;:5;2521:11;;;;:::i;:::-;2516:1;2512;:5;2511:21;;;;:::i;:::-;2504:28;;2384:156;;;;:::o;41084:212::-;41154:7;41192:1;41178:3;:10;;;;:15;41174:115;;;41217:1;41210:8;;;;41174:115;41258:3;41275:1;41262:3;:10;;;;:14;;;;:::i;:::-;41258:19;;;;;;;;:::i;:::-;;;;;;;;;;41251:26;;41084:212;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;7:139;;;;:::o;152:::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;152:139;;;;:::o;297:329::-;356:6;405:2;393:9;384:7;380:23;376:32;373:119;;;411:79;;:::i;:::-;373:119;531:1;556:53;601:7;592:6;581:9;577:22;556:53;:::i;:::-;546:63;;502:117;297:329;;;;:::o;632:474::-;700:6;708;757:2;745:9;736:7;732:23;728:32;725:119;;;763:79;;:::i;:::-;725:119;883:1;908:53;953:7;944:6;933:9;929:22;908:53;:::i;:::-;898:63;;854:117;1010:2;1036:53;1081:7;1072:6;1061:9;1057:22;1036:53;:::i;:::-;1026:63;;981:118;632:474;;;;;:::o;1112:619::-;1189:6;1197;1205;1254:2;1242:9;1233:7;1229:23;1225:32;1222:119;;;1260:79;;:::i;:::-;1222:119;1380:1;1405:53;1450:7;1441:6;1430:9;1426:22;1405:53;:::i;:::-;1395:63;;1351:117;1507:2;1533:53;1578:7;1569:6;1558:9;1554:22;1533:53;:::i;:::-;1523:63;;1478:118;1635:2;1661:53;1706:7;1697:6;1686:9;1682:22;1661:53;:::i;:::-;1651:63;;1606:118;1112:619;;;;;:::o;1737:474::-;1805:6;1813;1862:2;1850:9;1841:7;1837:23;1833:32;1830:119;;;1868:79;;:::i;:::-;1830:119;1988:1;2013:53;2058:7;2049:6;2038:9;2034:22;2013:53;:::i;:::-;2003:63;;1959:117;2115:2;2141:53;2186:7;2177:6;2166:9;2162:22;2141:53;:::i;:::-;2131:63;;2086:118;1737:474;;;;;:::o;2217:329::-;2276:6;2325:2;2313:9;2304:7;2300:23;2296:32;2293:119;;;2331:79;;:::i;:::-;2293:119;2451:1;2476:53;2521:7;2512:6;2501:9;2497:22;2476:53;:::i;:::-;2466:63;;2422:117;2217:329;;;;:::o;2552:118::-;2639:24;2657:5;2639:24;:::i;:::-;2634:3;2627:37;2552:118;;:::o;2676:109::-;2757:21;2772:5;2757:21;:::i;:::-;2752:3;2745:34;2676:109;;:::o;2791:364::-;2879:3;2907:39;2940:5;2907:39;:::i;:::-;2962:71;3026:6;3021:3;2962:71;:::i;:::-;2955:78;;3042:52;3087:6;3082:3;3075:4;3068:5;3064:16;3042:52;:::i;:::-;3119:29;3141:6;3119:29;:::i;:::-;3114:3;3110:39;3103:46;;2883:272;2791:364;;;;:::o;3161:366::-;3303:3;3324:67;3388:2;3383:3;3324:67;:::i;:::-;3317:74;;3400:93;3489:3;3400:93;:::i;:::-;3518:2;3513:3;3509:12;3502:19;;3161:366;;;:::o;3533:::-;3675:3;3696:67;3760:2;3755:3;3696:67;:::i;:::-;3689:74;;3772:93;3861:3;3772:93;:::i;:::-;3890:2;3885:3;3881:12;3874:19;;3533:366;;;:::o;3905:::-;4047:3;4068:67;4132:2;4127:3;4068:67;:::i;:::-;4061:74;;4144:93;4233:3;4144:93;:::i;:::-;4262:2;4257:3;4253:12;4246:19;;3905:366;;;:::o;4277:::-;4419:3;4440:67;4504:2;4499:3;4440:67;:::i;:::-;4433:74;;4516:93;4605:3;4516:93;:::i;:::-;4634:2;4629:3;4625:12;4618:19;;4277:366;;;:::o;4649:::-;4791:3;4812:67;4876:2;4871:3;4812:67;:::i;:::-;4805:74;;4888:93;4977:3;4888:93;:::i;:::-;5006:2;5001:3;4997:12;4990:19;;4649:366;;;:::o;5021:::-;5163:3;5184:67;5248:2;5243:3;5184:67;:::i;:::-;5177:74;;5260:93;5349:3;5260:93;:::i;:::-;5378:2;5373:3;5369:12;5362:19;;5021:366;;;:::o;5393:::-;5535:3;5556:67;5620:2;5615:3;5556:67;:::i;:::-;5549:74;;5632:93;5721:3;5632:93;:::i;:::-;5750:2;5745:3;5741:12;5734:19;;5393:366;;;:::o;5765:::-;5907:3;5928:67;5992:2;5987:3;5928:67;:::i;:::-;5921:74;;6004:93;6093:3;6004:93;:::i;:::-;6122:2;6117:3;6113:12;6106:19;;5765:366;;;:::o;6137:::-;6279:3;6300:67;6364:2;6359:3;6300:67;:::i;:::-;6293:74;;6376:93;6465:3;6376:93;:::i;:::-;6494:2;6489:3;6485:12;6478:19;;6137:366;;;:::o;6509:::-;6651:3;6672:67;6736:2;6731:3;6672:67;:::i;:::-;6665:74;;6748:93;6837:3;6748:93;:::i;:::-;6866:2;6861:3;6857:12;6850:19;;6509:366;;;:::o;6881:::-;7023:3;7044:67;7108:2;7103:3;7044:67;:::i;:::-;7037:74;;7120:93;7209:3;7120:93;:::i;:::-;7238:2;7233:3;7229:12;7222:19;;6881:366;;;:::o;7253:::-;7395:3;7416:67;7480:2;7475:3;7416:67;:::i;:::-;7409:74;;7492:93;7581:3;7492:93;:::i;:::-;7610:2;7605:3;7601:12;7594:19;;7253:366;;;:::o;7625:::-;7767:3;7788:67;7852:2;7847:3;7788:67;:::i;:::-;7781:74;;7864:93;7953:3;7864:93;:::i;:::-;7982:2;7977:3;7973:12;7966:19;;7625:366;;;:::o;7997:118::-;8084:24;8102:5;8084:24;:::i;:::-;8079:3;8072:37;7997:118;;:::o;8121:112::-;8204:22;8220:5;8204:22;:::i;:::-;8199:3;8192:35;8121:112;;:::o;8239:222::-;8332:4;8370:2;8359:9;8355:18;8347:26;;8383:71;8451:1;8440:9;8436:17;8427:6;8383:71;:::i;:::-;8239:222;;;;:::o;8467:210::-;8554:4;8592:2;8581:9;8577:18;8569:26;;8605:65;8667:1;8656:9;8652:17;8643:6;8605:65;:::i;:::-;8467:210;;;;:::o;8683:313::-;8796:4;8834:2;8823:9;8819:18;8811:26;;8883:9;8877:4;8873:20;8869:1;8858:9;8854:17;8847:47;8911:78;8984:4;8975:6;8911:78;:::i;:::-;8903:86;;8683:313;;;;:::o;9002:419::-;9168:4;9206:2;9195:9;9191:18;9183:26;;9255:9;9249:4;9245:20;9241:1;9230:9;9226:17;9219:47;9283:131;9409:4;9283:131;:::i;:::-;9275:139;;9002:419;;;:::o;9427:::-;9593:4;9631:2;9620:9;9616:18;9608:26;;9680:9;9674:4;9670:20;9666:1;9655:9;9651:17;9644:47;9708:131;9834:4;9708:131;:::i;:::-;9700:139;;9427:419;;;:::o;9852:::-;10018:4;10056:2;10045:9;10041:18;10033:26;;10105:9;10099:4;10095:20;10091:1;10080:9;10076:17;10069:47;10133:131;10259:4;10133:131;:::i;:::-;10125:139;;9852:419;;;:::o;10277:::-;10443:4;10481:2;10470:9;10466:18;10458:26;;10530:9;10524:4;10520:20;10516:1;10505:9;10501:17;10494:47;10558:131;10684:4;10558:131;:::i;:::-;10550:139;;10277:419;;;:::o;10702:::-;10868:4;10906:2;10895:9;10891:18;10883:26;;10955:9;10949:4;10945:20;10941:1;10930:9;10926:17;10919:47;10983:131;11109:4;10983:131;:::i;:::-;10975:139;;10702:419;;;:::o;11127:::-;11293:4;11331:2;11320:9;11316:18;11308:26;;11380:9;11374:4;11370:20;11366:1;11355:9;11351:17;11344:47;11408:131;11534:4;11408:131;:::i;:::-;11400:139;;11127:419;;;:::o;11552:::-;11718:4;11756:2;11745:9;11741:18;11733:26;;11805:9;11799:4;11795:20;11791:1;11780:9;11776:17;11769:47;11833:131;11959:4;11833:131;:::i;:::-;11825:139;;11552:419;;;:::o;11977:::-;12143:4;12181:2;12170:9;12166:18;12158:26;;12230:9;12224:4;12220:20;12216:1;12205:9;12201:17;12194:47;12258:131;12384:4;12258:131;:::i;:::-;12250:139;;11977:419;;;:::o;12402:::-;12568:4;12606:2;12595:9;12591:18;12583:26;;12655:9;12649:4;12645:20;12641:1;12630:9;12626:17;12619:47;12683:131;12809:4;12683:131;:::i;:::-;12675:139;;12402:419;;;:::o;12827:::-;12993:4;13031:2;13020:9;13016:18;13008:26;;13080:9;13074:4;13070:20;13066:1;13055:9;13051:17;13044:47;13108:131;13234:4;13108:131;:::i;:::-;13100:139;;12827:419;;;:::o;13252:::-;13418:4;13456:2;13445:9;13441:18;13433:26;;13505:9;13499:4;13495:20;13491:1;13480:9;13476:17;13469:47;13533:131;13659:4;13533:131;:::i;:::-;13525:139;;13252:419;;;:::o;13677:::-;13843:4;13881:2;13870:9;13866:18;13858:26;;13930:9;13924:4;13920:20;13916:1;13905:9;13901:17;13894:47;13958:131;14084:4;13958:131;:::i;:::-;13950:139;;13677:419;;;:::o;14102:::-;14268:4;14306:2;14295:9;14291:18;14283:26;;14355:9;14349:4;14345:20;14341:1;14330:9;14326:17;14319:47;14383:131;14509:4;14383:131;:::i;:::-;14375:139;;14102:419;;;:::o;14527:222::-;14620:4;14658:2;14647:9;14643:18;14635:26;;14671:71;14739:1;14728:9;14724:17;14715:6;14671:71;:::i;:::-;14527:222;;;;:::o;14755:214::-;14844:4;14882:2;14871:9;14867:18;14859:26;;14895:67;14959:1;14948:9;14944:17;14935:6;14895:67;:::i;:::-;14755:214;;;;:::o;15056:99::-;15108:6;15142:5;15136:12;15126:22;;15056:99;;;:::o;15161:169::-;15245:11;15279:6;15274:3;15267:19;15319:4;15314:3;15310:14;15295:29;;15161:169;;;;:::o;15336:305::-;15376:3;15395:20;15413:1;15395:20;:::i;:::-;15390:25;;15429:20;15447:1;15429:20;:::i;:::-;15424:25;;15583:1;15515:66;15511:74;15508:1;15505:81;15502:107;;;15589:18;;:::i;:::-;15502:107;15633:1;15630;15626:9;15619:16;;15336:305;;;;:::o;15647:185::-;15687:1;15704:20;15722:1;15704:20;:::i;:::-;15699:25;;15738:20;15756:1;15738:20;:::i;:::-;15733:25;;15777:1;15767:35;;15782:18;;:::i;:::-;15767:35;15824:1;15821;15817:9;15812:14;;15647:185;;;;:::o;15838:191::-;15878:4;15898:20;15916:1;15898:20;:::i;:::-;15893:25;;15932:20;15950:1;15932:20;:::i;:::-;15927:25;;15971:1;15968;15965:8;15962:34;;;15976:18;;:::i;:::-;15962:34;16021:1;16018;16014:9;16006:17;;15838:191;;;;:::o;16035:96::-;16072:7;16101:24;16119:5;16101:24;:::i;:::-;16090:35;;16035:96;;;:::o;16137:90::-;16171:7;16214:5;16207:13;16200:21;16189:32;;16137:90;;;:::o;16233:126::-;16270:7;16310:42;16303:5;16299:54;16288:65;;16233:126;;;:::o;16365:77::-;16402:7;16431:5;16420:16;;16365:77;;;:::o;16448:86::-;16483:7;16523:4;16516:5;16512:16;16501:27;;16448:86;;;:::o;16540:307::-;16608:1;16618:113;16632:6;16629:1;16626:13;16618:113;;;16717:1;16712:3;16708:11;16702:18;16698:1;16693:3;16689:11;16682:39;16654:2;16651:1;16647:10;16642:15;;16618:113;;;16749:6;16746:1;16743:13;16740:101;;;16829:1;16820:6;16815:3;16811:16;16804:27;16740:101;16589:258;16540:307;;;:::o;16853:320::-;16897:6;16934:1;16928:4;16924:12;16914:22;;16981:1;16975:4;16971:12;17002:18;16992:81;;17058:4;17050:6;17046:17;17036:27;;16992:81;17120:2;17112:6;17109:14;17089:18;17086:38;17083:84;;;17139:18;;:::i;:::-;17083:84;16904:269;16853:320;;;:::o;17179:180::-;17227:77;17224:1;17217:88;17324:4;17321:1;17314:15;17348:4;17345:1;17338:15;17365:180;17413:77;17410:1;17403:88;17510:4;17507:1;17500:15;17534:4;17531:1;17524:15;17551:180;17599:77;17596:1;17589:88;17696:4;17693:1;17686:15;17720:4;17717:1;17710:15;17737:180;17785:77;17782:1;17775:88;17882:4;17879:1;17872:15;17906:4;17903:1;17896:15;18046:117;18155:1;18152;18145:12;18169:102;18210:6;18261:2;18257:7;18252:2;18245:5;18241:14;18237:28;18227:38;;18169:102;;;:::o;18277:179::-;18417:31;18413:1;18405:6;18401:14;18394:55;18277:179;:::o;18462:222::-;18602:34;18598:1;18590:6;18586:14;18579:58;18671:5;18666:2;18658:6;18654:15;18647:30;18462:222;:::o;18690:221::-;18830:34;18826:1;18818:6;18814:14;18807:58;18899:4;18894:2;18886:6;18882:15;18875:29;18690:221;:::o;18917:225::-;19057:34;19053:1;19045:6;19041:14;19034:58;19126:8;19121:2;19113:6;19109:15;19102:33;18917:225;:::o;19148:221::-;19288:34;19284:1;19276:6;19272:14;19265:58;19357:4;19352:2;19344:6;19340:15;19333:29;19148:221;:::o;19375:179::-;19515:31;19511:1;19503:6;19499:14;19492:55;19375:179;:::o;19560:225::-;19700:34;19696:1;19688:6;19684:14;19677:58;19769:8;19764:2;19756:6;19752:15;19745:33;19560:225;:::o;19791:182::-;19931:34;19927:1;19919:6;19915:14;19908:58;19791:182;:::o;19979:220::-;20119:34;20115:1;20107:6;20103:14;20096:58;20188:3;20183:2;20175:6;20171:15;20164:28;19979:220;:::o;20205:224::-;20345:34;20341:1;20333:6;20329:14;20322:58;20414:7;20409:2;20401:6;20397:15;20390:32;20205:224;:::o;20435:223::-;20575:34;20571:1;20563:6;20559:14;20552:58;20644:6;20639:2;20631:6;20627:15;20620:31;20435:223;:::o;20664:172::-;20804:24;20800:1;20792:6;20788:14;20781:48;20664:172;:::o;20842:224::-;20982:34;20978:1;20970:6;20966:14;20959:58;21051:7;21046:2;21038:6;21034:15;21027:32;20842:224;:::o;21072:122::-;21145:24;21163:5;21145:24;:::i;:::-;21138:5;21135:35;21125:63;;21184:1;21181;21174:12;21125:63;21072:122;:::o;21200:::-;21273:24;21291:5;21273:24;:::i;:::-;21266:5;21263:35;21253:63;;21312:1;21309;21302:12;21253:63;21200:122;:::o

ipfs://fae0fd9c2f2935fb1112f644b3c33ab64e90f8f5e7237c13b38dbb4aa324c0db