Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-05-08
*/

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


// OpenZeppelin Contracts (last updated v5.0.0) (utils/Nonces.sol)
pragma solidity ^0.8.20;

/**
 * @dev Provides tracking nonces for addresses. Nonces will only increment.
 */
abstract contract Nonces {
    /**
     * @dev The nonce used for an `account` is not the expected current nonce.
     */
    error InvalidAccountNonce(address account, uint256 currentNonce);

    mapping(address account => uint256) private _nonces;

    /**
     * @dev Returns the next unused nonce for an address.
     */
    function nonces(address owner) public view virtual returns (uint256) {
        return _nonces[owner];
    }

    /**
     * @dev Consumes a nonce.
     *
     * Returns the current value and increments nonce.
     */
    function _useNonce(address owner) internal virtual returns (uint256) {
        // For each account, the nonce has an initial value of 0, can only be incremented by one, and cannot be
        // decremented or reset. This guarantees that the nonce never overflows.
        unchecked {
            // It is important to do x++ and not ++x here.
            return _nonces[owner]++;
        }
    }

    /**
     * @dev Same as {_useNonce} but checking that `nonce` is the next valid for `owner`.
     */
    function _useCheckedNonce(address owner, uint256 nonce) internal virtual {
        uint256 current = _useNonce(owner);
        if (nonce != current) {
            revert InvalidAccountNonce(owner, current);
        }
    }
}

// File: @openzeppelin/contracts/interfaces/IERC5267.sol


// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/IERC5267.sol)

pragma solidity ^0.8.20;

interface IERC5267 {
    /**
     * @dev MAY be emitted to signal that the domain could have changed.
     */
    event EIP712DomainChanged();

    /**
     * @dev returns the fields and values that describe the domain separator used by this contract for EIP-712
     * signature.
     */
    function eip712Domain()
        external
        view
        returns (
            bytes1 fields,
            string memory name,
            string memory version,
            uint256 chainId,
            address verifyingContract,
            bytes32 salt,
            uint256[] memory extensions
        );
}

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


// OpenZeppelin Contracts (last updated v5.0.0) (utils/StorageSlot.sol)
// This file was procedurally generated from scripts/generate/templates/StorageSlot.js.

pragma solidity ^0.8.20;

/**
 * @dev Library for reading and writing primitive types to specific storage slots.
 *
 * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
 * This library helps with reading and writing to such slots without the need for inline assembly.
 *
 * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
 *
 * Example usage to set ERC1967 implementation slot:
 * ```solidity
 * contract ERC1967 {
 *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
 *
 *     function _getImplementation() internal view returns (address) {
 *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
 *     }
 *
 *     function _setImplementation(address newImplementation) internal {
 *         require(newImplementation.code.length > 0);
 *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
 *     }
 * }
 * ```
 */
library StorageSlot {
    struct AddressSlot {
        address value;
    }

    struct BooleanSlot {
        bool value;
    }

    struct Bytes32Slot {
        bytes32 value;
    }

    struct Uint256Slot {
        uint256 value;
    }

    struct StringSlot {
        string value;
    }

    struct BytesSlot {
        bytes value;
    }

    /**
     * @dev Returns an `AddressSlot` with member `value` located at `slot`.
     */
    function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `BooleanSlot` with member `value` located at `slot`.
     */
    function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `Bytes32Slot` with member `value` located at `slot`.
     */
    function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `Uint256Slot` with member `value` located at `slot`.
     */
    function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `StringSlot` with member `value` located at `slot`.
     */
    function getStringSlot(bytes32 slot) internal pure returns (StringSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `StringSlot` representation of the string storage pointer `store`.
     */
    function getStringSlot(string storage store) internal pure returns (StringSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := store.slot
        }
    }

    /**
     * @dev Returns an `BytesSlot` with member `value` located at `slot`.
     */
    function getBytesSlot(bytes32 slot) internal pure returns (BytesSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `BytesSlot` representation of the bytes storage pointer `store`.
     */
    function getBytesSlot(bytes storage store) internal pure returns (BytesSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := store.slot
        }
    }
}

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


// OpenZeppelin Contracts (last updated v5.0.0) (utils/ShortStrings.sol)

pragma solidity ^0.8.20;


// | string  | 0xAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA   |
// | length  | 0x                                                              BB |
type ShortString is bytes32;

/**
 * @dev This library provides functions to convert short memory strings
 * into a `ShortString` type that can be used as an immutable variable.
 *
 * Strings of arbitrary length can be optimized using this library if
 * they are short enough (up to 31 bytes) by packing them with their
 * length (1 byte) in a single EVM word (32 bytes). Additionally, a
 * fallback mechanism can be used for every other case.
 *
 * Usage example:
 *
 * ```solidity
 * contract Named {
 *     using ShortStrings for *;
 *
 *     ShortString private immutable _name;
 *     string private _nameFallback;
 *
 *     constructor(string memory contractName) {
 *         _name = contractName.toShortStringWithFallback(_nameFallback);
 *     }
 *
 *     function name() external view returns (string memory) {
 *         return _name.toStringWithFallback(_nameFallback);
 *     }
 * }
 * ```
 */
library ShortStrings {
    // Used as an identifier for strings longer than 31 bytes.
    bytes32 private constant FALLBACK_SENTINEL = 0x00000000000000000000000000000000000000000000000000000000000000FF;

    error StringTooLong(string str);
    error InvalidShortString();

    /**
     * @dev Encode a string of at most 31 chars into a `ShortString`.
     *
     * This will trigger a `StringTooLong` error is the input string is too long.
     */
    function toShortString(string memory str) internal pure returns (ShortString) {
        bytes memory bstr = bytes(str);
        if (bstr.length > 31) {
            revert StringTooLong(str);
        }
        return ShortString.wrap(bytes32(uint256(bytes32(bstr)) | bstr.length));
    }

    /**
     * @dev Decode a `ShortString` back to a "normal" string.
     */
    function toString(ShortString sstr) internal pure returns (string memory) {
        uint256 len = byteLength(sstr);
        // using `new string(len)` would work locally but is not memory safe.
        string memory str = new string(32);
        /// @solidity memory-safe-assembly
        assembly {
            mstore(str, len)
            mstore(add(str, 0x20), sstr)
        }
        return str;
    }

    /**
     * @dev Return the length of a `ShortString`.
     */
    function byteLength(ShortString sstr) internal pure returns (uint256) {
        uint256 result = uint256(ShortString.unwrap(sstr)) & 0xFF;
        if (result > 31) {
            revert InvalidShortString();
        }
        return result;
    }

    /**
     * @dev Encode a string into a `ShortString`, or write it to storage if it is too long.
     */
    function toShortStringWithFallback(string memory value, string storage store) internal returns (ShortString) {
        if (bytes(value).length < 32) {
            return toShortString(value);
        } else {
            StorageSlot.getStringSlot(store).value = value;
            return ShortString.wrap(FALLBACK_SENTINEL);
        }
    }

    /**
     * @dev Decode a string that was encoded to `ShortString` or written to storage using {setWithFallback}.
     */
    function toStringWithFallback(ShortString value, string storage store) internal pure returns (string memory) {
        if (ShortString.unwrap(value) != FALLBACK_SENTINEL) {
            return toString(value);
        } else {
            return store;
        }
    }

    /**
     * @dev Return the length of a string that was encoded to `ShortString` or written to storage using
     * {setWithFallback}.
     *
     * WARNING: This will return the "byte length" of the string. This may not reflect the actual length in terms of
     * actual characters as the UTF-8 encoding of a single character can span over multiple bytes.
     */
    function byteLengthWithFallback(ShortString value, string storage store) internal view returns (uint256) {
        if (ShortString.unwrap(value) != FALLBACK_SENTINEL) {
            return byteLength(value);
        } else {
            return bytes(store).length;
        }
    }
}

// File: @openzeppelin/contracts/utils/math/SignedMath.sol


// OpenZeppelin Contracts (last updated v5.0.0) (utils/math/SignedMath.sol)

pragma solidity ^0.8.20;

/**
 * @dev Standard signed math utilities missing in the Solidity language.
 */
library SignedMath {
    /**
     * @dev Returns the largest of two signed numbers.
     */
    function max(int256 a, int256 b) internal pure returns (int256) {
        return a > b ? a : b;
    }

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

    /**
     * @dev Returns the average of two signed numbers without overflow.
     * The result is rounded towards zero.
     */
    function average(int256 a, int256 b) internal pure returns (int256) {
        // Formula from the book "Hacker's Delight"
        int256 x = (a & b) + ((a ^ b) >> 1);
        return x + (int256(uint256(x) >> 255) & (a ^ b));
    }

    /**
     * @dev Returns the absolute unsigned value of a signed value.
     */
    function abs(int256 n) internal pure returns (uint256) {
        unchecked {
            // must be unchecked in order to support `n = type(int256).min`
            return uint256(n >= 0 ? n : -n);
        }
    }
}

// File: @openzeppelin/contracts/utils/math/Math.sol


// OpenZeppelin Contracts (last updated v5.0.0) (utils/math/Math.sol)

pragma solidity ^0.8.20;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**
     * @dev Muldiv operation overflow.
     */
    error MathOverflowedMulDiv();

    enum Rounding {
        Floor, // Toward negative infinity
        Ceil, // Toward positive infinity
        Trunc, // Toward zero
        Expand // Away from zero
    }

    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, with an overflow flag.
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
            // benefit is lost if 'b' is also tested.
            // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    /**
     * @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 towards infinity instead
     * of rounding towards zero.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        if (b == 0) {
            // Guarantee the same behavior as in a regular Solidity division.
            return a / b;
        }

        // (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 = x * y; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 0) {
                // Solidity will revert if denominator == 0, unlike the div opcode on its own.
                // The surrounding unchecked block does not change this fact.
                // See https://docs.soliditylang.org/en/latest/control-structures.html#checked-or-unchecked-arithmetic.
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            if (denominator <= prod1) {
                revert MathOverflowedMulDiv();
            }

            ///////////////////////////////////////////////
            // 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.

            uint256 twos = denominator & (0 - denominator);
            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 (unsignedRoundsUp(rounding) && mulmod(x, y, denominator) > 0) {
            result += 1;
        }
        return result;
    }

    /**
     * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded
     * towards zero.
     *
     * 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)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.
        //
        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`
        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`
        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`
        //
        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1 << (log2(a) >> 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) {
        unchecked {
            uint256 result = sqrt(a);
            return result + (unsignedRoundsUp(rounding) && result * result < a ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 2 of a positive value rounded towards zero.
     * Returns 0 if given 0.
     */
    function log2(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 128;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 64;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 32;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 16;
            }
            if (value >> 8 > 0) {
                value >>= 8;
                result += 8;
            }
            if (value >> 4 > 0) {
                value >>= 4;
                result += 4;
            }
            if (value >> 2 > 0) {
                value >>= 2;
                result += 2;
            }
            if (value >> 1 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 2, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log2(value);
            return result + (unsignedRoundsUp(rounding) && 1 << result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 10 of a positive value rounded towards zero.
     * Returns 0 if given 0.
     */
    function log10(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >= 10 ** 64) {
                value /= 10 ** 64;
                result += 64;
            }
            if (value >= 10 ** 32) {
                value /= 10 ** 32;
                result += 32;
            }
            if (value >= 10 ** 16) {
                value /= 10 ** 16;
                result += 16;
            }
            if (value >= 10 ** 8) {
                value /= 10 ** 8;
                result += 8;
            }
            if (value >= 10 ** 4) {
                value /= 10 ** 4;
                result += 4;
            }
            if (value >= 10 ** 2) {
                value /= 10 ** 2;
                result += 2;
            }
            if (value >= 10 ** 1) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log10(value);
            return result + (unsignedRoundsUp(rounding) && 10 ** result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 256 of a positive value rounded towards zero.
     * Returns 0 if given 0.
     *
     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
     */
    function log256(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 16;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 8;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 4;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 2;
            }
            if (value >> 8 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 256, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log256(value);
            return result + (unsignedRoundsUp(rounding) && 1 << (result << 3) < value ? 1 : 0);
        }
    }

    /**
     * @dev Returns whether a provided rounding mode is considered rounding up for unsigned integers.
     */
    function unsignedRoundsUp(Rounding rounding) internal pure returns (bool) {
        return uint8(rounding) % 2 == 1;
    }
}

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


// OpenZeppelin Contracts (last updated v5.0.0) (utils/Strings.sol)

pragma solidity ^0.8.20;



/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant HEX_DIGITS = "0123456789abcdef";
    uint8 private constant ADDRESS_LENGTH = 20;

    /**
     * @dev The `value` string doesn't fit in the specified `length`.
     */
    error StringsInsufficientHexLength(uint256 value, uint256 length);

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        unchecked {
            uint256 length = Math.log10(value) + 1;
            string memory buffer = new string(length);
            uint256 ptr;
            /// @solidity memory-safe-assembly
            assembly {
                ptr := add(buffer, add(32, length))
            }
            while (true) {
                ptr--;
                /// @solidity memory-safe-assembly
                assembly {
                    mstore8(ptr, byte(mod(value, 10), HEX_DIGITS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

    /**
     * @dev Converts a `int256` to its ASCII `string` decimal representation.
     */
    function toStringSigned(int256 value) internal pure returns (string memory) {
        return string.concat(value < 0 ? "-" : "", toString(SignedMath.abs(value)));
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        unchecked {
            return toHexString(value, Math.log256(value) + 1);
        }
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.
     */
    function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {
        uint256 localValue = value;
        bytes memory buffer = new bytes(2 * length + 2);
        buffer[0] = "0";
        buffer[1] = "x";
        for (uint256 i = 2 * length + 1; i > 1; --i) {
            buffer[i] = HEX_DIGITS[localValue & 0xf];
            localValue >>= 4;
        }
        if (localValue != 0) {
            revert StringsInsufficientHexLength(value, length);
        }
        return string(buffer);
    }

    /**
     * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal
     * representation.
     */
    function toHexString(address addr) internal pure returns (string memory) {
        return toHexString(uint256(uint160(addr)), ADDRESS_LENGTH);
    }

    /**
     * @dev Returns true if the two strings are equal.
     */
    function equal(string memory a, string memory b) internal pure returns (bool) {
        return bytes(a).length == bytes(b).length && keccak256(bytes(a)) == keccak256(bytes(b));
    }
}

// File: @openzeppelin/contracts/utils/cryptography/MessageHashUtils.sol


// OpenZeppelin Contracts (last updated v5.0.0) (utils/cryptography/MessageHashUtils.sol)

pragma solidity ^0.8.20;


/**
 * @dev Signature message hash utilities for producing digests to be consumed by {ECDSA} recovery or signing.
 *
 * The library provides methods for generating a hash of a message that conforms to the
 * https://eips.ethereum.org/EIPS/eip-191[EIP 191] and https://eips.ethereum.org/EIPS/eip-712[EIP 712]
 * specifications.
 */
library MessageHashUtils {
    /**
     * @dev Returns the keccak256 digest of an EIP-191 signed data with version
     * `0x45` (`personal_sign` messages).
     *
     * The digest is calculated by prefixing a bytes32 `messageHash` with
     * `"\x19Ethereum Signed Message:\n32"` and hashing the result. It corresponds with the
     * hash signed when using the https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`] JSON-RPC method.
     *
     * NOTE: The `messageHash` parameter is intended to be the result of hashing a raw message with
     * keccak256, although any bytes32 value can be safely used because the final digest will
     * be re-hashed.
     *
     * See {ECDSA-recover}.
     */
    function toEthSignedMessageHash(bytes32 messageHash) internal pure returns (bytes32 digest) {
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x00, "\x19Ethereum Signed Message:\n32") // 32 is the bytes-length of messageHash
            mstore(0x1c, messageHash) // 0x1c (28) is the length of the prefix
            digest := keccak256(0x00, 0x3c) // 0x3c is the length of the prefix (0x1c) + messageHash (0x20)
        }
    }

    /**
     * @dev Returns the keccak256 digest of an EIP-191 signed data with version
     * `0x45` (`personal_sign` messages).
     *
     * The digest is calculated by prefixing an arbitrary `message` with
     * `"\x19Ethereum Signed Message:\n" + len(message)` and hashing the result. It corresponds with the
     * hash signed when using the https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`] JSON-RPC method.
     *
     * See {ECDSA-recover}.
     */
    function toEthSignedMessageHash(bytes memory message) internal pure returns (bytes32) {
        return
            keccak256(bytes.concat("\x19Ethereum Signed Message:\n", bytes(Strings.toString(message.length)), message));
    }

    /**
     * @dev Returns the keccak256 digest of an EIP-191 signed data with version
     * `0x00` (data with intended validator).
     *
     * The digest is calculated by prefixing an arbitrary `data` with `"\x19\x00"` and the intended
     * `validator` address. Then hashing the result.
     *
     * See {ECDSA-recover}.
     */
    function toDataWithIntendedValidatorHash(address validator, bytes memory data) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked(hex"19_00", validator, data));
    }

    /**
     * @dev Returns the keccak256 digest of an EIP-712 typed data (EIP-191 version `0x01`).
     *
     * The digest is calculated from a `domainSeparator` and a `structHash`, by prefixing them with
     * `\x19\x01` and hashing the result. It corresponds to the hash signed by the
     * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`] JSON-RPC method as part of EIP-712.
     *
     * See {ECDSA-recover}.
     */
    function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash) internal pure returns (bytes32 digest) {
        /// @solidity memory-safe-assembly
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, hex"19_01")
            mstore(add(ptr, 0x02), domainSeparator)
            mstore(add(ptr, 0x22), structHash)
            digest := keccak256(ptr, 0x42)
        }
    }
}

// File: @openzeppelin/contracts/utils/cryptography/EIP712.sol


// OpenZeppelin Contracts (last updated v5.0.0) (utils/cryptography/EIP712.sol)

pragma solidity ^0.8.20;




/**
 * @dev https://eips.ethereum.org/EIPS/eip-712[EIP 712] is a standard for hashing and signing of typed structured data.
 *
 * The encoding scheme specified in the EIP requires a domain separator and a hash of the typed structured data, whose
 * encoding is very generic and therefore its implementation in Solidity is not feasible, thus this contract
 * does not implement the encoding itself. Protocols need to implement the type-specific encoding they need in order to
 * produce the hash of their typed data using a combination of `abi.encode` and `keccak256`.
 *
 * This contract implements the EIP 712 domain separator ({_domainSeparatorV4}) that is used as part of the encoding
 * scheme, and the final step of the encoding to obtain the message digest that is then signed via ECDSA
 * ({_hashTypedDataV4}).
 *
 * The implementation of the domain separator was designed to be as efficient as possible while still properly updating
 * the chain id to protect against replay attacks on an eventual fork of the chain.
 *
 * NOTE: This contract implements the version of the encoding known as "v4", as implemented by the JSON RPC method
 * https://docs.metamask.io/guide/signing-data.html[`eth_signTypedDataV4` in MetaMask].
 *
 * NOTE: In the upgradeable version of this contract, the cached values will correspond to the address, and the domain
 * separator of the implementation contract. This will cause the {_domainSeparatorV4} function to always rebuild the
 * separator from the immutable values, which is cheaper than accessing a cached version in cold storage.
 *
 * @custom:oz-upgrades-unsafe-allow state-variable-immutable
 */
abstract contract EIP712 is IERC5267 {
    using ShortStrings for *;

    bytes32 private constant TYPE_HASH =
        keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)");

    // Cache the domain separator as an immutable value, but also store the chain id that it corresponds to, in order to
    // invalidate the cached domain separator if the chain id changes.
    bytes32 private immutable _cachedDomainSeparator;
    uint256 private immutable _cachedChainId;
    address private immutable _cachedThis;

    bytes32 private immutable _hashedName;
    bytes32 private immutable _hashedVersion;

    ShortString private immutable _name;
    ShortString private immutable _version;
    string private _nameFallback;
    string private _versionFallback;

    /**
     * @dev Initializes the domain separator and parameter caches.
     *
     * The meaning of `name` and `version` is specified in
     * https://eips.ethereum.org/EIPS/eip-712#definition-of-domainseparator[EIP 712]:
     *
     * - `name`: the user readable name of the signing domain, i.e. the name of the DApp or the protocol.
     * - `version`: the current major version of the signing domain.
     *
     * NOTE: These parameters cannot be changed except through a xref:learn::upgrading-smart-contracts.adoc[smart
     * contract upgrade].
     */
    constructor(string memory name, string memory version) {
        _name = name.toShortStringWithFallback(_nameFallback);
        _version = version.toShortStringWithFallback(_versionFallback);
        _hashedName = keccak256(bytes(name));
        _hashedVersion = keccak256(bytes(version));

        _cachedChainId = block.chainid;
        _cachedDomainSeparator = _buildDomainSeparator();
        _cachedThis = address(this);
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (address(this) == _cachedThis && block.chainid == _cachedChainId) {
            return _cachedDomainSeparator;
        } else {
            return _buildDomainSeparator();
        }
    }

    function _buildDomainSeparator() private view returns (bytes32) {
        return keccak256(abi.encode(TYPE_HASH, _hashedName, _hashedVersion, block.chainid, address(this)));
    }

    /**
     * @dev Given an already https://eips.ethereum.org/EIPS/eip-712#definition-of-hashstruct[hashed struct], this
     * function returns the hash of the fully encoded EIP712 message for this domain.
     *
     * This hash can be used together with {ECDSA-recover} to obtain the signer of a message. For example:
     *
     * ```solidity
     * bytes32 digest = _hashTypedDataV4(keccak256(abi.encode(
     *     keccak256("Mail(address to,string contents)"),
     *     mailTo,
     *     keccak256(bytes(mailContents))
     * )));
     * address signer = ECDSA.recover(digest, signature);
     * ```
     */
    function _hashTypedDataV4(bytes32 structHash) internal view virtual returns (bytes32) {
        return MessageHashUtils.toTypedDataHash(_domainSeparatorV4(), structHash);
    }

    /**
     * @dev See {IERC-5267}.
     */
    function eip712Domain()
        public
        view
        virtual
        returns (
            bytes1 fields,
            string memory name,
            string memory version,
            uint256 chainId,
            address verifyingContract,
            bytes32 salt,
            uint256[] memory extensions
        )
    {
        return (
            hex"0f", // 01111
            _EIP712Name(),
            _EIP712Version(),
            block.chainid,
            address(this),
            bytes32(0),
            new uint256[](0)
        );
    }

    /**
     * @dev The name parameter for the EIP712 domain.
     *
     * NOTE: By default this function reads _name which is an immutable value.
     * It only reads from storage if necessary (in case the value is too large to fit in a ShortString).
     */
    // solhint-disable-next-line func-name-mixedcase
    function _EIP712Name() internal view returns (string memory) {
        return _name.toStringWithFallback(_nameFallback);
    }

    /**
     * @dev The version parameter for the EIP712 domain.
     *
     * NOTE: By default this function reads _version which is an immutable value.
     * It only reads from storage if necessary (in case the value is too large to fit in a ShortString).
     */
    // solhint-disable-next-line func-name-mixedcase
    function _EIP712Version() internal view returns (string memory) {
        return _version.toStringWithFallback(_versionFallback);
    }
}

// File: @openzeppelin/contracts/utils/cryptography/ECDSA.sol


// OpenZeppelin Contracts (last updated v5.0.0) (utils/cryptography/ECDSA.sol)

pragma solidity ^0.8.20;

/**
 * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
 *
 * These functions can be used to verify that a message was signed by the holder
 * of the private keys of a given address.
 */
library ECDSA {
    enum RecoverError {
        NoError,
        InvalidSignature,
        InvalidSignatureLength,
        InvalidSignatureS
    }

    /**
     * @dev The signature derives the `address(0)`.
     */
    error ECDSAInvalidSignature();

    /**
     * @dev The signature has an invalid length.
     */
    error ECDSAInvalidSignatureLength(uint256 length);

    /**
     * @dev The signature has an S value that is in the upper half order.
     */
    error ECDSAInvalidSignatureS(bytes32 s);

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with `signature` or an error. This will not
     * return address(0) without also returning an error description. Errors are documented using an enum (error type)
     * and a bytes32 providing additional information about the error.
     *
     * If no error is returned, then the address can be used for verification purposes.
     *
     * The `ecrecover` EVM precompile allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {MessageHashUtils-toEthSignedMessageHash} on it.
     *
     * Documentation for signature generation:
     * - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]
     * - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]
     */
    function tryRecover(bytes32 hash, bytes memory signature) internal pure returns (address, RecoverError, bytes32) {
        if (signature.length == 65) {
            bytes32 r;
            bytes32 s;
            uint8 v;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            /// @solidity memory-safe-assembly
            assembly {
                r := mload(add(signature, 0x20))
                s := mload(add(signature, 0x40))
                v := byte(0, mload(add(signature, 0x60)))
            }
            return tryRecover(hash, v, r, s);
        } else {
            return (address(0), RecoverError.InvalidSignatureLength, bytes32(signature.length));
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature`. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM precompile allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {MessageHashUtils-toEthSignedMessageHash} on it.
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        (address recovered, RecoverError error, bytes32 errorArg) = tryRecover(hash, signature);
        _throwError(error, errorArg);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `r` and `vs` short-signature fields separately.
     *
     * See https://eips.ethereum.org/EIPS/eip-2098[EIP-2098 short signatures]
     */
    function tryRecover(bytes32 hash, bytes32 r, bytes32 vs) internal pure returns (address, RecoverError, bytes32) {
        unchecked {
            bytes32 s = vs & bytes32(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
            // We do not check for an overflow here since the shift operation results in 0 or 1.
            uint8 v = uint8((uint256(vs) >> 255) + 27);
            return tryRecover(hash, v, r, s);
        }
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `r and `vs` short-signature fields separately.
     */
    function recover(bytes32 hash, bytes32 r, bytes32 vs) internal pure returns (address) {
        (address recovered, RecoverError error, bytes32 errorArg) = tryRecover(hash, r, vs);
        _throwError(error, errorArg);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `v`,
     * `r` and `s` signature fields separately.
     */
    function tryRecover(
        bytes32 hash,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal pure returns (address, RecoverError, bytes32) {
        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
        // the valid range for s in (301): 0 < s < secp256k1n ÷ 2 + 1, and for v in (302): v ∈ {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {
            return (address(0), RecoverError.InvalidSignatureS, s);
        }

        // If the signature is valid (and not malleable), return the signer address
        address signer = ecrecover(hash, v, r, s);
        if (signer == address(0)) {
            return (address(0), RecoverError.InvalidSignature, bytes32(0));
        }

        return (signer, RecoverError.NoError, bytes32(0));
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `v`,
     * `r` and `s` signature fields separately.
     */
    function recover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) internal pure returns (address) {
        (address recovered, RecoverError error, bytes32 errorArg) = tryRecover(hash, v, r, s);
        _throwError(error, errorArg);
        return recovered;
    }

    /**
     * @dev Optionally reverts with the corresponding custom error according to the `error` argument provided.
     */
    function _throwError(RecoverError error, bytes32 errorArg) private pure {
        if (error == RecoverError.NoError) {
            return; // no error: do nothing
        } else if (error == RecoverError.InvalidSignature) {
            revert ECDSAInvalidSignature();
        } else if (error == RecoverError.InvalidSignatureLength) {
            revert ECDSAInvalidSignatureLength(uint256(errorArg));
        } else if (error == RecoverError.InvalidSignatureS) {
            revert ECDSAInvalidSignatureS(errorArg);
        }
    }
}

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


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

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 *
 * ==== Security Considerations
 *
 * There are two important considerations concerning the use of `permit`. The first is that a valid permit signature
 * expresses an allowance, and it should not be assumed to convey additional meaning. In particular, it should not be
 * considered as an intention to spend the allowance in any specific way. The second is that because permits have
 * built-in replay protection and can be submitted by anyone, they can be frontrun. A protocol that uses permits should
 * take this into consideration and allow a `permit` call to fail. Combining these two aspects, a pattern that may be
 * generally recommended is:
 *
 * ```solidity
 * function doThingWithPermit(..., uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s) public {
 *     try token.permit(msg.sender, address(this), value, deadline, v, r, s) {} catch {}
 *     doThing(..., value);
 * }
 *
 * function doThing(..., uint256 value) public {
 *     token.safeTransferFrom(msg.sender, address(this), value);
 *     ...
 * }
 * ```
 *
 * Observe that: 1) `msg.sender` is used as the owner, leaving no ambiguity as to the signer intent, and 2) the use of
 * `try/catch` allows the permit to fail and makes the code tolerant to frontrunning. (See also
 * {SafeERC20-safeTransferFrom}).
 *
 * Additionally, note that smart contract wallets (such as Argent or Safe) are not able to produce permit signatures, so
 * contracts should have entry points that don't rely on permit.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     *
     * CAUTION: See Security Considerations above.
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    /**
     * @dev Returns the current nonce for `owner`. This value must be
     * included whenever a signature is generated for {permit}.
     *
     * Every successful call to {permit} increases ``owner``'s nonce by one. This
     * prevents a signature from being used multiple times.
     */
    function nonces(address owner) external view returns (uint256);

    /**
     * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view returns (bytes32);
}

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;

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

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

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

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


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

pragma solidity ^0.8.20;


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

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

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

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

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

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

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

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

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

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(newOwner);
    }

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

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


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

pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;


/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

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


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

pragma solidity ^0.8.20;





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

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

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

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

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

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

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

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

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

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _transfer(address from, address to, uint256 value) internal {
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        if (to == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(from, to, value);
    }

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

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

        emit Transfer(from, to, value);
    }

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

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

    /**
     * @dev Sets `value` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

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

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

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


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

pragma solidity ^0.8.20;






/**
 * @dev Implementation of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on `{IERC20-approve}`, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 */
abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712, Nonces {
    bytes32 private constant PERMIT_TYPEHASH =
        keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");

    /**
     * @dev Permit deadline has expired.
     */
    error ERC2612ExpiredSignature(uint256 deadline);

    /**
     * @dev Mismatched signature.
     */
    error ERC2612InvalidSigner(address signer, address owner);

    /**
     * @dev Initializes the {EIP712} domain separator using the `name` parameter, and setting `version` to `"1"`.
     *
     * It's a good idea to use the same `name` that is defined as the ERC20 token name.
     */
    constructor(string memory name) EIP712(name, "1") {}

    /**
     * @inheritdoc IERC20Permit
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        if (block.timestamp > deadline) {
            revert ERC2612ExpiredSignature(deadline);
        }

        bytes32 structHash = keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, _useNonce(owner), deadline));

        bytes32 hash = _hashTypedDataV4(structHash);

        address signer = ECDSA.recover(hash, v, r, s);
        if (signer != owner) {
            revert ERC2612InvalidSigner(signer, owner);
        }

        _approve(owner, spender, value);
    }

    /**
     * @inheritdoc IERC20Permit
     */
    function nonces(address owner) public view virtual override(IERC20Permit, Nonces) returns (uint256) {
        return super.nonces(owner);
    }

    /**
     * @inheritdoc IERC20Permit
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view virtual returns (bytes32) {
        return _domainSeparatorV4();
    }
}

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


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

pragma solidity ^0.8.20;



/**
 * @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 a `value` amount of tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 value) public virtual {
        _burn(_msgSender(), value);
    }

    /**
     * @dev Destroys a `value` amount of 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
     * `value`.
     */
    function burnFrom(address account, uint256 value) public virtual {
        _spendAllowance(account, _msgSender(), value);
        _burn(account, value);
    }
}

// File: contracts/Agravitae.sol


pragma solidity ^0.8.25;





contract Agravitae is ERC20, ERC20Burnable, ERC20Permit, Ownable {
    uint256 public constant INITIAL_MINT = 25e6 ether; // 25 million tokens with 18 decimal places
    uint256 public constant MAX_OWNER_MINTABLE = 25e6 ether; // Additional 25 million tokens cap
    uint256 public ownerMinted = 0; // Track how much the owner has minted additionally
    address public beneficiary = 0x761D0F390d865d8Ec6aCEF66a91B45fFD7576A5A;

    constructor()
        ERC20("Agravitae", "AGR")
        ERC20Permit("Agravitae")
        Ownable(msg.sender)
    {
        _mint(beneficiary, INITIAL_MINT); // Mint 25 million tokens to beneficiary on deployment
    }

    function mintAdditionalTokens(uint256 amount) public onlyOwner {
        require(
            ownerMinted + amount <= MAX_OWNER_MINTABLE,
            "Max owner mint limit exceeded"
        );
        _mint(beneficiary, amount);
        ownerMinted += amount;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"ECDSAInvalidSignature","type":"error"},{"inputs":[{"internalType":"uint256","name":"length","type":"uint256"}],"name":"ECDSAInvalidSignatureLength","type":"error"},{"inputs":[{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"ECDSAInvalidSignatureS","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"inputs":[{"internalType":"uint256","name":"deadline","type":"uint256"}],"name":"ERC2612ExpiredSignature","type":"error"},{"inputs":[{"internalType":"address","name":"signer","type":"address"},{"internalType":"address","name":"owner","type":"address"}],"name":"ERC2612InvalidSigner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"currentNonce","type":"uint256"}],"name":"InvalidAccountNonce","type":"error"},{"inputs":[],"name":"InvalidShortString","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"inputs":[{"internalType":"string","name":"str","type":"string"}],"name":"StringTooLong","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[],"name":"EIP712DomainChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"INITIAL_MINT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_OWNER_MINTABLE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"beneficiary","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"eip712Domain","outputs":[{"internalType":"bytes1","name":"fields","type":"bytes1"},{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"version","type":"string"},{"internalType":"uint256","name":"chainId","type":"uint256"},{"internalType":"address","name":"verifyingContract","type":"address"},{"internalType":"bytes32","name":"salt","type":"bytes32"},{"internalType":"uint256[]","name":"extensions","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mintAdditionalTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ownerMinted","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6101606040525f60095573761d0f390d865d8ec6acef66a91b45ffd7576a5a600a5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015610068575f80fd5b50336040518060400160405280600981526020017f4167726176697461650000000000000000000000000000000000000000000000815250806040518060400160405280600181526020017f31000000000000000000000000000000000000000000000000000000000000008152506040518060400160405280600981526020017f41677261766974616500000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f414752000000000000000000000000000000000000000000000000000000000081525081600390816101529190610981565b5080600490816101629190610981565b5050506101796005836102d160201b90919060201c565b61012081815250506101956006826102d160201b90919060201c565b6101408181525050818051906020012060e08181525050808051906020012061010081815250504660a081815250506101d261031e60201b60201c565b608081815250503073ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff16815250505050505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610280575f6040517f1e4fbdf70000000000000000000000000000000000000000000000000000000081526004016102779190610a8f565b60405180910390fd5b61028f8161037860201b60201c565b506102cc600a5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff166a14adf4b7320334b900000061043b60201b60201c565b610ce7565b5f6020835110156102f2576102eb836104c060201b60201c565b9050610318565b826103028361052560201b60201c565b5f0190816103109190610981565b5060ff5f1b90505b92915050565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60e05161010051463060405160200161035d959493929190610acf565b60405160208183030381529060405280519060200120905090565b5f60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036104ab575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016104a29190610a8f565b60405180910390fd5b6104bc5f838361052e60201b60201c565b5050565b5f80829050601f8151111561050c57826040517f305a27a90000000000000000000000000000000000000000000000000000000081526004016105039190610b86565b60405180910390fd5b80518161051890610bd3565b5f1c175f1b915050919050565b5f819050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361057e578060025f8282546105729190610c66565b9250508190555061064c565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610607578381836040517fe450d38c0000000000000000000000000000000000000000000000000000000081526004016105fe93929190610c99565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610693578060025f82825403925050819055506106dd565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161073a9190610cce565b60405180910390a3505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806107c257607f821691505b6020821081036107d5576107d461077e565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026108377fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826107fc565b61084186836107fc565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61088561088061087b84610859565b610862565b610859565b9050919050565b5f819050919050565b61089e8361086b565b6108b26108aa8261088c565b848454610808565b825550505050565b5f90565b6108c66108ba565b6108d1818484610895565b505050565b5b818110156108f4576108e95f826108be565b6001810190506108d7565b5050565b601f8211156109395761090a816107db565b610913846107ed565b81016020851015610922578190505b61093661092e856107ed565b8301826108d6565b50505b505050565b5f82821c905092915050565b5f6109595f198460080261093e565b1980831691505092915050565b5f610971838361094a565b9150826002028217905092915050565b61098a82610747565b67ffffffffffffffff8111156109a3576109a2610751565b5b6109ad82546107ab565b6109b88282856108f8565b5f60209050601f8311600181146109e9575f84156109d7578287015190505b6109e18582610966565b865550610a48565b601f1984166109f7866107db565b5f5b82811015610a1e578489015182556001820191506020850194506020810190506109f9565b86831015610a3b5784890151610a37601f89168261094a565b8355505b6001600288020188555050505b505050505050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610a7982610a50565b9050919050565b610a8981610a6f565b82525050565b5f602082019050610aa25f830184610a80565b92915050565b5f819050919050565b610aba81610aa8565b82525050565b610ac981610859565b82525050565b5f60a082019050610ae25f830188610ab1565b610aef6020830187610ab1565b610afc6040830186610ab1565b610b096060830185610ac0565b610b166080830184610a80565b9695505050505050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610b5882610747565b610b628185610b20565b9350610b72818560208601610b30565b610b7b81610b3e565b840191505092915050565b5f6020820190508181035f830152610b9e8184610b4e565b905092915050565b5f81519050919050565b5f819050602082019050919050565b5f610bca8251610aa8565b80915050919050565b5f610bdd82610ba6565b82610be784610bb0565b9050610bf281610bbf565b92506020821015610c3257610c2d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff836020036008026107fc565b831692505b5050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610c7082610859565b9150610c7b83610859565b9250828201905080821115610c9357610c92610c39565b5b92915050565b5f606082019050610cac5f830186610a80565b610cb96020830185610ac0565b610cc66040830184610ac0565b949350505050565b5f602082019050610ce15f830184610ac0565b92915050565b60805160a05160c05160e0516101005161012051610140516121a2610d385f395f610f5101525f610f1601525f6114c901525f6114a801525f610c4b01525f610ca101525f610cca01526121a25ff3fe608060405234801561000f575f80fd5b506004361061014b575f3560e01c806379cc6790116100c1578063b364ec571161007a578063b364ec5714610395578063ca7df92c146103b3578063d2e56c5e146103d1578063d505accf146103ed578063dd62ed3e14610409578063f2fde38b146104395761014b565b806379cc6790146102b95780637ecebe00146102d557806384b0196e146103055780638da5cb5b1461032957806395d89b4114610347578063a9059cbb146103655761014b565b8063313ce56711610113578063313ce567146102095780633644e5151461022757806338af3eed1461024557806342966c681461026357806370a082311461027f578063715018a6146102af5761014b565b806306fdde031461014f578063095ea7b31461016d5780630bf7a6271461019d57806318160ddd146101bb57806323b872dd146101d9575b5f80fd5b610157610455565b604051610164919061197f565b60405180910390f35b61018760048036038101906101829190611a30565b6104e5565b6040516101949190611a88565b60405180910390f35b6101a5610507565b6040516101b29190611ab0565b60405180910390f35b6101c361050d565b6040516101d09190611ab0565b60405180910390f35b6101f360048036038101906101ee9190611ac9565b610516565b6040516102009190611a88565b60405180910390f35b610211610544565b60405161021e9190611b34565b60405180910390f35b61022f61054c565b60405161023c9190611b65565b60405180910390f35b61024d61055a565b60405161025a9190611b8d565b60405180910390f35b61027d60048036038101906102789190611ba6565b61057f565b005b61029960048036038101906102949190611bd1565b610593565b6040516102a69190611ab0565b60405180910390f35b6102b76105d8565b005b6102d360048036038101906102ce9190611a30565b6105eb565b005b6102ef60048036038101906102ea9190611bd1565b61060b565b6040516102fc9190611ab0565b60405180910390f35b61030d61061c565b6040516103209796959493929190611ced565b60405180910390f35b6103316106c1565b60405161033e9190611b8d565b60405180910390f35b61034f6106e9565b60405161035c919061197f565b60405180910390f35b61037f600480360381019061037a9190611a30565b610779565b60405161038c9190611a88565b60405180910390f35b61039d61079b565b6040516103aa9190611ab0565b60405180910390f35b6103bb6107aa565b6040516103c89190611ab0565b60405180910390f35b6103eb60048036038101906103e69190611ba6565b6107b9565b005b61040760048036038101906104029190611dc3565b610862565b005b610423600480360381019061041e9190611e60565b6109a7565b6040516104309190611ab0565b60405180910390f35b610453600480360381019061044e9190611bd1565b610a29565b005b60606003805461046490611ecb565b80601f016020809104026020016040519081016040528092919081815260200182805461049090611ecb565b80156104db5780601f106104b2576101008083540402835291602001916104db565b820191905f5260205f20905b8154815290600101906020018083116104be57829003601f168201915b5050505050905090565b5f806104ef610aad565b90506104fc818585610ab4565b600191505092915050565b60095481565b5f600254905090565b5f80610520610aad565b905061052d858285610ac6565b610538858585610b58565b60019150509392505050565b5f6012905090565b5f610555610c48565b905090565b600a5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61059061058a610aad565b82610cfe565b50565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6105e0610d7d565b6105e95f610e04565b565b6105fd826105f7610aad565b83610ac6565b6106078282610cfe565b5050565b5f61061582610ec7565b9050919050565b5f6060805f805f606061062d610f0d565b610635610f48565b46305f801b5f67ffffffffffffffff81111561065457610653611efb565b5b6040519080825280602002602001820160405280156106825781602001602082028036833780820191505090505b507f0f00000000000000000000000000000000000000000000000000000000000000959493929190965096509650965096509650965090919293949596565b5f60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546106f890611ecb565b80601f016020809104026020016040519081016040528092919081815260200182805461072490611ecb565b801561076f5780601f106107465761010080835404028352916020019161076f565b820191905f5260205f20905b81548152906001019060200180831161075257829003601f168201915b5050505050905090565b5f80610783610aad565b9050610790818585610b58565b600191505092915050565b6a14adf4b7320334b900000081565b6a14adf4b7320334b900000081565b6107c1610d7d565b6a14adf4b7320334b9000000816009546107db9190611f55565b111561081c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161081390611fd2565b60405180910390fd5b610847600a5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682610f83565b8060095f8282546108589190611f55565b9250508190555050565b834211156108a757836040517f6279130200000000000000000000000000000000000000000000000000000000815260040161089e9190611ab0565b60405180910390fd5b5f7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886108d58c611002565b896040516020016108eb96959493929190611ff0565b6040516020818303038152906040528051906020012090505f61090d82611055565b90505f61091c8287878761106e565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461099057808a6040517f4b800e4600000000000000000000000000000000000000000000000000000000815260040161098792919061204f565b60405180910390fd5b61099b8a8a8a610ab4565b50505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610a31610d7d565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610aa1575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610a989190611b8d565b60405180910390fd5b610aaa81610e04565b50565b5f33905090565b610ac1838383600161109c565b505050565b5f610ad184846109a7565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610b525781811015610b43578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610b3a93929190612076565b60405180910390fd5b610b5184848484035f61109c565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bc8575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610bbf9190611b8d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c38575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610c2f9190611b8d565b60405180910390fd5b610c4383838361126b565b505050565b5f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015610cc357507f000000000000000000000000000000000000000000000000000000000000000046145b15610cf0577f00000000000000000000000000000000000000000000000000000000000000009050610cfb565b610cf8611484565b90505b90565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d6e575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610d659190611b8d565b60405180910390fd5b610d79825f8361126b565b5050565b610d85610aad565b73ffffffffffffffffffffffffffffffffffffffff16610da36106c1565b73ffffffffffffffffffffffffffffffffffffffff1614610e0257610dc6610aad565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610df99190611b8d565b60405180910390fd5b565b5f60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f60075f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060610f4360057f000000000000000000000000000000000000000000000000000000000000000061151990919063ffffffff16565b905090565b6060610f7e60067f000000000000000000000000000000000000000000000000000000000000000061151990919063ffffffff16565b905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ff3575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610fea9190611b8d565b60405180910390fd5b610ffe5f838361126b565b5050565b5f60075f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050559050919050565b5f611067611061610c48565b836115c6565b9050919050565b5f805f8061107e88888888611606565b92509250925061108e82826116ed565b829350505050949350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361110c575f6040517fe602df050000000000000000000000000000000000000000000000000000000081526004016111039190611b8d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361117c575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016111739190611b8d565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015611265578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161125c9190611ab0565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036112bb578060025f8282546112af9190611f55565b92505081905550611389565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611344578381836040517fe450d38c00000000000000000000000000000000000000000000000000000000815260040161133b93929190612076565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036113d0578060025f828254039250508190555061141a565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516114779190611ab0565b60405180910390a3505050565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7f00000000000000000000000000000000000000000000000000000000000000007f000000000000000000000000000000000000000000000000000000000000000046306040516020016114fe9594939291906120ab565b60405160208183030381529060405280519060200120905090565b606060ff5f1b83146115355761152e8361184f565b90506115c0565b81805461154190611ecb565b80601f016020809104026020016040519081016040528092919081815260200182805461156d90611ecb565b80156115b85780601f1061158f576101008083540402835291602001916115b8565b820191905f5260205f20905b81548152906001019060200180831161159b57829003601f168201915b505050505090505b92915050565b5f6040517f190100000000000000000000000000000000000000000000000000000000000081528360028201528260228201526042812091505092915050565b5f805f7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0845f1c1115611642575f6003859250925092506116e3565b5f6001888888886040515f815260200160405260405161166594939291906120fc565b6020604051602081039080840390855afa158015611685573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036116d6575f60015f801b935093509350506116e3565b805f805f1b935093509350505b9450945094915050565b5f6003811115611700576116ff61213f565b5b8260038111156117135761171261213f565b5b031561184b576001600381111561172d5761172c61213f565b5b8260038111156117405761173f61213f565b5b03611777576040517ff645eedf00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6002600381111561178b5761178a61213f565b5b82600381111561179e5761179d61213f565b5b036117e257805f1c6040517ffce698f70000000000000000000000000000000000000000000000000000000081526004016117d99190611ab0565b60405180910390fd5b6003808111156117f5576117f461213f565b5b8260038111156118085761180761213f565b5b0361184a57806040517fd78bce0c0000000000000000000000000000000000000000000000000000000081526004016118419190611b65565b60405180910390fd5b5b5050565b60605f61185b836118c1565b90505f602067ffffffffffffffff81111561187957611878611efb565b5b6040519080825280601f01601f1916602001820160405280156118ab5781602001600182028036833780820191505090505b5090508181528360208201528092505050919050565b5f8060ff835f1c169050601f811115611906576040517fb3512b0c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6119518261190f565b61195b8185611919565b935061196b818560208601611929565b61197481611937565b840191505092915050565b5f6020820190508181035f8301526119978184611947565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6119cc826119a3565b9050919050565b6119dc816119c2565b81146119e6575f80fd5b50565b5f813590506119f7816119d3565b92915050565b5f819050919050565b611a0f816119fd565b8114611a19575f80fd5b50565b5f81359050611a2a81611a06565b92915050565b5f8060408385031215611a4657611a4561199f565b5b5f611a53858286016119e9565b9250506020611a6485828601611a1c565b9150509250929050565b5f8115159050919050565b611a8281611a6e565b82525050565b5f602082019050611a9b5f830184611a79565b92915050565b611aaa816119fd565b82525050565b5f602082019050611ac35f830184611aa1565b92915050565b5f805f60608486031215611ae057611adf61199f565b5b5f611aed868287016119e9565b9350506020611afe868287016119e9565b9250506040611b0f86828701611a1c565b9150509250925092565b5f60ff82169050919050565b611b2e81611b19565b82525050565b5f602082019050611b475f830184611b25565b92915050565b5f819050919050565b611b5f81611b4d565b82525050565b5f602082019050611b785f830184611b56565b92915050565b611b87816119c2565b82525050565b5f602082019050611ba05f830184611b7e565b92915050565b5f60208284031215611bbb57611bba61199f565b5b5f611bc884828501611a1c565b91505092915050565b5f60208284031215611be657611be561199f565b5b5f611bf3848285016119e9565b91505092915050565b5f7fff0000000000000000000000000000000000000000000000000000000000000082169050919050565b611c3081611bfc565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b611c68816119fd565b82525050565b5f611c798383611c5f565b60208301905092915050565b5f602082019050919050565b5f611c9b82611c36565b611ca58185611c40565b9350611cb083611c50565b805f5b83811015611ce0578151611cc78882611c6e565b9750611cd283611c85565b925050600181019050611cb3565b5085935050505092915050565b5f60e082019050611d005f83018a611c27565b8181036020830152611d128189611947565b90508181036040830152611d268188611947565b9050611d356060830187611aa1565b611d426080830186611b7e565b611d4f60a0830185611b56565b81810360c0830152611d618184611c91565b905098975050505050505050565b611d7881611b19565b8114611d82575f80fd5b50565b5f81359050611d9381611d6f565b92915050565b611da281611b4d565b8114611dac575f80fd5b50565b5f81359050611dbd81611d99565b92915050565b5f805f805f805f60e0888a031215611dde57611ddd61199f565b5b5f611deb8a828b016119e9565b9750506020611dfc8a828b016119e9565b9650506040611e0d8a828b01611a1c565b9550506060611e1e8a828b01611a1c565b9450506080611e2f8a828b01611d85565b93505060a0611e408a828b01611daf565b92505060c0611e518a828b01611daf565b91505092959891949750929550565b5f8060408385031215611e7657611e7561199f565b5b5f611e83858286016119e9565b9250506020611e94858286016119e9565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611ee257607f821691505b602082108103611ef557611ef4611e9e565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611f5f826119fd565b9150611f6a836119fd565b9250828201905080821115611f8257611f81611f28565b5b92915050565b7f4d6178206f776e6572206d696e74206c696d69742065786365656465640000005f82015250565b5f611fbc601d83611919565b9150611fc782611f88565b602082019050919050565b5f6020820190508181035f830152611fe981611fb0565b9050919050565b5f60c0820190506120035f830189611b56565b6120106020830188611b7e565b61201d6040830187611b7e565b61202a6060830186611aa1565b6120376080830185611aa1565b61204460a0830184611aa1565b979650505050505050565b5f6040820190506120625f830185611b7e565b61206f6020830184611b7e565b9392505050565b5f6060820190506120895f830186611b7e565b6120966020830185611aa1565b6120a36040830184611aa1565b949350505050565b5f60a0820190506120be5f830188611b56565b6120cb6020830187611b56565b6120d86040830186611b56565b6120e56060830185611aa1565b6120f26080830184611b7e565b9695505050505050565b5f60808201905061210f5f830187611b56565b61211c6020830186611b25565b6121296040830185611b56565b6121366060830184611b56565b95945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffdfea264697066735822122074880baac71ae93e94e017a3ae90c79b9f224c165b9f7741eb45f15bb073d14664736f6c63430008190033

0x608060405234801561000f575f80fd5b506004361061014b575f3560e01c806379cc6790116100c1578063b364ec571161007a578063b364ec5714610395578063ca7df92c146103b3578063d2e56c5e146103d1578063d505accf146103ed578063dd62ed3e14610409578063f2fde38b146104395761014b565b806379cc6790146102b95780637ecebe00146102d557806384b0196e146103055780638da5cb5b1461032957806395d89b4114610347578063a9059cbb146103655761014b565b8063313ce56711610113578063313ce567146102095780633644e5151461022757806338af3eed1461024557806342966c681461026357806370a082311461027f578063715018a6146102af5761014b565b806306fdde031461014f578063095ea7b31461016d5780630bf7a6271461019d57806318160ddd146101bb57806323b872dd146101d9575b5f80fd5b610157610455565b604051610164919061197f565b60405180910390f35b61018760048036038101906101829190611a30565b6104e5565b6040516101949190611a88565b60405180910390f35b6101a5610507565b6040516101b29190611ab0565b60405180910390f35b6101c361050d565b6040516101d09190611ab0565b60405180910390f35b6101f360048036038101906101ee9190611ac9565b610516565b6040516102009190611a88565b60405180910390f35b610211610544565b60405161021e9190611b34565b60405180910390f35b61022f61054c565b60405161023c9190611b65565b60405180910390f35b61024d61055a565b60405161025a9190611b8d565b60405180910390f35b61027d60048036038101906102789190611ba6565b61057f565b005b61029960048036038101906102949190611bd1565b610593565b6040516102a69190611ab0565b60405180910390f35b6102b76105d8565b005b6102d360048036038101906102ce9190611a30565b6105eb565b005b6102ef60048036038101906102ea9190611bd1565b61060b565b6040516102fc9190611ab0565b60405180910390f35b61030d61061c565b6040516103209796959493929190611ced565b60405180910390f35b6103316106c1565b60405161033e9190611b8d565b60405180910390f35b61034f6106e9565b60405161035c919061197f565b60405180910390f35b61037f600480360381019061037a9190611a30565b610779565b60405161038c9190611a88565b60405180910390f35b61039d61079b565b6040516103aa9190611ab0565b60405180910390f35b6103bb6107aa565b6040516103c89190611ab0565b60405180910390f35b6103eb60048036038101906103e69190611ba6565b6107b9565b005b61040760048036038101906104029190611dc3565b610862565b005b610423600480360381019061041e9190611e60565b6109a7565b6040516104309190611ab0565b60405180910390f35b610453600480360381019061044e9190611bd1565b610a29565b005b60606003805461046490611ecb565b80601f016020809104026020016040519081016040528092919081815260200182805461049090611ecb565b80156104db5780601f106104b2576101008083540402835291602001916104db565b820191905f5260205f20905b8154815290600101906020018083116104be57829003601f168201915b5050505050905090565b5f806104ef610aad565b90506104fc818585610ab4565b600191505092915050565b60095481565b5f600254905090565b5f80610520610aad565b905061052d858285610ac6565b610538858585610b58565b60019150509392505050565b5f6012905090565b5f610555610c48565b905090565b600a5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61059061058a610aad565b82610cfe565b50565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6105e0610d7d565b6105e95f610e04565b565b6105fd826105f7610aad565b83610ac6565b6106078282610cfe565b5050565b5f61061582610ec7565b9050919050565b5f6060805f805f606061062d610f0d565b610635610f48565b46305f801b5f67ffffffffffffffff81111561065457610653611efb565b5b6040519080825280602002602001820160405280156106825781602001602082028036833780820191505090505b507f0f00000000000000000000000000000000000000000000000000000000000000959493929190965096509650965096509650965090919293949596565b5f60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546106f890611ecb565b80601f016020809104026020016040519081016040528092919081815260200182805461072490611ecb565b801561076f5780601f106107465761010080835404028352916020019161076f565b820191905f5260205f20905b81548152906001019060200180831161075257829003601f168201915b5050505050905090565b5f80610783610aad565b9050610790818585610b58565b600191505092915050565b6a14adf4b7320334b900000081565b6a14adf4b7320334b900000081565b6107c1610d7d565b6a14adf4b7320334b9000000816009546107db9190611f55565b111561081c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161081390611fd2565b60405180910390fd5b610847600a5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682610f83565b8060095f8282546108589190611f55565b9250508190555050565b834211156108a757836040517f6279130200000000000000000000000000000000000000000000000000000000815260040161089e9190611ab0565b60405180910390fd5b5f7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886108d58c611002565b896040516020016108eb96959493929190611ff0565b6040516020818303038152906040528051906020012090505f61090d82611055565b90505f61091c8287878761106e565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461099057808a6040517f4b800e4600000000000000000000000000000000000000000000000000000000815260040161098792919061204f565b60405180910390fd5b61099b8a8a8a610ab4565b50505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610a31610d7d565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610aa1575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610a989190611b8d565b60405180910390fd5b610aaa81610e04565b50565b5f33905090565b610ac1838383600161109c565b505050565b5f610ad184846109a7565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610b525781811015610b43578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610b3a93929190612076565b60405180910390fd5b610b5184848484035f61109c565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bc8575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610bbf9190611b8d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c38575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610c2f9190611b8d565b60405180910390fd5b610c4383838361126b565b505050565b5f7f00000000000000000000000068191a272161e4339cd16034985f37ec487096af73ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015610cc357507f000000000000000000000000000000000000000000000000000000000000000146145b15610cf0577f73f598b146962070b0eabf4bf7b1762fa067442b939c8e3b4b0c17b9d41495499050610cfb565b610cf8611484565b90505b90565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d6e575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610d659190611b8d565b60405180910390fd5b610d79825f8361126b565b5050565b610d85610aad565b73ffffffffffffffffffffffffffffffffffffffff16610da36106c1565b73ffffffffffffffffffffffffffffffffffffffff1614610e0257610dc6610aad565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610df99190611b8d565b60405180910390fd5b565b5f60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f60075f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060610f4360057f416772617669746165000000000000000000000000000000000000000000000961151990919063ffffffff16565b905090565b6060610f7e60067f310000000000000000000000000000000000000000000000000000000000000161151990919063ffffffff16565b905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ff3575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610fea9190611b8d565b60405180910390fd5b610ffe5f838361126b565b5050565b5f60075f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050559050919050565b5f611067611061610c48565b836115c6565b9050919050565b5f805f8061107e88888888611606565b92509250925061108e82826116ed565b829350505050949350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361110c575f6040517fe602df050000000000000000000000000000000000000000000000000000000081526004016111039190611b8d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361117c575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016111739190611b8d565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015611265578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161125c9190611ab0565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036112bb578060025f8282546112af9190611f55565b92505081905550611389565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611344578381836040517fe450d38c00000000000000000000000000000000000000000000000000000000815260040161133b93929190612076565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036113d0578060025f828254039250508190555061141a565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516114779190611ab0565b60405180910390a3505050565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7faa210090478447cd35a00f038d6cc7b844dd0a57fcc303f95948eb65e15889897fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016114fe9594939291906120ab565b60405160208183030381529060405280519060200120905090565b606060ff5f1b83146115355761152e8361184f565b90506115c0565b81805461154190611ecb565b80601f016020809104026020016040519081016040528092919081815260200182805461156d90611ecb565b80156115b85780601f1061158f576101008083540402835291602001916115b8565b820191905f5260205f20905b81548152906001019060200180831161159b57829003601f168201915b505050505090505b92915050565b5f6040517f190100000000000000000000000000000000000000000000000000000000000081528360028201528260228201526042812091505092915050565b5f805f7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0845f1c1115611642575f6003859250925092506116e3565b5f6001888888886040515f815260200160405260405161166594939291906120fc565b6020604051602081039080840390855afa158015611685573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036116d6575f60015f801b935093509350506116e3565b805f805f1b935093509350505b9450945094915050565b5f6003811115611700576116ff61213f565b5b8260038111156117135761171261213f565b5b031561184b576001600381111561172d5761172c61213f565b5b8260038111156117405761173f61213f565b5b03611777576040517ff645eedf00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6002600381111561178b5761178a61213f565b5b82600381111561179e5761179d61213f565b5b036117e257805f1c6040517ffce698f70000000000000000000000000000000000000000000000000000000081526004016117d99190611ab0565b60405180910390fd5b6003808111156117f5576117f461213f565b5b8260038111156118085761180761213f565b5b0361184a57806040517fd78bce0c0000000000000000000000000000000000000000000000000000000081526004016118419190611b65565b60405180910390fd5b5b5050565b60605f61185b836118c1565b90505f602067ffffffffffffffff81111561187957611878611efb565b5b6040519080825280601f01601f1916602001820160405280156118ab5781602001600182028036833780820191505090505b5090508181528360208201528092505050919050565b5f8060ff835f1c169050601f811115611906576040517fb3512b0c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6119518261190f565b61195b8185611919565b935061196b818560208601611929565b61197481611937565b840191505092915050565b5f6020820190508181035f8301526119978184611947565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6119cc826119a3565b9050919050565b6119dc816119c2565b81146119e6575f80fd5b50565b5f813590506119f7816119d3565b92915050565b5f819050919050565b611a0f816119fd565b8114611a19575f80fd5b50565b5f81359050611a2a81611a06565b92915050565b5f8060408385031215611a4657611a4561199f565b5b5f611a53858286016119e9565b9250506020611a6485828601611a1c565b9150509250929050565b5f8115159050919050565b611a8281611a6e565b82525050565b5f602082019050611a9b5f830184611a79565b92915050565b611aaa816119fd565b82525050565b5f602082019050611ac35f830184611aa1565b92915050565b5f805f60608486031215611ae057611adf61199f565b5b5f611aed868287016119e9565b9350506020611afe868287016119e9565b9250506040611b0f86828701611a1c565b9150509250925092565b5f60ff82169050919050565b611b2e81611b19565b82525050565b5f602082019050611b475f830184611b25565b92915050565b5f819050919050565b611b5f81611b4d565b82525050565b5f602082019050611b785f830184611b56565b92915050565b611b87816119c2565b82525050565b5f602082019050611ba05f830184611b7e565b92915050565b5f60208284031215611bbb57611bba61199f565b5b5f611bc884828501611a1c565b91505092915050565b5f60208284031215611be657611be561199f565b5b5f611bf3848285016119e9565b91505092915050565b5f7fff0000000000000000000000000000000000000000000000000000000000000082169050919050565b611c3081611bfc565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b611c68816119fd565b82525050565b5f611c798383611c5f565b60208301905092915050565b5f602082019050919050565b5f611c9b82611c36565b611ca58185611c40565b9350611cb083611c50565b805f5b83811015611ce0578151611cc78882611c6e565b9750611cd283611c85565b925050600181019050611cb3565b5085935050505092915050565b5f60e082019050611d005f83018a611c27565b8181036020830152611d128189611947565b90508181036040830152611d268188611947565b9050611d356060830187611aa1565b611d426080830186611b7e565b611d4f60a0830185611b56565b81810360c0830152611d618184611c91565b905098975050505050505050565b611d7881611b19565b8114611d82575f80fd5b50565b5f81359050611d9381611d6f565b92915050565b611da281611b4d565b8114611dac575f80fd5b50565b5f81359050611dbd81611d99565b92915050565b5f805f805f805f60e0888a031215611dde57611ddd61199f565b5b5f611deb8a828b016119e9565b9750506020611dfc8a828b016119e9565b9650506040611e0d8a828b01611a1c565b9550506060611e1e8a828b01611a1c565b9450506080611e2f8a828b01611d85565b93505060a0611e408a828b01611daf565b92505060c0611e518a828b01611daf565b91505092959891949750929550565b5f8060408385031215611e7657611e7561199f565b5b5f611e83858286016119e9565b9250506020611e94858286016119e9565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611ee257607f821691505b602082108103611ef557611ef4611e9e565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611f5f826119fd565b9150611f6a836119fd565b9250828201905080821115611f8257611f81611f28565b5b92915050565b7f4d6178206f776e6572206d696e74206c696d69742065786365656465640000005f82015250565b5f611fbc601d83611919565b9150611fc782611f88565b602082019050919050565b5f6020820190508181035f830152611fe981611fb0565b9050919050565b5f60c0820190506120035f830189611b56565b6120106020830188611b7e565b61201d6040830187611b7e565b61202a6060830186611aa1565b6120376080830185611aa1565b61204460a0830184611aa1565b979650505050505050565b5f6040820190506120625f830185611b7e565b61206f6020830184611b7e565b9392505050565b5f6060820190506120895f830186611b7e565b6120966020830185611aa1565b6120a36040830184611aa1565b949350505050565b5f60a0820190506120be5f830188611b56565b6120cb6020830187611b56565b6120d86040830186611b56565b6120e56060830185611aa1565b6120f26080830184611b7e565b9695505050505050565b5f60808201905061210f5f830187611b56565b61211c6020830186611b25565b6121296040830185611b56565b6121366060830184611b56565b95945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffdfea264697066735822122074880baac71ae93e94e017a3ae90c79b9f224c165b9f7741eb45f15bb073d14664736f6c63430008190033

82967:945:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;69738:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;72031:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;83237:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;70840:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;72799:249;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;70691:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;81591:114;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;83326:71;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;82307:89;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;71002:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;63351:103;;;:::i;:::-;;82725:161;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;81333:145;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;39863:580;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;;;;;;;;62676:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;69948:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;71325:182;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;83139:55;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;83039:49;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;83637:272;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;80579:695;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;71570:142;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;63609:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;69738:91;69783:13;69816:5;69809:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;69738:91;:::o;72031:190::-;72104:4;72121:13;72137:12;:10;:12::i;:::-;72121:28;;72160:31;72169:5;72176:7;72185:5;72160:8;:31::i;:::-;72209:4;72202:11;;;72031:190;;;;:::o;83237:30::-;;;;:::o;70840:99::-;70892:7;70919:12;;70912:19;;70840:99;:::o;72799:249::-;72886:4;72903:15;72921:12;:10;:12::i;:::-;72903:30;;72944:37;72960:4;72966:7;72975:5;72944:15;:37::i;:::-;72992:26;73002:4;73008:2;73012:5;72992:9;:26::i;:::-;73036:4;73029:11;;;72799:249;;;;;:::o;70691:84::-;70740:5;70765:2;70758:9;;70691:84;:::o;81591:114::-;81650:7;81677:20;:18;:20::i;:::-;81670:27;;81591:114;:::o;83326:71::-;;;;;;;;;;;;;:::o;82307:89::-;82362:26;82368:12;:10;:12::i;:::-;82382:5;82362;:26::i;:::-;82307:89;:::o;71002:118::-;71067:7;71094:9;:18;71104:7;71094:18;;;;;;;;;;;;;;;;71087:25;;71002:118;;;:::o;63351:103::-;62562:13;:11;:13::i;:::-;63416:30:::1;63443:1;63416:18;:30::i;:::-;63351:103::o:0;82725:161::-;82801:45;82817:7;82826:12;:10;:12::i;:::-;82840:5;82801:15;:45::i;:::-;82857:21;82863:7;82872:5;82857;:21::i;:::-;82725:161;;:::o;81333:145::-;81424:7;81451:19;81464:5;81451:12;:19::i;:::-;81444:26;;81333:145;;;:::o;39863:580::-;39966:13;39994:18;40027:21;40063:15;40093:25;40133:12;40160:27;40268:13;:11;:13::i;:::-;40296:16;:14;:16::i;:::-;40327:13;40363:4;40391:1;40383:10;;40422:1;40408:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40215:220;;;;;;;;;;;;;;;;;;;;;39863:580;;;;;;;:::o;62676:87::-;62722:7;62749:6;;;;;;;;;;;62742:13;;62676:87;:::o;69948:95::-;69995:13;70028:7;70021:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;69948:95;:::o;71325:182::-;71394:4;71411:13;71427:12;:10;:12::i;:::-;71411:28;;71450:27;71460:5;71467:2;71471:5;71450:9;:27::i;:::-;71495:4;71488:11;;;71325:182;;;;:::o;83139:55::-;83184:10;83139:55;:::o;83039:49::-;83078:10;83039:49;:::o;83637:272::-;62562:13;:11;:13::i;:::-;83184:10:::1;83747:6;83733:11;;:20;;;;:::i;:::-;:42;;83711:121;;;;;;;;;;;;:::i;:::-;;;;;;;;;83843:26;83849:11;;;;;;;;;;;83862:6;83843:5;:26::i;:::-;83895:6;83880:11;;:21;;;;;;;:::i;:::-;;;;;;;;83637:272:::0;:::o;80579:695::-;80809:8;80791:15;:26;80787:99;;;80865:8;80841:33;;;;;;;;;;;:::i;:::-;;;;;;;;80787:99;80898:18;79899:95;80957:5;80964:7;80973:5;80980:16;80990:5;80980:9;:16::i;:::-;80998:8;80929:78;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;80919:89;;;;;;80898:110;;81021:12;81036:28;81053:10;81036:16;:28::i;:::-;81021:43;;81077:14;81094:28;81108:4;81114:1;81117;81120;81094:13;:28::i;:::-;81077:45;;81147:5;81137:15;;:6;:15;;;81133:90;;81197:6;81205:5;81176:35;;;;;;;;;;;;:::i;:::-;;;;;;;;81133:90;81235:31;81244:5;81251:7;81260:5;81235:8;:31::i;:::-;80776:498;;;80579:695;;;;;;;:::o;71570:142::-;71650:7;71677:11;:18;71689:5;71677:18;;;;;;;;;;;;;;;:27;71696:7;71677:27;;;;;;;;;;;;;;;;71670:34;;71570:142;;;;:::o;63609:220::-;62562:13;:11;:13::i;:::-;63714:1:::1;63694:22;;:8;:22;;::::0;63690:93:::1;;63768:1;63740:31;;;;;;;;;;;:::i;:::-;;;;;;;;63690:93;63793:28;63812:8;63793:18;:28::i;:::-;63609:220:::0;:::o;60685:98::-;60738:7;60765:10;60758:17;;60685:98;:::o;76858:130::-;76943:37;76952:5;76959:7;76968:5;76975:4;76943:8;:37::i;:::-;76858:130;;;:::o;78574:487::-;78674:24;78701:25;78711:5;78718:7;78701:9;:25::i;:::-;78674:52;;78761:17;78741:16;:37;78737:317;;78818:5;78799:16;:24;78795:132;;;78878:7;78887:16;78905:5;78851:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;78795:132;78970:57;78979:5;78986:7;79014:5;78995:16;:24;79021:5;78970:8;:57::i;:::-;78737:317;78663:398;78574:487;;;:::o;73433:308::-;73533:1;73517:18;;:4;:18;;;73513:88;;73586:1;73559:30;;;;;;;;;;;:::i;:::-;;;;;;;;73513:88;73629:1;73615:16;;:2;:16;;;73611:88;;73684:1;73655:32;;;;;;;;;;;:::i;:::-;;;;;;;;73611:88;73709:24;73717:4;73723:2;73727:5;73709:7;:24::i;:::-;73433:308;;;:::o;38530:268::-;38583:7;38624:11;38607:28;;38615:4;38607:28;;;:63;;;;;38656:14;38639:13;:31;38607:63;38603:188;;;38694:22;38687:29;;;;38603:188;38756:23;:21;:23::i;:::-;38749:30;;38530:268;;:::o;76094:211::-;76184:1;76165:21;;:7;:21;;;76161:91;;76237:1;76210:30;;;;;;;;;;;:::i;:::-;;;;;;;;76161:91;76262:35;76270:7;76287:1;76291:5;76262:7;:35::i;:::-;76094:211;;:::o;62841:166::-;62912:12;:10;:12::i;:::-;62901:23;;:7;:5;:7::i;:::-;:23;;;62897:103;;62975:12;:10;:12::i;:::-;62948:40;;;;;;;;;;;:::i;:::-;;;;;;;;62897:103;62841:166::o;63989:191::-;64063:16;64082:6;;;;;;;;;;;64063:25;;64108:8;64099:6;;:17;;;;;;;;;;;;;;;;;;64163:8;64132:40;;64153:8;64132:40;;;;;;;;;;;;64052:128;63989:191;:::o;578:109::-;638:7;665;:14;673:5;665:14;;;;;;;;;;;;;;;;658:21;;578:109;;;:::o;40772:128::-;40818:13;40851:41;40878:13;40851:5;:26;;:41;;;;:::i;:::-;40844:48;;40772:128;:::o;41235:137::-;41284:13;41317:47;41347:16;41317:8;:29;;:47;;;;:::i;:::-;41310:54;;41235:137;:::o;75553:213::-;75643:1;75624:21;;:7;:21;;;75620:93;;75698:1;75669:32;;;;;;;;;;;:::i;:::-;;;;;;;;75620:93;75723:35;75739:1;75743:7;75752:5;75723:7;:35::i;:::-;75553:213;;:::o;808:402::-;868:7;1175;:14;1183:5;1175:14;;;;;;;;;;;;;;;;:16;;;;;;;;;;;;1168:23;;808:402;;;:::o;39629:178::-;39706:7;39733:66;39766:20;:18;:20::i;:::-;39788:10;39733:32;:66::i;:::-;39726:73;;39629:178;;;:::o;48369:264::-;48454:7;48475:17;48494:18;48514:16;48534:25;48545:4;48551:1;48554;48557;48534:10;:25::i;:::-;48474:85;;;;;;48570:28;48582:5;48589:8;48570:11;:28::i;:::-;48616:9;48609:16;;;;;48369:264;;;;;;:::o;77839:443::-;77969:1;77952:19;;:5;:19;;;77948:91;;78024:1;77995:32;;;;;;;;;;;:::i;:::-;;;;;;;;77948:91;78072:1;78053:21;;:7;:21;;;78049:92;;78126:1;78098:31;;;;;;;;;;;:::i;:::-;;;;;;;;78049:92;78181:5;78151:11;:18;78163:5;78151:18;;;;;;;;;;;;;;;:27;78170:7;78151:27;;;;;;;;;;;;;;;:35;;;;78201:9;78197:78;;;78248:7;78232:31;;78241:5;78232:31;;;78257:5;78232:31;;;;;;:::i;:::-;;;;;;;;78197:78;77839:443;;;;:::o;74065:1135::-;74171:1;74155:18;;:4;:18;;;74151:552;;74309:5;74293:12;;:21;;;;;;;:::i;:::-;;;;;;;;74151:552;;;74347:19;74369:9;:15;74379:4;74369:15;;;;;;;;;;;;;;;;74347:37;;74417:5;74403:11;:19;74399:117;;;74475:4;74481:11;74494:5;74450:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;74399:117;74671:5;74657:11;:19;74639:9;:15;74649:4;74639:15;;;;;;;;;;;;;;;:37;;;;74332:371;74151:552;74733:1;74719:16;;:2;:16;;;74715:435;;74901:5;74885:12;;:21;;;;;;;;;;;74715:435;;;75118:5;75101:9;:13;75111:2;75101:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;74715:435;75182:2;75167:25;;75176:4;75167:25;;;75186:5;75167:25;;;;;;:::i;:::-;;;;;;;;74065:1135;;;:::o;38806:181::-;38861:7;36722:95;38920:11;38933:14;38949:13;38972:4;38898:80;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;38888:91;;;;;;38881:98;;38806:181;:::o;9918:273::-;10012:13;7864:66;10071:17;;10061:5;10042:46;10038:146;;10112:15;10121:5;10112:8;:15::i;:::-;10105:22;;;;10038:146;10167:5;10160:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9918:273;;;;;:::o;34329:410::-;34422:14;34534:4;34528:11;34565:10;34560:3;34553:23;34613:15;34606:4;34601:3;34597:14;34590:39;34666:10;34659:4;34654:3;34650:14;34643:34;34716:4;34711:3;34701:20;34691:30;;34502:230;34329:410;;;;:::o;46674:1556::-;46805:7;46814:12;46828:7;47748:66;47743:1;47735:10;;:79;47731:166;;;47847:1;47851:30;47883:1;47831:54;;;;;;;;47731:166;47994:14;48011:24;48021:4;48027:1;48030;48033;48011:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;47994:41;;48068:1;48050:20;;:6;:20;;;48046:115;;48103:1;48107:29;48146:1;48138:10;;48087:62;;;;;;;;;48046:115;48181:6;48189:20;48219:1;48211:10;;48173:49;;;;;;;46674:1556;;;;;;;;;:::o;48771:542::-;48867:20;48858:29;;;;;;;;:::i;:::-;;:5;:29;;;;;;;;:::i;:::-;;;48854:452;48904:7;48854:452;48965:29;48956:38;;;;;;;;:::i;:::-;;:5;:38;;;;;;;;:::i;:::-;;;48952:354;;49018:23;;;;;;;;;;;;;;48952:354;49072:35;49063:44;;;;;;;;:::i;:::-;;:5;:44;;;;;;;;:::i;:::-;;;49059:247;;49167:8;49159:17;;49131:46;;;;;;;;;;;:::i;:::-;;;;;;;;49059:247;49208:30;49199:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;49195:111;;49285:8;49262:32;;;;;;;;;;;:::i;:::-;;;;;;;;49195:111;48771:542;;;:::o;8573:415::-;8632:13;8658:11;8672:16;8683:4;8672:10;:16::i;:::-;8658:30;;8778:17;8809:2;8798:14;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8778:34;;8903:3;8898;8891:16;8944:4;8937;8932:3;8928:14;8921:28;8977:3;8970:10;;;;8573:415;;;:::o;9065:251::-;9126:7;9146:14;9199:4;9190;9163:33;;:40;9146:57;;9227:2;9218:6;:11;9214:71;;;9253:20;;;;;;;;;;;;;;9214:71;9302:6;9295:13;;;9065:251;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:77::-;4783:7;4812:5;4801:16;;4746:77;;;:::o;4829:118::-;4916:24;4934:5;4916:24;:::i;:::-;4911:3;4904:37;4829:118;;:::o;4953:222::-;5046:4;5084:2;5073:9;5069:18;5061:26;;5097:71;5165:1;5154:9;5150:17;5141:6;5097:71;:::i;:::-;4953:222;;;;:::o;5181:118::-;5268:24;5286:5;5268:24;:::i;:::-;5263:3;5256:37;5181:118;;:::o;5305:222::-;5398:4;5436:2;5425:9;5421:18;5413:26;;5449:71;5517:1;5506:9;5502:17;5493:6;5449:71;:::i;:::-;5305:222;;;;:::o;5533:329::-;5592:6;5641:2;5629:9;5620:7;5616:23;5612:32;5609:119;;;5647:79;;:::i;:::-;5609:119;5767:1;5792:53;5837:7;5828:6;5817:9;5813:22;5792:53;:::i;:::-;5782:63;;5738:117;5533:329;;;;:::o;5868:::-;5927:6;5976:2;5964:9;5955:7;5951:23;5947:32;5944:119;;;5982:79;;:::i;:::-;5944:119;6102:1;6127:53;6172:7;6163:6;6152:9;6148:22;6127:53;:::i;:::-;6117:63;;6073:117;5868:329;;;;:::o;6203:149::-;6239:7;6279:66;6272:5;6268:78;6257:89;;6203:149;;;:::o;6358:115::-;6443:23;6460:5;6443:23;:::i;:::-;6438:3;6431:36;6358:115;;:::o;6479:114::-;6546:6;6580:5;6574:12;6564:22;;6479:114;;;:::o;6599:184::-;6698:11;6732:6;6727:3;6720:19;6772:4;6767:3;6763:14;6748:29;;6599:184;;;;:::o;6789:132::-;6856:4;6879:3;6871:11;;6909:4;6904:3;6900:14;6892:22;;6789:132;;;:::o;6927:108::-;7004:24;7022:5;7004:24;:::i;:::-;6999:3;6992:37;6927:108;;:::o;7041:179::-;7110:10;7131:46;7173:3;7165:6;7131:46;:::i;:::-;7209:4;7204:3;7200:14;7186:28;;7041:179;;;;:::o;7226:113::-;7296:4;7328;7323:3;7319:14;7311:22;;7226:113;;;:::o;7375:732::-;7494:3;7523:54;7571:5;7523:54;:::i;:::-;7593:86;7672:6;7667:3;7593:86;:::i;:::-;7586:93;;7703:56;7753:5;7703:56;:::i;:::-;7782:7;7813:1;7798:284;7823:6;7820:1;7817:13;7798:284;;;7899:6;7893:13;7926:63;7985:3;7970:13;7926:63;:::i;:::-;7919:70;;8012:60;8065:6;8012:60;:::i;:::-;8002:70;;7858:224;7845:1;7842;7838:9;7833:14;;7798:284;;;7802:14;8098:3;8091:10;;7499:608;;;7375:732;;;;:::o;8113:1215::-;8462:4;8500:3;8489:9;8485:19;8477:27;;8514:69;8580:1;8569:9;8565:17;8556:6;8514:69;:::i;:::-;8630:9;8624:4;8620:20;8615:2;8604:9;8600:18;8593:48;8658:78;8731:4;8722:6;8658:78;:::i;:::-;8650:86;;8783:9;8777:4;8773:20;8768:2;8757:9;8753:18;8746:48;8811:78;8884:4;8875:6;8811:78;:::i;:::-;8803:86;;8899:72;8967:2;8956:9;8952:18;8943:6;8899:72;:::i;:::-;8981:73;9049:3;9038:9;9034:19;9025:6;8981:73;:::i;:::-;9064;9132:3;9121:9;9117:19;9108:6;9064:73;:::i;:::-;9185:9;9179:4;9175:20;9169:3;9158:9;9154:19;9147:49;9213:108;9316:4;9307:6;9213:108;:::i;:::-;9205:116;;8113:1215;;;;;;;;;;:::o;9334:118::-;9405:22;9421:5;9405:22;:::i;:::-;9398:5;9395:33;9385:61;;9442:1;9439;9432:12;9385:61;9334:118;:::o;9458:135::-;9502:5;9540:6;9527:20;9518:29;;9556:31;9581:5;9556:31;:::i;:::-;9458:135;;;;:::o;9599:122::-;9672:24;9690:5;9672:24;:::i;:::-;9665:5;9662:35;9652:63;;9711:1;9708;9701:12;9652:63;9599:122;:::o;9727:139::-;9773:5;9811:6;9798:20;9789:29;;9827:33;9854:5;9827:33;:::i;:::-;9727:139;;;;:::o;9872:1199::-;9983:6;9991;9999;10007;10015;10023;10031;10080:3;10068:9;10059:7;10055:23;10051:33;10048:120;;;10087:79;;:::i;:::-;10048:120;10207:1;10232:53;10277:7;10268:6;10257:9;10253:22;10232:53;:::i;:::-;10222:63;;10178:117;10334:2;10360:53;10405:7;10396:6;10385:9;10381:22;10360:53;:::i;:::-;10350:63;;10305:118;10462:2;10488:53;10533:7;10524:6;10513:9;10509:22;10488:53;:::i;:::-;10478:63;;10433:118;10590:2;10616:53;10661:7;10652:6;10641:9;10637:22;10616:53;:::i;:::-;10606:63;;10561:118;10718:3;10745:51;10788:7;10779:6;10768:9;10764:22;10745:51;:::i;:::-;10735:61;;10689:117;10845:3;10872:53;10917:7;10908:6;10897:9;10893:22;10872:53;:::i;:::-;10862:63;;10816:119;10974:3;11001:53;11046:7;11037:6;11026:9;11022:22;11001:53;:::i;:::-;10991:63;;10945:119;9872:1199;;;;;;;;;;:::o;11077:474::-;11145:6;11153;11202:2;11190:9;11181:7;11177:23;11173:32;11170:119;;;11208:79;;:::i;:::-;11170:119;11328:1;11353:53;11398:7;11389:6;11378:9;11374:22;11353:53;:::i;:::-;11343:63;;11299:117;11455:2;11481:53;11526:7;11517:6;11506:9;11502:22;11481:53;:::i;:::-;11471:63;;11426:118;11077:474;;;;;:::o;11557:180::-;11605:77;11602:1;11595:88;11702:4;11699:1;11692:15;11726:4;11723:1;11716:15;11743:320;11787:6;11824:1;11818:4;11814:12;11804:22;;11871:1;11865:4;11861:12;11892:18;11882:81;;11948:4;11940:6;11936:17;11926:27;;11882:81;12010:2;12002:6;11999:14;11979:18;11976:38;11973:84;;12029:18;;:::i;:::-;11973:84;11794:269;11743:320;;;:::o;12069:180::-;12117:77;12114:1;12107:88;12214:4;12211:1;12204:15;12238:4;12235:1;12228:15;12255:180;12303:77;12300:1;12293:88;12400:4;12397:1;12390:15;12424:4;12421:1;12414:15;12441:191;12481:3;12500:20;12518:1;12500:20;:::i;:::-;12495:25;;12534:20;12552:1;12534:20;:::i;:::-;12529:25;;12577:1;12574;12570:9;12563:16;;12598:3;12595:1;12592:10;12589:36;;;12605:18;;:::i;:::-;12589:36;12441:191;;;;:::o;12638:179::-;12778:31;12774:1;12766:6;12762:14;12755:55;12638:179;:::o;12823:366::-;12965:3;12986:67;13050:2;13045:3;12986:67;:::i;:::-;12979:74;;13062:93;13151:3;13062:93;:::i;:::-;13180:2;13175:3;13171:12;13164:19;;12823:366;;;:::o;13195:419::-;13361:4;13399:2;13388:9;13384:18;13376:26;;13448:9;13442:4;13438:20;13434:1;13423:9;13419:17;13412:47;13476:131;13602:4;13476:131;:::i;:::-;13468:139;;13195:419;;;:::o;13620:775::-;13853:4;13891:3;13880:9;13876:19;13868:27;;13905:71;13973:1;13962:9;13958:17;13949:6;13905:71;:::i;:::-;13986:72;14054:2;14043:9;14039:18;14030:6;13986:72;:::i;:::-;14068;14136:2;14125:9;14121:18;14112:6;14068:72;:::i;:::-;14150;14218:2;14207:9;14203:18;14194:6;14150:72;:::i;:::-;14232:73;14300:3;14289:9;14285:19;14276:6;14232:73;:::i;:::-;14315;14383:3;14372:9;14368:19;14359:6;14315:73;:::i;:::-;13620:775;;;;;;;;;:::o;14401:332::-;14522:4;14560:2;14549:9;14545:18;14537:26;;14573:71;14641:1;14630:9;14626:17;14617:6;14573:71;:::i;:::-;14654:72;14722:2;14711:9;14707:18;14698:6;14654:72;:::i;:::-;14401:332;;;;;:::o;14739:442::-;14888:4;14926:2;14915:9;14911:18;14903:26;;14939:71;15007:1;14996:9;14992:17;14983:6;14939:71;:::i;:::-;15020:72;15088:2;15077:9;15073:18;15064:6;15020:72;:::i;:::-;15102;15170:2;15159:9;15155:18;15146:6;15102:72;:::i;:::-;14739:442;;;;;;:::o;15187:664::-;15392:4;15430:3;15419:9;15415:19;15407:27;;15444:71;15512:1;15501:9;15497:17;15488:6;15444:71;:::i;:::-;15525:72;15593:2;15582:9;15578:18;15569:6;15525:72;:::i;:::-;15607;15675:2;15664:9;15660:18;15651:6;15607:72;:::i;:::-;15689;15757:2;15746:9;15742:18;15733:6;15689:72;:::i;:::-;15771:73;15839:3;15828:9;15824:19;15815:6;15771:73;:::i;:::-;15187:664;;;;;;;;:::o;15857:545::-;16030:4;16068:3;16057:9;16053:19;16045:27;;16082:71;16150:1;16139:9;16135:17;16126:6;16082:71;:::i;:::-;16163:68;16227:2;16216:9;16212:18;16203:6;16163:68;:::i;:::-;16241:72;16309:2;16298:9;16294:18;16285:6;16241:72;:::i;:::-;16323;16391:2;16380:9;16376:18;16367:6;16323:72;:::i;:::-;15857:545;;;;;;;:::o;16408:180::-;16456:77;16453:1;16446:88;16553:4;16550:1;16543:15;16577:4;16574:1;16567:15

ipfs://74880baac71ae93e94e017a3ae90c79b9f224c165b9f7741eb45f15bb073d146