Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC165
•    - function supportsInterface(bytes4 int ...
•    - function supportsInterface(bytes4 int ...
• library SignedMath
•    - function max(int256 a, int256 b)
•    - function min(int256 a, int256 b)
•    - function average(int256 a, int256 b)
•    - function abs(int256 n)
• 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(uint256 x, uint256 y, ...
•    - function mulDiv(uint256 x, uint256 y, ...
•    - 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 toString(int256 value)
•    - function toHexString(uint256 value)
•    - function toHexString(uint256 value, u ...
•    - function toHexString(address addr)
•    - function equal(string memory a, strin ...
• interface IAccessControl
•    - function hasRole(bytes32 role, addres ...
•    - function getRoleAdmin(bytes32 role)
•    - function grantRole(bytes32 role, addr ...
•    - function revokeRole(bytes32 role, add ...
•    - function renounceRole(bytes32 role, a ...
•    - function _msgSender()
•    - function _msgData()
•    - function supportsInterface(bytes4 int ...
•    - function hasRole(bytes32 role, addres ...
•    - function _checkRole(bytes32 role)
•    - function _checkRole(bytes32 role, add ...
•    - function getRoleAdmin(bytes32 role)
•    - function grantRole(bytes32 role, addr ...
•    - function revokeRole(bytes32 role, add ...
•    - function renounceRole(bytes32 role, a ...
•    - function _setupRole(bytes32 role, add ...
•    - function _setRoleAdmin(bytes32 role, ...
•    - function _grantRole(bytes32 role, add ...
•    - function _revokeRole(bytes32 role, ad ...
•    - 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(address from, a ...
• 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(address from, a ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(address from, addr ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _spendAllowance(address owne ...
•    - function _beforeTokenTransfer(address ...
•    - function _afterTokenTransfer(address ...
•    - function burn(uint256 amount)
•    - function burnFrom(address account, ui ...
•  contract Erc20TokenContract is ERC ... *
•    - function pause()
•    - function unpause()
•    - function mint(address to, uint256 amo ...
•    - function fullLockAddress(address acco ...
•    - function unFullLockAddress(address ac ...
•    - function isAddressLocked(address acco ...
•    - function _beforeTokenTransfer(address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
// File: @openzeppelin/contracts/utils/introspection/IERC165.sol


// OpenZeppelin Contracts v4.4.1 (utils/introspection/IERC165.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC165 standard, as defined in the
 * https://eips.ethereum.org/EIPS/eip-165[EIP].
 *
 * Implementers can declare support of contract interfaces, which can then be
 * queried by others ({ERC165Checker}).
 *
 * For an implementation, see {ERC165}.
 */
interface IERC165 {
    /**
     * @dev Returns true if this contract implements the interface defined by
     * `interfaceId`. See the corresponding
     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section]
     * to learn more about how these ids are created.
     *
     * This function call must use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) external view returns (bool);
}

// File: @openzeppelin/contracts/utils/introspection/ERC165.sol


// OpenZeppelin Contracts v4.4.1 (utils/introspection/ERC165.sol)

pragma solidity ^0.8.0;


/**
 * @dev Implementation of the {IERC165} interface.
 *
 * Contracts that want to implement ERC165 should inherit from this contract and override {supportsInterface} to check
 * for the additional interface id that will be supported. For example:
 *
 * ```solidity
 * function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
 *     return interfaceId == type(MyInterface).interfaceId || super.supportsInterface(interfaceId);
 * }
 * ```
 *
 * Alternatively, {ERC165Storage} provides an easier to use but more expensive implementation.
 */
abstract contract ERC165 is IERC165 {
    /**
     * @dev See {IERC165-supportsInterface}.
     */
    function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
        return interfaceId == type(IERC165).interfaceId;
    }
}

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


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

pragma solidity ^0.8.0;

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

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

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

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

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


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

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1, "Math: mulDiv overflow");

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

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

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

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

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

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

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

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

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

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

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

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

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

        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
        //
        // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
        // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.
        //
        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`
        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`
        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`
        //
        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1 << (log2(a) >> 1);

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.0;



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

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

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

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

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

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

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

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


// OpenZeppelin Contracts v4.4.1 (access/IAccessControl.sol)

pragma solidity ^0.8.0;

/**
 * @dev External interface of AccessControl declared to support ERC165 detection.
 */
interface IAccessControl {
    /**
     * @dev Emitted when `newAdminRole` is set as ``role``'s admin role, replacing `previousAdminRole`
     *
     * `DEFAULT_ADMIN_ROLE` is the starting admin for all roles, despite
     * {RoleAdminChanged} not being emitted signaling this.
     *
     * _Available since v3.1._
     */
    event RoleAdminChanged(bytes32 indexed role, bytes32 indexed previousAdminRole, bytes32 indexed newAdminRole);

    /**
     * @dev Emitted when `account` is granted `role`.
     *
     * `sender` is the account that originated the contract call, an admin role
     * bearer except when using {AccessControl-_setupRole}.
     */
    event RoleGranted(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Emitted when `account` is revoked `role`.
     *
     * `sender` is the account that originated the contract call:
     *   - if using `revokeRole`, it is the admin role bearer
     *   - if using `renounceRole`, it is the role bearer (i.e. `account`)
     */
    event RoleRevoked(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Returns `true` if `account` has been granted `role`.
     */
    function hasRole(bytes32 role, address account) external view returns (bool);

    /**
     * @dev Returns the admin role that controls `role`. See {grantRole} and
     * {revokeRole}.
     *
     * To change a role's admin, use {AccessControl-_setRoleAdmin}.
     */
    function getRoleAdmin(bytes32 role) external view returns (bytes32);

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function grantRole(bytes32 role, address account) external;

    /**
     * @dev Revokes `role` from `account`.
     *
     * If `account` had been granted `role`, emits a {RoleRevoked} event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function revokeRole(bytes32 role, address account) external;

    /**
     * @dev Revokes `role` from the calling account.
     *
     * Roles are often managed via {grantRole} and {revokeRole}: this function's
     * purpose is to provide a mechanism for accounts to lose their privileges
     * if they are compromised (such as when a trusted device is misplaced).
     *
     * If the calling account had been granted `role`, emits a {RoleRevoked}
     * event.
     *
     * Requirements:
     *
     * - the caller must be `account`.
     */
    function renounceRole(bytes32 role, address account) external;
}

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


// OpenZeppelin Contracts (last updated v4.9.0) (access/AccessControl.sol)

pragma solidity ^0.8.0;





/**
 * @dev Contract module that allows children to implement role-based access
 * control mechanisms. This is a lightweight version that doesn't allow enumerating role
 * members except through off-chain means by accessing the contract event logs. Some
 * applications may benefit from on-chain enumerability, for those cases see
 * {AccessControlEnumerable}.
 *
 * Roles are referred to by their `bytes32` identifier. These should be exposed
 * in the external API and be unique. The best way to achieve this is by
 * using `public constant` hash digests:
 *
 * ```solidity
 * bytes32 public constant MY_ROLE = keccak256("MY_ROLE");
 * ```
 *
 * Roles can be used to represent a set of permissions. To restrict access to a
 * function call, use {hasRole}:
 *
 * ```solidity
 * function foo() public {
 *     require(hasRole(MY_ROLE, msg.sender));
 *     ...
 * }
 * ```
 *
 * Roles can be granted and revoked dynamically via the {grantRole} and
 * {revokeRole} functions. Each role has an associated admin role, and only
 * accounts that have a role's admin role can call {grantRole} and {revokeRole}.
 *
 * By default, the admin role for all roles is `DEFAULT_ADMIN_ROLE`, which means
 * that only accounts with this role will be able to grant or revoke other
 * roles. More complex role relationships can be created by using
 * {_setRoleAdmin}.
 *
 * WARNING: The `DEFAULT_ADMIN_ROLE` is also its own admin: it has permission to
 * grant and revoke this role. Extra precautions should be taken to secure
 * accounts that have been granted it. We recommend using {AccessControlDefaultAdminRules}
 * to enforce additional security measures for this role.
 */
abstract contract AccessControl is Context, IAccessControl, ERC165 {
    struct RoleData {
        mapping(address => bool) members;
        bytes32 adminRole;
    }

    mapping(bytes32 => RoleData) private _roles;

    bytes32 public constant DEFAULT_ADMIN_ROLE = 0x00;

    /**
     * @dev Modifier that checks that an account has a specific role. Reverts
     * with a standardized message including the required role.
     *
     * The format of the revert reason is given by the following regular expression:
     *
     *  /^AccessControl: account (0x[0-9a-f]{40}) is missing role (0x[0-9a-f]{64})$/
     *
     * _Available since v4.1._
     */
    modifier onlyRole(bytes32 role) {
        _checkRole(role);
        _;
    }

    /**
     * @dev See {IERC165-supportsInterface}.
     */
    function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
        return interfaceId == type(IAccessControl).interfaceId || super.supportsInterface(interfaceId);
    }

    /**
     * @dev Returns `true` if `account` has been granted `role`.
     */
    function hasRole(bytes32 role, address account) public view virtual override returns (bool) {
        return _roles[role].members[account];
    }

    /**
     * @dev Revert with a standard message if `_msgSender()` is missing `role`.
     * Overriding this function changes the behavior of the {onlyRole} modifier.
     *
     * Format of the revert message is described in {_checkRole}.
     *
     * _Available since v4.6._
     */
    function _checkRole(bytes32 role) internal view virtual {
        _checkRole(role, _msgSender());
    }

    /**
     * @dev Revert with a standard message if `account` is missing `role`.
     *
     * The format of the revert reason is given by the following regular expression:
     *
     *  /^AccessControl: account (0x[0-9a-f]{40}) is missing role (0x[0-9a-f]{64})$/
     */
    function _checkRole(bytes32 role, address account) internal view virtual {
        if (!hasRole(role, account)) {
            revert(
                string(
                    abi.encodePacked(
                        "AccessControl: account ",
                        Strings.toHexString(account),
                        " is missing role ",
                        Strings.toHexString(uint256(role), 32)
                    )
                )
            );
        }
    }

    /**
     * @dev Returns the admin role that controls `role`. See {grantRole} and
     * {revokeRole}.
     *
     * To change a role's admin, use {_setRoleAdmin}.
     */
    function getRoleAdmin(bytes32 role) public view virtual override returns (bytes32) {
        return _roles[role].adminRole;
    }

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     *
     * May emit a {RoleGranted} event.
     */
    function grantRole(bytes32 role, address account) public virtual override onlyRole(getRoleAdmin(role)) {
        _grantRole(role, account);
    }

    /**
     * @dev Revokes `role` from `account`.
     *
     * If `account` had been granted `role`, emits a {RoleRevoked} event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     *
     * May emit a {RoleRevoked} event.
     */
    function revokeRole(bytes32 role, address account) public virtual override onlyRole(getRoleAdmin(role)) {
        _revokeRole(role, account);
    }

    /**
     * @dev Revokes `role` from the calling account.
     *
     * Roles are often managed via {grantRole} and {revokeRole}: this function's
     * purpose is to provide a mechanism for accounts to lose their privileges
     * if they are compromised (such as when a trusted device is misplaced).
     *
     * If the calling account had been revoked `role`, emits a {RoleRevoked}
     * event.
     *
     * Requirements:
     *
     * - the caller must be `account`.
     *
     * May emit a {RoleRevoked} event.
     */
    function renounceRole(bytes32 role, address account) public virtual override {
        require(account == _msgSender(), "AccessControl: can only renounce roles for self");

        _revokeRole(role, account);
    }

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event. Note that unlike {grantRole}, this function doesn't perform any
     * checks on the calling account.
     *
     * May emit a {RoleGranted} event.
     *
     * [WARNING]
     * ====
     * This function should only be called from the constructor when setting
     * up the initial roles for the system.
     *
     * Using this function in any other way is effectively circumventing the admin
     * system imposed by {AccessControl}.
     * ====
     *
     * NOTE: This function is deprecated in favor of {_grantRole}.
     */
    function _setupRole(bytes32 role, address account) internal virtual {
        _grantRole(role, account);
    }

    /**
     * @dev Sets `adminRole` as ``role``'s admin role.
     *
     * Emits a {RoleAdminChanged} event.
     */
    function _setRoleAdmin(bytes32 role, bytes32 adminRole) internal virtual {
        bytes32 previousAdminRole = getRoleAdmin(role);
        _roles[role].adminRole = adminRole;
        emit RoleAdminChanged(role, previousAdminRole, adminRole);
    }

    /**
     * @dev Grants `role` to `account`.
     *
     * Internal function without access restriction.
     *
     * May emit a {RoleGranted} event.
     */
    function _grantRole(bytes32 role, address account) internal virtual {
        if (!hasRole(role, account)) {
            _roles[role].members[account] = true;
            emit RoleGranted(role, account, _msgSender());
        }
    }

    /**
     * @dev Revokes `role` from `account`.
     *
     * Internal function without access restriction.
     *
     * May emit a {RoleRevoked} event.
     */
    function _revokeRole(bytes32 role, address account) internal virtual {
        if (hasRole(role, account)) {
            _roles[role].members[account] = false;
            emit RoleRevoked(role, account, _msgSender());
        }
    }
}

// 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.9.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

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

pragma solidity ^0.8.0;




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

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

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

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

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

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

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

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

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

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

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

        return true;
    }

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

        _beforeTokenTransfer(from, to, amount);

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

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


// v0.8.17+commit.8df45f5f
pragma solidity ^0.8.4;





contract Erc20TokenContract is ERC20, ERC20Burnable, Pausable, AccessControl {
    bytes32 public constant PAUSER_ROLE = keccak256("PAUSER_ROLE");
    bytes32 public constant MINTER_ROLE = keccak256("MINTER_ROLE");
    bytes32 public constant LOCK_TRANSFER_ROLE = keccak256("LOCK_TRANSFER_ROLE");

    mapping(address => bool) internal _fullLockList;

    event fullLockEvent(address indexed account, bool isLocked);
    event mintEvent(address to, uint256 amount);

    constructor() ERC20("CODA", "CODA") {
        _grantRole(DEFAULT_ADMIN_ROLE, msg.sender);
        _grantRole(PAUSER_ROLE, msg.sender);
        _grantRole(MINTER_ROLE, msg.sender);
        _grantRole(LOCK_TRANSFER_ROLE, msg.sender);
    }

    function pause() public onlyRole(PAUSER_ROLE) {
        _pause();
    }

    function unpause() public onlyRole(PAUSER_ROLE) {
        _unpause();
    }

    function mint(address to, uint256 amount) external onlyRole(MINTER_ROLE) {
        _mint(to, amount);
    }

    function fullLockAddress(address account) external onlyRole(LOCK_TRANSFER_ROLE) returns (bool) {
        _fullLockList[account] = true;
        emit fullLockEvent(account , true);
        return true;
    }

    function unFullLockAddress(address account) external onlyRole(LOCK_TRANSFER_ROLE) returns (bool) {
        delete _fullLockList[account];
        emit fullLockEvent(account , false);
        return true;
    }

    function isAddressLocked(address account) external view virtual returns (bool) {
        return _fullLockList[account];
    }

    function _beforeTokenTransfer(address from, address to, uint256 amount)
        internal
        whenNotPaused
        override
    {
        require(!_fullLockList[from], "Token transfer from LockedAddressList");
        require(!_fullLockList[to], "Token transfer to LockedAddressList");
        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":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"previousAdminRole","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"newAdminRole","type":"bytes32"}],"name":"RoleAdminChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleGranted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleRevoked","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"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"bool","name":"isLocked","type":"bool"}],"name":"fullLockEvent","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mintEvent","type":"event"},{"inputs":[],"name":"DEFAULT_ADMIN_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"LOCK_TRANSFER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MINTER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PAUSER_ROLE","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":"account","type":"address"}],"name":"fullLockAddress","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"}],"name":"getRoleAdmin","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"grantRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"hasRole","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isAddressLocked","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"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":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"renounceRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"revokeRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"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":"account","type":"address"}],"name":"unFullLockAddress","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280600481526020017f434f4441000000000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f434f44410000000000000000000000000000000000000000000000000000000081525081600390816200008f91906200054f565b508060049081620000a191906200054f565b5050506000600560006101000a81548160ff021916908315150217905550620000d46000801b336200017060201b60201c565b620001067f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a336200017060201b60201c565b620001387f9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6336200017060201b60201c565b6200016a7f832387ff8355724ce19b4e13d42ca7e8b0d3d6e27508713bc847b0ef4335ecd6336200017060201b60201c565b62000636565b6200018282826200026260201b60201c565b6200025e5760016006600084815260200190815260200160002060000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555062000203620002cd60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16837f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45b5050565b60006006600084815260200190815260200160002060000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600033905090565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200035757607f821691505b6020821081036200036d576200036c6200030f565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620003d77fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000398565b620003e3868362000398565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620004306200042a6200042484620003fb565b62000405565b620003fb565b9050919050565b6000819050919050565b6200044c836200040f565b620004646200045b8262000437565b848454620003a5565b825550505050565b600090565b6200047b6200046c565b6200048881848462000441565b505050565b5b81811015620004b057620004a460008262000471565b6001810190506200048e565b5050565b601f821115620004ff57620004c98162000373565b620004d48462000388565b81016020851015620004e4578190505b620004fc620004f38562000388565b8301826200048d565b50505b505050565b600082821c905092915050565b6000620005246000198460080262000504565b1980831691505092915050565b60006200053f838362000511565b9150826002028217905092915050565b6200055a82620002d5565b67ffffffffffffffff811115620005765762000575620002e0565b5b6200058282546200033e565b6200058f828285620004b4565b600060209050601f831160018114620005c75760008415620005b2578287015190505b620005be858262000531565b8655506200062e565b601f198416620005d78662000373565b60005b828110156200060157848901518255600182019150602085019450602081019050620005da565b868310156200062157848901516200061d601f89168262000511565b8355505b6001600288020188555050505b505050505050565b612deb80620006466000396000f3fe608060405234801561001057600080fd5b50600436106101da5760003560e01c806370a0823111610104578063a7cd26fd116100a2578063d547741f11610071578063d547741f1461057f578063dd62ed3e1461059b578063e52e9f15146105cb578063e63ab1e9146105fb576101da565b8063a7cd26fd146104e3578063a9059cbb14610513578063cfb17ceb14610543578063d539139314610561576101da565b806391d14854116100de57806391d148541461044757806395d89b4114610477578063a217fddf14610495578063a457c2d7146104b3576101da565b806370a08231146103f157806379cc6790146104215780638456cb591461043d576101da565b80632f2ff15d1161017c5780633f4ba83a1161014b5780633f4ba83a1461039157806340c10f191461039b57806342966c68146103b75780635c975abb146103d3576101da565b80632f2ff15d1461030b578063313ce5671461032757806336568abe146103455780633950935114610361576101da565b806312a0a4b9116101b857806312a0a4b91461025d57806318160ddd1461028d57806323b872dd146102ab578063248a9ca3146102db576101da565b806301ffc9a7146101df57806306fdde031461020f578063095ea7b31461022d575b600080fd5b6101f960048036038101906101f49190611e8b565b610619565b6040516102069190611ed3565b60405180910390f35b610217610693565b6040516102249190611f7e565b60405180910390f35b61024760048036038101906102429190612034565b610725565b6040516102549190611ed3565b60405180910390f35b61027760048036038101906102729190612074565b610748565b6040516102849190611ed3565b60405180910390f35b610295610825565b6040516102a291906120b0565b60405180910390f35b6102c560048036038101906102c091906120cb565b61082f565b6040516102d29190611ed3565b60405180910390f35b6102f560048036038101906102f09190612154565b61085e565b6040516103029190612190565b60405180910390f35b610325600480360381019061032091906121ab565b61087e565b005b61032f61089f565b60405161033c9190612207565b60405180910390f35b61035f600480360381019061035a91906121ab565b6108a8565b005b61037b60048036038101906103769190612034565b61092b565b6040516103889190611ed3565b60405180910390f35b610399610962565b005b6103b560048036038101906103b09190612034565b610997565b005b6103d160048036038101906103cc9190612222565b6109d0565b005b6103db6109e4565b6040516103e89190611ed3565b60405180910390f35b61040b60048036038101906104069190612074565b6109fb565b60405161041891906120b0565b60405180910390f35b61043b60048036038101906104369190612034565b610a43565b005b610445610a63565b005b610461600480360381019061045c91906121ab565b610a98565b60405161046e9190611ed3565b60405180910390f35b61047f610b03565b60405161048c9190611f7e565b60405180910390f35b61049d610b95565b6040516104aa9190612190565b60405180910390f35b6104cd60048036038101906104c89190612034565b610b9c565b6040516104da9190611ed3565b60405180910390f35b6104fd60048036038101906104f89190612074565b610c13565b60405161050a9190611ed3565b60405180910390f35b61052d60048036038101906105289190612034565b610ce7565b60405161053a9190611ed3565b60405180910390f35b61054b610d0a565b6040516105589190612190565b60405180910390f35b610569610d2e565b6040516105769190612190565b60405180910390f35b610599600480360381019061059491906121ab565b610d52565b005b6105b560048036038101906105b0919061224f565b610d73565b6040516105c291906120b0565b60405180910390f35b6105e560048036038101906105e09190612074565b610dfa565b6040516105f29190611ed3565b60405180910390f35b610603610e50565b6040516106109190612190565b60405180910390f35b60007f7965db0b000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061068c575061068b82610e74565b5b9050919050565b6060600380546106a2906122be565b80601f01602080910402602001604051908101604052809291908181526020018280546106ce906122be565b801561071b5780601f106106f05761010080835404028352916020019161071b565b820191906000526020600020905b8154815290600101906020018083116106fe57829003601f168201915b5050505050905090565b600080610730610ede565b905061073d818585610ee6565b600191505092915050565b60007f832387ff8355724ce19b4e13d42ca7e8b0d3d6e27508713bc847b0ef4335ecd6610774816110af565b6001600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508273ffffffffffffffffffffffffffffffffffffffff167fdad5116d132e56b4449eb37723599ddb3b71dead07dc44a8fea91816c670fd1060016040516108139190611ed3565b60405180910390a26001915050919050565b6000600254905090565b60008061083a610ede565b90506108478582856110c3565b61085285858561114f565b60019150509392505050565b600060066000838152602001908152602001600020600101549050919050565b6108878261085e565b610890816110af565b61089a83836113c5565b505050565b60006012905090565b6108b0610ede565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461091d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161091490612361565b60405180910390fd5b61092782826114a6565b5050565b600080610936610ede565b90506109578185856109488589610d73565b61095291906123b0565b610ee6565b600191505092915050565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a61098c816110af565b610994611588565b50565b7f9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a66109c1816110af565b6109cb83836115eb565b505050565b6109e16109db610ede565b82611741565b50565b6000600560009054906101000a900460ff16905090565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610a5582610a4f610ede565b836110c3565b610a5f8282611741565b5050565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a610a8d816110af565b610a9561190e565b50565b60006006600084815260200190815260200160002060000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b606060048054610b12906122be565b80601f0160208091040260200160405190810160405280929190818152602001828054610b3e906122be565b8015610b8b5780601f10610b6057610100808354040283529160200191610b8b565b820191906000526020600020905b815481529060010190602001808311610b6e57829003601f168201915b5050505050905090565b6000801b81565b600080610ba7610ede565b90506000610bb58286610d73565b905083811015610bfa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bf190612456565b60405180910390fd5b610c078286868403610ee6565b60019250505092915050565b60007f832387ff8355724ce19b4e13d42ca7e8b0d3d6e27508713bc847b0ef4335ecd6610c3f816110af565b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81549060ff02191690558273ffffffffffffffffffffffffffffffffffffffff167fdad5116d132e56b4449eb37723599ddb3b71dead07dc44a8fea91816c670fd106000604051610cd59190611ed3565b60405180910390a26001915050919050565b600080610cf2610ede565b9050610cff81858561114f565b600191505092915050565b7f832387ff8355724ce19b4e13d42ca7e8b0d3d6e27508713bc847b0ef4335ecd681565b7f9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a681565b610d5b8261085e565b610d64816110af565b610d6e83836114a6565b505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a81565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f55576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4c906124e8565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610fc4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fbb9061257a565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516110a291906120b0565b60405180910390a3505050565b6110c0816110bb610ede565b611971565b50565b60006110cf8484610d73565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114611149578181101561113b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611132906125e6565b60405180910390fd5b6111488484848403610ee6565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036111be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111b590612678565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361122d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112249061270a565b60405180910390fd5b6112388383836119f6565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156112be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112b59061279c565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516113ac91906120b0565b60405180910390a36113bf848484611b28565b50505050565b6113cf8282610a98565b6114a25760016006600084815260200190815260200160002060000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550611447610ede565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16837f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45b5050565b6114b08282610a98565b156115845760006006600084815260200190815260200160002060000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550611529610ede565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16837ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b60405160405180910390a45b5050565b611590611b2d565b6000600560006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6115d4610ede565b6040516115e191906127cb565b60405180910390a1565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361165a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161165190612832565b60405180910390fd5b611666600083836119f6565b806002600082825461167891906123b0565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161172991906120b0565b60405180910390a361173d60008383611b28565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036117b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117a7906128c4565b60405180910390fd5b6117bc826000836119f6565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611842576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161183990612956565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516118f591906120b0565b60405180910390a361190983600084611b28565b505050565b611916611b76565b6001600560006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25861195a610ede565b60405161196791906127cb565b60405180910390a1565b61197b8282610a98565b6119f25761198881611bc0565b6119968360001c6020611bed565b6040516020016119a7929190612a4a565b6040516020818303038152906040526040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119e99190611f7e565b60405180910390fd5b5050565b6119fe611b76565b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611a8b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a8290612af6565b60405180910390fd5b600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611b18576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b0f90612b88565b60405180910390fd5b611b23838383611e29565b505050565b505050565b611b356109e4565b611b74576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b6b90612bf4565b60405180910390fd5b565b611b7e6109e4565b15611bbe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611bb590612c60565b60405180910390fd5b565b6060611be68273ffffffffffffffffffffffffffffffffffffffff16601460ff16611bed565b9050919050565b606060006002836002611c009190612c80565b611c0a91906123b0565b67ffffffffffffffff811115611c2357611c22612cc2565b5b6040519080825280601f01601f191660200182016040528015611c555781602001600182028036833780820191505090505b5090507f300000000000000000000000000000000000000000000000000000000000000081600081518110611c8d57611c8c612cf1565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053507f780000000000000000000000000000000000000000000000000000000000000081600181518110611cf157611cf0612cf1565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535060006001846002611d319190612c80565b611d3b91906123b0565b90505b6001811115611ddb577f3031323334353637383961626364656600000000000000000000000000000000600f861660108110611d7d57611d7c612cf1565b5b1a60f81b828281518110611d9457611d93612cf1565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600485901c945080611dd490612d20565b9050611d3e565b5060008414611e1f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e1690612d95565b60405180910390fd5b8091505092915050565b505050565b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611e6881611e33565b8114611e7357600080fd5b50565b600081359050611e8581611e5f565b92915050565b600060208284031215611ea157611ea0611e2e565b5b6000611eaf84828501611e76565b91505092915050565b60008115159050919050565b611ecd81611eb8565b82525050565b6000602082019050611ee86000830184611ec4565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611f28578082015181840152602081019050611f0d565b60008484015250505050565b6000601f19601f8301169050919050565b6000611f5082611eee565b611f5a8185611ef9565b9350611f6a818560208601611f0a565b611f7381611f34565b840191505092915050565b60006020820190508181036000830152611f988184611f45565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611fcb82611fa0565b9050919050565b611fdb81611fc0565b8114611fe657600080fd5b50565b600081359050611ff881611fd2565b92915050565b6000819050919050565b61201181611ffe565b811461201c57600080fd5b50565b60008135905061202e81612008565b92915050565b6000806040838503121561204b5761204a611e2e565b5b600061205985828601611fe9565b925050602061206a8582860161201f565b9150509250929050565b60006020828403121561208a57612089611e2e565b5b600061209884828501611fe9565b91505092915050565b6120aa81611ffe565b82525050565b60006020820190506120c560008301846120a1565b92915050565b6000806000606084860312156120e4576120e3611e2e565b5b60006120f286828701611fe9565b935050602061210386828701611fe9565b92505060406121148682870161201f565b9150509250925092565b6000819050919050565b6121318161211e565b811461213c57600080fd5b50565b60008135905061214e81612128565b92915050565b60006020828403121561216a57612169611e2e565b5b60006121788482850161213f565b91505092915050565b61218a8161211e565b82525050565b60006020820190506121a56000830184612181565b92915050565b600080604083850312156121c2576121c1611e2e565b5b60006121d08582860161213f565b92505060206121e185828601611fe9565b9150509250929050565b600060ff82169050919050565b612201816121eb565b82525050565b600060208201905061221c60008301846121f8565b92915050565b60006020828403121561223857612237611e2e565b5b60006122468482850161201f565b91505092915050565b6000806040838503121561226657612265611e2e565b5b600061227485828601611fe9565b925050602061228585828601611fe9565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806122d657607f821691505b6020821081036122e9576122e861228f565b5b50919050565b7f416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e636560008201527f20726f6c657320666f722073656c660000000000000000000000000000000000602082015250565b600061234b602f83611ef9565b9150612356826122ef565b604082019050919050565b6000602082019050818103600083015261237a8161233e565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006123bb82611ffe565b91506123c683611ffe565b92508282019050808211156123de576123dd612381565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000612440602583611ef9565b915061244b826123e4565b604082019050919050565b6000602082019050818103600083015261246f81612433565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006124d2602483611ef9565b91506124dd82612476565b604082019050919050565b60006020820190508181036000830152612501816124c5565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000612564602283611ef9565b915061256f82612508565b604082019050919050565b6000602082019050818103600083015261259381612557565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b60006125d0601d83611ef9565b91506125db8261259a565b602082019050919050565b600060208201905081810360008301526125ff816125c3565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000612662602583611ef9565b915061266d82612606565b604082019050919050565b6000602082019050818103600083015261269181612655565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006126f4602383611ef9565b91506126ff82612698565b604082019050919050565b60006020820190508181036000830152612723816126e7565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000612786602683611ef9565b91506127918261272a565b604082019050919050565b600060208201905081810360008301526127b581612779565b9050919050565b6127c581611fc0565b82525050565b60006020820190506127e060008301846127bc565b92915050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b600061281c601f83611ef9565b9150612827826127e6565b602082019050919050565b6000602082019050818103600083015261284b8161280f565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006128ae602183611ef9565b91506128b982612852565b604082019050919050565b600060208201905081810360008301526128dd816128a1565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000612940602283611ef9565b915061294b826128e4565b604082019050919050565b6000602082019050818103600083015261296f81612933565b9050919050565b600081905092915050565b7f416363657373436f6e74726f6c3a206163636f756e7420000000000000000000600082015250565b60006129b7601783612976565b91506129c282612981565b601782019050919050565b60006129d882611eee565b6129e28185612976565b93506129f2818560208601611f0a565b80840191505092915050565b7f206973206d697373696e6720726f6c6520000000000000000000000000000000600082015250565b6000612a34601183612976565b9150612a3f826129fe565b601182019050919050565b6000612a55826129aa565b9150612a6182856129cd565b9150612a6c82612a27565b9150612a7882846129cd565b91508190509392505050565b7f546f6b656e207472616e736665722066726f6d204c6f636b656441646472657360008201527f734c697374000000000000000000000000000000000000000000000000000000602082015250565b6000612ae0602583611ef9565b9150612aeb82612a84565b604082019050919050565b60006020820190508181036000830152612b0f81612ad3565b9050919050565b7f546f6b656e207472616e7366657220746f204c6f636b6564416464726573734c60008201527f6973740000000000000000000000000000000000000000000000000000000000602082015250565b6000612b72602383611ef9565b9150612b7d82612b16565b604082019050919050565b60006020820190508181036000830152612ba181612b65565b9050919050565b7f5061757361626c653a206e6f7420706175736564000000000000000000000000600082015250565b6000612bde601483611ef9565b9150612be982612ba8565b602082019050919050565b60006020820190508181036000830152612c0d81612bd1565b9050919050565b7f5061757361626c653a2070617573656400000000000000000000000000000000600082015250565b6000612c4a601083611ef9565b9150612c5582612c14565b602082019050919050565b60006020820190508181036000830152612c7981612c3d565b9050919050565b6000612c8b82611ffe565b9150612c9683611ffe565b9250828202612ca481611ffe565b91508282048414831517612cbb57612cba612381565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6000612d2b82611ffe565b915060008203612d3e57612d3d612381565b5b600182039050919050565b7f537472696e67733a20686578206c656e67746820696e73756666696369656e74600082015250565b6000612d7f602083611ef9565b9150612d8a82612d49565b602082019050919050565b60006020820190508181036000830152612dae81612d72565b905091905056fea264697066735822122039a49153f7981c94c9bb253b127a04b2cd3e554683158fb19e03b046b914039664736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106101da5760003560e01c806370a0823111610104578063a7cd26fd116100a2578063d547741f11610071578063d547741f1461057f578063dd62ed3e1461059b578063e52e9f15146105cb578063e63ab1e9146105fb576101da565b8063a7cd26fd146104e3578063a9059cbb14610513578063cfb17ceb14610543578063d539139314610561576101da565b806391d14854116100de57806391d148541461044757806395d89b4114610477578063a217fddf14610495578063a457c2d7146104b3576101da565b806370a08231146103f157806379cc6790146104215780638456cb591461043d576101da565b80632f2ff15d1161017c5780633f4ba83a1161014b5780633f4ba83a1461039157806340c10f191461039b57806342966c68146103b75780635c975abb146103d3576101da565b80632f2ff15d1461030b578063313ce5671461032757806336568abe146103455780633950935114610361576101da565b806312a0a4b9116101b857806312a0a4b91461025d57806318160ddd1461028d57806323b872dd146102ab578063248a9ca3146102db576101da565b806301ffc9a7146101df57806306fdde031461020f578063095ea7b31461022d575b600080fd5b6101f960048036038101906101f49190611e8b565b610619565b6040516102069190611ed3565b60405180910390f35b610217610693565b6040516102249190611f7e565b60405180910390f35b61024760048036038101906102429190612034565b610725565b6040516102549190611ed3565b60405180910390f35b61027760048036038101906102729190612074565b610748565b6040516102849190611ed3565b60405180910390f35b610295610825565b6040516102a291906120b0565b60405180910390f35b6102c560048036038101906102c091906120cb565b61082f565b6040516102d29190611ed3565b60405180910390f35b6102f560048036038101906102f09190612154565b61085e565b6040516103029190612190565b60405180910390f35b610325600480360381019061032091906121ab565b61087e565b005b61032f61089f565b60405161033c9190612207565b60405180910390f35b61035f600480360381019061035a91906121ab565b6108a8565b005b61037b60048036038101906103769190612034565b61092b565b6040516103889190611ed3565b60405180910390f35b610399610962565b005b6103b560048036038101906103b09190612034565b610997565b005b6103d160048036038101906103cc9190612222565b6109d0565b005b6103db6109e4565b6040516103e89190611ed3565b60405180910390f35b61040b60048036038101906104069190612074565b6109fb565b60405161041891906120b0565b60405180910390f35b61043b60048036038101906104369190612034565b610a43565b005b610445610a63565b005b610461600480360381019061045c91906121ab565b610a98565b60405161046e9190611ed3565b60405180910390f35b61047f610b03565b60405161048c9190611f7e565b60405180910390f35b61049d610b95565b6040516104aa9190612190565b60405180910390f35b6104cd60048036038101906104c89190612034565b610b9c565b6040516104da9190611ed3565b60405180910390f35b6104fd60048036038101906104f89190612074565b610c13565b60405161050a9190611ed3565b60405180910390f35b61052d60048036038101906105289190612034565b610ce7565b60405161053a9190611ed3565b60405180910390f35b61054b610d0a565b6040516105589190612190565b60405180910390f35b610569610d2e565b6040516105769190612190565b60405180910390f35b610599600480360381019061059491906121ab565b610d52565b005b6105b560048036038101906105b0919061224f565b610d73565b6040516105c291906120b0565b60405180910390f35b6105e560048036038101906105e09190612074565b610dfa565b6040516105f29190611ed3565b60405180910390f35b610603610e50565b6040516106109190612190565b60405180910390f35b60007f7965db0b000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061068c575061068b82610e74565b5b9050919050565b6060600380546106a2906122be565b80601f01602080910402602001604051908101604052809291908181526020018280546106ce906122be565b801561071b5780601f106106f05761010080835404028352916020019161071b565b820191906000526020600020905b8154815290600101906020018083116106fe57829003601f168201915b5050505050905090565b600080610730610ede565b905061073d818585610ee6565b600191505092915050565b60007f832387ff8355724ce19b4e13d42ca7e8b0d3d6e27508713bc847b0ef4335ecd6610774816110af565b6001600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508273ffffffffffffffffffffffffffffffffffffffff167fdad5116d132e56b4449eb37723599ddb3b71dead07dc44a8fea91816c670fd1060016040516108139190611ed3565b60405180910390a26001915050919050565b6000600254905090565b60008061083a610ede565b90506108478582856110c3565b61085285858561114f565b60019150509392505050565b600060066000838152602001908152602001600020600101549050919050565b6108878261085e565b610890816110af565b61089a83836113c5565b505050565b60006012905090565b6108b0610ede565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461091d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161091490612361565b60405180910390fd5b61092782826114a6565b5050565b600080610936610ede565b90506109578185856109488589610d73565b61095291906123b0565b610ee6565b600191505092915050565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a61098c816110af565b610994611588565b50565b7f9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a66109c1816110af565b6109cb83836115eb565b505050565b6109e16109db610ede565b82611741565b50565b6000600560009054906101000a900460ff16905090565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610a5582610a4f610ede565b836110c3565b610a5f8282611741565b5050565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a610a8d816110af565b610a9561190e565b50565b60006006600084815260200190815260200160002060000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b606060048054610b12906122be565b80601f0160208091040260200160405190810160405280929190818152602001828054610b3e906122be565b8015610b8b5780601f10610b6057610100808354040283529160200191610b8b565b820191906000526020600020905b815481529060010190602001808311610b6e57829003601f168201915b5050505050905090565b6000801b81565b600080610ba7610ede565b90506000610bb58286610d73565b905083811015610bfa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bf190612456565b60405180910390fd5b610c078286868403610ee6565b60019250505092915050565b60007f832387ff8355724ce19b4e13d42ca7e8b0d3d6e27508713bc847b0ef4335ecd6610c3f816110af565b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81549060ff02191690558273ffffffffffffffffffffffffffffffffffffffff167fdad5116d132e56b4449eb37723599ddb3b71dead07dc44a8fea91816c670fd106000604051610cd59190611ed3565b60405180910390a26001915050919050565b600080610cf2610ede565b9050610cff81858561114f565b600191505092915050565b7f832387ff8355724ce19b4e13d42ca7e8b0d3d6e27508713bc847b0ef4335ecd681565b7f9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a681565b610d5b8261085e565b610d64816110af565b610d6e83836114a6565b505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a81565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f55576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4c906124e8565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610fc4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fbb9061257a565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516110a291906120b0565b60405180910390a3505050565b6110c0816110bb610ede565b611971565b50565b60006110cf8484610d73565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114611149578181101561113b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611132906125e6565b60405180910390fd5b6111488484848403610ee6565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036111be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111b590612678565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361122d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112249061270a565b60405180910390fd5b6112388383836119f6565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156112be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112b59061279c565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516113ac91906120b0565b60405180910390a36113bf848484611b28565b50505050565b6113cf8282610a98565b6114a25760016006600084815260200190815260200160002060000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550611447610ede565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16837f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45b5050565b6114b08282610a98565b156115845760006006600084815260200190815260200160002060000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550611529610ede565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16837ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b60405160405180910390a45b5050565b611590611b2d565b6000600560006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6115d4610ede565b6040516115e191906127cb565b60405180910390a1565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361165a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161165190612832565b60405180910390fd5b611666600083836119f6565b806002600082825461167891906123b0565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161172991906120b0565b60405180910390a361173d60008383611b28565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036117b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117a7906128c4565b60405180910390fd5b6117bc826000836119f6565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611842576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161183990612956565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516118f591906120b0565b60405180910390a361190983600084611b28565b505050565b611916611b76565b6001600560006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25861195a610ede565b60405161196791906127cb565b60405180910390a1565b61197b8282610a98565b6119f25761198881611bc0565b6119968360001c6020611bed565b6040516020016119a7929190612a4a565b6040516020818303038152906040526040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119e99190611f7e565b60405180910390fd5b5050565b6119fe611b76565b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611a8b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a8290612af6565b60405180910390fd5b600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611b18576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b0f90612b88565b60405180910390fd5b611b23838383611e29565b505050565b505050565b611b356109e4565b611b74576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b6b90612bf4565b60405180910390fd5b565b611b7e6109e4565b15611bbe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611bb590612c60565b60405180910390fd5b565b6060611be68273ffffffffffffffffffffffffffffffffffffffff16601460ff16611bed565b9050919050565b606060006002836002611c009190612c80565b611c0a91906123b0565b67ffffffffffffffff811115611c2357611c22612cc2565b5b6040519080825280601f01601f191660200182016040528015611c555781602001600182028036833780820191505090505b5090507f300000000000000000000000000000000000000000000000000000000000000081600081518110611c8d57611c8c612cf1565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053507f780000000000000000000000000000000000000000000000000000000000000081600181518110611cf157611cf0612cf1565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535060006001846002611d319190612c80565b611d3b91906123b0565b90505b6001811115611ddb577f3031323334353637383961626364656600000000000000000000000000000000600f861660108110611d7d57611d7c612cf1565b5b1a60f81b828281518110611d9457611d93612cf1565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600485901c945080611dd490612d20565b9050611d3e565b5060008414611e1f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e1690612d95565b60405180910390fd5b8091505092915050565b505050565b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611e6881611e33565b8114611e7357600080fd5b50565b600081359050611e8581611e5f565b92915050565b600060208284031215611ea157611ea0611e2e565b5b6000611eaf84828501611e76565b91505092915050565b60008115159050919050565b611ecd81611eb8565b82525050565b6000602082019050611ee86000830184611ec4565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611f28578082015181840152602081019050611f0d565b60008484015250505050565b6000601f19601f8301169050919050565b6000611f5082611eee565b611f5a8185611ef9565b9350611f6a818560208601611f0a565b611f7381611f34565b840191505092915050565b60006020820190508181036000830152611f988184611f45565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611fcb82611fa0565b9050919050565b611fdb81611fc0565b8114611fe657600080fd5b50565b600081359050611ff881611fd2565b92915050565b6000819050919050565b61201181611ffe565b811461201c57600080fd5b50565b60008135905061202e81612008565b92915050565b6000806040838503121561204b5761204a611e2e565b5b600061205985828601611fe9565b925050602061206a8582860161201f565b9150509250929050565b60006020828403121561208a57612089611e2e565b5b600061209884828501611fe9565b91505092915050565b6120aa81611ffe565b82525050565b60006020820190506120c560008301846120a1565b92915050565b6000806000606084860312156120e4576120e3611e2e565b5b60006120f286828701611fe9565b935050602061210386828701611fe9565b92505060406121148682870161201f565b9150509250925092565b6000819050919050565b6121318161211e565b811461213c57600080fd5b50565b60008135905061214e81612128565b92915050565b60006020828403121561216a57612169611e2e565b5b60006121788482850161213f565b91505092915050565b61218a8161211e565b82525050565b60006020820190506121a56000830184612181565b92915050565b600080604083850312156121c2576121c1611e2e565b5b60006121d08582860161213f565b92505060206121e185828601611fe9565b9150509250929050565b600060ff82169050919050565b612201816121eb565b82525050565b600060208201905061221c60008301846121f8565b92915050565b60006020828403121561223857612237611e2e565b5b60006122468482850161201f565b91505092915050565b6000806040838503121561226657612265611e2e565b5b600061227485828601611fe9565b925050602061228585828601611fe9565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806122d657607f821691505b6020821081036122e9576122e861228f565b5b50919050565b7f416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e636560008201527f20726f6c657320666f722073656c660000000000000000000000000000000000602082015250565b600061234b602f83611ef9565b9150612356826122ef565b604082019050919050565b6000602082019050818103600083015261237a8161233e565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006123bb82611ffe565b91506123c683611ffe565b92508282019050808211156123de576123dd612381565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000612440602583611ef9565b915061244b826123e4565b604082019050919050565b6000602082019050818103600083015261246f81612433565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006124d2602483611ef9565b91506124dd82612476565b604082019050919050565b60006020820190508181036000830152612501816124c5565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000612564602283611ef9565b915061256f82612508565b604082019050919050565b6000602082019050818103600083015261259381612557565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b60006125d0601d83611ef9565b91506125db8261259a565b602082019050919050565b600060208201905081810360008301526125ff816125c3565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000612662602583611ef9565b915061266d82612606565b604082019050919050565b6000602082019050818103600083015261269181612655565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006126f4602383611ef9565b91506126ff82612698565b604082019050919050565b60006020820190508181036000830152612723816126e7565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000612786602683611ef9565b91506127918261272a565b604082019050919050565b600060208201905081810360008301526127b581612779565b9050919050565b6127c581611fc0565b82525050565b60006020820190506127e060008301846127bc565b92915050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b600061281c601f83611ef9565b9150612827826127e6565b602082019050919050565b6000602082019050818103600083015261284b8161280f565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006128ae602183611ef9565b91506128b982612852565b604082019050919050565b600060208201905081810360008301526128dd816128a1565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000612940602283611ef9565b915061294b826128e4565b604082019050919050565b6000602082019050818103600083015261296f81612933565b9050919050565b600081905092915050565b7f416363657373436f6e74726f6c3a206163636f756e7420000000000000000000600082015250565b60006129b7601783612976565b91506129c282612981565b601782019050919050565b60006129d882611eee565b6129e28185612976565b93506129f2818560208601611f0a565b80840191505092915050565b7f206973206d697373696e6720726f6c6520000000000000000000000000000000600082015250565b6000612a34601183612976565b9150612a3f826129fe565b601182019050919050565b6000612a55826129aa565b9150612a6182856129cd565b9150612a6c82612a27565b9150612a7882846129cd565b91508190509392505050565b7f546f6b656e207472616e736665722066726f6d204c6f636b656441646472657360008201527f734c697374000000000000000000000000000000000000000000000000000000602082015250565b6000612ae0602583611ef9565b9150612aeb82612a84565b604082019050919050565b60006020820190508181036000830152612b0f81612ad3565b9050919050565b7f546f6b656e207472616e7366657220746f204c6f636b6564416464726573734c60008201527f6973740000000000000000000000000000000000000000000000000000000000602082015250565b6000612b72602383611ef9565b9150612b7d82612b16565b604082019050919050565b60006020820190508181036000830152612ba181612b65565b9050919050565b7f5061757361626c653a206e6f7420706175736564000000000000000000000000600082015250565b6000612bde601483611ef9565b9150612be982612ba8565b602082019050919050565b60006020820190508181036000830152612c0d81612bd1565b9050919050565b7f5061757361626c653a2070617573656400000000000000000000000000000000600082015250565b6000612c4a601083611ef9565b9150612c5582612c14565b602082019050919050565b60006020820190508181036000830152612c7981612c3d565b9050919050565b6000612c8b82611ffe565b9150612c9683611ffe565b9250828202612ca481611ffe565b91508282048414831517612cbb57612cba612381565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6000612d2b82611ffe565b915060008203612d3e57612d3d612381565b5b600182039050919050565b7f537472696e67733a20686578206c656e67746820696e73756666696369656e74600082015250565b6000612d7f602083611ef9565b9150612d8a82612d49565b602082019050919050565b60006020820190508181036000830152612dae81612d72565b905091905056fea264697066735822122039a49153f7981c94c9bb253b127a04b2cd3e554683158fb19e03b046b914039664736f6c63430008120033

52234:1948:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25939:204;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;39991:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42351:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53248:210;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;41120:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;43132:261;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27762:131;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28203:147;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;40962:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;29347:218;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;43802:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53046:77;;;:::i;:::-;;53131:109;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;51567:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;33281:86;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;41291:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51977:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;52965:73;;;:::i;:::-;;26235:147;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;40210:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25340:49;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;44543:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53466:213;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;41624:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52456:76;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52387:62;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28643:149;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;41880:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53687:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52318:62;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25939:204;26024:4;26063:32;26048:47;;;:11;:47;;;;:87;;;;26099:36;26123:11;26099:23;:36::i;:::-;26048:87;26041:94;;25939:204;;;:::o;39991:100::-;40045:13;40078:5;40071:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39991:100;:::o;42351:201::-;42434:4;42451:13;42467:12;:10;:12::i;:::-;42451:28;;42490:32;42499:5;42506:7;42515:6;42490:8;:32::i;:::-;42540:4;42533:11;;;42351:201;;;;:::o;53248:210::-;53337:4;52501:31;25831:16;25842:4;25831:10;:16::i;:::-;53379:4:::1;53354:13;:22;53368:7;53354:22;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;53413:7;53399:29;;;53423:4;53399:29;;;;;;:::i;:::-;;;;;;;;53446:4;53439:11;;53248:210:::0;;;;:::o;41120:108::-;41181:7;41208:12;;41201:19;;41120:108;:::o;43132:261::-;43229:4;43246:15;43264:12;:10;:12::i;:::-;43246:30;;43287:38;43303:4;43309:7;43318:6;43287:15;:38::i;:::-;43336:27;43346:4;43352:2;43356:6;43336:9;:27::i;:::-;43381:4;43374:11;;;43132:261;;;;;:::o;27762:131::-;27836:7;27863:6;:12;27870:4;27863:12;;;;;;;;;;;:22;;;27856:29;;27762:131;;;:::o;28203:147::-;28286:18;28299:4;28286:12;:18::i;:::-;25831:16;25842:4;25831:10;:16::i;:::-;28317:25:::1;28328:4;28334:7;28317:10;:25::i;:::-;28203:147:::0;;;:::o;40962:93::-;41020:5;41045:2;41038:9;;40962:93;:::o;29347:218::-;29454:12;:10;:12::i;:::-;29443:23;;:7;:23;;;29435:83;;;;;;;;;;;;:::i;:::-;;;;;;;;;29531:26;29543:4;29549:7;29531:11;:26::i;:::-;29347:218;;:::o;43802:238::-;43890:4;43907:13;43923:12;:10;:12::i;:::-;43907:28;;43946:64;43955:5;43962:7;43999:10;43971:25;43981:5;43988:7;43971:9;:25::i;:::-;:38;;;;:::i;:::-;43946:8;:64::i;:::-;44028:4;44021:11;;;43802:238;;;;:::o;53046:77::-;52356:24;25831:16;25842:4;25831:10;:16::i;:::-;53105:10:::1;:8;:10::i;:::-;53046:77:::0;:::o;53131:109::-;52425:24;25831:16;25842:4;25831:10;:16::i;:::-;53215:17:::1;53221:2;53225:6;53215:5;:17::i;:::-;53131:109:::0;;;:::o;51567:91::-;51623:27;51629:12;:10;:12::i;:::-;51643:6;51623:5;:27::i;:::-;51567:91;:::o;33281:86::-;33328:4;33352:7;;;;;;;;;;;33345:14;;33281:86;:::o;41291:127::-;41365:7;41392:9;:18;41402:7;41392:18;;;;;;;;;;;;;;;;41385:25;;41291:127;;;:::o;51977:164::-;52054:46;52070:7;52079:12;:10;:12::i;:::-;52093:6;52054:15;:46::i;:::-;52111:22;52117:7;52126:6;52111:5;:22::i;:::-;51977:164;;:::o;52965:73::-;52356:24;25831:16;25842:4;25831:10;:16::i;:::-;53022:8:::1;:6;:8::i;:::-;52965:73:::0;:::o;26235:147::-;26321:4;26345:6;:12;26352:4;26345:12;;;;;;;;;;;:20;;:29;26366:7;26345:29;;;;;;;;;;;;;;;;;;;;;;;;;26338:36;;26235:147;;;;:::o;40210:104::-;40266:13;40299:7;40292:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40210:104;:::o;25340:49::-;25385:4;25340:49;;;:::o;44543:436::-;44636:4;44653:13;44669:12;:10;:12::i;:::-;44653:28;;44692:24;44719:25;44729:5;44736:7;44719:9;:25::i;:::-;44692:52;;44783:15;44763:16;:35;;44755:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;44876:60;44885:5;44892:7;44920:15;44901:16;:34;44876:8;:60::i;:::-;44967:4;44960:11;;;;44543:436;;;;:::o;53466:213::-;53557:4;52501:31;25831:16;25842:4;25831:10;:16::i;:::-;53581:13:::1;:22;53595:7;53581:22;;;;;;;;;;;;;;;;53574:29;;;;;;;;;;;53633:7;53619:30;;;53643:5;53619:30;;;;;;:::i;:::-;;;;;;;;53667:4;53660:11;;53466:213:::0;;;;:::o;41624:193::-;41703:4;41720:13;41736:12;:10;:12::i;:::-;41720:28;;41759;41769:5;41776:2;41780:6;41759:9;:28::i;:::-;41805:4;41798:11;;;41624:193;;;;:::o;52456:76::-;52501:31;52456:76;:::o;52387:62::-;52425:24;52387:62;:::o;28643:149::-;28727:18;28740:4;28727:12;:18::i;:::-;25831:16;25842:4;25831:10;:16::i;:::-;28758:26:::1;28770:4;28776:7;28758:11;:26::i;:::-;28643:149:::0;;;:::o;41880:151::-;41969:7;41996:11;:18;42008:5;41996:18;;;;;;;;;;;;;;;:27;42015:7;41996:27;;;;;;;;;;;;;;;;41989:34;;41880:151;;;;:::o;53687:127::-;53760:4;53784:13;:22;53798:7;53784:22;;;;;;;;;;;;;;;;;;;;;;;;;53777:29;;53687:127;;;:::o;52318:62::-;52356:24;52318:62;:::o;1815:157::-;1900:4;1939:25;1924:40;;;:11;:40;;;;1917:47;;1815:157;;;:::o;23021:98::-;23074:7;23101:10;23094:17;;23021:98;:::o;48536:346::-;48655:1;48638:19;;:5;:19;;;48630:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;48736:1;48717:21;;:7;:21;;;48709:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;48820:6;48790:11;:18;48802:5;48790:18;;;;;;;;;;;;;;;:27;48809:7;48790:27;;;;;;;;;;;;;;;:36;;;;48858:7;48842:32;;48851:5;48842:32;;;48867:6;48842:32;;;;;;:::i;:::-;;;;;;;;48536:346;;;:::o;26686:105::-;26753:30;26764:4;26770:12;:10;:12::i;:::-;26753:10;:30::i;:::-;26686:105;:::o;49173:419::-;49274:24;49301:25;49311:5;49318:7;49301:9;:25::i;:::-;49274:52;;49361:17;49341:16;:37;49337:248;;49423:6;49403:16;:26;;49395:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;49507:51;49516:5;49523:7;49551:6;49532:16;:25;49507:8;:51::i;:::-;49337:248;49263:329;49173:419;;;:::o;45449:806::-;45562:1;45546:18;;:4;:18;;;45538:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;45639:1;45625:16;;:2;:16;;;45617:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;45694:38;45715:4;45721:2;45725:6;45694:20;:38::i;:::-;45745:19;45767:9;:15;45777:4;45767:15;;;;;;;;;;;;;;;;45745:37;;45816:6;45801:11;:21;;45793:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;45933:6;45919:11;:20;45901:9;:15;45911:4;45901:15;;;;;;;;;;;;;;;:38;;;;46136:6;46119:9;:13;46129:2;46119:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;46186:2;46171:26;;46180:4;46171:26;;;46190:6;46171:26;;;;;;:::i;:::-;;;;;;;;46210:37;46230:4;46236:2;46240:6;46210:19;:37::i;:::-;45527:728;45449:806;;;:::o;30944:238::-;31028:22;31036:4;31042:7;31028;:22::i;:::-;31023:152;;31099:4;31067:6;:12;31074:4;31067:12;;;;;;;;;;;:20;;:29;31088:7;31067:29;;;;;;;;;;;;;;;;:36;;;;;;;;;;;;;;;;;;31150:12;:10;:12::i;:::-;31123:40;;31141:7;31123:40;;31135:4;31123:40;;;;;;;;;;31023:152;30944:238;;:::o;31362:239::-;31446:22;31454:4;31460:7;31446;:22::i;:::-;31442:152;;;31517:5;31485:6;:12;31492:4;31485:12;;;;;;;;;;;:20;;:29;31506:7;31485:29;;;;;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;31569:12;:10;:12::i;:::-;31542:40;;31560:7;31542:40;;31554:4;31542:40;;;;;;;;;;31442:152;31362:239;;:::o;34136:120::-;33145:16;:14;:16::i;:::-;34205:5:::1;34195:7;;:15;;;;;;;;;;;;;;;;;;34226:22;34235:12;:10;:12::i;:::-;34226:22;;;;;;:::i;:::-;;;;;;;;34136:120::o:0;46542:548::-;46645:1;46626:21;;:7;:21;;;46618:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;46696:49;46725:1;46729:7;46738:6;46696:20;:49::i;:::-;46774:6;46758:12;;:22;;;;;;;:::i;:::-;;;;;;;;46951:6;46929:9;:18;46939:7;46929:18;;;;;;;;;;;;;;;;:28;;;;;;;;;;;47005:7;46984:37;;47001:1;46984:37;;;47014:6;46984:37;;;;;;:::i;:::-;;;;;;;;47034:48;47062:1;47066:7;47075:6;47034:19;:48::i;:::-;46542:548;;:::o;47423:675::-;47526:1;47507:21;;:7;:21;;;47499:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;47579:49;47600:7;47617:1;47621:6;47579:20;:49::i;:::-;47641:22;47666:9;:18;47676:7;47666:18;;;;;;;;;;;;;;;;47641:43;;47721:6;47703:14;:24;;47695:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;47840:6;47823:14;:23;47802:9;:18;47812:7;47802:18;;;;;;;;;;;;;;;:44;;;;47957:6;47941:12;;:22;;;;;;;;;;;48018:1;47992:37;;48001:7;47992:37;;;48022:6;47992:37;;;;;;:::i;:::-;;;;;;;;48042:48;48062:7;48079:1;48083:6;48042:19;:48::i;:::-;47488:610;47423:675;;:::o;33877:118::-;32886:19;:17;:19::i;:::-;33947:4:::1;33937:7;;:14;;;;;;;;;;;;;;;;;;33967:20;33974:12;:10;:12::i;:::-;33967:20;;;;;;:::i;:::-;;;;;;;;33877:118::o:0;27081:492::-;27170:22;27178:4;27184:7;27170;:22::i;:::-;27165:401;;27358:28;27378:7;27358:19;:28::i;:::-;27459:38;27487:4;27479:13;;27494:2;27459:19;:38::i;:::-;27263:257;;;;;;;;;:::i;:::-;;;;;;;;;;;;;27209:345;;;;;;;;;;;:::i;:::-;;;;;;;;27165:401;27081:492;;:::o;53822:357::-;32886:19;:17;:19::i;:::-;53978:13:::1;:19;53992:4;53978:19;;;;;;;;;;;;;;;;;;;;;;;;;53977:20;53969:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;54059:13;:17;54073:2;54059:17;;;;;;;;;;;;;;;;;;;;;;;;;54058:18;54050:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;54127:44;54154:4;54160:2;54164:6;54127:26;:44::i;:::-;53822:357:::0;;;:::o;50887:90::-;;;;:::o;33625:108::-;33692:8;:6;:8::i;:::-;33684:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;33625:108::o;33440:::-;33511:8;:6;:8::i;:::-;33510:9;33502:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;33440:108::o;18915:151::-;18973:13;19006:52;19034:4;19018:22;;16790:2;19006:52;;:11;:52::i;:::-;18999:59;;18915:151;;;:::o;18311:447::-;18386:13;18412:19;18457:1;18448:6;18444:1;:10;;;;:::i;:::-;:14;;;;:::i;:::-;18434:25;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18412:47;;18470:15;:6;18477:1;18470:9;;;;;;;;:::i;:::-;;;;;:15;;;;;;;;;;;18496;:6;18503:1;18496:9;;;;;;;;:::i;:::-;;;;;:15;;;;;;;;;;;18527:9;18552:1;18543:6;18539:1;:10;;;;:::i;:::-;:14;;;;:::i;:::-;18527:26;;18522:131;18559:1;18555;:5;18522:131;;;18594:8;18611:3;18603:5;:11;18594:21;;;;;;;:::i;:::-;;;;;18582:6;18589:1;18582:9;;;;;;;;:::i;:::-;;;;;:33;;;;;;;;;;;18640:1;18630:11;;;;;18562:3;;;;:::i;:::-;;;18522:131;;;;18680:1;18671:5;:10;18663:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;18743:6;18729:21;;;18311:447;;;;:::o;50192:91::-;;;;:::o;88:117:1:-;197:1;194;187:12;334:149;370:7;410:66;403:5;399:78;388:89;;334:149;;;:::o;489:120::-;561:23;578:5;561:23;:::i;:::-;554:5;551:34;541:62;;599:1;596;589:12;541:62;489:120;:::o;615:137::-;660:5;698:6;685:20;676:29;;714:32;740:5;714:32;:::i;:::-;615:137;;;;:::o;758:327::-;816:6;865:2;853:9;844:7;840:23;836:32;833:119;;;871:79;;:::i;:::-;833:119;991:1;1016:52;1060:7;1051:6;1040:9;1036:22;1016:52;:::i;:::-;1006:62;;962:116;758:327;;;;:::o;1091:90::-;1125:7;1168:5;1161:13;1154:21;1143:32;;1091:90;;;:::o;1187:109::-;1268:21;1283:5;1268:21;:::i;:::-;1263:3;1256:34;1187:109;;:::o;1302:210::-;1389:4;1427:2;1416:9;1412:18;1404:26;;1440:65;1502:1;1491:9;1487:17;1478:6;1440:65;:::i;:::-;1302:210;;;;:::o;1518:99::-;1570:6;1604:5;1598:12;1588:22;;1518:99;;;:::o;1623:169::-;1707:11;1741:6;1736:3;1729:19;1781:4;1776:3;1772:14;1757:29;;1623:169;;;;:::o;1798:246::-;1879:1;1889:113;1903:6;1900:1;1897:13;1889:113;;;1988:1;1983:3;1979:11;1973:18;1969:1;1964:3;1960:11;1953:39;1925:2;1922:1;1918:10;1913:15;;1889:113;;;2036:1;2027:6;2022:3;2018:16;2011:27;1860:184;1798:246;;;:::o;2050:102::-;2091:6;2142:2;2138:7;2133:2;2126:5;2122:14;2118:28;2108:38;;2050:102;;;:::o;2158:377::-;2246:3;2274:39;2307:5;2274:39;:::i;:::-;2329:71;2393:6;2388:3;2329:71;:::i;:::-;2322:78;;2409:65;2467:6;2462:3;2455:4;2448:5;2444:16;2409:65;:::i;:::-;2499:29;2521:6;2499:29;:::i;:::-;2494:3;2490:39;2483:46;;2250:285;2158:377;;;;:::o;2541:313::-;2654:4;2692:2;2681:9;2677:18;2669:26;;2741:9;2735:4;2731:20;2727:1;2716:9;2712:17;2705:47;2769:78;2842:4;2833:6;2769:78;:::i;:::-;2761:86;;2541:313;;;;:::o;2860:126::-;2897:7;2937:42;2930:5;2926:54;2915:65;;2860:126;;;:::o;2992:96::-;3029:7;3058:24;3076:5;3058:24;:::i;:::-;3047:35;;2992:96;;;:::o;3094:122::-;3167:24;3185:5;3167:24;:::i;:::-;3160:5;3157:35;3147:63;;3206:1;3203;3196:12;3147:63;3094:122;:::o;3222:139::-;3268:5;3306:6;3293:20;3284:29;;3322:33;3349:5;3322:33;:::i;:::-;3222:139;;;;:::o;3367:77::-;3404:7;3433:5;3422:16;;3367:77;;;:::o;3450:122::-;3523:24;3541:5;3523:24;:::i;:::-;3516:5;3513:35;3503:63;;3562:1;3559;3552:12;3503:63;3450:122;:::o;3578:139::-;3624:5;3662:6;3649:20;3640:29;;3678:33;3705:5;3678:33;:::i;:::-;3578:139;;;;:::o;3723:474::-;3791:6;3799;3848:2;3836:9;3827:7;3823:23;3819:32;3816:119;;;3854:79;;:::i;:::-;3816:119;3974:1;3999:53;4044:7;4035:6;4024:9;4020:22;3999:53;:::i;:::-;3989:63;;3945:117;4101:2;4127:53;4172:7;4163:6;4152:9;4148:22;4127:53;:::i;:::-;4117:63;;4072:118;3723:474;;;;;:::o;4203:329::-;4262:6;4311:2;4299:9;4290:7;4286:23;4282:32;4279:119;;;4317:79;;:::i;:::-;4279:119;4437:1;4462:53;4507:7;4498:6;4487:9;4483:22;4462:53;:::i;:::-;4452:63;;4408:117;4203:329;;;;:::o;4538:118::-;4625:24;4643:5;4625:24;:::i;:::-;4620:3;4613:37;4538:118;;:::o;4662:222::-;4755:4;4793:2;4782:9;4778:18;4770:26;;4806:71;4874:1;4863:9;4859:17;4850:6;4806:71;:::i;:::-;4662:222;;;;:::o;4890:619::-;4967:6;4975;4983;5032:2;5020:9;5011:7;5007:23;5003:32;5000:119;;;5038:79;;:::i;:::-;5000:119;5158:1;5183:53;5228:7;5219:6;5208:9;5204:22;5183:53;:::i;:::-;5173:63;;5129:117;5285:2;5311:53;5356:7;5347:6;5336:9;5332:22;5311:53;:::i;:::-;5301:63;;5256:118;5413:2;5439:53;5484:7;5475:6;5464:9;5460:22;5439:53;:::i;:::-;5429:63;;5384:118;4890:619;;;;;:::o;5515:77::-;5552:7;5581:5;5570:16;;5515:77;;;:::o;5598:122::-;5671:24;5689:5;5671:24;:::i;:::-;5664:5;5661:35;5651:63;;5710:1;5707;5700:12;5651:63;5598:122;:::o;5726:139::-;5772:5;5810:6;5797:20;5788:29;;5826:33;5853:5;5826:33;:::i;:::-;5726:139;;;;:::o;5871:329::-;5930:6;5979:2;5967:9;5958:7;5954:23;5950:32;5947:119;;;5985:79;;:::i;:::-;5947:119;6105:1;6130:53;6175:7;6166:6;6155:9;6151:22;6130:53;:::i;:::-;6120:63;;6076:117;5871:329;;;;:::o;6206:118::-;6293:24;6311:5;6293:24;:::i;:::-;6288:3;6281:37;6206:118;;:::o;6330:222::-;6423:4;6461:2;6450:9;6446:18;6438:26;;6474:71;6542:1;6531:9;6527:17;6518:6;6474:71;:::i;:::-;6330:222;;;;:::o;6558:474::-;6626:6;6634;6683:2;6671:9;6662:7;6658:23;6654:32;6651:119;;;6689:79;;:::i;:::-;6651:119;6809:1;6834:53;6879:7;6870:6;6859:9;6855:22;6834:53;:::i;:::-;6824:63;;6780:117;6936:2;6962:53;7007:7;6998:6;6987:9;6983:22;6962:53;:::i;:::-;6952:63;;6907:118;6558:474;;;;;:::o;7038:86::-;7073:7;7113:4;7106:5;7102:16;7091:27;;7038:86;;;:::o;7130:112::-;7213:22;7229:5;7213:22;:::i;:::-;7208:3;7201:35;7130:112;;:::o;7248:214::-;7337:4;7375:2;7364:9;7360:18;7352:26;;7388:67;7452:1;7441:9;7437:17;7428:6;7388:67;:::i;:::-;7248:214;;;;:::o;7468:329::-;7527:6;7576:2;7564:9;7555:7;7551:23;7547:32;7544:119;;;7582:79;;:::i;:::-;7544:119;7702:1;7727:53;7772:7;7763:6;7752:9;7748:22;7727:53;:::i;:::-;7717:63;;7673:117;7468:329;;;;:::o;7803:474::-;7871:6;7879;7928:2;7916:9;7907:7;7903:23;7899:32;7896:119;;;7934:79;;:::i;:::-;7896:119;8054:1;8079:53;8124:7;8115:6;8104:9;8100:22;8079:53;:::i;:::-;8069:63;;8025:117;8181:2;8207:53;8252:7;8243:6;8232:9;8228:22;8207:53;:::i;:::-;8197:63;;8152:118;7803:474;;;;;:::o;8283:180::-;8331:77;8328:1;8321:88;8428:4;8425:1;8418:15;8452:4;8449:1;8442:15;8469:320;8513:6;8550:1;8544:4;8540:12;8530:22;;8597:1;8591:4;8587:12;8618:18;8608:81;;8674:4;8666:6;8662:17;8652:27;;8608:81;8736:2;8728:6;8725:14;8705:18;8702:38;8699:84;;8755:18;;:::i;:::-;8699:84;8520:269;8469:320;;;:::o;8795:234::-;8935:34;8931:1;8923:6;8919:14;8912:58;9004:17;8999:2;8991:6;8987:15;8980:42;8795:234;:::o;9035:366::-;9177:3;9198:67;9262:2;9257:3;9198:67;:::i;:::-;9191:74;;9274:93;9363:3;9274:93;:::i;:::-;9392:2;9387:3;9383:12;9376:19;;9035:366;;;:::o;9407:419::-;9573:4;9611:2;9600:9;9596:18;9588:26;;9660:9;9654:4;9650:20;9646:1;9635:9;9631:17;9624:47;9688:131;9814:4;9688:131;:::i;:::-;9680:139;;9407:419;;;:::o;9832:180::-;9880:77;9877:1;9870:88;9977:4;9974:1;9967:15;10001:4;9998:1;9991:15;10018:191;10058:3;10077:20;10095:1;10077:20;:::i;:::-;10072:25;;10111:20;10129:1;10111:20;:::i;:::-;10106:25;;10154:1;10151;10147:9;10140:16;;10175:3;10172:1;10169:10;10166:36;;;10182:18;;:::i;:::-;10166:36;10018:191;;;;:::o;10215:224::-;10355:34;10351:1;10343:6;10339:14;10332:58;10424:7;10419:2;10411:6;10407:15;10400:32;10215:224;:::o;10445:366::-;10587:3;10608:67;10672:2;10667:3;10608:67;:::i;:::-;10601:74;;10684:93;10773:3;10684:93;:::i;:::-;10802:2;10797:3;10793:12;10786:19;;10445:366;;;:::o;10817:419::-;10983:4;11021:2;11010:9;11006:18;10998:26;;11070:9;11064:4;11060:20;11056:1;11045:9;11041:17;11034:47;11098:131;11224:4;11098:131;:::i;:::-;11090:139;;10817:419;;;:::o;11242:223::-;11382:34;11378:1;11370:6;11366:14;11359:58;11451:6;11446:2;11438:6;11434:15;11427:31;11242:223;:::o;11471:366::-;11613:3;11634:67;11698:2;11693:3;11634:67;:::i;:::-;11627:74;;11710:93;11799:3;11710:93;:::i;:::-;11828:2;11823:3;11819:12;11812:19;;11471:366;;;:::o;11843:419::-;12009:4;12047:2;12036:9;12032:18;12024:26;;12096:9;12090:4;12086:20;12082:1;12071:9;12067:17;12060:47;12124:131;12250:4;12124:131;:::i;:::-;12116:139;;11843:419;;;:::o;12268:221::-;12408:34;12404:1;12396:6;12392:14;12385:58;12477:4;12472:2;12464:6;12460:15;12453:29;12268:221;:::o;12495:366::-;12637:3;12658:67;12722:2;12717:3;12658:67;:::i;:::-;12651:74;;12734:93;12823:3;12734:93;:::i;:::-;12852:2;12847:3;12843:12;12836:19;;12495:366;;;:::o;12867:419::-;13033:4;13071:2;13060:9;13056:18;13048:26;;13120:9;13114:4;13110:20;13106:1;13095:9;13091:17;13084:47;13148:131;13274:4;13148:131;:::i;:::-;13140:139;;12867:419;;;:::o;13292:179::-;13432:31;13428:1;13420:6;13416:14;13409:55;13292:179;:::o;13477:366::-;13619:3;13640:67;13704:2;13699:3;13640:67;:::i;:::-;13633:74;;13716:93;13805:3;13716:93;:::i;:::-;13834:2;13829:3;13825:12;13818:19;;13477:366;;;:::o;13849:419::-;14015:4;14053:2;14042:9;14038:18;14030:26;;14102:9;14096:4;14092:20;14088:1;14077:9;14073:17;14066:47;14130:131;14256:4;14130:131;:::i;:::-;14122:139;;13849:419;;;:::o;14274:224::-;14414:34;14410:1;14402:6;14398:14;14391:58;14483:7;14478:2;14470:6;14466:15;14459:32;14274:224;:::o;14504:366::-;14646:3;14667:67;14731:2;14726:3;14667:67;:::i;:::-;14660:74;;14743:93;14832:3;14743:93;:::i;:::-;14861:2;14856:3;14852:12;14845:19;;14504:366;;;:::o;14876:419::-;15042:4;15080:2;15069:9;15065:18;15057:26;;15129:9;15123:4;15119:20;15115:1;15104:9;15100:17;15093:47;15157:131;15283:4;15157:131;:::i;:::-;15149:139;;14876:419;;;:::o;15301:222::-;15441:34;15437:1;15429:6;15425:14;15418:58;15510:5;15505:2;15497:6;15493:15;15486:30;15301:222;:::o;15529:366::-;15671:3;15692:67;15756:2;15751:3;15692:67;:::i;:::-;15685:74;;15768:93;15857:3;15768:93;:::i;:::-;15886:2;15881:3;15877:12;15870:19;;15529:366;;;:::o;15901:419::-;16067:4;16105:2;16094:9;16090:18;16082:26;;16154:9;16148:4;16144:20;16140:1;16129:9;16125:17;16118:47;16182:131;16308:4;16182:131;:::i;:::-;16174:139;;15901:419;;;:::o;16326:225::-;16466:34;16462:1;16454:6;16450:14;16443:58;16535:8;16530:2;16522:6;16518:15;16511:33;16326:225;:::o;16557:366::-;16699:3;16720:67;16784:2;16779:3;16720:67;:::i;:::-;16713:74;;16796:93;16885:3;16796:93;:::i;:::-;16914:2;16909:3;16905:12;16898:19;;16557:366;;;:::o;16929:419::-;17095:4;17133:2;17122:9;17118:18;17110:26;;17182:9;17176:4;17172:20;17168:1;17157:9;17153:17;17146:47;17210:131;17336:4;17210:131;:::i;:::-;17202:139;;16929:419;;;:::o;17354:118::-;17441:24;17459:5;17441:24;:::i;:::-;17436:3;17429:37;17354:118;;:::o;17478:222::-;17571:4;17609:2;17598:9;17594:18;17586:26;;17622:71;17690:1;17679:9;17675:17;17666:6;17622:71;:::i;:::-;17478:222;;;;:::o;17706:181::-;17846:33;17842:1;17834:6;17830:14;17823:57;17706:181;:::o;17893:366::-;18035:3;18056:67;18120:2;18115:3;18056:67;:::i;:::-;18049:74;;18132:93;18221:3;18132:93;:::i;:::-;18250:2;18245:3;18241:12;18234:19;;17893:366;;;:::o;18265:419::-;18431:4;18469:2;18458:9;18454:18;18446:26;;18518:9;18512:4;18508:20;18504:1;18493:9;18489:17;18482:47;18546:131;18672:4;18546:131;:::i;:::-;18538:139;;18265:419;;;:::o;18690:220::-;18830:34;18826:1;18818:6;18814:14;18807:58;18899:3;18894:2;18886:6;18882:15;18875:28;18690:220;:::o;18916:366::-;19058:3;19079:67;19143:2;19138:3;19079:67;:::i;:::-;19072:74;;19155:93;19244:3;19155:93;:::i;:::-;19273:2;19268:3;19264:12;19257:19;;18916:366;;;:::o;19288:419::-;19454:4;19492:2;19481:9;19477:18;19469:26;;19541:9;19535:4;19531:20;19527:1;19516:9;19512:17;19505:47;19569:131;19695:4;19569:131;:::i;:::-;19561:139;;19288:419;;;:::o;19713:221::-;19853:34;19849:1;19841:6;19837:14;19830:58;19922:4;19917:2;19909:6;19905:15;19898:29;19713:221;:::o;19940:366::-;20082:3;20103:67;20167:2;20162:3;20103:67;:::i;:::-;20096:74;;20179:93;20268:3;20179:93;:::i;:::-;20297:2;20292:3;20288:12;20281:19;;19940:366;;;:::o;20312:419::-;20478:4;20516:2;20505:9;20501:18;20493:26;;20565:9;20559:4;20555:20;20551:1;20540:9;20536:17;20529:47;20593:131;20719:4;20593:131;:::i;:::-;20585:139;;20312:419;;;:::o;20737:148::-;20839:11;20876:3;20861:18;;20737:148;;;;:::o;20891:173::-;21031:25;21027:1;21019:6;21015:14;21008:49;20891:173;:::o;21070:402::-;21230:3;21251:85;21333:2;21328:3;21251:85;:::i;:::-;21244:92;;21345:93;21434:3;21345:93;:::i;:::-;21463:2;21458:3;21454:12;21447:19;;21070:402;;;:::o;21478:390::-;21584:3;21612:39;21645:5;21612:39;:::i;:::-;21667:89;21749:6;21744:3;21667:89;:::i;:::-;21660:96;;21765:65;21823:6;21818:3;21811:4;21804:5;21800:16;21765:65;:::i;:::-;21855:6;21850:3;21846:16;21839:23;;21588:280;21478:390;;;;:::o;21874:167::-;22014:19;22010:1;22002:6;21998:14;21991:43;21874:167;:::o;22047:402::-;22207:3;22228:85;22310:2;22305:3;22228:85;:::i;:::-;22221:92;;22322:93;22411:3;22322:93;:::i;:::-;22440:2;22435:3;22431:12;22424:19;;22047:402;;;:::o;22455:967::-;22837:3;22859:148;23003:3;22859:148;:::i;:::-;22852:155;;23024:95;23115:3;23106:6;23024:95;:::i;:::-;23017:102;;23136:148;23280:3;23136:148;:::i;:::-;23129:155;;23301:95;23392:3;23383:6;23301:95;:::i;:::-;23294:102;;23413:3;23406:10;;22455:967;;;;;:::o;23428:224::-;23568:34;23564:1;23556:6;23552:14;23545:58;23637:7;23632:2;23624:6;23620:15;23613:32;23428:224;:::o;23658:366::-;23800:3;23821:67;23885:2;23880:3;23821:67;:::i;:::-;23814:74;;23897:93;23986:3;23897:93;:::i;:::-;24015:2;24010:3;24006:12;23999:19;;23658:366;;;:::o;24030:419::-;24196:4;24234:2;24223:9;24219:18;24211:26;;24283:9;24277:4;24273:20;24269:1;24258:9;24254:17;24247:47;24311:131;24437:4;24311:131;:::i;:::-;24303:139;;24030:419;;;:::o;24455:222::-;24595:34;24591:1;24583:6;24579:14;24572:58;24664:5;24659:2;24651:6;24647:15;24640:30;24455:222;:::o;24683:366::-;24825:3;24846:67;24910:2;24905:3;24846:67;:::i;:::-;24839:74;;24922:93;25011:3;24922:93;:::i;:::-;25040:2;25035:3;25031:12;25024:19;;24683:366;;;:::o;25055:419::-;25221:4;25259:2;25248:9;25244:18;25236:26;;25308:9;25302:4;25298:20;25294:1;25283:9;25279:17;25272:47;25336:131;25462:4;25336:131;:::i;:::-;25328:139;;25055:419;;;:::o;25480:170::-;25620:22;25616:1;25608:6;25604:14;25597:46;25480:170;:::o;25656:366::-;25798:3;25819:67;25883:2;25878:3;25819:67;:::i;:::-;25812:74;;25895:93;25984:3;25895:93;:::i;:::-;26013:2;26008:3;26004:12;25997:19;;25656:366;;;:::o;26028:419::-;26194:4;26232:2;26221:9;26217:18;26209:26;;26281:9;26275:4;26271:20;26267:1;26256:9;26252:17;26245:47;26309:131;26435:4;26309:131;:::i;:::-;26301:139;;26028:419;;;:::o;26453:166::-;26593:18;26589:1;26581:6;26577:14;26570:42;26453:166;:::o;26625:366::-;26767:3;26788:67;26852:2;26847:3;26788:67;:::i;:::-;26781:74;;26864:93;26953:3;26864:93;:::i;:::-;26982:2;26977:3;26973:12;26966:19;;26625:366;;;:::o;26997:419::-;27163:4;27201:2;27190:9;27186:18;27178:26;;27250:9;27244:4;27240:20;27236:1;27225:9;27221:17;27214:47;27278:131;27404:4;27278:131;:::i;:::-;27270:139;;26997:419;;;:::o;27422:410::-;27462:7;27485:20;27503:1;27485:20;:::i;:::-;27480:25;;27519:20;27537:1;27519:20;:::i;:::-;27514:25;;27574:1;27571;27567:9;27596:30;27614:11;27596:30;:::i;:::-;27585:41;;27775:1;27766:7;27762:15;27759:1;27756:22;27736:1;27729:9;27709:83;27686:139;;27805:18;;:::i;:::-;27686:139;27470:362;27422:410;;;;:::o;27838:180::-;27886:77;27883:1;27876:88;27983:4;27980:1;27973:15;28007:4;28004:1;27997:15;28024:180;28072:77;28069:1;28062:88;28169:4;28166:1;28159:15;28193:4;28190:1;28183:15;28210:171;28249:3;28272:24;28290:5;28272:24;:::i;:::-;28263:33;;28318:4;28311:5;28308:15;28305:41;;28326:18;;:::i;:::-;28305:41;28373:1;28366:5;28362:13;28355:20;;28210:171;;;:::o;28387:182::-;28527:34;28523:1;28515:6;28511:14;28504:58;28387:182;:::o;28575:366::-;28717:3;28738:67;28802:2;28797:3;28738:67;:::i;:::-;28731:74;;28814:93;28903:3;28814:93;:::i;:::-;28932:2;28927:3;28923:12;28916:19;;28575:366;;;:::o;28947:419::-;29113:4;29151:2;29140:9;29136:18;29128:26;;29200:9;29194:4;29190:20;29186:1;29175:9;29171:17;29164:47;29228:131;29354:4;29228:131;:::i;:::-;29220:139;;28947:419;;;:::o

ipfs://39a49153f7981c94c9bb253b127a04b2cd3e554683158fb19e03b046b9140396