Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library Counters    - function current(Counter storage coun ...    - function increment(Counter storage co ...    - function decrement(Counter storage co ...    - function reset(Counter storage counte ... library Math    - function max(uint256 a, uint256 b)    - function min(uint256 a, uint256 b)    - function average(uint256 a, uint256 b ...    - function ceilDiv(uint256 a, uint256 b ...    - function mulDiv(    - function mulDiv(    - function sqrt(uint256 a)    - function sqrt(uint256 a, Rounding rou ...    - function log2(uint256 value)    - function log2(uint256 value, Rounding ...    - function log10(uint256 value)    - function log10(uint256 value, Roundin ...    - function log256(uint256 value)    - function log256(uint256 value, Roundi ... library Strings    - function toString(uint256 value)    - function toHexString(uint256 value)    - function toHexString(uint256 value, u ...    - function toHexString(address addr) library ECDSA    - function _throwError(RecoverError err ...    - function tryRecover(bytes32 hash, byt ...    - function recover(bytes32 hash, bytes ...    - function tryRecover(    - function recover(    - function tryRecover(    - function recover(    - function toEthSignedMessageHash(bytes ...    - function toEthSignedMessageHash(bytes ...    - function toTypedDataHash(bytes32 doma ...    - function _domainSeparatorV4()    - function _buildDomainSeparator(    - function _hashTypedDataV4(bytes32 str ... interface IERC20Permit    - function permit(    - function nonces(address owner)    - function DOMAIN_SEPARATOR()    - function _msgSender()    - function _msgData()    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ...    - function paused()    - function _requireNotPaused()    - function _requirePaused()    - function _pause()    - function _unpause() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _spendAllowance(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(    - function permit(    - function nonces(address owner)    - function DOMAIN_SEPARATOR()    - function _useNonce(address owner)    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract DOXCoin is ERC20, ERC20Bu ... *    - function pause()    - function unpause()    - function _beforeTokenTransfer(address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-05-27
*/

// File: @openzeppelin/contracts/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/utils/math/Math.sol


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

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    /**
     * @dev Returns the square root of a number. 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 10, 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 * 8) < value ? 1 : 0);
        }
    }
}

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


// OpenZeppelin Contracts (last updated v4.8.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 `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);
    }
}

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


// OpenZeppelin Contracts (last updated v4.8.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) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", hash));
    }

    /**
     * @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) {
        return keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));
    }
}

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


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

pragma solidity ^0.8.0;


/**
 * @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].
 *
 * _Available since v3.4._
 */
abstract contract EIP712 {
    /* solhint-disable var-name-mixedcase */
    // 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 _CACHED_DOMAIN_SEPARATOR;
    uint256 private immutable _CACHED_CHAIN_ID;
    address private immutable _CACHED_THIS;

    bytes32 private immutable _HASHED_NAME;
    bytes32 private immutable _HASHED_VERSION;
    bytes32 private immutable _TYPE_HASH;

    /* solhint-enable var-name-mixedcase */

    /**
     * @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) {
        bytes32 hashedName = keccak256(bytes(name));
        bytes32 hashedVersion = keccak256(bytes(version));
        bytes32 typeHash = keccak256(
            "EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"
        );
        _HASHED_NAME = hashedName;
        _HASHED_VERSION = hashedVersion;
        _CACHED_CHAIN_ID = block.chainid;
        _CACHED_DOMAIN_SEPARATOR = _buildDomainSeparator(typeHash, hashedName, hashedVersion);
        _CACHED_THIS = address(this);
        _TYPE_HASH = typeHash;
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (address(this) == _CACHED_THIS && block.chainid == _CACHED_CHAIN_ID) {
            return _CACHED_DOMAIN_SEPARATOR;
        } else {
            return _buildDomainSeparator(_TYPE_HASH, _HASHED_NAME, _HASHED_VERSION);
        }
    }

    function _buildDomainSeparator(
        bytes32 typeHash,
        bytes32 nameHash,
        bytes32 versionHash
    ) private view returns (bytes32) {
        return keccak256(abi.encode(typeHash, nameHash, versionHash, 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);
    }
}

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


// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-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/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/access/Ownable.sol


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

pragma solidity ^0.8.0;


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

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

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

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

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

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

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

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

// File: @openzeppelin/contracts/security/Pausable.sol


// OpenZeppelin Contracts (last updated v4.7.0) (security/Pausable.sol)

pragma solidity ^0.8.0;


/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
abstract contract Pausable is Context {
    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state.
     */
    constructor() {
        _paused = false;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        _requireNotPaused();
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        _requirePaused();
        _;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

    /**
     * @dev Throws if the contract is paused.
     */
    function _requireNotPaused() internal view virtual {
        require(!paused(), "Pausable: paused");
    }

    /**
     * @dev Throws if the contract is not paused.
     */
    function _requirePaused() internal view virtual {
        require(paused(), "Pausable: not paused");
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

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


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

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

// File: @openzeppelin/contracts/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/token/ERC20/ERC20.sol


// OpenZeppelin Contracts (last updated v4.8.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].
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

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

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

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

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

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

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

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

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

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

        return true;
    }

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

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
            // 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/token/ERC20/extensions/draft-ERC20Permit.sol


// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/extensions/draft-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/token/ERC20/extensions/ERC20Burnable.sol


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

pragma solidity ^0.8.0;



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

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

// File: DOXCoin.sol


pragma solidity ^0.8.9;






contract DOXCoin is ERC20, ERC20Burnable, Pausable, Ownable, ERC20Permit {
    constructor() ERC20("DOX Coin", "DOX") ERC20Permit("DOX Coin") {
        _mint(msg.sender, 1000000000000000 * 10 ** decimals());
    }

    function pause() public onlyOwner {
        _pause();
    }

    function unpause() public onlyOwner {
        _unpause();
    }

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","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":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"}]

61014060405234801562000011575f80fd5b506040518060400160405280600881526020017f444f5820436f696e000000000000000000000000000000000000000000000000815250806040518060400160405280600181526020017f31000000000000000000000000000000000000000000000000000000000000008152506040518060400160405280600881526020017f444f5820436f696e0000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f444f5800000000000000000000000000000000000000000000000000000000008152508160039081620000fc9190620007b7565b5080600490816200010e9190620007b7565b5050505f60055f6101000a81548160ff0219169083151502179055506200014a6200013e6200024360201b60201c565b6200024a60201b60201c565b5f828051906020012090505f828051906020012090505f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f90508260e081815250508161010081815250504660a08181525050620001b08184846200030f60201b60201c565b608081815250503073ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff16815250508061012081815250505050505050506200023d336200020f6200034a60201b60201c565b600a6200021d919062000a24565b66038d7ea4c6800062000231919062000a74565b6200035260201b60201c565b62000cc8565b5f33905090565b5f600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f83838346306040516020016200032b95949392919062000b2c565b6040516020818303038152906040528051906020012090509392505050565b5f6012905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603620003c3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620003ba9062000be5565b60405180910390fd5b620003d65f8383620004b760201b60201c565b8060025f828254620003e9919062000c05565b92505081905550805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000498919062000c3f565b60405180910390a3620004b35f8383620004df60201b60201c565b5050565b620004c7620004e460201b60201c565b620004da8383836200053960201b60201c565b505050565b505050565b620004f46200053e60201b60201c565b1562000537576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200052e9062000ca8565b60405180910390fd5b565b505050565b5f60055f9054906101000a900460ff16905090565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620005cf57607f821691505b602082108103620005e557620005e46200058a565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620006497fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200060c565b6200065586836200060c565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6200069f6200069962000693846200066d565b62000676565b6200066d565b9050919050565b5f819050919050565b620006ba836200067f565b620006d2620006c982620006a6565b84845462000618565b825550505050565b5f90565b620006e8620006da565b620006f5818484620006af565b505050565b5b818110156200071c57620007105f82620006de565b600181019050620006fb565b5050565b601f8211156200076b576200073581620005eb565b6200074084620005fd565b8101602085101562000750578190505b620007686200075f85620005fd565b830182620006fa565b50505b505050565b5f82821c905092915050565b5f6200078d5f198460080262000770565b1980831691505092915050565b5f620007a783836200077c565b9150826002028217905092915050565b620007c28262000553565b67ffffffffffffffff811115620007de57620007dd6200055d565b5b620007ea8254620005b7565b620007f782828562000720565b5f60209050601f8311600181146200082d575f841562000818578287015190505b6200082485826200079a565b86555062000893565b601f1984166200083d86620005eb565b5f5b8281101562000866578489015182556001820191506020850194506020810190506200083f565b8683101562000886578489015162000882601f8916826200077c565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156200092557808604811115620008fd57620008fc6200089b565b5b60018516156200090d5780820291505b80810290506200091d85620008c8565b9450620008dd565b94509492505050565b5f826200093f576001905062000a11565b816200094e575f905062000a11565b81600181146200096757600281146200097257620009a8565b600191505062000a11565b60ff8411156200098757620009866200089b565b5b8360020a915084821115620009a157620009a06200089b565b5b5062000a11565b5060208310610133831016604e8410600b8410161715620009e25782820a905083811115620009dc57620009db6200089b565b5b62000a11565b620009f18484846001620008d4565b9250905081840481111562000a0b5762000a0a6200089b565b5b81810290505b9392505050565b5f60ff82169050919050565b5f62000a30826200066d565b915062000a3d8362000a18565b925062000a6c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200092e565b905092915050565b5f62000a80826200066d565b915062000a8d836200066d565b925082820262000a9d816200066d565b9150828204841483151762000ab75762000ab66200089b565b5b5092915050565b5f819050919050565b62000ad28162000abe565b82525050565b62000ae3816200066d565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f62000b148262000ae9565b9050919050565b62000b268162000b08565b82525050565b5f60a08201905062000b415f83018862000ac7565b62000b50602083018762000ac7565b62000b5f604083018662000ac7565b62000b6e606083018562000ad8565b62000b7d608083018462000b1b565b9695505050505050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f62000bcd601f8362000b87565b915062000bda8262000b97565b602082019050919050565b5f6020820190508181035f83015262000bfe8162000bbf565b9050919050565b5f62000c11826200066d565b915062000c1e836200066d565b925082820190508082111562000c395762000c386200089b565b5b92915050565b5f60208201905062000c545f83018462000ad8565b92915050565b7f5061757361626c653a20706175736564000000000000000000000000000000005f82015250565b5f62000c9060108362000b87565b915062000c9d8262000c5a565b602082019050919050565b5f6020820190508181035f83015262000cc18162000c82565b9050919050565b60805160a05160c05160e051610100516101205161277a62000d105f395f610f6c01525f610fae01525f610f8d01525f610ec201525f610f1801525f610f41015261277a5ff3fe608060405234801561000f575f80fd5b5060043610610140575f3560e01c8063715018a6116100b657806395d89b411161007a57806395d89b411461033e578063a457c2d71461035c578063a9059cbb1461038c578063d505accf146103bc578063dd62ed3e146103d8578063f2fde38b1461040857610140565b8063715018a6146102c057806379cc6790146102ca5780637ecebe00146102e65780638456cb59146103165780638da5cb5b1461032057610140565b80633644e515116101085780633644e515146101fe578063395093511461021c5780633f4ba83a1461024c57806342966c68146102565780635c975abb1461027257806370a082311461029057610140565b806306fdde0314610144578063095ea7b31461016257806318160ddd1461019257806323b872dd146101b0578063313ce567146101e0575b5f80fd5b61014c610424565b6040516101599190611845565b60405180910390f35b61017c600480360381019061017791906118f6565b6104b4565b604051610189919061194e565b60405180910390f35b61019a6104d6565b6040516101a79190611976565b60405180910390f35b6101ca60048036038101906101c5919061198f565b6104df565b6040516101d7919061194e565b60405180910390f35b6101e861050d565b6040516101f591906119fa565b60405180910390f35b610206610515565b6040516102139190611a2b565b60405180910390f35b610236600480360381019061023191906118f6565b610523565b604051610243919061194e565b60405180910390f35b610254610559565b005b610270600480360381019061026b9190611a44565b61056b565b005b61027a61057f565b604051610287919061194e565b60405180910390f35b6102aa60048036038101906102a59190611a6f565b610594565b6040516102b79190611976565b60405180910390f35b6102c86105d9565b005b6102e460048036038101906102df91906118f6565b6105ec565b005b61030060048036038101906102fb9190611a6f565b61060c565b60405161030d9190611976565b60405180910390f35b61031e610659565b005b61032861066b565b6040516103359190611aa9565b60405180910390f35b610346610694565b6040516103539190611845565b60405180910390f35b610376600480360381019061037191906118f6565b610724565b604051610383919061194e565b60405180910390f35b6103a660048036038101906103a191906118f6565b610799565b6040516103b3919061194e565b60405180910390f35b6103d660048036038101906103d19190611b16565b6107bb565b005b6103f260048036038101906103ed9190611bb3565b6108fa565b6040516103ff9190611976565b60405180910390f35b610422600480360381019061041d9190611a6f565b61097c565b005b60606003805461043390611c1e565b80601f016020809104026020016040519081016040528092919081815260200182805461045f90611c1e565b80156104aa5780601f10610481576101008083540402835291602001916104aa565b820191905f5260205f20905b81548152906001019060200180831161048d57829003601f168201915b5050505050905090565b5f806104be6109fe565b90506104cb818585610a05565b600191505092915050565b5f600254905090565b5f806104e96109fe565b90506104f6858285610bc8565b610501858585610c53565b60019150509392505050565b5f6012905090565b5f61051e610ebf565b905090565b5f8061052d6109fe565b905061054e81858561053f85896108fa565b6105499190611c7b565b610a05565b600191505092915050565b610561610fd8565b610569611056565b565b61057c6105766109fe565b826110b7565b50565b5f60055f9054906101000a900460ff16905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6105e1610fd8565b6105ea5f61127a565b565b6105fe826105f86109fe565b83610bc8565b61060882826110b7565b5050565b5f61065260065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2061133f565b9050919050565b610661610fd8565b61066961134b565b565b5f600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546106a390611c1e565b80601f01602080910402602001604051908101604052809291908181526020018280546106cf90611c1e565b801561071a5780601f106106f15761010080835404028352916020019161071a565b820191905f5260205f20905b8154815290600101906020018083116106fd57829003601f168201915b5050505050905090565b5f8061072e6109fe565b90505f61073b82866108fa565b905083811015610780576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077790611d1e565b60405180910390fd5b61078d8286868403610a05565b60019250505092915050565b5f806107a36109fe565b90506107b0818585610c53565b600191505092915050565b834211156107fe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107f590611d86565b60405180910390fd5b5f7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c988888861082c8c6113ad565b8960405160200161084296959493929190611da4565b6040516020818303038152906040528051906020012090505f61086482611408565b90505f61087382878787611421565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146108e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108da90611e4d565b60405180910390fd5b6108ee8a8a8a610a05565b50505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610984610fd8565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036109f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e990611edb565b60405180910390fd5b6109fb8161127a565b50565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a73576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a6a90611f69565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ae1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad890611ff7565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610bbb9190611976565b60405180910390a3505050565b5f610bd384846108fa565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610c4d5781811015610c3f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c369061205f565b60405180910390fd5b610c4c8484848403610a05565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cc1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cb8906120ed565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d2f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d269061217b565b60405180910390fd5b610d3a83838361144a565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610dbd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610db490612209565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ea69190611976565b60405180910390a3610eb9848484611462565b50505050565b5f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015610f3a57507f000000000000000000000000000000000000000000000000000000000000000046145b15610f67577f00000000000000000000000000000000000000000000000000000000000000009050610fd5565b610fd27f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000611467565b90505b90565b610fe06109fe565b73ffffffffffffffffffffffffffffffffffffffff16610ffe61066b565b73ffffffffffffffffffffffffffffffffffffffff1614611054576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161104b90612271565b60405180910390fd5b565b61105e6114a0565b5f60055f6101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6110a06109fe565b6040516110ad9190611aa9565b60405180910390a1565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611125576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161111c906122ff565b60405180910390fd5b611130825f8361144a565b5f805f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156111b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111aa9061238d565b60405180910390fd5b8181035f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f82825403925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516112629190611976565b60405180910390a3611275835f84611462565b505050565b5f600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f815f01549050919050565b6113536114e9565b600160055f6101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586113966109fe565b6040516113a39190611aa9565b60405180910390a1565b5f8060065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2090506113f78161133f565b915061140281611533565b50919050565b5f61141a611414610ebf565b83611547565b9050919050565b5f805f61143087878787611579565b9150915061143d81611651565b8192505050949350505050565b6114526114e9565b61145d8383836117b6565b505050565b505050565b5f83838346306040516020016114819594939291906123ab565b6040516020818303038152906040528051906020012090509392505050565b6114a861057f565b6114e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114de90612446565b60405180910390fd5b565b6114f161057f565b15611531576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611528906124ae565b60405180910390fd5b565b6001815f015f828254019250508190555050565b5f828260405160200161155b929190612540565b60405160208183030381529060405280519060200120905092915050565b5f807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0835f1c11156115b1575f600391509150611648565b5f6001878787876040515f81526020016040526040516115d49493929190612576565b6020604051602081039080840390855afa1580156115f4573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611640575f60019250925050611648565b805f92509250505b94509492505050565b5f6004811115611664576116636125b9565b5b816004811115611677576116766125b9565b5b03156117b35760016004811115611691576116906125b9565b5b8160048111156116a4576116a36125b9565b5b036116e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116db90612630565b60405180910390fd5b600260048111156116f8576116f76125b9565b5b81600481111561170b5761170a6125b9565b5b0361174b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161174290612698565b60405180910390fd5b6003600481111561175f5761175e6125b9565b5b816004811115611772576117716125b9565b5b036117b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117a990612726565b60405180910390fd5b5b50565b505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156117f25780820151818401526020810190506117d7565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611817826117bb565b61182181856117c5565b93506118318185602086016117d5565b61183a816117fd565b840191505092915050565b5f6020820190508181035f83015261185d818461180d565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61189282611869565b9050919050565b6118a281611888565b81146118ac575f80fd5b50565b5f813590506118bd81611899565b92915050565b5f819050919050565b6118d5816118c3565b81146118df575f80fd5b50565b5f813590506118f0816118cc565b92915050565b5f806040838503121561190c5761190b611865565b5b5f611919858286016118af565b925050602061192a858286016118e2565b9150509250929050565b5f8115159050919050565b61194881611934565b82525050565b5f6020820190506119615f83018461193f565b92915050565b611970816118c3565b82525050565b5f6020820190506119895f830184611967565b92915050565b5f805f606084860312156119a6576119a5611865565b5b5f6119b3868287016118af565b93505060206119c4868287016118af565b92505060406119d5868287016118e2565b9150509250925092565b5f60ff82169050919050565b6119f4816119df565b82525050565b5f602082019050611a0d5f8301846119eb565b92915050565b5f819050919050565b611a2581611a13565b82525050565b5f602082019050611a3e5f830184611a1c565b92915050565b5f60208284031215611a5957611a58611865565b5b5f611a66848285016118e2565b91505092915050565b5f60208284031215611a8457611a83611865565b5b5f611a91848285016118af565b91505092915050565b611aa381611888565b82525050565b5f602082019050611abc5f830184611a9a565b92915050565b611acb816119df565b8114611ad5575f80fd5b50565b5f81359050611ae681611ac2565b92915050565b611af581611a13565b8114611aff575f80fd5b50565b5f81359050611b1081611aec565b92915050565b5f805f805f805f60e0888a031215611b3157611b30611865565b5b5f611b3e8a828b016118af565b9750506020611b4f8a828b016118af565b9650506040611b608a828b016118e2565b9550506060611b718a828b016118e2565b9450506080611b828a828b01611ad8565b93505060a0611b938a828b01611b02565b92505060c0611ba48a828b01611b02565b91505092959891949750929550565b5f8060408385031215611bc957611bc8611865565b5b5f611bd6858286016118af565b9250506020611be7858286016118af565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611c3557607f821691505b602082108103611c4857611c47611bf1565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611c85826118c3565b9150611c90836118c3565b9250828201905080821115611ca857611ca7611c4e565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611d086025836117c5565b9150611d1382611cae565b604082019050919050565b5f6020820190508181035f830152611d3581611cfc565b9050919050565b7f45524332305065726d69743a206578706972656420646561646c696e650000005f82015250565b5f611d70601d836117c5565b9150611d7b82611d3c565b602082019050919050565b5f6020820190508181035f830152611d9d81611d64565b9050919050565b5f60c082019050611db75f830189611a1c565b611dc46020830188611a9a565b611dd16040830187611a9a565b611dde6060830186611967565b611deb6080830185611967565b611df860a0830184611967565b979650505050505050565b7f45524332305065726d69743a20696e76616c6964207369676e617475726500005f82015250565b5f611e37601e836117c5565b9150611e4282611e03565b602082019050919050565b5f6020820190508181035f830152611e6481611e2b565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f611ec56026836117c5565b9150611ed082611e6b565b604082019050919050565b5f6020820190508181035f830152611ef281611eb9565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611f536024836117c5565b9150611f5e82611ef9565b604082019050919050565b5f6020820190508181035f830152611f8081611f47565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611fe16022836117c5565b9150611fec82611f87565b604082019050919050565b5f6020820190508181035f83015261200e81611fd5565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f612049601d836117c5565b915061205482612015565b602082019050919050565b5f6020820190508181035f8301526120768161203d565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6120d76025836117c5565b91506120e28261207d565b604082019050919050565b5f6020820190508181035f830152612104816120cb565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6121656023836117c5565b91506121708261210b565b604082019050919050565b5f6020820190508181035f83015261219281612159565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f6121f36026836117c5565b91506121fe82612199565b604082019050919050565b5f6020820190508181035f830152612220816121e7565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f61225b6020836117c5565b915061226682612227565b602082019050919050565b5f6020820190508181035f8301526122888161224f565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265735f8201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b5f6122e96021836117c5565b91506122f48261228f565b604082019050919050565b5f6020820190508181035f830152612316816122dd565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e5f8201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b5f6123776022836117c5565b91506123828261231d565b604082019050919050565b5f6020820190508181035f8301526123a48161236b565b9050919050565b5f60a0820190506123be5f830188611a1c565b6123cb6020830187611a1c565b6123d86040830186611a1c565b6123e56060830185611967565b6123f26080830184611a9a565b9695505050505050565b7f5061757361626c653a206e6f74207061757365640000000000000000000000005f82015250565b5f6124306014836117c5565b915061243b826123fc565b602082019050919050565b5f6020820190508181035f83015261245d81612424565b9050919050565b7f5061757361626c653a20706175736564000000000000000000000000000000005f82015250565b5f6124986010836117c5565b91506124a382612464565b602082019050919050565b5f6020820190508181035f8301526124c58161248c565b9050919050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61250a6002836124cc565b9150612515826124d6565b600282019050919050565b5f819050919050565b61253a61253582611a13565b612520565b82525050565b5f61254a826124fe565b91506125568285612529565b6020820191506125668284612529565b6020820191508190509392505050565b5f6080820190506125895f830187611a1c565b61259660208301866119eb565b6125a36040830185611a1c565b6125b06060830184611a1c565b95945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b7f45434453413a20696e76616c6964207369676e617475726500000000000000005f82015250565b5f61261a6018836117c5565b9150612625826125e6565b602082019050919050565b5f6020820190508181035f8301526126478161260e565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265206c656e677468005f82015250565b5f612682601f836117c5565b915061268d8261264e565b602082019050919050565b5f6020820190508181035f8301526126af81612676565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c5f8201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b5f6127106022836117c5565b915061271b826126b6565b604082019050919050565b5f6020820190508181035f83015261273d81612704565b905091905056fea26469706673582212209bf8e6c624fc5084a4f5705c3c90c0df9e465f99f7bf8b4083d0b3e13e537b1864736f6c63430008140033

0x608060405234801561000f575f80fd5b5060043610610140575f3560e01c8063715018a6116100b657806395d89b411161007a57806395d89b411461033e578063a457c2d71461035c578063a9059cbb1461038c578063d505accf146103bc578063dd62ed3e146103d8578063f2fde38b1461040857610140565b8063715018a6146102c057806379cc6790146102ca5780637ecebe00146102e65780638456cb59146103165780638da5cb5b1461032057610140565b80633644e515116101085780633644e515146101fe578063395093511461021c5780633f4ba83a1461024c57806342966c68146102565780635c975abb1461027257806370a082311461029057610140565b806306fdde0314610144578063095ea7b31461016257806318160ddd1461019257806323b872dd146101b0578063313ce567146101e0575b5f80fd5b61014c610424565b6040516101599190611845565b60405180910390f35b61017c600480360381019061017791906118f6565b6104b4565b604051610189919061194e565b60405180910390f35b61019a6104d6565b6040516101a79190611976565b60405180910390f35b6101ca60048036038101906101c5919061198f565b6104df565b6040516101d7919061194e565b60405180910390f35b6101e861050d565b6040516101f591906119fa565b60405180910390f35b610206610515565b6040516102139190611a2b565b60405180910390f35b610236600480360381019061023191906118f6565b610523565b604051610243919061194e565b60405180910390f35b610254610559565b005b610270600480360381019061026b9190611a44565b61056b565b005b61027a61057f565b604051610287919061194e565b60405180910390f35b6102aa60048036038101906102a59190611a6f565b610594565b6040516102b79190611976565b60405180910390f35b6102c86105d9565b005b6102e460048036038101906102df91906118f6565b6105ec565b005b61030060048036038101906102fb9190611a6f565b61060c565b60405161030d9190611976565b60405180910390f35b61031e610659565b005b61032861066b565b6040516103359190611aa9565b60405180910390f35b610346610694565b6040516103539190611845565b60405180910390f35b610376600480360381019061037191906118f6565b610724565b604051610383919061194e565b60405180910390f35b6103a660048036038101906103a191906118f6565b610799565b6040516103b3919061194e565b60405180910390f35b6103d660048036038101906103d19190611b16565b6107bb565b005b6103f260048036038101906103ed9190611bb3565b6108fa565b6040516103ff9190611976565b60405180910390f35b610422600480360381019061041d9190611a6f565b61097c565b005b60606003805461043390611c1e565b80601f016020809104026020016040519081016040528092919081815260200182805461045f90611c1e565b80156104aa5780601f10610481576101008083540402835291602001916104aa565b820191905f5260205f20905b81548152906001019060200180831161048d57829003601f168201915b5050505050905090565b5f806104be6109fe565b90506104cb818585610a05565b600191505092915050565b5f600254905090565b5f806104e96109fe565b90506104f6858285610bc8565b610501858585610c53565b60019150509392505050565b5f6012905090565b5f61051e610ebf565b905090565b5f8061052d6109fe565b905061054e81858561053f85896108fa565b6105499190611c7b565b610a05565b600191505092915050565b610561610fd8565b610569611056565b565b61057c6105766109fe565b826110b7565b50565b5f60055f9054906101000a900460ff16905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6105e1610fd8565b6105ea5f61127a565b565b6105fe826105f86109fe565b83610bc8565b61060882826110b7565b5050565b5f61065260065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2061133f565b9050919050565b610661610fd8565b61066961134b565b565b5f600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546106a390611c1e565b80601f01602080910402602001604051908101604052809291908181526020018280546106cf90611c1e565b801561071a5780601f106106f15761010080835404028352916020019161071a565b820191905f5260205f20905b8154815290600101906020018083116106fd57829003601f168201915b5050505050905090565b5f8061072e6109fe565b90505f61073b82866108fa565b905083811015610780576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077790611d1e565b60405180910390fd5b61078d8286868403610a05565b60019250505092915050565b5f806107a36109fe565b90506107b0818585610c53565b600191505092915050565b834211156107fe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107f590611d86565b60405180910390fd5b5f7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c988888861082c8c6113ad565b8960405160200161084296959493929190611da4565b6040516020818303038152906040528051906020012090505f61086482611408565b90505f61087382878787611421565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146108e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108da90611e4d565b60405180910390fd5b6108ee8a8a8a610a05565b50505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610984610fd8565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036109f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e990611edb565b60405180910390fd5b6109fb8161127a565b50565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a73576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a6a90611f69565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ae1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad890611ff7565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610bbb9190611976565b60405180910390a3505050565b5f610bd384846108fa565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610c4d5781811015610c3f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c369061205f565b60405180910390fd5b610c4c8484848403610a05565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cc1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cb8906120ed565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d2f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d269061217b565b60405180910390fd5b610d3a83838361144a565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610dbd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610db490612209565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ea69190611976565b60405180910390a3610eb9848484611462565b50505050565b5f7f00000000000000000000000093728f9b63edbb91739f4fbaa84890e5073e3d4f73ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015610f3a57507f000000000000000000000000000000000000000000000000000000000000000146145b15610f67577f5e5bcecf33f6112b55a03dab37d44105d08e03bd923b59f44999ba0e2f549c429050610fd5565b610fd27f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7f544b3eaffc1aff5cce1e468119c354cdf108b026de529db0fa8be8a838cec5a67fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6611467565b90505b90565b610fe06109fe565b73ffffffffffffffffffffffffffffffffffffffff16610ffe61066b565b73ffffffffffffffffffffffffffffffffffffffff1614611054576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161104b90612271565b60405180910390fd5b565b61105e6114a0565b5f60055f6101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6110a06109fe565b6040516110ad9190611aa9565b60405180910390a1565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611125576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161111c906122ff565b60405180910390fd5b611130825f8361144a565b5f805f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156111b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111aa9061238d565b60405180910390fd5b8181035f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f82825403925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516112629190611976565b60405180910390a3611275835f84611462565b505050565b5f600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f815f01549050919050565b6113536114e9565b600160055f6101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586113966109fe565b6040516113a39190611aa9565b60405180910390a1565b5f8060065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2090506113f78161133f565b915061140281611533565b50919050565b5f61141a611414610ebf565b83611547565b9050919050565b5f805f61143087878787611579565b9150915061143d81611651565b8192505050949350505050565b6114526114e9565b61145d8383836117b6565b505050565b505050565b5f83838346306040516020016114819594939291906123ab565b6040516020818303038152906040528051906020012090509392505050565b6114a861057f565b6114e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114de90612446565b60405180910390fd5b565b6114f161057f565b15611531576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611528906124ae565b60405180910390fd5b565b6001815f015f828254019250508190555050565b5f828260405160200161155b929190612540565b60405160208183030381529060405280519060200120905092915050565b5f807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0835f1c11156115b1575f600391509150611648565b5f6001878787876040515f81526020016040526040516115d49493929190612576565b6020604051602081039080840390855afa1580156115f4573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611640575f60019250925050611648565b805f92509250505b94509492505050565b5f6004811115611664576116636125b9565b5b816004811115611677576116766125b9565b5b03156117b35760016004811115611691576116906125b9565b5b8160048111156116a4576116a36125b9565b5b036116e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116db90612630565b60405180910390fd5b600260048111156116f8576116f76125b9565b5b81600481111561170b5761170a6125b9565b5b0361174b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161174290612698565b60405180910390fd5b6003600481111561175f5761175e6125b9565b5b816004811115611772576117716125b9565b5b036117b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117a990612726565b60405180910390fd5b5b50565b505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156117f25780820151818401526020810190506117d7565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611817826117bb565b61182181856117c5565b93506118318185602086016117d5565b61183a816117fd565b840191505092915050565b5f6020820190508181035f83015261185d818461180d565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61189282611869565b9050919050565b6118a281611888565b81146118ac575f80fd5b50565b5f813590506118bd81611899565b92915050565b5f819050919050565b6118d5816118c3565b81146118df575f80fd5b50565b5f813590506118f0816118cc565b92915050565b5f806040838503121561190c5761190b611865565b5b5f611919858286016118af565b925050602061192a858286016118e2565b9150509250929050565b5f8115159050919050565b61194881611934565b82525050565b5f6020820190506119615f83018461193f565b92915050565b611970816118c3565b82525050565b5f6020820190506119895f830184611967565b92915050565b5f805f606084860312156119a6576119a5611865565b5b5f6119b3868287016118af565b93505060206119c4868287016118af565b92505060406119d5868287016118e2565b9150509250925092565b5f60ff82169050919050565b6119f4816119df565b82525050565b5f602082019050611a0d5f8301846119eb565b92915050565b5f819050919050565b611a2581611a13565b82525050565b5f602082019050611a3e5f830184611a1c565b92915050565b5f60208284031215611a5957611a58611865565b5b5f611a66848285016118e2565b91505092915050565b5f60208284031215611a8457611a83611865565b5b5f611a91848285016118af565b91505092915050565b611aa381611888565b82525050565b5f602082019050611abc5f830184611a9a565b92915050565b611acb816119df565b8114611ad5575f80fd5b50565b5f81359050611ae681611ac2565b92915050565b611af581611a13565b8114611aff575f80fd5b50565b5f81359050611b1081611aec565b92915050565b5f805f805f805f60e0888a031215611b3157611b30611865565b5b5f611b3e8a828b016118af565b9750506020611b4f8a828b016118af565b9650506040611b608a828b016118e2565b9550506060611b718a828b016118e2565b9450506080611b828a828b01611ad8565b93505060a0611b938a828b01611b02565b92505060c0611ba48a828b01611b02565b91505092959891949750929550565b5f8060408385031215611bc957611bc8611865565b5b5f611bd6858286016118af565b9250506020611be7858286016118af565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611c3557607f821691505b602082108103611c4857611c47611bf1565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611c85826118c3565b9150611c90836118c3565b9250828201905080821115611ca857611ca7611c4e565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611d086025836117c5565b9150611d1382611cae565b604082019050919050565b5f6020820190508181035f830152611d3581611cfc565b9050919050565b7f45524332305065726d69743a206578706972656420646561646c696e650000005f82015250565b5f611d70601d836117c5565b9150611d7b82611d3c565b602082019050919050565b5f6020820190508181035f830152611d9d81611d64565b9050919050565b5f60c082019050611db75f830189611a1c565b611dc46020830188611a9a565b611dd16040830187611a9a565b611dde6060830186611967565b611deb6080830185611967565b611df860a0830184611967565b979650505050505050565b7f45524332305065726d69743a20696e76616c6964207369676e617475726500005f82015250565b5f611e37601e836117c5565b9150611e4282611e03565b602082019050919050565b5f6020820190508181035f830152611e6481611e2b565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f611ec56026836117c5565b9150611ed082611e6b565b604082019050919050565b5f6020820190508181035f830152611ef281611eb9565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611f536024836117c5565b9150611f5e82611ef9565b604082019050919050565b5f6020820190508181035f830152611f8081611f47565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611fe16022836117c5565b9150611fec82611f87565b604082019050919050565b5f6020820190508181035f83015261200e81611fd5565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f612049601d836117c5565b915061205482612015565b602082019050919050565b5f6020820190508181035f8301526120768161203d565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6120d76025836117c5565b91506120e28261207d565b604082019050919050565b5f6020820190508181035f830152612104816120cb565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6121656023836117c5565b91506121708261210b565b604082019050919050565b5f6020820190508181035f83015261219281612159565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f6121f36026836117c5565b91506121fe82612199565b604082019050919050565b5f6020820190508181035f830152612220816121e7565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f61225b6020836117c5565b915061226682612227565b602082019050919050565b5f6020820190508181035f8301526122888161224f565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265735f8201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b5f6122e96021836117c5565b91506122f48261228f565b604082019050919050565b5f6020820190508181035f830152612316816122dd565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e5f8201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b5f6123776022836117c5565b91506123828261231d565b604082019050919050565b5f6020820190508181035f8301526123a48161236b565b9050919050565b5f60a0820190506123be5f830188611a1c565b6123cb6020830187611a1c565b6123d86040830186611a1c565b6123e56060830185611967565b6123f26080830184611a9a565b9695505050505050565b7f5061757361626c653a206e6f74207061757365640000000000000000000000005f82015250565b5f6124306014836117c5565b915061243b826123fc565b602082019050919050565b5f6020820190508181035f83015261245d81612424565b9050919050565b7f5061757361626c653a20706175736564000000000000000000000000000000005f82015250565b5f6124986010836117c5565b91506124a382612464565b602082019050919050565b5f6020820190508181035f8301526124c58161248c565b9050919050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61250a6002836124cc565b9150612515826124d6565b600282019050919050565b5f819050919050565b61253a61253582611a13565b612520565b82525050565b5f61254a826124fe565b91506125568285612529565b6020820191506125668284612529565b6020820191508190509392505050565b5f6080820190506125895f830187611a1c565b61259660208301866119eb565b6125a36040830185611a1c565b6125b06060830184611a1c565b95945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b7f45434453413a20696e76616c6964207369676e617475726500000000000000005f82015250565b5f61261a6018836117c5565b9150612625826125e6565b602082019050919050565b5f6020820190508181035f8301526126478161260e565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265206c656e677468005f82015250565b5f612682601f836117c5565b915061268d8261264e565b602082019050919050565b5f6020820190508181035f8301526126af81612676565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c5f8201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b5f6127106022836117c5565b915061271b826126b6565b604082019050919050565b5f6020820190508181035f83015261273d81612704565b905091905056fea26469706673582212209bf8e6c624fc5084a4f5705c3c90c0df9e465f99f7bf8b4083d0b3e13e537b1864736f6c63430008140033

60131:568:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;44430:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46781:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;45550:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;47562:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;45392:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58437:115;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;48266:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;60424:65;;;:::i;:::-;;59487:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;37690:86;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;45721:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;35200:103;;;:::i;:::-;;59897:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;58179:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;60355:61;;;:::i;:::-;;34552:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;44649:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;49007:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46054:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;57468:645;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;46310:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;35458:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;44430:100;44484:13;44517:5;44510:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;44430:100;:::o;46781:201::-;46864:4;46881:13;46897:12;:10;:12::i;:::-;46881:28;;46920:32;46929:5;46936:7;46945:6;46920:8;:32::i;:::-;46970:4;46963:11;;;46781:201;;;;:::o;45550:108::-;45611:7;45638:12;;45631:19;;45550:108;:::o;47562:295::-;47693:4;47710:15;47728:12;:10;:12::i;:::-;47710:30;;47751:38;47767:4;47773:7;47782:6;47751:15;:38::i;:::-;47800:27;47810:4;47816:2;47820:6;47800:9;:27::i;:::-;47845:4;47838:11;;;47562:295;;;;;:::o;45392:93::-;45450:5;45475:2;45468:9;;45392:93;:::o;58437:115::-;58497:7;58524:20;:18;:20::i;:::-;58517:27;;58437:115;:::o;48266:238::-;48354:4;48371:13;48387:12;:10;:12::i;:::-;48371:28;;48410:64;48419:5;48426:7;48463:10;48435:25;48445:5;48452:7;48435:9;:25::i;:::-;:38;;;;:::i;:::-;48410:8;:64::i;:::-;48492:4;48485:11;;;48266:238;;;;:::o;60424:65::-;34438:13;:11;:13::i;:::-;60471:10:::1;:8;:10::i;:::-;60424:65::o:0;59487:91::-;59543:27;59549:12;:10;:12::i;:::-;59563:6;59543:5;:27::i;:::-;59487:91;:::o;37690:86::-;37737:4;37761:7;;;;;;;;;;;37754:14;;37690:86;:::o;45721:127::-;45795:7;45822:9;:18;45832:7;45822:18;;;;;;;;;;;;;;;;45815:25;;45721:127;;;:::o;35200:103::-;34438:13;:11;:13::i;:::-;35265:30:::1;35292:1;35265:18;:30::i;:::-;35200:103::o:0;59897:164::-;59974:46;59990:7;59999:12;:10;:12::i;:::-;60013:6;59974:15;:46::i;:::-;60031:22;60037:7;60046:6;60031:5;:22::i;:::-;59897:164;;:::o;58179:128::-;58248:7;58275:24;:7;:14;58283:5;58275:14;;;;;;;;;;;;;;;:22;:24::i;:::-;58268:31;;58179:128;;;:::o;60355:61::-;34438:13;:11;:13::i;:::-;60400:8:::1;:6;:8::i;:::-;60355:61::o:0;34552:87::-;34598:7;34625:6;;;;;;;;;;;34618:13;;34552:87;:::o;44649:104::-;44705:13;44738:7;44731:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;44649:104;:::o;49007:436::-;49100:4;49117:13;49133:12;:10;:12::i;:::-;49117:28;;49156:24;49183:25;49193:5;49200:7;49183:9;:25::i;:::-;49156:52;;49247:15;49227:16;:35;;49219:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;49340:60;49349:5;49356:7;49384:15;49365:16;:34;49340:8;:60::i;:::-;49431:4;49424:11;;;;49007:436;;;;:::o;46054:193::-;46133:4;46150:13;46166:12;:10;:12::i;:::-;46150:28;;46189;46199:5;46206:2;46210:6;46189:9;:28::i;:::-;46235:4;46228:11;;;46054:193;;;;:::o;57468:645::-;57712:8;57693:15;:27;;57685:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;57767:18;56643:95;57827:5;57834:7;57843:5;57850:16;57860:5;57850:9;:16::i;:::-;57868:8;57798:79;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;57788:90;;;;;;57767:111;;57891:12;57906:28;57923:10;57906:16;:28::i;:::-;57891:43;;57947:14;57964:28;57978:4;57984:1;57987;57990;57964:13;:28::i;:::-;57947:45;;58021:5;58011:15;;:6;:15;;;58003:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;58074:31;58083:5;58090:7;58099:5;58074:8;:31::i;:::-;57674:439;;;57468:645;;;;;;;:::o;46310:151::-;46399:7;46426:11;:18;46438:5;46426:18;;;;;;;;;;;;;;;:27;46445:7;46426:27;;;;;;;;;;;;;;;;46419:34;;46310:151;;;;:::o;35458:201::-;34438:13;:11;:13::i;:::-;35567:1:::1;35547:22;;:8;:22;;::::0;35539:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;35623:28;35642:8;35623:18;:28::i;:::-;35458:201:::0;:::o;33103:98::-;33156:7;33183:10;33176:17;;33103:98;:::o;53034:380::-;53187:1;53170:19;;:5;:19;;;53162:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;53268:1;53249:21;;:7;:21;;;53241:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;53352:6;53322:11;:18;53334:5;53322:18;;;;;;;;;;;;;;;:27;53341:7;53322:27;;;;;;;;;;;;;;;:36;;;;53390:7;53374:32;;53383:5;53374:32;;;53399:6;53374:32;;;;;;:::i;:::-;;;;;;;;53034:380;;;:::o;53705:453::-;53840:24;53867:25;53877:5;53884:7;53867:9;:25::i;:::-;53840:52;;53927:17;53907:16;:37;53903:248;;53989:6;53969:16;:26;;53961:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;54073:51;54082:5;54089:7;54117:6;54098:16;:25;54073:8;:51::i;:::-;53903:248;53829:329;53705:453;;;:::o;49913:840::-;50060:1;50044:18;;:4;:18;;;50036:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;50137:1;50123:16;;:2;:16;;;50115:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;50192:38;50213:4;50219:2;50223:6;50192:20;:38::i;:::-;50243:19;50265:9;:15;50275:4;50265:15;;;;;;;;;;;;;;;;50243:37;;50314:6;50299:11;:21;;50291:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;50431:6;50417:11;:20;50399:9;:15;50409:4;50399:15;;;;;;;;;;;;;;;:38;;;;50634:6;50617:9;:13;50627:2;50617:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;50684:2;50669:26;;50678:4;50669:26;;;50688:6;50669:26;;;;;;:::i;:::-;;;;;;;;50708:37;50728:4;50734:2;50738:6;50708:19;:37::i;:::-;50025:728;49913:840;;;:::o;28658:314::-;28711:7;28752:12;28735:29;;28743:4;28735:29;;;:66;;;;;28785:16;28768:13;:33;28735:66;28731:234;;;28825:24;28818:31;;;;28731:234;28889:64;28911:10;28923:12;28937:15;28889:21;:64::i;:::-;28882:71;;28658:314;;:::o;34717:132::-;34792:12;:10;:12::i;:::-;34781:23;;:7;:5;:7::i;:::-;:23;;;34773:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;34717:132::o;38545:120::-;37554:16;:14;:16::i;:::-;38614:5:::1;38604:7;;:15;;;;;;;;;;;;;;;;;;38635:22;38644:12;:10;:12::i;:::-;38635:22;;;;;;:::i;:::-;;;;;;;;38545:120::o:0;51921:675::-;52024:1;52005:21;;:7;:21;;;51997:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;52077:49;52098:7;52115:1;52119:6;52077:20;:49::i;:::-;52139:22;52164:9;:18;52174:7;52164:18;;;;;;;;;;;;;;;;52139:43;;52219:6;52201:14;:24;;52193:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;52338:6;52321:14;:23;52300:9;:18;52310:7;52300:18;;;;;;;;;;;;;;;:44;;;;52455:6;52439:12;;:22;;;;;;;;;;;52516:1;52490:37;;52499:7;52490:37;;;52520:6;52490:37;;;;;;:::i;:::-;;;;;;;;52540:48;52560:7;52577:1;52581:6;52540:19;:48::i;:::-;51986:610;51921:675;;:::o;35819:191::-;35893:16;35912:6;;;;;;;;;;;35893:25;;35938:8;35929:6;;:17;;;;;;;;;;;;;;;;;;35993:8;35962:40;;35983:8;35962:40;;;;;;;;;;;;35882:128;35819:191;:::o;872:114::-;937:7;964;:14;;;957:21;;872:114;;;:::o;38286:118::-;37295:19;:17;:19::i;:::-;38356:4:::1;38346:7;;:14;;;;;;;;;;;;;;;;;;38376:20;38383:12;:10;:12::i;:::-;38376:20;;;;;;:::i;:::-;;;;;;;;38286:118::o:0;58690:207::-;58750:15;58778:30;58811:7;:14;58819:5;58811:14;;;;;;;;;;;;;;;58778:47;;58846:15;:5;:13;:15::i;:::-;58836:25;;58872:17;:5;:15;:17::i;:::-;58767:130;58690:207;;;:::o;29885:167::-;29962:7;29989:55;30011:20;:18;:20::i;:::-;30033:10;29989:21;:55::i;:::-;29982:62;;29885:167;;;:::o;23531:279::-;23659:7;23680:17;23699:18;23721:25;23732:4;23738:1;23741;23744;23721:10;:25::i;:::-;23679:67;;;;23757:18;23769:5;23757:11;:18::i;:::-;23793:9;23786:16;;;;23531:279;;;;;;:::o;60497:199::-;37295:19;:17;:19::i;:::-;60644:44:::1;60671:4;60677:2;60681:6;60644:26;:44::i;:::-;60497:199:::0;;;:::o;55487:124::-;;;;:::o;28980:263::-;29124:7;29172:8;29182;29192:11;29205:13;29228:4;29161:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;29151:84;;;;;;29144:91;;28980:263;;;;;:::o;38034:108::-;38101:8;:6;:8::i;:::-;38093:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;38034:108::o;37849:::-;37920:8;:6;:8::i;:::-;37919:9;37911:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;37849:108::o;994:127::-;1101:1;1083:7;:14;;;:19;;;;;;;;;;;994:127;:::o;25222:196::-;25315:7;25381:15;25398:10;25352:57;;;;;;;;;:::i;:::-;;;;;;;;;;;;;25342:68;;;;;;25335:75;;25222:196;;;;:::o;21872:1520::-;22003:7;22012:12;22937:66;22932:1;22924:10;;:79;22920:163;;;23036:1;23040:30;23020:51;;;;;;22920:163;23180:14;23197:24;23207:4;23213:1;23216;23219;23197:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23180:41;;23254:1;23236:20;;:6;:20;;;23232:103;;23289:1;23293:29;23273:50;;;;;;;23232:103;23355:6;23363:20;23347:37;;;;;21872:1520;;;;;;;;:::o;17264:521::-;17342:20;17333:29;;;;;;;;:::i;:::-;;:5;:29;;;;;;;;:::i;:::-;;;17329:449;17379:7;17329:449;17440:29;17431:38;;;;;;;;:::i;:::-;;:5;:38;;;;;;;;:::i;:::-;;;17427:351;;17486:34;;;;;;;;;;:::i;:::-;;;;;;;;17427:351;17551:35;17542:44;;;;;;;;:::i;:::-;;:5;:44;;;;;;;;:::i;:::-;;;17538:240;;17603:41;;;;;;;;;;:::i;:::-;;;;;;;;17538:240;17675:30;17666:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;17662:116;;17722:44;;;;;;;;;;:::i;:::-;;;;;;;;17662:116;17264:521;;:::o;54758:125::-;;;;:::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:::-;5682:6;5731:2;5719:9;5710:7;5706:23;5702:32;5699:119;;;5737:79;;:::i;:::-;5699:119;5857:1;5882:53;5927:7;5918:6;5907:9;5903:22;5882:53;:::i;:::-;5872:63;;5828:117;5623:329;;;;:::o;5958:118::-;6045:24;6063:5;6045:24;:::i;:::-;6040:3;6033:37;5958:118;;:::o;6082:222::-;6175:4;6213:2;6202:9;6198:18;6190:26;;6226:71;6294:1;6283:9;6279:17;6270:6;6226:71;:::i;:::-;6082:222;;;;:::o;6310:118::-;6381:22;6397:5;6381:22;:::i;:::-;6374:5;6371:33;6361:61;;6418:1;6415;6408:12;6361:61;6310:118;:::o;6434:135::-;6478:5;6516:6;6503:20;6494:29;;6532:31;6557:5;6532:31;:::i;:::-;6434:135;;;;:::o;6575:122::-;6648:24;6666:5;6648:24;:::i;:::-;6641:5;6638:35;6628:63;;6687:1;6684;6677:12;6628:63;6575:122;:::o;6703:139::-;6749:5;6787:6;6774:20;6765:29;;6803:33;6830:5;6803:33;:::i;:::-;6703:139;;;;:::o;6848:1199::-;6959:6;6967;6975;6983;6991;6999;7007;7056:3;7044:9;7035:7;7031:23;7027:33;7024:120;;;7063:79;;:::i;:::-;7024:120;7183:1;7208:53;7253:7;7244:6;7233:9;7229:22;7208:53;:::i;:::-;7198:63;;7154:117;7310:2;7336:53;7381:7;7372:6;7361:9;7357:22;7336:53;:::i;:::-;7326:63;;7281:118;7438:2;7464:53;7509:7;7500:6;7489:9;7485:22;7464:53;:::i;:::-;7454:63;;7409:118;7566:2;7592:53;7637:7;7628:6;7617:9;7613:22;7592:53;:::i;:::-;7582:63;;7537:118;7694:3;7721:51;7764:7;7755:6;7744:9;7740:22;7721:51;:::i;:::-;7711:61;;7665:117;7821:3;7848:53;7893:7;7884:6;7873:9;7869:22;7848:53;:::i;:::-;7838:63;;7792:119;7950:3;7977:53;8022:7;8013:6;8002:9;7998:22;7977:53;:::i;:::-;7967:63;;7921:119;6848:1199;;;;;;;;;;:::o;8053:474::-;8121:6;8129;8178:2;8166:9;8157:7;8153:23;8149:32;8146:119;;;8184:79;;:::i;:::-;8146:119;8304:1;8329:53;8374:7;8365:6;8354:9;8350:22;8329:53;:::i;:::-;8319:63;;8275:117;8431:2;8457:53;8502:7;8493:6;8482:9;8478:22;8457:53;:::i;:::-;8447:63;;8402:118;8053:474;;;;;:::o;8533:180::-;8581:77;8578:1;8571:88;8678:4;8675:1;8668:15;8702:4;8699:1;8692:15;8719:320;8763:6;8800:1;8794:4;8790:12;8780:22;;8847:1;8841:4;8837:12;8868:18;8858:81;;8924:4;8916:6;8912:17;8902:27;;8858:81;8986:2;8978:6;8975:14;8955:18;8952:38;8949:84;;9005:18;;:::i;:::-;8949:84;8770:269;8719:320;;;:::o;9045:180::-;9093:77;9090:1;9083:88;9190:4;9187:1;9180:15;9214:4;9211:1;9204:15;9231:191;9271:3;9290:20;9308:1;9290:20;:::i;:::-;9285:25;;9324:20;9342:1;9324:20;:::i;:::-;9319:25;;9367:1;9364;9360:9;9353:16;;9388:3;9385:1;9382:10;9379:36;;;9395:18;;:::i;:::-;9379:36;9231:191;;;;:::o;9428:224::-;9568:34;9564:1;9556:6;9552:14;9545:58;9637:7;9632:2;9624:6;9620:15;9613:32;9428:224;:::o;9658:366::-;9800:3;9821:67;9885:2;9880:3;9821:67;:::i;:::-;9814:74;;9897:93;9986:3;9897:93;:::i;:::-;10015:2;10010:3;10006:12;9999:19;;9658:366;;;:::o;10030:419::-;10196:4;10234:2;10223:9;10219:18;10211:26;;10283:9;10277:4;10273:20;10269:1;10258:9;10254:17;10247:47;10311:131;10437:4;10311:131;:::i;:::-;10303:139;;10030:419;;;:::o;10455:179::-;10595:31;10591:1;10583:6;10579:14;10572:55;10455:179;:::o;10640:366::-;10782:3;10803:67;10867:2;10862:3;10803:67;:::i;:::-;10796:74;;10879:93;10968:3;10879:93;:::i;:::-;10997:2;10992:3;10988:12;10981:19;;10640:366;;;:::o;11012:419::-;11178:4;11216:2;11205:9;11201:18;11193:26;;11265:9;11259:4;11255:20;11251:1;11240:9;11236:17;11229:47;11293:131;11419:4;11293:131;:::i;:::-;11285:139;;11012:419;;;:::o;11437:775::-;11670:4;11708:3;11697:9;11693:19;11685:27;;11722:71;11790:1;11779:9;11775:17;11766:6;11722:71;:::i;:::-;11803:72;11871:2;11860:9;11856:18;11847:6;11803:72;:::i;:::-;11885;11953:2;11942:9;11938:18;11929:6;11885:72;:::i;:::-;11967;12035:2;12024:9;12020:18;12011:6;11967:72;:::i;:::-;12049:73;12117:3;12106:9;12102:19;12093:6;12049:73;:::i;:::-;12132;12200:3;12189:9;12185:19;12176:6;12132:73;:::i;:::-;11437:775;;;;;;;;;:::o;12218:180::-;12358:32;12354:1;12346:6;12342:14;12335:56;12218:180;:::o;12404:366::-;12546:3;12567:67;12631:2;12626:3;12567:67;:::i;:::-;12560:74;;12643:93;12732:3;12643:93;:::i;:::-;12761:2;12756:3;12752:12;12745:19;;12404:366;;;:::o;12776:419::-;12942:4;12980:2;12969:9;12965:18;12957:26;;13029:9;13023:4;13019:20;13015:1;13004:9;13000:17;12993:47;13057:131;13183:4;13057:131;:::i;:::-;13049:139;;12776:419;;;:::o;13201:225::-;13341:34;13337:1;13329:6;13325:14;13318:58;13410:8;13405:2;13397:6;13393:15;13386:33;13201:225;:::o;13432:366::-;13574:3;13595:67;13659:2;13654:3;13595:67;:::i;:::-;13588:74;;13671:93;13760:3;13671:93;:::i;:::-;13789:2;13784:3;13780:12;13773:19;;13432:366;;;:::o;13804:419::-;13970:4;14008:2;13997:9;13993:18;13985:26;;14057:9;14051:4;14047:20;14043:1;14032:9;14028:17;14021:47;14085:131;14211:4;14085:131;:::i;:::-;14077:139;;13804:419;;;:::o;14229:223::-;14369:34;14365:1;14357:6;14353:14;14346:58;14438:6;14433:2;14425:6;14421:15;14414:31;14229:223;:::o;14458:366::-;14600:3;14621:67;14685:2;14680:3;14621:67;:::i;:::-;14614:74;;14697:93;14786:3;14697:93;:::i;:::-;14815:2;14810:3;14806:12;14799:19;;14458:366;;;:::o;14830:419::-;14996:4;15034:2;15023:9;15019:18;15011:26;;15083:9;15077:4;15073:20;15069:1;15058:9;15054:17;15047:47;15111:131;15237:4;15111:131;:::i;:::-;15103:139;;14830:419;;;:::o;15255:221::-;15395:34;15391:1;15383:6;15379:14;15372:58;15464:4;15459:2;15451:6;15447:15;15440:29;15255:221;:::o;15482:366::-;15624:3;15645:67;15709:2;15704:3;15645:67;:::i;:::-;15638:74;;15721:93;15810:3;15721:93;:::i;:::-;15839:2;15834:3;15830:12;15823:19;;15482:366;;;:::o;15854:419::-;16020:4;16058:2;16047:9;16043:18;16035:26;;16107:9;16101:4;16097:20;16093:1;16082:9;16078:17;16071:47;16135:131;16261:4;16135:131;:::i;:::-;16127:139;;15854:419;;;:::o;16279:179::-;16419:31;16415:1;16407:6;16403:14;16396:55;16279:179;:::o;16464:366::-;16606:3;16627:67;16691:2;16686:3;16627:67;:::i;:::-;16620:74;;16703:93;16792:3;16703:93;:::i;:::-;16821:2;16816:3;16812:12;16805:19;;16464:366;;;:::o;16836:419::-;17002:4;17040:2;17029:9;17025:18;17017:26;;17089:9;17083:4;17079:20;17075:1;17064:9;17060:17;17053:47;17117:131;17243:4;17117:131;:::i;:::-;17109:139;;16836:419;;;:::o;17261:224::-;17401:34;17397:1;17389:6;17385:14;17378:58;17470:7;17465:2;17457:6;17453:15;17446:32;17261:224;:::o;17491:366::-;17633:3;17654:67;17718:2;17713:3;17654:67;:::i;:::-;17647:74;;17730:93;17819:3;17730:93;:::i;:::-;17848:2;17843:3;17839:12;17832:19;;17491:366;;;:::o;17863:419::-;18029:4;18067:2;18056:9;18052:18;18044:26;;18116:9;18110:4;18106:20;18102:1;18091:9;18087:17;18080:47;18144:131;18270:4;18144:131;:::i;:::-;18136:139;;17863:419;;;:::o;18288:222::-;18428:34;18424:1;18416:6;18412:14;18405:58;18497:5;18492:2;18484:6;18480:15;18473:30;18288:222;:::o;18516:366::-;18658:3;18679:67;18743:2;18738:3;18679:67;:::i;:::-;18672:74;;18755:93;18844:3;18755:93;:::i;:::-;18873:2;18868:3;18864:12;18857:19;;18516:366;;;:::o;18888:419::-;19054:4;19092:2;19081:9;19077:18;19069:26;;19141:9;19135:4;19131:20;19127:1;19116:9;19112:17;19105:47;19169:131;19295:4;19169:131;:::i;:::-;19161:139;;18888:419;;;:::o;19313:225::-;19453:34;19449:1;19441:6;19437:14;19430:58;19522:8;19517:2;19509:6;19505:15;19498:33;19313:225;:::o;19544:366::-;19686:3;19707:67;19771:2;19766:3;19707:67;:::i;:::-;19700:74;;19783:93;19872:3;19783:93;:::i;:::-;19901:2;19896:3;19892:12;19885:19;;19544:366;;;:::o;19916:419::-;20082:4;20120:2;20109:9;20105:18;20097:26;;20169:9;20163:4;20159:20;20155:1;20144:9;20140:17;20133:47;20197:131;20323:4;20197:131;:::i;:::-;20189:139;;19916:419;;;:::o;20341:182::-;20481:34;20477:1;20469:6;20465:14;20458:58;20341:182;:::o;20529:366::-;20671:3;20692:67;20756:2;20751:3;20692:67;:::i;:::-;20685:74;;20768:93;20857:3;20768:93;:::i;:::-;20886:2;20881:3;20877:12;20870:19;;20529:366;;;:::o;20901:419::-;21067:4;21105:2;21094:9;21090:18;21082:26;;21154:9;21148:4;21144:20;21140:1;21129:9;21125:17;21118:47;21182:131;21308:4;21182:131;:::i;:::-;21174:139;;20901:419;;;:::o;21326:220::-;21466:34;21462:1;21454:6;21450:14;21443:58;21535:3;21530:2;21522:6;21518:15;21511:28;21326:220;:::o;21552:366::-;21694:3;21715:67;21779:2;21774:3;21715:67;:::i;:::-;21708:74;;21791:93;21880:3;21791:93;:::i;:::-;21909:2;21904:3;21900:12;21893:19;;21552:366;;;:::o;21924:419::-;22090:4;22128:2;22117:9;22113:18;22105:26;;22177:9;22171:4;22167:20;22163:1;22152:9;22148:17;22141:47;22205:131;22331:4;22205:131;:::i;:::-;22197:139;;21924:419;;;:::o;22349:221::-;22489:34;22485:1;22477:6;22473:14;22466:58;22558:4;22553:2;22545:6;22541:15;22534:29;22349:221;:::o;22576:366::-;22718:3;22739:67;22803:2;22798:3;22739:67;:::i;:::-;22732:74;;22815:93;22904:3;22815:93;:::i;:::-;22933:2;22928:3;22924:12;22917:19;;22576:366;;;:::o;22948:419::-;23114:4;23152:2;23141:9;23137:18;23129:26;;23201:9;23195:4;23191:20;23187:1;23176:9;23172:17;23165:47;23229:131;23355:4;23229:131;:::i;:::-;23221:139;;22948:419;;;:::o;23373:664::-;23578:4;23616:3;23605:9;23601:19;23593:27;;23630:71;23698:1;23687:9;23683:17;23674:6;23630:71;:::i;:::-;23711:72;23779:2;23768:9;23764:18;23755:6;23711:72;:::i;:::-;23793;23861:2;23850:9;23846:18;23837:6;23793:72;:::i;:::-;23875;23943:2;23932:9;23928:18;23919:6;23875:72;:::i;:::-;23957:73;24025:3;24014:9;24010:19;24001:6;23957:73;:::i;:::-;23373:664;;;;;;;;:::o;24043:170::-;24183:22;24179:1;24171:6;24167:14;24160:46;24043:170;:::o;24219:366::-;24361:3;24382:67;24446:2;24441:3;24382:67;:::i;:::-;24375:74;;24458:93;24547:3;24458:93;:::i;:::-;24576:2;24571:3;24567:12;24560:19;;24219:366;;;:::o;24591:419::-;24757:4;24795:2;24784:9;24780:18;24772:26;;24844:9;24838:4;24834:20;24830:1;24819:9;24815:17;24808:47;24872:131;24998:4;24872:131;:::i;:::-;24864:139;;24591:419;;;:::o;25016:166::-;25156:18;25152:1;25144:6;25140:14;25133:42;25016:166;:::o;25188:366::-;25330:3;25351:67;25415:2;25410:3;25351:67;:::i;:::-;25344:74;;25427:93;25516:3;25427:93;:::i;:::-;25545:2;25540:3;25536:12;25529:19;;25188:366;;;:::o;25560:419::-;25726:4;25764:2;25753:9;25749:18;25741:26;;25813:9;25807:4;25803:20;25799:1;25788:9;25784:17;25777:47;25841:131;25967:4;25841:131;:::i;:::-;25833:139;;25560:419;;;:::o;25985:148::-;26087:11;26124:3;26109:18;;25985:148;;;;:::o;26139:214::-;26279:66;26275:1;26267:6;26263:14;26256:90;26139:214;:::o;26359:400::-;26519:3;26540:84;26622:1;26617:3;26540:84;:::i;:::-;26533:91;;26633:93;26722:3;26633:93;:::i;:::-;26751:1;26746:3;26742:11;26735:18;;26359:400;;;:::o;26765:79::-;26804:7;26833:5;26822:16;;26765:79;;;:::o;26850:157::-;26955:45;26975:24;26993:5;26975:24;:::i;:::-;26955:45;:::i;:::-;26950:3;26943:58;26850:157;;:::o;27013:663::-;27254:3;27276:148;27420:3;27276:148;:::i;:::-;27269:155;;27434:75;27505:3;27496:6;27434:75;:::i;:::-;27534:2;27529:3;27525:12;27518:19;;27547:75;27618:3;27609:6;27547:75;:::i;:::-;27647:2;27642:3;27638:12;27631:19;;27667:3;27660:10;;27013:663;;;;;:::o;27682:545::-;27855:4;27893:3;27882:9;27878:19;27870:27;;27907:71;27975:1;27964:9;27960:17;27951:6;27907:71;:::i;:::-;27988:68;28052:2;28041:9;28037:18;28028:6;27988:68;:::i;:::-;28066:72;28134:2;28123:9;28119:18;28110:6;28066:72;:::i;:::-;28148;28216:2;28205:9;28201:18;28192:6;28148:72;:::i;:::-;27682:545;;;;;;;:::o;28233:180::-;28281:77;28278:1;28271:88;28378:4;28375:1;28368:15;28402:4;28399:1;28392:15;28419:174;28559:26;28555:1;28547:6;28543:14;28536:50;28419:174;:::o;28599:366::-;28741:3;28762:67;28826:2;28821:3;28762:67;:::i;:::-;28755:74;;28838:93;28927:3;28838:93;:::i;:::-;28956:2;28951:3;28947:12;28940:19;;28599:366;;;:::o;28971:419::-;29137:4;29175:2;29164:9;29160:18;29152:26;;29224:9;29218:4;29214:20;29210:1;29199:9;29195:17;29188:47;29252:131;29378:4;29252:131;:::i;:::-;29244:139;;28971:419;;;:::o;29396:181::-;29536:33;29532:1;29524:6;29520:14;29513:57;29396:181;:::o;29583:366::-;29725:3;29746:67;29810:2;29805:3;29746:67;:::i;:::-;29739:74;;29822:93;29911:3;29822:93;:::i;:::-;29940:2;29935:3;29931:12;29924:19;;29583:366;;;:::o;29955:419::-;30121:4;30159:2;30148:9;30144:18;30136:26;;30208:9;30202:4;30198:20;30194:1;30183:9;30179:17;30172:47;30236:131;30362:4;30236:131;:::i;:::-;30228:139;;29955:419;;;:::o;30380:221::-;30520:34;30516:1;30508:6;30504:14;30497:58;30589:4;30584:2;30576:6;30572:15;30565:29;30380:221;:::o;30607:366::-;30749:3;30770:67;30834:2;30829:3;30770:67;:::i;:::-;30763:74;;30846:93;30935:3;30846:93;:::i;:::-;30964:2;30959:3;30955:12;30948:19;;30607:366;;;:::o;30979:419::-;31145:4;31183:2;31172:9;31168:18;31160:26;;31232:9;31226:4;31222:20;31218:1;31207:9;31203:17;31196:47;31260:131;31386:4;31260:131;:::i;:::-;31252:139;;30979:419;;;:::o

ipfs://9bf8e6c624fc5084a4f5705c3c90c0df9e465f99f7bf8b4083d0b3e13e537b18