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 2023-08-04
*/

// SPDX-License-Identifier: MIT
/**
 *Submitted for verification at Etherscan.io on 2023-08-05
*/

// File: @openzeppelin/contracts@4.9.3/utils/Counters.sol


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

pragma solidity ^0.8.0;

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

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

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

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

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

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


// OpenZeppelin Contracts (last updated v4.9.0) (interfaces/IERC5267.sol)

pragma solidity ^0.8.0;

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@4.9.3/utils/StorageSlot.sol


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

pragma solidity ^0.8.0;

/**
 * @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(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
 *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
 *     }
 * }
 * ```
 *
 * _Available since v4.1 for `address`, `bool`, `bytes32`, `uint256`._
 * _Available since v4.9 for `string`, `bytes`._
 */
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@4.9.3/utils/ShortStrings.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/ShortStrings.sol)

pragma solidity ^0.8.8;


// | 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@4.9.3/utils/math/SignedMath.sol


// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/SignedMath.sol)

pragma solidity ^0.8.0;

/**
 * @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@4.9.3/utils/math/Math.sol


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

pragma solidity ^0.8.0;

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

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

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

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

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

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

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 0) {
                // 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.
            require(denominator > prod1, "Math: mulDiv overflow");

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

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

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

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

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

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

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

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

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

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

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

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

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

        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
        //
        // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
        // `msb(a) <= a < 2*msb(a)`. 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 + (rounding == Rounding.Up && result * result < a ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 2, rounded down, of a positive value.
     * 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 + (rounding == Rounding.Up && 1 << result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 10, rounded down, of a positive value.
     * 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 + (rounding == Rounding.Up && 10 ** result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 256, rounded down, of a positive value.
     * 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 + (rounding == Rounding.Up && 1 << (result << 3) < value ? 1 : 0);
        }
    }
}

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


// OpenZeppelin Contracts (last updated v4.9.0) (utils/Strings.sol)

pragma solidity ^0.8.0;



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

    /**
     * @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), _SYMBOLS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

    /**
     * @dev Converts a `int256` to its ASCII `string` decimal representation.
     */
    function toString(int256 value) internal pure returns (string memory) {
        return string(abi.encodePacked(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) {
        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] = _SYMBOLS[value & 0xf];
            value >>= 4;
        }
        require(value == 0, "Strings: hex length insufficient");
        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 keccak256(bytes(a)) == keccak256(bytes(b));
    }
}

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


// OpenZeppelin Contracts (last updated v4.9.0) (utils/cryptography/ECDSA.sol)

pragma solidity ^0.8.0;


/**
 * @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,
        InvalidSignatureV // Deprecated in v4.8
    }

    function _throwError(RecoverError error) private pure {
        if (error == RecoverError.NoError) {
            return; // no error: do nothing
        } else if (error == RecoverError.InvalidSignature) {
            revert("ECDSA: invalid signature");
        } else if (error == RecoverError.InvalidSignatureLength) {
            revert("ECDSA: invalid signature length");
        } else if (error == RecoverError.InvalidSignatureS) {
            revert("ECDSA: invalid signature 's' value");
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature` or error string. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode 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 {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]
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, bytes memory signature) internal pure returns (address, RecoverError) {
        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);
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature`. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode 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 {toEthSignedMessageHash} on it.
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, signature);
        _throwError(error);
        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]
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, bytes32 r, bytes32 vs) internal pure returns (address, RecoverError) {
        bytes32 s = vs & bytes32(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
        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.
     *
     * _Available since v4.2._
     */
    function recover(bytes32 hash, bytes32 r, bytes32 vs) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, r, vs);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `v`,
     * `r` and `s` signature fields separately.
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) internal pure returns (address, RecoverError) {
        // 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);
        }

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

        return (signer, RecoverError.NoError);
    }

    /**
     * @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) = tryRecover(hash, v, r, s);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from a `hash`. This
     * produces hash corresponding to the one signed with the
     * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]
     * JSON-RPC method as part of EIP-191.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes32 hash) internal pure returns (bytes32 message) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x00, "\x19Ethereum Signed Message:\n32")
            mstore(0x1c, hash)
            message := keccak256(0x00, 0x3c)
        }
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from `s`. This
     * produces hash corresponding to the one signed with the
     * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]
     * JSON-RPC method as part of EIP-191.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes memory s) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n", Strings.toString(s.length), s));
    }

    /**
     * @dev Returns an Ethereum Signed Typed Data, created from a
     * `domainSeparator` and a `structHash`. This produces hash corresponding
     * to the one signed with the
     * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`]
     * JSON-RPC method as part of EIP-712.
     *
     * See {recover}.
     */
    function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash) internal pure returns (bytes32 data) {
        /// @solidity memory-safe-assembly
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, "\x19\x01")
            mstore(add(ptr, 0x02), domainSeparator)
            mstore(add(ptr, 0x22), structHash)
            data := keccak256(ptr, 0x42)
        }
    }

    /**
     * @dev Returns an Ethereum Signed Data with intended validator, created from a
     * `validator` and `data` according to the version 0 of EIP-191.
     *
     * See {recover}.
     */
    function toDataWithIntendedValidatorHash(address validator, bytes memory data) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19\x00", validator, data));
    }
}

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


// OpenZeppelin Contracts (last updated v4.9.0) (utils/cryptography/EIP712.sol)

pragma solidity ^0.8.8;




/**
 * @dev https://eips.ethereum.org/EIPS/eip-712[EIP 712] is a standard for hashing and signing of typed structured data.
 *
 * The encoding specified in the EIP is very generic, and such a generic 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 their contracts 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.
 *
 * _Available since v3.4._
 *
 * @custom:oz-upgrades-unsafe-allow state-variable-immutable state-variable-assignment
 */
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 ECDSA.toTypedDataHash(_domainSeparatorV4(), structHash);
    }

    /**
     * @dev See {EIP-5267}.
     *
     * _Available since v4.9._
     */
    function eip712Domain()
        public
        view
        virtual
        override
        returns (
            bytes1 fields,
            string memory name,
            string memory version,
            uint256 chainId,
            address verifyingContract,
            bytes32 salt,
            uint256[] memory extensions
        )
    {
        return (
            hex"0f", // 01111
            _name.toStringWithFallback(_nameFallback),
            _version.toStringWithFallback(_versionFallback),
            block.chainid,
            address(this),
            bytes32(0),
            new uint256[](0)
        );
    }
}

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


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/extensions/IERC20Permit.sol)

pragma solidity ^0.8.0;

/**
 * @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.
 */
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].
     */
    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@4.9.3/utils/Context.sol


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

pragma solidity ^0.8.0;

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

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

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


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

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.0;


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

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

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

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


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

pragma solidity ^0.8.0;




/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.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.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the 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 override returns (uint8) {
        return 18;
    }

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

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

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

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

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

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

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

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

        return true;
    }

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

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _balances[to] += amount;
        }

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

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

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

        _totalSupply += amount;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _balances[account] += amount;
        }
        emit Transfer(address(0), account, amount);

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

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

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _totalSupply -= amount;
        }

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

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

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

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

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

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

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

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


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/extensions/ERC20Permit.sol)

pragma solidity ^0.8.0;






/**
 * @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.
 *
 * _Available since v3.4._
 */
abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712 {
    using Counters for Counters.Counter;

    mapping(address => Counters.Counter) private _nonces;

    // solhint-disable-next-line var-name-mixedcase
    bytes32 private constant _PERMIT_TYPEHASH =
        keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    /**
     * @dev In previous versions `_PERMIT_TYPEHASH` was declared as `immutable`.
     * However, to ensure consistency with the upgradeable transpiler, we will continue
     * to reserve a slot.
     * @custom:oz-renamed-from _PERMIT_TYPEHASH
     */
    // solhint-disable-next-line var-name-mixedcase
    bytes32 private _PERMIT_TYPEHASH_DEPRECATED_SLOT;

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

    /**
     * @dev See {IERC20Permit-permit}.
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual override {
        require(block.timestamp <= deadline, "ERC20Permit: expired 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);
        require(signer == owner, "ERC20Permit: invalid signature");

        _approve(owner, spender, value);
    }

    /**
     * @dev See {IERC20Permit-nonces}.
     */
    function nonces(address owner) public view virtual override returns (uint256) {
        return _nonces[owner].current();
    }

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

    /**
     * @dev "Consume a nonce": return the current value and increment.
     *
     * _Available since v4.1._
     */
    function _useNonce(address owner) internal virtual returns (uint256 current) {
        Counters.Counter storage nonce = _nonces[owner];
        current = nonce.current();
        nonce.increment();
    }
}

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


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/extensions/draft-ERC20Permit.sol)

pragma solidity ^0.8.0;

// EIP-2612 is Final as of 2022-11-01. This file is deprecated.


// File: contract-1a61eb3007.sol


pragma solidity ^0.8.9;



contract DogsRock is ERC20, ERC20Permit {
    constructor() ERC20("DogsRock", "DogsRock") ERC20Permit("DogsRock") {
        _mint(msg.sender, 1000000000 * 10 ** decimals());
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"InvalidShortString","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":"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":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"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":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"nonces","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":"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":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

61016060405234801562000011575f80fd5b506040518060400160405280600881526020017f446f6773526f636b000000000000000000000000000000000000000000000000815250806040518060400160405280600181526020017f31000000000000000000000000000000000000000000000000000000000000008152506040518060400160405280600881526020017f446f6773526f636b0000000000000000000000000000000000000000000000008152506040518060400160405280600881526020017f446f6773526f636b0000000000000000000000000000000000000000000000008152508160039081620000fc919062000707565b5080600490816200010e919062000707565b505050620001276005836200020860201b90919060201c565b6101208181525050620001456006826200020860201b90919060201c565b6101408181525050818051906020012060e08181525050808051906020012061010081815250504660a08181525050620001846200025d60201b60201c565b608081815250503073ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff16815250505050506200020233620001d7620002b960201b60201c565b600a620001e5919062000974565b633b9aca00620001f69190620009c4565b620002c160201b60201c565b62000ce4565b5f6020835110156200022d5762000225836200042660201b60201c565b905062000257565b826200023f836200049060201b60201c565b5f0190816200024f919062000707565b5060ff5f1b90505b92915050565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60e0516101005146306040516020016200029e95949392919062000a7c565b60405160208183030381529060405280519060200120905090565b5f6012905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000332576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620003299062000b35565b60405180910390fd5b620003455f83836200049960201b60201c565b8060025f82825462000358919062000b55565b92505081905550805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000407919062000b8f565b60405180910390a3620004225f83836200049e60201b60201c565b5050565b5f80829050601f815111156200047557826040517f305a27a90000000000000000000000000000000000000000000000000000000081526004016200046c919062000c24565b60405180910390fd5b805181620004839062000c75565b5f1c175f1b915050919050565b5f819050919050565b505050565b505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200051f57607f821691505b602082108103620005355762000534620004da565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620005997fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200055c565b620005a586836200055c565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620005ef620005e9620005e384620005bd565b620005c6565b620005bd565b9050919050565b5f819050919050565b6200060a83620005cf565b620006226200061982620005f6565b84845462000568565b825550505050565b5f90565b620006386200062a565b62000645818484620005ff565b505050565b5b818110156200066c57620006605f826200062e565b6001810190506200064b565b5050565b601f821115620006bb5762000685816200053b565b62000690846200054d565b81016020851015620006a0578190505b620006b8620006af856200054d565b8301826200064a565b50505b505050565b5f82821c905092915050565b5f620006dd5f1984600802620006c0565b1980831691505092915050565b5f620006f78383620006cc565b9150826002028217905092915050565b6200071282620004a3565b67ffffffffffffffff8111156200072e576200072d620004ad565b5b6200073a825462000507565b6200074782828562000670565b5f60209050601f8311600181146200077d575f841562000768578287015190505b620007748582620006ea565b865550620007e3565b601f1984166200078d866200053b565b5f5b82811015620007b6578489015182556001820191506020850194506020810190506200078f565b86831015620007d65784890151620007d2601f891682620006cc565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b600185111562000875578086048111156200084d576200084c620007eb565b5b60018516156200085d5780820291505b80810290506200086d8562000818565b94506200082d565b94509492505050565b5f826200088f576001905062000961565b816200089e575f905062000961565b8160018114620008b75760028114620008c257620008f8565b600191505062000961565b60ff841115620008d757620008d6620007eb565b5b8360020a915084821115620008f157620008f0620007eb565b5b5062000961565b5060208310610133831016604e8410600b8410161715620009325782820a9050838111156200092c576200092b620007eb565b5b62000961565b62000941848484600162000824565b925090508184048111156200095b576200095a620007eb565b5b81810290505b9392505050565b5f60ff82169050919050565b5f6200098082620005bd565b91506200098d8362000968565b9250620009bc7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200087e565b905092915050565b5f620009d082620005bd565b9150620009dd83620005bd565b9250828202620009ed81620005bd565b9150828204841483151762000a075762000a06620007eb565b5b5092915050565b5f819050919050565b62000a228162000a0e565b82525050565b62000a3381620005bd565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f62000a648262000a39565b9050919050565b62000a768162000a58565b82525050565b5f60a08201905062000a915f83018862000a17565b62000aa0602083018762000a17565b62000aaf604083018662000a17565b62000abe606083018562000a28565b62000acd608083018462000a6b565b9695505050505050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f62000b1d601f8362000ad7565b915062000b2a8262000ae7565b602082019050919050565b5f6020820190508181035f83015262000b4e8162000b0f565b9050919050565b5f62000b6182620005bd565b915062000b6e83620005bd565b925082820190508082111562000b895762000b88620007eb565b5b92915050565b5f60208201905062000ba45f83018462000a28565b92915050565b5f5b8381101562000bc957808201518184015260208101905062000bac565b5f8484015250505050565b5f601f19601f8301169050919050565b5f62000bf082620004a3565b62000bfc818562000ad7565b935062000c0e81856020860162000baa565b62000c198162000bd4565b840191505092915050565b5f6020820190508181035f83015262000c3e818462000be4565b905092915050565b5f81519050919050565b5f819050602082019050919050565b5f62000c6c825162000a0e565b80915050919050565b5f62000c818262000c46565b8262000c8d8462000c50565b905062000c9a8162000c5f565b9250602082101562000cdd5762000cd87fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff836020036008026200055c565b831692505b5050919050565b60805160a05160c05160e05161010051610120516101405161214562000d365f395f61055801525f61052401525f61101501525f610ff401525f610dbd01525f610e1301525f610e3c01526121455ff3fe608060405234801561000f575f80fd5b50600436106100f3575f3560e01c806370a0823111610095578063a457c2d711610064578063a457c2d7146102a1578063a9059cbb146102d1578063d505accf14610301578063dd62ed3e1461031d576100f3565b806370a08231146101ff5780637ecebe001461022f57806384b0196e1461025f57806395d89b4114610283576100f3565b806323b872dd116100d157806323b872dd14610163578063313ce567146101935780633644e515146101b157806339509351146101cf576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff61034d565b60405161010c9190611440565b60405180910390f35b61012f600480360381019061012a91906114f1565b6103dd565b60405161013c9190611549565b60405180910390f35b61014d6103ff565b60405161015a9190611571565b60405180910390f35b61017d6004803603810190610178919061158a565b610408565b60405161018a9190611549565b60405180910390f35b61019b610436565b6040516101a891906115f5565b60405180910390f35b6101b961043e565b6040516101c69190611626565b60405180910390f35b6101e960048036038101906101e491906114f1565b61044c565b6040516101f69190611549565b60405180910390f35b6102196004803603810190610214919061163f565b610482565b6040516102269190611571565b60405180910390f35b6102496004803603810190610244919061163f565b6104c7565b6040516102569190611571565b60405180910390f35b610267610514565b60405161027a979695949392919061176a565b60405180910390f35b61028b610611565b6040516102989190611440565b60405180910390f35b6102bb60048036038101906102b691906114f1565b6106a1565b6040516102c89190611549565b60405180910390f35b6102eb60048036038101906102e691906114f1565b610716565b6040516102f89190611549565b60405180910390f35b61031b60048036038101906103169190611840565b610738565b005b610337600480360381019061033291906118dd565b610877565b6040516103449190611571565b60405180910390f35b60606003805461035c90611948565b80601f016020809104026020016040519081016040528092919081815260200182805461038890611948565b80156103d35780601f106103aa576101008083540402835291602001916103d3565b820191905f5260205f20905b8154815290600101906020018083116103b657829003601f168201915b5050505050905090565b5f806103e76108f9565b90506103f4818585610900565b600191505092915050565b5f600254905090565b5f806104126108f9565b905061041f858285610ac3565b61042a858585610b4e565b60019150509392505050565b5f6012905090565b5f610447610dba565b905090565b5f806104566108f9565b90506104778185856104688589610877565b61047291906119a5565b610900565b600191505092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f61050d60075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20610e70565b9050919050565b5f6060805f805f606061055160057f0000000000000000000000000000000000000000000000000000000000000000610e7c90919063ffffffff16565b61058560067f0000000000000000000000000000000000000000000000000000000000000000610e7c90919063ffffffff16565b46305f801b5f67ffffffffffffffff8111156105a4576105a36119d8565b5b6040519080825280602002602001820160405280156105d25781602001602082028036833780820191505090505b507f0f00000000000000000000000000000000000000000000000000000000000000959493929190965096509650965096509650965090919293949596565b60606004805461062090611948565b80601f016020809104026020016040519081016040528092919081815260200182805461064c90611948565b80156106975780601f1061066e57610100808354040283529160200191610697565b820191905f5260205f20905b81548152906001019060200180831161067a57829003601f168201915b5050505050905090565b5f806106ab6108f9565b90505f6106b88286610877565b9050838110156106fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106f490611a75565b60405180910390fd5b61070a8286868403610900565b60019250505092915050565b5f806107206108f9565b905061072d818585610b4e565b600191505092915050565b8342111561077b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077290611add565b60405180910390fd5b5f7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886107a98c610f29565b896040516020016107bf96959493929190611afb565b6040516020818303038152906040528051906020012090505f6107e182610f84565b90505f6107f082878787610f9d565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610860576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161085790611ba4565b60405180910390fd5b61086b8a8a8a610900565b50505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361096e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096590611c32565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109d390611cc0565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610ab69190611571565b60405180910390a3505050565b5f610ace8484610877565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610b485781811015610b3a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3190611d28565b60405180910390fd5b610b478484848403610900565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bbc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb390611db6565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c2a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c2190611e44565b60405180910390fd5b610c35838383610fc6565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610cb8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610caf90611ed2565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610da19190611571565b60405180910390a3610db4848484610fcb565b50505050565b5f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015610e3557507f000000000000000000000000000000000000000000000000000000000000000046145b15610e62577f00000000000000000000000000000000000000000000000000000000000000009050610e6d565b610e6a610fd0565b90505b90565b5f815f01549050919050565b606060ff5f1b8314610e9857610e9183611065565b9050610f23565b818054610ea490611948565b80601f0160208091040260200160405190810160405280929190818152602001828054610ed090611948565b8015610f1b5780601f10610ef257610100808354040283529160200191610f1b565b820191905f5260205f20905b815481529060010190602001808311610efe57829003601f168201915b505050505090505b92915050565b5f8060075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f209050610f7381610e70565b9150610f7e816110d7565b50919050565b5f610f96610f90610dba565b836110eb565b9050919050565b5f805f610fac8787878761112b565b91509150610fb981611203565b8192505050949350505050565b505050565b505050565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000463060405160200161104a959493929190611ef0565b60405160208183030381529060405280519060200120905090565b60605f61107183611368565b90505f602067ffffffffffffffff81111561108f5761108e6119d8565b5b6040519080825280601f01601f1916602001820160405280156110c15781602001600182028036833780820191505090505b5090508181528360208201528092505050919050565b6001815f015f828254019250508190555050565b5f6040517f190100000000000000000000000000000000000000000000000000000000000081528360028201528260228201526042812091505092915050565b5f807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0835f1c1115611163575f6003915091506111fa565b5f6001878787876040515f81526020016040526040516111869493929190611f41565b6020604051602081039080840390855afa1580156111a6573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036111f2575f600192509250506111fa565b805f92509250505b94509492505050565b5f600481111561121657611215611f84565b5b81600481111561122957611228611f84565b5b0315611365576001600481111561124357611242611f84565b5b81600481111561125657611255611f84565b5b03611296576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161128d90611ffb565b60405180910390fd5b600260048111156112aa576112a9611f84565b5b8160048111156112bd576112bc611f84565b5b036112fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112f490612063565b60405180910390fd5b6003600481111561131157611310611f84565b5b81600481111561132457611323611f84565b5b03611364576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161135b906120f1565b60405180910390fd5b5b50565b5f8060ff835f1c169050601f8111156113ad576040517fb3512b0c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156113ed5780820151818401526020810190506113d2565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611412826113b6565b61141c81856113c0565b935061142c8185602086016113d0565b611435816113f8565b840191505092915050565b5f6020820190508181035f8301526114588184611408565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61148d82611464565b9050919050565b61149d81611483565b81146114a7575f80fd5b50565b5f813590506114b881611494565b92915050565b5f819050919050565b6114d0816114be565b81146114da575f80fd5b50565b5f813590506114eb816114c7565b92915050565b5f806040838503121561150757611506611460565b5b5f611514858286016114aa565b9250506020611525858286016114dd565b9150509250929050565b5f8115159050919050565b6115438161152f565b82525050565b5f60208201905061155c5f83018461153a565b92915050565b61156b816114be565b82525050565b5f6020820190506115845f830184611562565b92915050565b5f805f606084860312156115a1576115a0611460565b5b5f6115ae868287016114aa565b93505060206115bf868287016114aa565b92505060406115d0868287016114dd565b9150509250925092565b5f60ff82169050919050565b6115ef816115da565b82525050565b5f6020820190506116085f8301846115e6565b92915050565b5f819050919050565b6116208161160e565b82525050565b5f6020820190506116395f830184611617565b92915050565b5f6020828403121561165457611653611460565b5b5f611661848285016114aa565b91505092915050565b5f7fff0000000000000000000000000000000000000000000000000000000000000082169050919050565b61169e8161166a565b82525050565b6116ad81611483565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b6116e5816114be565b82525050565b5f6116f683836116dc565b60208301905092915050565b5f602082019050919050565b5f611718826116b3565b61172281856116bd565b935061172d836116cd565b805f5b8381101561175d57815161174488826116eb565b975061174f83611702565b925050600181019050611730565b5085935050505092915050565b5f60e08201905061177d5f83018a611695565b818103602083015261178f8189611408565b905081810360408301526117a38188611408565b90506117b26060830187611562565b6117bf60808301866116a4565b6117cc60a0830185611617565b81810360c08301526117de818461170e565b905098975050505050505050565b6117f5816115da565b81146117ff575f80fd5b50565b5f81359050611810816117ec565b92915050565b61181f8161160e565b8114611829575f80fd5b50565b5f8135905061183a81611816565b92915050565b5f805f805f805f60e0888a03121561185b5761185a611460565b5b5f6118688a828b016114aa565b97505060206118798a828b016114aa565b965050604061188a8a828b016114dd565b955050606061189b8a828b016114dd565b94505060806118ac8a828b01611802565b93505060a06118bd8a828b0161182c565b92505060c06118ce8a828b0161182c565b91505092959891949750929550565b5f80604083850312156118f3576118f2611460565b5b5f611900858286016114aa565b9250506020611911858286016114aa565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061195f57607f821691505b6020821081036119725761197161191b565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6119af826114be565b91506119ba836114be565b92508282019050808211156119d2576119d1611978565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611a5f6025836113c0565b9150611a6a82611a05565b604082019050919050565b5f6020820190508181035f830152611a8c81611a53565b9050919050565b7f45524332305065726d69743a206578706972656420646561646c696e650000005f82015250565b5f611ac7601d836113c0565b9150611ad282611a93565b602082019050919050565b5f6020820190508181035f830152611af481611abb565b9050919050565b5f60c082019050611b0e5f830189611617565b611b1b60208301886116a4565b611b2860408301876116a4565b611b356060830186611562565b611b426080830185611562565b611b4f60a0830184611562565b979650505050505050565b7f45524332305065726d69743a20696e76616c6964207369676e617475726500005f82015250565b5f611b8e601e836113c0565b9150611b9982611b5a565b602082019050919050565b5f6020820190508181035f830152611bbb81611b82565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611c1c6024836113c0565b9150611c2782611bc2565b604082019050919050565b5f6020820190508181035f830152611c4981611c10565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611caa6022836113c0565b9150611cb582611c50565b604082019050919050565b5f6020820190508181035f830152611cd781611c9e565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f611d12601d836113c0565b9150611d1d82611cde565b602082019050919050565b5f6020820190508181035f830152611d3f81611d06565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611da06025836113c0565b9150611dab82611d46565b604082019050919050565b5f6020820190508181035f830152611dcd81611d94565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611e2e6023836113c0565b9150611e3982611dd4565b604082019050919050565b5f6020820190508181035f830152611e5b81611e22565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611ebc6026836113c0565b9150611ec782611e62565b604082019050919050565b5f6020820190508181035f830152611ee981611eb0565b9050919050565b5f60a082019050611f035f830188611617565b611f106020830187611617565b611f1d6040830186611617565b611f2a6060830185611562565b611f3760808301846116a4565b9695505050505050565b5f608082019050611f545f830187611617565b611f6160208301866115e6565b611f6e6040830185611617565b611f7b6060830184611617565b95945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b7f45434453413a20696e76616c6964207369676e617475726500000000000000005f82015250565b5f611fe56018836113c0565b9150611ff082611fb1565b602082019050919050565b5f6020820190508181035f83015261201281611fd9565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265206c656e677468005f82015250565b5f61204d601f836113c0565b915061205882612019565b602082019050919050565b5f6020820190508181035f83015261207a81612041565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c5f8201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b5f6120db6022836113c0565b91506120e682612081565b604082019050919050565b5f6020820190508181035f830152612108816120cf565b905091905056fea2646970667358221220ca55b2fd62030be0132232e4b7103b8c2cf74def3b9cf5673153b03ab9d5e2ea64736f6c63430008150033

0x608060405234801561000f575f80fd5b50600436106100f3575f3560e01c806370a0823111610095578063a457c2d711610064578063a457c2d7146102a1578063a9059cbb146102d1578063d505accf14610301578063dd62ed3e1461031d576100f3565b806370a08231146101ff5780637ecebe001461022f57806384b0196e1461025f57806395d89b4114610283576100f3565b806323b872dd116100d157806323b872dd14610163578063313ce567146101935780633644e515146101b157806339509351146101cf576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff61034d565b60405161010c9190611440565b60405180910390f35b61012f600480360381019061012a91906114f1565b6103dd565b60405161013c9190611549565b60405180910390f35b61014d6103ff565b60405161015a9190611571565b60405180910390f35b61017d6004803603810190610178919061158a565b610408565b60405161018a9190611549565b60405180910390f35b61019b610436565b6040516101a891906115f5565b60405180910390f35b6101b961043e565b6040516101c69190611626565b60405180910390f35b6101e960048036038101906101e491906114f1565b61044c565b6040516101f69190611549565b60405180910390f35b6102196004803603810190610214919061163f565b610482565b6040516102269190611571565b60405180910390f35b6102496004803603810190610244919061163f565b6104c7565b6040516102569190611571565b60405180910390f35b610267610514565b60405161027a979695949392919061176a565b60405180910390f35b61028b610611565b6040516102989190611440565b60405180910390f35b6102bb60048036038101906102b691906114f1565b6106a1565b6040516102c89190611549565b60405180910390f35b6102eb60048036038101906102e691906114f1565b610716565b6040516102f89190611549565b60405180910390f35b61031b60048036038101906103169190611840565b610738565b005b610337600480360381019061033291906118dd565b610877565b6040516103449190611571565b60405180910390f35b60606003805461035c90611948565b80601f016020809104026020016040519081016040528092919081815260200182805461038890611948565b80156103d35780601f106103aa576101008083540402835291602001916103d3565b820191905f5260205f20905b8154815290600101906020018083116103b657829003601f168201915b5050505050905090565b5f806103e76108f9565b90506103f4818585610900565b600191505092915050565b5f600254905090565b5f806104126108f9565b905061041f858285610ac3565b61042a858585610b4e565b60019150509392505050565b5f6012905090565b5f610447610dba565b905090565b5f806104566108f9565b90506104778185856104688589610877565b61047291906119a5565b610900565b600191505092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f61050d60075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20610e70565b9050919050565b5f6060805f805f606061055160057f446f6773526f636b000000000000000000000000000000000000000000000008610e7c90919063ffffffff16565b61058560067f3100000000000000000000000000000000000000000000000000000000000001610e7c90919063ffffffff16565b46305f801b5f67ffffffffffffffff8111156105a4576105a36119d8565b5b6040519080825280602002602001820160405280156105d25781602001602082028036833780820191505090505b507f0f00000000000000000000000000000000000000000000000000000000000000959493929190965096509650965096509650965090919293949596565b60606004805461062090611948565b80601f016020809104026020016040519081016040528092919081815260200182805461064c90611948565b80156106975780601f1061066e57610100808354040283529160200191610697565b820191905f5260205f20905b81548152906001019060200180831161067a57829003601f168201915b5050505050905090565b5f806106ab6108f9565b90505f6106b88286610877565b9050838110156106fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106f490611a75565b60405180910390fd5b61070a8286868403610900565b60019250505092915050565b5f806107206108f9565b905061072d818585610b4e565b600191505092915050565b8342111561077b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077290611add565b60405180910390fd5b5f7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886107a98c610f29565b896040516020016107bf96959493929190611afb565b6040516020818303038152906040528051906020012090505f6107e182610f84565b90505f6107f082878787610f9d565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610860576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161085790611ba4565b60405180910390fd5b61086b8a8a8a610900565b50505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361096e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096590611c32565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109d390611cc0565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610ab69190611571565b60405180910390a3505050565b5f610ace8484610877565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610b485781811015610b3a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3190611d28565b60405180910390fd5b610b478484848403610900565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bbc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb390611db6565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c2a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c2190611e44565b60405180910390fd5b610c35838383610fc6565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610cb8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610caf90611ed2565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610da19190611571565b60405180910390a3610db4848484610fcb565b50505050565b5f7f0000000000000000000000007e5754f8de5d49ea61df34b36f1cf57741c8db7c73ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015610e3557507f000000000000000000000000000000000000000000000000000000000000000146145b15610e62577f28f6066f28d761910fc6b60680d90568c03867d221b747537bb553d9669174759050610e6d565b610e6a610fd0565b90505b90565b5f815f01549050919050565b606060ff5f1b8314610e9857610e9183611065565b9050610f23565b818054610ea490611948565b80601f0160208091040260200160405190810160405280929190818152602001828054610ed090611948565b8015610f1b5780601f10610ef257610100808354040283529160200191610f1b565b820191905f5260205f20905b815481529060010190602001808311610efe57829003601f168201915b505050505090505b92915050565b5f8060075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f209050610f7381610e70565b9150610f7e816110d7565b50919050565b5f610f96610f90610dba565b836110eb565b9050919050565b5f805f610fac8787878761112b565b91509150610fb981611203565b8192505050949350505050565b505050565b505050565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7ffd0fff39337fa340adc2bf371224a5e4a983970d68b796c144aa10cbbfacea567fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6463060405160200161104a959493929190611ef0565b60405160208183030381529060405280519060200120905090565b60605f61107183611368565b90505f602067ffffffffffffffff81111561108f5761108e6119d8565b5b6040519080825280601f01601f1916602001820160405280156110c15781602001600182028036833780820191505090505b5090508181528360208201528092505050919050565b6001815f015f828254019250508190555050565b5f6040517f190100000000000000000000000000000000000000000000000000000000000081528360028201528260228201526042812091505092915050565b5f807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0835f1c1115611163575f6003915091506111fa565b5f6001878787876040515f81526020016040526040516111869493929190611f41565b6020604051602081039080840390855afa1580156111a6573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036111f2575f600192509250506111fa565b805f92509250505b94509492505050565b5f600481111561121657611215611f84565b5b81600481111561122957611228611f84565b5b0315611365576001600481111561124357611242611f84565b5b81600481111561125657611255611f84565b5b03611296576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161128d90611ffb565b60405180910390fd5b600260048111156112aa576112a9611f84565b5b8160048111156112bd576112bc611f84565b5b036112fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112f490612063565b60405180910390fd5b6003600481111561131157611310611f84565b5b81600481111561132457611323611f84565b5b03611364576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161135b906120f1565b60405180910390fd5b5b50565b5f8060ff835f1c169050601f8111156113ad576040517fb3512b0c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156113ed5780820151818401526020810190506113d2565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611412826113b6565b61141c81856113c0565b935061142c8185602086016113d0565b611435816113f8565b840191505092915050565b5f6020820190508181035f8301526114588184611408565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61148d82611464565b9050919050565b61149d81611483565b81146114a7575f80fd5b50565b5f813590506114b881611494565b92915050565b5f819050919050565b6114d0816114be565b81146114da575f80fd5b50565b5f813590506114eb816114c7565b92915050565b5f806040838503121561150757611506611460565b5b5f611514858286016114aa565b9250506020611525858286016114dd565b9150509250929050565b5f8115159050919050565b6115438161152f565b82525050565b5f60208201905061155c5f83018461153a565b92915050565b61156b816114be565b82525050565b5f6020820190506115845f830184611562565b92915050565b5f805f606084860312156115a1576115a0611460565b5b5f6115ae868287016114aa565b93505060206115bf868287016114aa565b92505060406115d0868287016114dd565b9150509250925092565b5f60ff82169050919050565b6115ef816115da565b82525050565b5f6020820190506116085f8301846115e6565b92915050565b5f819050919050565b6116208161160e565b82525050565b5f6020820190506116395f830184611617565b92915050565b5f6020828403121561165457611653611460565b5b5f611661848285016114aa565b91505092915050565b5f7fff0000000000000000000000000000000000000000000000000000000000000082169050919050565b61169e8161166a565b82525050565b6116ad81611483565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b6116e5816114be565b82525050565b5f6116f683836116dc565b60208301905092915050565b5f602082019050919050565b5f611718826116b3565b61172281856116bd565b935061172d836116cd565b805f5b8381101561175d57815161174488826116eb565b975061174f83611702565b925050600181019050611730565b5085935050505092915050565b5f60e08201905061177d5f83018a611695565b818103602083015261178f8189611408565b905081810360408301526117a38188611408565b90506117b26060830187611562565b6117bf60808301866116a4565b6117cc60a0830185611617565b81810360c08301526117de818461170e565b905098975050505050505050565b6117f5816115da565b81146117ff575f80fd5b50565b5f81359050611810816117ec565b92915050565b61181f8161160e565b8114611829575f80fd5b50565b5f8135905061183a81611816565b92915050565b5f805f805f805f60e0888a03121561185b5761185a611460565b5b5f6118688a828b016114aa565b97505060206118798a828b016114aa565b965050604061188a8a828b016114dd565b955050606061189b8a828b016114dd565b94505060806118ac8a828b01611802565b93505060a06118bd8a828b0161182c565b92505060c06118ce8a828b0161182c565b91505092959891949750929550565b5f80604083850312156118f3576118f2611460565b5b5f611900858286016114aa565b9250506020611911858286016114aa565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061195f57607f821691505b6020821081036119725761197161191b565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6119af826114be565b91506119ba836114be565b92508282019050808211156119d2576119d1611978565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611a5f6025836113c0565b9150611a6a82611a05565b604082019050919050565b5f6020820190508181035f830152611a8c81611a53565b9050919050565b7f45524332305065726d69743a206578706972656420646561646c696e650000005f82015250565b5f611ac7601d836113c0565b9150611ad282611a93565b602082019050919050565b5f6020820190508181035f830152611af481611abb565b9050919050565b5f60c082019050611b0e5f830189611617565b611b1b60208301886116a4565b611b2860408301876116a4565b611b356060830186611562565b611b426080830185611562565b611b4f60a0830184611562565b979650505050505050565b7f45524332305065726d69743a20696e76616c6964207369676e617475726500005f82015250565b5f611b8e601e836113c0565b9150611b9982611b5a565b602082019050919050565b5f6020820190508181035f830152611bbb81611b82565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611c1c6024836113c0565b9150611c2782611bc2565b604082019050919050565b5f6020820190508181035f830152611c4981611c10565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611caa6022836113c0565b9150611cb582611c50565b604082019050919050565b5f6020820190508181035f830152611cd781611c9e565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f611d12601d836113c0565b9150611d1d82611cde565b602082019050919050565b5f6020820190508181035f830152611d3f81611d06565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611da06025836113c0565b9150611dab82611d46565b604082019050919050565b5f6020820190508181035f830152611dcd81611d94565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611e2e6023836113c0565b9150611e3982611dd4565b604082019050919050565b5f6020820190508181035f830152611e5b81611e22565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611ebc6026836113c0565b9150611ec782611e62565b604082019050919050565b5f6020820190508181035f830152611ee981611eb0565b9050919050565b5f60a082019050611f035f830188611617565b611f106020830187611617565b611f1d6040830186611617565b611f2a6060830185611562565b611f3760808301846116a4565b9695505050505050565b5f608082019050611f545f830187611617565b611f6160208301866115e6565b611f6e6040830185611617565b611f7b6060830184611617565b95945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b7f45434453413a20696e76616c6964207369676e617475726500000000000000005f82015250565b5f611fe56018836113c0565b9150611ff082611fb1565b602082019050919050565b5f6020820190508181035f83015261201281611fd9565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265206c656e677468005f82015250565b5f61204d601f836113c0565b915061205882612019565b602082019050919050565b5f6020820190508181035f83015261207a81612041565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c5f8201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b5f6120db6022836113c0565b91506120e682612081565b604082019050919050565b5f6020820190508181035f830152612108816120cf565b905091905056fea2646970667358221220ca55b2fd62030be0132232e4b7103b8c2cf74def3b9cf5673153b03ab9d5e2ea64736f6c63430008150033

67171:185:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;52546:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;54906:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53675:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;55687:261;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53517:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;66352:115;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;56357:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53846:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;66094:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42863:657;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;;;;;;;;52765:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;57098:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;54179:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;65383:645;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;54435:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52546:100;52600:13;52633:5;52626:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;52546:100;:::o;54906:201::-;54989:4;55006:13;55022:12;:10;:12::i;:::-;55006:28;;55045:32;55054:5;55061:7;55070:6;55045:8;:32::i;:::-;55095:4;55088:11;;;54906:201;;;;:::o;53675:108::-;53736:7;53763:12;;53756:19;;53675:108;:::o;55687:261::-;55784:4;55801:15;55819:12;:10;:12::i;:::-;55801:30;;55842:38;55858:4;55864:7;55873:6;55842:15;:38::i;:::-;55891:27;55901:4;55907:2;55911:6;55891:9;:27::i;:::-;55936:4;55929:11;;;55687:261;;;;;:::o;53517:93::-;53575:5;53600:2;53593:9;;53517:93;:::o;66352:115::-;66412:7;66439:20;:18;:20::i;:::-;66432:27;;66352:115;:::o;56357:238::-;56445:4;56462:13;56478:12;:10;:12::i;:::-;56462:28;;56501:64;56510:5;56517:7;56554:10;56526:25;56536:5;56543:7;56526:9;:25::i;:::-;:38;;;;:::i;:::-;56501:8;:64::i;:::-;56583:4;56576:11;;;56357:238;;;;:::o;53846:127::-;53920:7;53947:9;:18;53957:7;53947:18;;;;;;;;;;;;;;;;53940:25;;53846:127;;;:::o;66094:128::-;66163:7;66190:24;:7;:14;66198:5;66190:14;;;;;;;;;;;;;;;:22;:24::i;:::-;66183:31;;66094:128;;;:::o;42863:657::-;42984:13;43012:18;43045:21;43081:15;43111:25;43151:12;43178:27;43286:41;43313:13;43286:5;:26;;:41;;;;:::i;:::-;43342:47;43372:16;43342:8;:29;;:47;;;;:::i;:::-;43404:13;43440:4;43468:1;43460:10;;43499:1;43485:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;43233:279;;;;;;;;;;;;;;;;;;;;;42863:657;;;;;;;:::o;52765:104::-;52821:13;52854:7;52847:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;52765:104;:::o;57098:436::-;57191:4;57208:13;57224:12;:10;:12::i;:::-;57208:28;;57247:24;57274:25;57284:5;57291:7;57274:9;:25::i;:::-;57247:52;;57338:15;57318:16;:35;;57310:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;57431:60;57440:5;57447:7;57475:15;57456:16;:34;57431:8;:60::i;:::-;57522:4;57515:11;;;;57098:436;;;;:::o;54179:193::-;54258:4;54275:13;54291:12;:10;:12::i;:::-;54275:28;;54314;54324:5;54331:2;54335:6;54314:9;:28::i;:::-;54360:4;54353:11;;;54179:193;;;;:::o;65383:645::-;65627:8;65608:15;:27;;65600:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;65682:18;64558:95;65742:5;65749:7;65758:5;65765:16;65775:5;65765:9;:16::i;:::-;65783:8;65713:79;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;65703:90;;;;;;65682:111;;65806:12;65821:28;65838:10;65821:16;:28::i;:::-;65806:43;;65862:14;65879:28;65893:4;65899:1;65902;65905;65879:13;:28::i;:::-;65862:45;;65936:5;65926:15;;:6;:15;;;65918:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;65989:31;65998:5;66005:7;66014:5;65989:8;:31::i;:::-;65589:439;;;65383:645;;;;;;;:::o;54435:151::-;54524:7;54551:11;:18;54563:5;54551:18;;;;;;;;;;;;;;;:27;54570:7;54551:27;;;;;;;;;;;;;;;;54544:34;;54435:151;;;;:::o;46586:98::-;46639:7;46666:10;46659:17;;46586:98;:::o;61091:346::-;61210:1;61193:19;;:5;:19;;;61185:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;61291:1;61272:21;;:7;:21;;;61264:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;61375:6;61345:11;:18;61357:5;61345:18;;;;;;;;;;;;;;;:27;61364:7;61345:27;;;;;;;;;;;;;;;:36;;;;61413:7;61397:32;;61406:5;61397:32;;;61422:6;61397:32;;;;;;:::i;:::-;;;;;;;;61091:346;;;:::o;61728:419::-;61829:24;61856:25;61866:5;61873:7;61856:9;:25::i;:::-;61829:52;;61916:17;61896:16;:37;61892:248;;61978:6;61958:16;:26;;61950:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;62062:51;62071:5;62078:7;62106:6;62087:16;:25;62062:8;:51::i;:::-;61892:248;61818:329;61728:419;;;:::o;58004:806::-;58117:1;58101:18;;:4;:18;;;58093:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;58194:1;58180:16;;:2;:16;;;58172:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;58249:38;58270:4;58276:2;58280:6;58249:20;:38::i;:::-;58300:19;58322:9;:15;58332:4;58322:15;;;;;;;;;;;;;;;;58300:37;;58371:6;58356:11;:21;;58348:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;58488:6;58474:11;:20;58456:9;:15;58466:4;58456:15;;;;;;;;;;;;;;;:38;;;;58691:6;58674:9;:13;58684:2;58674:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;58741:2;58726:26;;58735:4;58726:26;;;58745:6;58726:26;;;;;;:::i;:::-;;;;;;;;58765:37;58785:4;58791:2;58795:6;58765:19;:37::i;:::-;58082:728;58004:806;;;:::o;41501:268::-;41554:7;41595:11;41578:28;;41586:4;41578:28;;;:63;;;;;41627:14;41610:13;:31;41578:63;41574:188;;;41665:22;41658:29;;;;41574:188;41727:23;:21;:23::i;:::-;41720:30;;41501:268;;:::o;982:114::-;1047:7;1074;:14;;;1067:21;;982:114;;;:::o;10129:274::-;10223:13;8074:66;10282:18;;10272:5;10253:47;10249:147;;10324:15;10333:5;10324:8;:15::i;:::-;10317:22;;;;10249:147;10379:5;10372:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10129:274;;;;;:::o;66605:207::-;66665:15;66693:30;66726:7;:14;66734:5;66726:14;;;;;;;;;;;;;;;66693:47;;66761:15;:5;:13;:15::i;:::-;66751:25;;66787:17;:5;:15;:17::i;:::-;66682:130;66605:207;;;:::o;42601:167::-;42678:7;42705:55;42727:20;:18;:20::i;:::-;42749:10;42705:21;:55::i;:::-;42698:62;;42601:167;;;:::o;35174:236::-;35259:7;35280:17;35299:18;35321:25;35332:4;35338:1;35341;35344;35321:10;:25::i;:::-;35279:67;;;;35357:18;35369:5;35357:11;:18::i;:::-;35393:9;35386:16;;;;35174:236;;;;;;:::o;62747:91::-;;;;:::o;63442:90::-;;;;:::o;41777:182::-;41832:7;39693:95;41892:11;41905:14;41921:13;41944:4;41869:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;41859:92;;;;;;41852:99;;41777:182;:::o;8783:415::-;8842:13;8868:11;8882:16;8893:4;8882:10;:16::i;:::-;8868:30;;8988:17;9019:2;9008:14;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8988:34;;9113:3;9108;9101:16;9154:4;9147;9142:3;9138:14;9131:28;9187:3;9180:10;;;;8783:415;;;:::o;1104:127::-;1211:1;1193:7;:14;;;:19;;;;;;;;;;;1104:127;:::o;36958:406::-;37051:12;37161:4;37155:11;37192:10;37187:3;37180:23;37240:15;37233:4;37228:3;37224:14;37217:39;37293:10;37286:4;37281:3;37277:14;37270:34;37341:4;37336:3;37326:20;37318:28;;37129:228;36958:406;;;;:::o;33558:1477::-;33646:7;33655:12;34580:66;34575:1;34567:10;;:79;34563:163;;;34679:1;34683:30;34663:51;;;;;;34563:163;34823:14;34840:24;34850:4;34856:1;34859;34862;34840:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34823:41;;34897:1;34879:20;;:6;:20;;;34875:103;;34932:1;34936:29;34916:50;;;;;;;34875:103;34998:6;35006:20;34990:37;;;;;33558:1477;;;;;;;;:::o;29018:521::-;29096:20;29087:29;;;;;;;;:::i;:::-;;:5;:29;;;;;;;;:::i;:::-;;;29083:449;29133:7;29083:449;29194:29;29185:38;;;;;;;;:::i;:::-;;:5;:38;;;;;;;;:::i;:::-;;;29181:351;;29240:34;;;;;;;;;;:::i;:::-;;;;;;;;29181:351;29305:35;29296:44;;;;;;;;:::i;:::-;;:5;:44;;;;;;;;:::i;:::-;;;29292:240;;29357:41;;;;;;;;;;:::i;:::-;;;;;;;;29292:240;29429:30;29420:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;29416:116;;29476:44;;;;;;;;;;:::i;:::-;;;;;;;;29416:116;29018:521;;:::o;9275:251::-;9336:7;9356:14;9409:4;9400;9373:33;;:40;9356:57;;9437:2;9428:6;:11;9424:71;;;9463:20;;;;;;;;;;;;;;9424:71;9512:6;9505:13;;;9275: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:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:77::-;4890:7;4919:5;4908:16;;4853:77;;;:::o;4936:118::-;5023:24;5041:5;5023:24;:::i;:::-;5018:3;5011:37;4936:118;;:::o;5060:222::-;5153:4;5191:2;5180:9;5176:18;5168:26;;5204:71;5272:1;5261:9;5257:17;5248:6;5204:71;:::i;:::-;5060:222;;;;:::o;5288:329::-;5347:6;5396:2;5384:9;5375:7;5371:23;5367:32;5364:119;;;5402:79;;:::i;:::-;5364:119;5522:1;5547:53;5592:7;5583:6;5572:9;5568:22;5547:53;:::i;:::-;5537:63;;5493:117;5288:329;;;;:::o;5623:149::-;5659:7;5699:66;5692:5;5688:78;5677:89;;5623:149;;;:::o;5778:115::-;5863:23;5880:5;5863:23;:::i;:::-;5858:3;5851:36;5778:115;;:::o;5899:118::-;5986:24;6004:5;5986:24;:::i;:::-;5981:3;5974:37;5899:118;;:::o;6023:114::-;6090:6;6124:5;6118:12;6108:22;;6023:114;;;:::o;6143:184::-;6242:11;6276:6;6271:3;6264:19;6316:4;6311:3;6307:14;6292:29;;6143:184;;;;:::o;6333:132::-;6400:4;6423:3;6415:11;;6453:4;6448:3;6444:14;6436:22;;6333:132;;;:::o;6471:108::-;6548:24;6566:5;6548:24;:::i;:::-;6543:3;6536:37;6471:108;;:::o;6585:179::-;6654:10;6675:46;6717:3;6709:6;6675:46;:::i;:::-;6753:4;6748:3;6744:14;6730:28;;6585:179;;;;:::o;6770:113::-;6840:4;6872;6867:3;6863:14;6855:22;;6770:113;;;:::o;6919:732::-;7038:3;7067:54;7115:5;7067:54;:::i;:::-;7137:86;7216:6;7211:3;7137:86;:::i;:::-;7130:93;;7247:56;7297:5;7247:56;:::i;:::-;7326:7;7357:1;7342:284;7367:6;7364:1;7361:13;7342:284;;;7443:6;7437:13;7470:63;7529:3;7514:13;7470:63;:::i;:::-;7463:70;;7556:60;7609:6;7556:60;:::i;:::-;7546:70;;7402:224;7389:1;7386;7382:9;7377:14;;7342:284;;;7346:14;7642:3;7635:10;;7043:608;;;6919:732;;;;:::o;7657:1215::-;8006:4;8044:3;8033:9;8029:19;8021:27;;8058:69;8124:1;8113:9;8109:17;8100:6;8058:69;:::i;:::-;8174:9;8168:4;8164:20;8159:2;8148:9;8144:18;8137:48;8202:78;8275:4;8266:6;8202:78;:::i;:::-;8194:86;;8327:9;8321:4;8317:20;8312:2;8301:9;8297:18;8290:48;8355:78;8428:4;8419:6;8355:78;:::i;:::-;8347:86;;8443:72;8511:2;8500:9;8496:18;8487:6;8443:72;:::i;:::-;8525:73;8593:3;8582:9;8578:19;8569:6;8525:73;:::i;:::-;8608;8676:3;8665:9;8661:19;8652:6;8608:73;:::i;:::-;8729:9;8723:4;8719:20;8713:3;8702:9;8698:19;8691:49;8757:108;8860:4;8851:6;8757:108;:::i;:::-;8749:116;;7657:1215;;;;;;;;;;:::o;8878:118::-;8949:22;8965:5;8949:22;:::i;:::-;8942:5;8939:33;8929:61;;8986:1;8983;8976:12;8929:61;8878:118;:::o;9002:135::-;9046:5;9084:6;9071:20;9062:29;;9100:31;9125:5;9100:31;:::i;:::-;9002:135;;;;:::o;9143:122::-;9216:24;9234:5;9216:24;:::i;:::-;9209:5;9206:35;9196:63;;9255:1;9252;9245:12;9196:63;9143:122;:::o;9271:139::-;9317:5;9355:6;9342:20;9333:29;;9371:33;9398:5;9371:33;:::i;:::-;9271:139;;;;:::o;9416:1199::-;9527:6;9535;9543;9551;9559;9567;9575;9624:3;9612:9;9603:7;9599:23;9595:33;9592:120;;;9631:79;;:::i;:::-;9592:120;9751:1;9776:53;9821:7;9812:6;9801:9;9797:22;9776:53;:::i;:::-;9766:63;;9722:117;9878:2;9904:53;9949:7;9940:6;9929:9;9925:22;9904:53;:::i;:::-;9894:63;;9849:118;10006:2;10032:53;10077:7;10068:6;10057:9;10053:22;10032:53;:::i;:::-;10022:63;;9977:118;10134:2;10160:53;10205:7;10196:6;10185:9;10181:22;10160:53;:::i;:::-;10150:63;;10105:118;10262:3;10289:51;10332:7;10323:6;10312:9;10308:22;10289:51;:::i;:::-;10279:61;;10233:117;10389:3;10416:53;10461:7;10452:6;10441:9;10437:22;10416:53;:::i;:::-;10406:63;;10360:119;10518:3;10545:53;10590:7;10581:6;10570:9;10566:22;10545:53;:::i;:::-;10535:63;;10489:119;9416:1199;;;;;;;;;;:::o;10621:474::-;10689:6;10697;10746:2;10734:9;10725:7;10721:23;10717:32;10714:119;;;10752:79;;:::i;:::-;10714:119;10872:1;10897:53;10942:7;10933:6;10922:9;10918:22;10897:53;:::i;:::-;10887:63;;10843:117;10999:2;11025:53;11070:7;11061:6;11050:9;11046:22;11025:53;:::i;:::-;11015:63;;10970:118;10621:474;;;;;:::o;11101:180::-;11149:77;11146:1;11139:88;11246:4;11243:1;11236:15;11270:4;11267:1;11260:15;11287:320;11331:6;11368:1;11362:4;11358:12;11348:22;;11415:1;11409:4;11405:12;11436:18;11426:81;;11492:4;11484:6;11480:17;11470:27;;11426:81;11554:2;11546:6;11543:14;11523:18;11520:38;11517:84;;11573:18;;:::i;:::-;11517:84;11338:269;11287:320;;;:::o;11613:180::-;11661:77;11658:1;11651:88;11758:4;11755:1;11748:15;11782:4;11779:1;11772:15;11799:191;11839:3;11858:20;11876:1;11858:20;:::i;:::-;11853:25;;11892:20;11910:1;11892:20;:::i;:::-;11887:25;;11935:1;11932;11928:9;11921:16;;11956:3;11953:1;11950:10;11947:36;;;11963:18;;:::i;:::-;11947:36;11799:191;;;;:::o;11996:180::-;12044:77;12041:1;12034:88;12141:4;12138:1;12131:15;12165:4;12162:1;12155:15;12182:224;12322:34;12318:1;12310:6;12306:14;12299:58;12391:7;12386:2;12378:6;12374:15;12367:32;12182:224;:::o;12412:366::-;12554:3;12575:67;12639:2;12634:3;12575:67;:::i;:::-;12568:74;;12651:93;12740:3;12651:93;:::i;:::-;12769:2;12764:3;12760:12;12753:19;;12412:366;;;:::o;12784:419::-;12950:4;12988:2;12977:9;12973:18;12965:26;;13037:9;13031:4;13027:20;13023:1;13012:9;13008:17;13001:47;13065:131;13191:4;13065:131;:::i;:::-;13057:139;;12784:419;;;:::o;13209:179::-;13349:31;13345:1;13337:6;13333:14;13326:55;13209:179;:::o;13394:366::-;13536:3;13557:67;13621:2;13616:3;13557:67;:::i;:::-;13550:74;;13633:93;13722:3;13633:93;:::i;:::-;13751:2;13746:3;13742:12;13735:19;;13394:366;;;:::o;13766:419::-;13932:4;13970:2;13959:9;13955:18;13947:26;;14019:9;14013:4;14009:20;14005:1;13994:9;13990:17;13983:47;14047:131;14173:4;14047:131;:::i;:::-;14039:139;;13766:419;;;:::o;14191:775::-;14424:4;14462:3;14451:9;14447:19;14439:27;;14476:71;14544:1;14533:9;14529:17;14520:6;14476:71;:::i;:::-;14557:72;14625:2;14614:9;14610:18;14601:6;14557:72;:::i;:::-;14639;14707:2;14696:9;14692:18;14683:6;14639:72;:::i;:::-;14721;14789:2;14778:9;14774:18;14765:6;14721:72;:::i;:::-;14803:73;14871:3;14860:9;14856:19;14847:6;14803:73;:::i;:::-;14886;14954:3;14943:9;14939:19;14930:6;14886:73;:::i;:::-;14191:775;;;;;;;;;:::o;14972:180::-;15112:32;15108:1;15100:6;15096:14;15089:56;14972:180;:::o;15158:366::-;15300:3;15321:67;15385:2;15380:3;15321:67;:::i;:::-;15314:74;;15397:93;15486:3;15397:93;:::i;:::-;15515:2;15510:3;15506:12;15499:19;;15158:366;;;:::o;15530:419::-;15696:4;15734:2;15723:9;15719:18;15711:26;;15783:9;15777:4;15773:20;15769:1;15758:9;15754:17;15747:47;15811:131;15937:4;15811:131;:::i;:::-;15803:139;;15530:419;;;:::o;15955:223::-;16095:34;16091:1;16083:6;16079:14;16072:58;16164:6;16159:2;16151:6;16147:15;16140:31;15955:223;:::o;16184:366::-;16326:3;16347:67;16411:2;16406:3;16347:67;:::i;:::-;16340:74;;16423:93;16512:3;16423:93;:::i;:::-;16541:2;16536:3;16532:12;16525:19;;16184:366;;;:::o;16556:419::-;16722:4;16760:2;16749:9;16745:18;16737:26;;16809:9;16803:4;16799:20;16795:1;16784:9;16780:17;16773:47;16837:131;16963:4;16837:131;:::i;:::-;16829:139;;16556:419;;;:::o;16981:221::-;17121:34;17117:1;17109:6;17105:14;17098:58;17190:4;17185:2;17177:6;17173:15;17166:29;16981:221;:::o;17208:366::-;17350:3;17371:67;17435:2;17430:3;17371:67;:::i;:::-;17364:74;;17447:93;17536:3;17447:93;:::i;:::-;17565:2;17560:3;17556:12;17549:19;;17208:366;;;:::o;17580:419::-;17746:4;17784:2;17773:9;17769:18;17761:26;;17833:9;17827:4;17823:20;17819:1;17808:9;17804:17;17797:47;17861:131;17987:4;17861:131;:::i;:::-;17853:139;;17580:419;;;:::o;18005:179::-;18145:31;18141:1;18133:6;18129:14;18122:55;18005:179;:::o;18190:366::-;18332:3;18353:67;18417:2;18412:3;18353:67;:::i;:::-;18346:74;;18429:93;18518:3;18429:93;:::i;:::-;18547:2;18542:3;18538:12;18531:19;;18190:366;;;:::o;18562:419::-;18728:4;18766:2;18755:9;18751:18;18743:26;;18815:9;18809:4;18805:20;18801:1;18790:9;18786:17;18779:47;18843:131;18969:4;18843:131;:::i;:::-;18835:139;;18562:419;;;:::o;18987:224::-;19127:34;19123:1;19115:6;19111:14;19104:58;19196:7;19191:2;19183:6;19179:15;19172:32;18987:224;:::o;19217:366::-;19359:3;19380:67;19444:2;19439:3;19380:67;:::i;:::-;19373:74;;19456:93;19545:3;19456:93;:::i;:::-;19574:2;19569:3;19565:12;19558:19;;19217:366;;;:::o;19589:419::-;19755:4;19793:2;19782:9;19778:18;19770:26;;19842:9;19836:4;19832:20;19828:1;19817:9;19813:17;19806:47;19870:131;19996:4;19870:131;:::i;:::-;19862:139;;19589:419;;;:::o;20014:222::-;20154:34;20150:1;20142:6;20138:14;20131:58;20223:5;20218:2;20210:6;20206:15;20199:30;20014:222;:::o;20242:366::-;20384:3;20405:67;20469:2;20464:3;20405:67;:::i;:::-;20398:74;;20481:93;20570:3;20481:93;:::i;:::-;20599:2;20594:3;20590:12;20583:19;;20242:366;;;:::o;20614:419::-;20780:4;20818:2;20807:9;20803:18;20795:26;;20867:9;20861:4;20857:20;20853:1;20842:9;20838:17;20831:47;20895:131;21021:4;20895:131;:::i;:::-;20887:139;;20614:419;;;:::o;21039:225::-;21179:34;21175:1;21167:6;21163:14;21156:58;21248:8;21243:2;21235:6;21231:15;21224:33;21039:225;:::o;21270:366::-;21412:3;21433:67;21497:2;21492:3;21433:67;:::i;:::-;21426:74;;21509:93;21598:3;21509:93;:::i;:::-;21627:2;21622:3;21618:12;21611:19;;21270:366;;;:::o;21642:419::-;21808:4;21846:2;21835:9;21831:18;21823:26;;21895:9;21889:4;21885:20;21881:1;21870:9;21866:17;21859:47;21923:131;22049:4;21923:131;:::i;:::-;21915:139;;21642:419;;;:::o;22067:664::-;22272:4;22310:3;22299:9;22295:19;22287:27;;22324:71;22392:1;22381:9;22377:17;22368:6;22324:71;:::i;:::-;22405:72;22473:2;22462:9;22458:18;22449:6;22405:72;:::i;:::-;22487;22555:2;22544:9;22540:18;22531:6;22487:72;:::i;:::-;22569;22637:2;22626:9;22622:18;22613:6;22569:72;:::i;:::-;22651:73;22719:3;22708:9;22704:19;22695:6;22651:73;:::i;:::-;22067:664;;;;;;;;:::o;22737:545::-;22910:4;22948:3;22937:9;22933:19;22925:27;;22962:71;23030:1;23019:9;23015:17;23006:6;22962:71;:::i;:::-;23043:68;23107:2;23096:9;23092:18;23083:6;23043:68;:::i;:::-;23121:72;23189:2;23178:9;23174:18;23165:6;23121:72;:::i;:::-;23203;23271:2;23260:9;23256:18;23247:6;23203:72;:::i;:::-;22737:545;;;;;;;:::o;23288:180::-;23336:77;23333:1;23326:88;23433:4;23430:1;23423:15;23457:4;23454:1;23447:15;23474:174;23614:26;23610:1;23602:6;23598:14;23591:50;23474:174;:::o;23654:366::-;23796:3;23817:67;23881:2;23876:3;23817:67;:::i;:::-;23810:74;;23893:93;23982:3;23893:93;:::i;:::-;24011:2;24006:3;24002:12;23995:19;;23654:366;;;:::o;24026:419::-;24192:4;24230:2;24219:9;24215:18;24207:26;;24279:9;24273:4;24269:20;24265:1;24254:9;24250:17;24243:47;24307:131;24433:4;24307:131;:::i;:::-;24299:139;;24026:419;;;:::o;24451:181::-;24591:33;24587:1;24579:6;24575:14;24568:57;24451:181;:::o;24638:366::-;24780:3;24801:67;24865:2;24860:3;24801:67;:::i;:::-;24794:74;;24877:93;24966:3;24877:93;:::i;:::-;24995:2;24990:3;24986:12;24979:19;;24638:366;;;:::o;25010:419::-;25176:4;25214:2;25203:9;25199:18;25191:26;;25263:9;25257:4;25253:20;25249:1;25238:9;25234:17;25227:47;25291:131;25417:4;25291:131;:::i;:::-;25283:139;;25010:419;;;:::o;25435:221::-;25575:34;25571:1;25563:6;25559:14;25552:58;25644:4;25639:2;25631:6;25627:15;25620:29;25435:221;:::o;25662:366::-;25804:3;25825:67;25889:2;25884:3;25825:67;:::i;:::-;25818:74;;25901:93;25990:3;25901:93;:::i;:::-;26019:2;26014:3;26010:12;26003:19;;25662:366;;;:::o;26034:419::-;26200:4;26238:2;26227:9;26223:18;26215:26;;26287:9;26281:4;26277:20;26273:1;26262:9;26258:17;26251:47;26315:131;26441:4;26315:131;:::i;:::-;26307:139;;26034:419;;;:::o

ipfs://ca55b2fd62030be0132232e4b7103b8c2cf74def3b9cf5673153b03ab9d5e2ea