Token Madabina

/**
 *Submitted for verification at Etherscan.io on 2021-12-30
*/

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


// OpenZeppelin Contracts v4.4.1 (interfaces/IERC3156FlashBorrower.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC3156 FlashBorrower, as defined in
 * https://eips.ethereum.org/EIPS/eip-3156[ERC-3156].
 *
 * _Available since v4.1._
 */
interface IERC3156FlashBorrower {
    /**
     * @dev Receive a flash loan.
     * @param initiator The initiator of the loan.
     * @param token The loan currency.
     * @param amount The amount of tokens lent.
     * @param fee The additional amount of tokens to repay.
     * @param data Arbitrary data structure, intended to contain user-defined parameters.
     * @return The keccak256 hash of "ERC3156FlashBorrower.onFlashLoan"
     */
    function onFlashLoan(
        address initiator,
        address token,
        uint256 amount,
        uint256 fee,
        bytes calldata data
    ) external returns (bytes32);
}

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


// OpenZeppelin Contracts v4.4.1 (interfaces/IERC3156FlashLender.sol)

pragma solidity ^0.8.0;


/**
 * @dev Interface of the ERC3156 FlashLender, as defined in
 * https://eips.ethereum.org/EIPS/eip-3156[ERC-3156].
 *
 * _Available since v4.1._
 */
interface IERC3156FlashLender {
    /**
     * @dev The amount of currency available to be lended.
     * @param token The loan currency.
     * @return The amount of `token` that can be borrowed.
     */
    function maxFlashLoan(address token) external view returns (uint256);

    /**
     * @dev The fee to be charged for a given loan.
     * @param token The loan currency.
     * @param amount The amount of tokens lent.
     * @return The amount of `token` to be charged for the loan, on top of the returned principal.
     */
    function flashFee(address token, uint256 amount) external view returns (uint256);

    /**
     * @dev Initiate a flash loan.
     * @param receiver The receiver of the tokens in the loan, and the receiver of the callback.
     * @param token The loan currency.
     * @param amount The amount of tokens lent.
     * @param data Arbitrary data structure, intended to contain user-defined parameters.
     */
    function flashLoan(
        IERC3156FlashBorrower receiver,
        address token,
        uint256 amount,
        bytes calldata data
    ) external returns (bool);
}

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


// OpenZeppelin Contracts v4.4.1 (interfaces/IERC3156.sol)

pragma solidity ^0.8.0;



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


// OpenZeppelin Contracts v4.4.1 (utils/math/SafeCast.sol)

pragma solidity ^0.8.0;

/**
 * @dev Wrappers over Solidity's uintXX/intXX casting operators with added overflow
 * checks.
 *
 * Downcasting from uint256/int256 in Solidity does not revert on overflow. This can
 * easily result in undesired exploitation or bugs, since developers usually
 * assume that overflows raise errors. `SafeCast` restores this intuition by
 * reverting the transaction when such an operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 *
 * Can be combined with {SafeMath} and {SignedSafeMath} to extend it to smaller types, by performing
 * all math on `uint256` and `int256` and then downcasting.
 */
library SafeCast {
    /**
     * @dev Returns the downcasted uint224 from uint256, reverting on
     * overflow (when the input is greater than largest uint224).
     *
     * Counterpart to Solidity's `uint224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     */
    function toUint224(uint256 value) internal pure returns (uint224) {
        require(value <= type(uint224).max, "SafeCast: value doesn't fit in 224 bits");
        return uint224(value);
    }

    /**
     * @dev Returns the downcasted uint128 from uint256, reverting on
     * overflow (when the input is greater than largest uint128).
     *
     * Counterpart to Solidity's `uint128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     */
    function toUint128(uint256 value) internal pure returns (uint128) {
        require(value <= type(uint128).max, "SafeCast: value doesn't fit in 128 bits");
        return uint128(value);
    }

    /**
     * @dev Returns the downcasted uint96 from uint256, reverting on
     * overflow (when the input is greater than largest uint96).
     *
     * Counterpart to Solidity's `uint96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     */
    function toUint96(uint256 value) internal pure returns (uint96) {
        require(value <= type(uint96).max, "SafeCast: value doesn't fit in 96 bits");
        return uint96(value);
    }

    /**
     * @dev Returns the downcasted uint64 from uint256, reverting on
     * overflow (when the input is greater than largest uint64).
     *
     * Counterpart to Solidity's `uint64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     */
    function toUint64(uint256 value) internal pure returns (uint64) {
        require(value <= type(uint64).max, "SafeCast: value doesn't fit in 64 bits");
        return uint64(value);
    }

    /**
     * @dev Returns the downcasted uint32 from uint256, reverting on
     * overflow (when the input is greater than largest uint32).
     *
     * Counterpart to Solidity's `uint32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     */
    function toUint32(uint256 value) internal pure returns (uint32) {
        require(value <= type(uint32).max, "SafeCast: value doesn't fit in 32 bits");
        return uint32(value);
    }

    /**
     * @dev Returns the downcasted uint16 from uint256, reverting on
     * overflow (when the input is greater than largest uint16).
     *
     * Counterpart to Solidity's `uint16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     */
    function toUint16(uint256 value) internal pure returns (uint16) {
        require(value <= type(uint16).max, "SafeCast: value doesn't fit in 16 bits");
        return uint16(value);
    }

    /**
     * @dev Returns the downcasted uint8 from uint256, reverting on
     * overflow (when the input is greater than largest uint8).
     *
     * Counterpart to Solidity's `uint8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits.
     */
    function toUint8(uint256 value) internal pure returns (uint8) {
        require(value <= type(uint8).max, "SafeCast: value doesn't fit in 8 bits");
        return uint8(value);
    }

    /**
     * @dev Converts a signed int256 into an unsigned uint256.
     *
     * Requirements:
     *
     * - input must be greater than or equal to 0.
     */
    function toUint256(int256 value) internal pure returns (uint256) {
        require(value >= 0, "SafeCast: value must be positive");
        return uint256(value);
    }

    /**
     * @dev Returns the downcasted int128 from int256, reverting on
     * overflow (when the input is less than smallest int128 or
     * greater than largest int128).
     *
     * Counterpart to Solidity's `int128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     *
     * _Available since v3.1._
     */
    function toInt128(int256 value) internal pure returns (int128) {
        require(value >= type(int128).min && value <= type(int128).max, "SafeCast: value doesn't fit in 128 bits");
        return int128(value);
    }

    /**
     * @dev Returns the downcasted int64 from int256, reverting on
     * overflow (when the input is less than smallest int64 or
     * greater than largest int64).
     *
     * Counterpart to Solidity's `int64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     *
     * _Available since v3.1._
     */
    function toInt64(int256 value) internal pure returns (int64) {
        require(value >= type(int64).min && value <= type(int64).max, "SafeCast: value doesn't fit in 64 bits");
        return int64(value);
    }

    /**
     * @dev Returns the downcasted int32 from int256, reverting on
     * overflow (when the input is less than smallest int32 or
     * greater than largest int32).
     *
     * Counterpart to Solidity's `int32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     *
     * _Available since v3.1._
     */
    function toInt32(int256 value) internal pure returns (int32) {
        require(value >= type(int32).min && value <= type(int32).max, "SafeCast: value doesn't fit in 32 bits");
        return int32(value);
    }

    /**
     * @dev Returns the downcasted int16 from int256, reverting on
     * overflow (when the input is less than smallest int16 or
     * greater than largest int16).
     *
     * Counterpart to Solidity's `int16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     *
     * _Available since v3.1._
     */
    function toInt16(int256 value) internal pure returns (int16) {
        require(value >= type(int16).min && value <= type(int16).max, "SafeCast: value doesn't fit in 16 bits");
        return int16(value);
    }

    /**
     * @dev Returns the downcasted int8 from int256, reverting on
     * overflow (when the input is less than smallest int8 or
     * greater than largest int8).
     *
     * Counterpart to Solidity's `int8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits.
     *
     * _Available since v3.1._
     */
    function toInt8(int256 value) internal pure returns (int8) {
        require(value >= type(int8).min && value <= type(int8).max, "SafeCast: value doesn't fit in 8 bits");
        return int8(value);
    }

    /**
     * @dev Converts an unsigned uint256 into a signed int256.
     *
     * Requirements:
     *
     * - input must be less than or equal to maxInt256.
     */
    function toInt256(uint256 value) internal pure returns (int256) {
        // Note: Unsafe cast below is okay because `type(int256).max` is guaranteed to be positive
        require(value <= uint256(type(int256).max), "SafeCast: value doesn't fit in an int256");
        return int256(value);
    }
}

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


// OpenZeppelin Contracts v4.4.0 (utils/Strings.sol)

pragma solidity ^0.8.0;

/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant _HEX_SYMBOLS = "0123456789abcdef";

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        // Inspired by OraclizeAPI's implementation - MIT licence
        // https://github.com/oraclize/ethereum-api/blob/b42146b063c7d6ee1358846c198246239e9360e8/oraclizeAPI_0.4.25.sol

        if (value == 0) {
            return "0";
        }
        uint256 temp = value;
        uint256 digits;
        while (temp != 0) {
            digits++;
            temp /= 10;
        }
        bytes memory buffer = new bytes(digits);
        while (value != 0) {
            digits -= 1;
            buffer[digits] = bytes1(uint8(48 + uint256(value % 10)));
            value /= 10;
        }
        return string(buffer);
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        if (value == 0) {
            return "0x00";
        }
        uint256 temp = value;
        uint256 length = 0;
        while (temp != 0) {
            length++;
            temp >>= 8;
        }
        return toHexString(value, length);
    }

    /**
     * @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] = _HEX_SYMBOLS[value & 0xf];
            value >>= 4;
        }
        require(value == 0, "Strings: hex length insufficient");
        return string(buffer);
    }
}

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


// OpenZeppelin Contracts v4.4.1 (utils/cryptography/ECDSA.sol)

pragma solidity ^0.8.0;


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

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

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature` or error string. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     *
     * Documentation for signature generation:
     * - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]
     * - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, bytes memory signature) internal pure returns (address, RecoverError) {
        // Check the signature length
        // - case 65: r,s,v signature (standard)
        // - case 64: r,vs signature (cf https://eips.ethereum.org/EIPS/eip-2098) _Available since v4.1._
        if (signature.length == 65) {
            bytes32 r;
            bytes32 s;
            uint8 v;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            assembly {
                r := mload(add(signature, 0x20))
                s := mload(add(signature, 0x40))
                v := byte(0, mload(add(signature, 0x60)))
            }
            return tryRecover(hash, v, r, s);
        } else if (signature.length == 64) {
            bytes32 r;
            bytes32 vs;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            assembly {
                r := mload(add(signature, 0x20))
                vs := mload(add(signature, 0x40))
            }
            return tryRecover(hash, r, vs);
        } else {
            return (address(0), RecoverError.InvalidSignatureLength);
        }
    }

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

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `r` and `vs` short-signature fields separately.
     *
     * See https://eips.ethereum.org/EIPS/eip-2098[EIP-2098 short signatures]
     *
     * _Available since v4.3._
     */
    function tryRecover(
        bytes32 hash,
        bytes32 r,
        bytes32 vs
    ) internal pure returns (address, RecoverError) {
        bytes32 s;
        uint8 v;
        assembly {
            s := and(vs, 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
            v := add(shr(255, vs), 27)
        }
        return tryRecover(hash, v, r, s);
    }

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

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

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

        return (signer, RecoverError.NoError);
    }

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

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

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

    /**
     * @dev Returns an Ethereum Signed Typed Data, created from a
     * `domainSeparator` and a `structHash`. This produces hash corresponding
     * to the one signed with the
     * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`]
     * JSON-RPC method as part of EIP-712.
     *
     * See {recover}.
     */
    function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));
    }
}

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


// OpenZeppelin Contracts v4.4.1 (utils/cryptography/draft-EIP712.sol)

pragma solidity ^0.8.0;


/**
 * @dev https://eips.ethereum.org/EIPS/eip-712[EIP 712] is a standard for hashing and signing of typed structured data.
 *
 * The encoding specified in the EIP is very generic, and such a generic implementation in Solidity is not feasible,
 * thus this contract does not implement the encoding itself. Protocols need to implement the type-specific encoding
 * they need in their contracts using a combination of `abi.encode` and `keccak256`.
 *
 * This contract implements the EIP 712 domain separator ({_domainSeparatorV4}) that is used as part of the encoding
 * scheme, and the final step of the encoding to obtain the message digest that is then signed via ECDSA
 * ({_hashTypedDataV4}).
 *
 * The implementation of the domain separator was designed to be as efficient as possible while still properly updating
 * the chain id to protect against replay attacks on an eventual fork of the chain.
 *
 * NOTE: This contract implements the version of the encoding known as "v4", as implemented by the JSON RPC method
 * https://docs.metamask.io/guide/signing-data.html[`eth_signTypedDataV4` in MetaMask].
 *
 * _Available since v3.4._
 */
abstract contract EIP712 {
    /* solhint-disable var-name-mixedcase */
    // Cache the domain separator as an immutable value, but also store the chain id that it corresponds to, in order to
    // invalidate the cached domain separator if the chain id changes.
    bytes32 private immutable _CACHED_DOMAIN_SEPARATOR;
    uint256 private immutable _CACHED_CHAIN_ID;
    address private immutable _CACHED_THIS;

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

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

    /**
     * @dev Initializes the domain separator and parameter caches.
     *
     * The meaning of `name` and `version` is specified in
     * https://eips.ethereum.org/EIPS/eip-712#definition-of-domainseparator[EIP 712]:
     *
     * - `name`: the user readable name of the signing domain, i.e. the name of the DApp or the protocol.
     * - `version`: the current major version of the signing domain.
     *
     * NOTE: These parameters cannot be changed except through a xref:learn::upgrading-smart-contracts.adoc[smart
     * contract upgrade].
     */
    constructor(string memory name, string memory version) {
        bytes32 hashedName = keccak256(bytes(name));
        bytes32 hashedVersion = keccak256(bytes(version));
        bytes32 typeHash = keccak256(
            "EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"
        );
        _HASHED_NAME = hashedName;
        _HASHED_VERSION = hashedVersion;
        _CACHED_CHAIN_ID = block.chainid;
        _CACHED_DOMAIN_SEPARATOR = _buildDomainSeparator(typeHash, hashedName, hashedVersion);
        _CACHED_THIS = address(this);
        _TYPE_HASH = typeHash;
    }

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

    function _buildDomainSeparator(
        bytes32 typeHash,
        bytes32 nameHash,
        bytes32 versionHash
    ) private view returns (bytes32) {
        return keccak256(abi.encode(typeHash, nameHash, versionHash, block.chainid, address(this)));
    }

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

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


// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-IERC20Permit.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

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

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

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


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

pragma solidity ^0.8.0;

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

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

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

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

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

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


// OpenZeppelin Contracts v4.4.1 (utils/math/Math.sol)

pragma solidity ^0.8.0;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**
     * @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 / b + (a % b == 0 ? 0 : 1);
    }
}

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


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

pragma solidity ^0.8.0;


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

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

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

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

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

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


// OpenZeppelin Contracts v4.4.0 (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/security/Pausable.sol


// OpenZeppelin Contracts v4.4.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 Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

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

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        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/access/Ownable.sol


// OpenZeppelin Contracts v4.4.0 (access/Ownable.sol)

pragma solidity ^0.8.0;


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

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

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

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

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

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

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

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


// OpenZeppelin Contracts v4.4.1 (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @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 `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, 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 `sender` to `recipient` 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 sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

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

// 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 v4.4.1 (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0;




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

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

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

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

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

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, 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}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), 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}.
     *
     * Requirements:
     *
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - 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) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][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) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `sender` to `recipient`.
     *
     * 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:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

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

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

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

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

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

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

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

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

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

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

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

    /**
     * @dev 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/ERC20FlashMint.sol


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

pragma solidity ^0.8.0;



/**
 * @dev Implementation of the ERC3156 Flash loans extension, as defined in
 * https://eips.ethereum.org/EIPS/eip-3156[ERC-3156].
 *
 * Adds the {flashLoan} method, which provides flash loan support at the token
 * level. By default there is no fee, but this can be changed by overriding {flashFee}.
 *
 * _Available since v4.1._
 */
abstract contract ERC20FlashMint is ERC20, IERC3156FlashLender {
    bytes32 private constant _RETURN_VALUE = keccak256("ERC3156FlashBorrower.onFlashLoan");

    /**
     * @dev Returns the maximum amount of tokens available for loan.
     * @param token The address of the token that is requested.
     * @return The amont of token that can be loaned.
     */
    function maxFlashLoan(address token) public view override returns (uint256) {
        return token == address(this) ? type(uint256).max - ERC20.totalSupply() : 0;
    }

    /**
     * @dev Returns the fee applied when doing flash loans. By default this
     * implementation has 0 fees. This function can be overloaded to make
     * the flash loan mechanism deflationary.
     * @param token The token to be flash loaned.
     * @param amount The amount of tokens to be loaned.
     * @return The fees applied to the corresponding flash loan.
     */
    function flashFee(address token, uint256 amount) public view virtual override returns (uint256) {
        require(token == address(this), "ERC20FlashMint: wrong token");
        // silence warning about unused variable without the addition of bytecode.
        amount;
        return 0;
    }

    /**
     * @dev Performs a flash loan. New tokens are minted and sent to the
     * `receiver`, who is required to implement the {IERC3156FlashBorrower}
     * interface. By the end of the flash loan, the receiver is expected to own
     * amount + fee tokens and have them approved back to the token contract itself so
     * they can be burned.
     * @param receiver The receiver of the flash loan. Should implement the
     * {IERC3156FlashBorrower.onFlashLoan} interface.
     * @param token The token to be flash loaned. Only `address(this)` is
     * supported.
     * @param amount The amount of tokens to be loaned.
     * @param data An arbitrary datafield that is passed to the receiver.
     * @return `true` is the flash loan was successful.
     */
    function flashLoan(
        IERC3156FlashBorrower receiver,
        address token,
        uint256 amount,
        bytes calldata data
    ) public virtual override returns (bool) {
        uint256 fee = flashFee(token, amount);
        _mint(address(receiver), amount);
        require(
            receiver.onFlashLoan(msg.sender, token, amount, fee, data) == _RETURN_VALUE,
            "ERC20FlashMint: invalid return value"
        );
        uint256 currentAllowance = allowance(address(receiver), address(this));
        require(currentAllowance >= amount + fee, "ERC20FlashMint: allowance does not allow refund");
        _approve(address(receiver), address(this), currentAllowance - amount - fee);
        _burn(address(receiver), amount + fee);
        return true;
    }
}

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


// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-ERC20Permit.sol)

pragma solidity ^0.8.0;






/**
 * @dev Implementation of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on `{IERC20-approve}`, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 *
 * _Available since v3.4._
 */
abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712 {
    using Counters for Counters.Counter;

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

    // solhint-disable-next-line var-name-mixedcase
    bytes32 private immutable _PERMIT_TYPEHASH =
        keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");

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

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

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

        bytes32 hash = _hashTypedDataV4(structHash);

        address signer = ECDSA.recover(hash, v, r, s);
        require(signer == owner, "ERC20Permit: invalid signature");

        _approve(owner, spender, value);
    }

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

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

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

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


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

pragma solidity ^0.8.0;





/**
 * @dev Extension of ERC20 to support Compound-like voting and delegation. This version is more generic than Compound's,
 * and supports token supply up to 2^224^ - 1, while COMP is limited to 2^96^ - 1.
 *
 * NOTE: If exact COMP compatibility is required, use the {ERC20VotesComp} variant of this module.
 *
 * This extension keeps a history (checkpoints) of each account's vote power. Vote power can be delegated either
 * by calling the {delegate} function directly, or by providing a signature to be used with {delegateBySig}. Voting
 * power can be queried through the public accessors {getVotes} and {getPastVotes}.
 *
 * By default, token balance does not account for voting power. This makes transfers cheaper. The downside is that it
 * requires users to delegate to themselves in order to activate checkpoints and have their voting power tracked.
 * Enabling self-delegation can easily be done by overriding the {delegates} function. Keep in mind however that this
 * will significantly increase the base gas cost of transfers.
 *
 * _Available since v4.2._
 */
abstract contract ERC20Votes is ERC20Permit {
    struct Checkpoint {
        uint32 fromBlock;
        uint224 votes;
    }

    bytes32 private constant _DELEGATION_TYPEHASH =
        keccak256("Delegation(address delegatee,uint256 nonce,uint256 expiry)");

    mapping(address => address) private _delegates;
    mapping(address => Checkpoint[]) private _checkpoints;
    Checkpoint[] private _totalSupplyCheckpoints;

    /**
     * @dev Emitted when an account changes their delegate.
     */
    event DelegateChanged(address indexed delegator, address indexed fromDelegate, address indexed toDelegate);

    /**
     * @dev Emitted when a token transfer or delegate change results in changes to an account's voting power.
     */
    event DelegateVotesChanged(address indexed delegate, uint256 previousBalance, uint256 newBalance);

    /**
     * @dev Get the `pos`-th checkpoint for `account`.
     */
    function checkpoints(address account, uint32 pos) public view virtual returns (Checkpoint memory) {
        return _checkpoints[account][pos];
    }

    /**
     * @dev Get number of checkpoints for `account`.
     */
    function numCheckpoints(address account) public view virtual returns (uint32) {
        return SafeCast.toUint32(_checkpoints[account].length);
    }

    /**
     * @dev Get the address `account` is currently delegating to.
     */
    function delegates(address account) public view virtual returns (address) {
        return _delegates[account];
    }

    /**
     * @dev Gets the current votes balance for `account`
     */
    function getVotes(address account) public view returns (uint256) {
        uint256 pos = _checkpoints[account].length;
        return pos == 0 ? 0 : _checkpoints[account][pos - 1].votes;
    }

    /**
     * @dev Retrieve the number of votes for `account` at the end of `blockNumber`.
     *
     * Requirements:
     *
     * - `blockNumber` must have been already mined
     */
    function getPastVotes(address account, uint256 blockNumber) public view returns (uint256) {
        require(blockNumber < block.number, "ERC20Votes: block not yet mined");
        return _checkpointsLookup(_checkpoints[account], blockNumber);
    }

    /**
     * @dev Retrieve the `totalSupply` at the end of `blockNumber`. Note, this value is the sum of all balances.
     * It is but NOT the sum of all the delegated votes!
     *
     * Requirements:
     *
     * - `blockNumber` must have been already mined
     */
    function getPastTotalSupply(uint256 blockNumber) public view returns (uint256) {
        require(blockNumber < block.number, "ERC20Votes: block not yet mined");
        return _checkpointsLookup(_totalSupplyCheckpoints, blockNumber);
    }

    /**
     * @dev Lookup a value in a list of (sorted) checkpoints.
     */
    function _checkpointsLookup(Checkpoint[] storage ckpts, uint256 blockNumber) private view returns (uint256) {
        // We run a binary search to look for the earliest checkpoint taken after `blockNumber`.
        //
        // During the loop, the index of the wanted checkpoint remains in the range [low-1, high).
        // With each iteration, either `low` or `high` is moved towards the middle of the range to maintain the invariant.
        // - If the middle checkpoint is after `blockNumber`, we look in [low, mid)
        // - If the middle checkpoint is before or equal to `blockNumber`, we look in [mid+1, high)
        // Once we reach a single value (when low == high), we've found the right checkpoint at the index high-1, if not
        // out of bounds (in which case we're looking too far in the past and the result is 0).
        // Note that if the latest checkpoint available is exactly for `blockNumber`, we end up with an index that is
        // past the end of the array, so we technically don't find a checkpoint after `blockNumber`, but it works out
        // the same.
        uint256 high = ckpts.length;
        uint256 low = 0;
        while (low < high) {
            uint256 mid = Math.average(low, high);
            if (ckpts[mid].fromBlock > blockNumber) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        return high == 0 ? 0 : ckpts[high - 1].votes;
    }

    /**
     * @dev Delegate votes from the sender to `delegatee`.
     */
    function delegate(address delegatee) public virtual {
        _delegate(_msgSender(), delegatee);
    }

    /**
     * @dev Delegates votes from signer to `delegatee`
     */
    function delegateBySig(
        address delegatee,
        uint256 nonce,
        uint256 expiry,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        require(block.timestamp <= expiry, "ERC20Votes: signature expired");
        address signer = ECDSA.recover(
            _hashTypedDataV4(keccak256(abi.encode(_DELEGATION_TYPEHASH, delegatee, nonce, expiry))),
            v,
            r,
            s
        );
        require(nonce == _useNonce(signer), "ERC20Votes: invalid nonce");
        _delegate(signer, delegatee);
    }

    /**
     * @dev Maximum token supply. Defaults to `type(uint224).max` (2^224^ - 1).
     */
    function _maxSupply() internal view virtual returns (uint224) {
        return type(uint224).max;
    }

    /**
     * @dev Snapshots the totalSupply after it has been increased.
     */
    function _mint(address account, uint256 amount) internal virtual override {
        super._mint(account, amount);
        require(totalSupply() <= _maxSupply(), "ERC20Votes: total supply risks overflowing votes");

        _writeCheckpoint(_totalSupplyCheckpoints, _add, amount);
    }

    /**
     * @dev Snapshots the totalSupply after it has been decreased.
     */
    function _burn(address account, uint256 amount) internal virtual override {
        super._burn(account, amount);

        _writeCheckpoint(_totalSupplyCheckpoints, _subtract, amount);
    }

    /**
     * @dev Move voting power when tokens are transferred.
     *
     * Emits a {DelegateVotesChanged} event.
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual override {
        super._afterTokenTransfer(from, to, amount);

        _moveVotingPower(delegates(from), delegates(to), amount);
    }

    /**
     * @dev Change delegation for `delegator` to `delegatee`.
     *
     * Emits events {DelegateChanged} and {DelegateVotesChanged}.
     */
    function _delegate(address delegator, address delegatee) internal virtual {
        address currentDelegate = delegates(delegator);
        uint256 delegatorBalance = balanceOf(delegator);
        _delegates[delegator] = delegatee;

        emit DelegateChanged(delegator, currentDelegate, delegatee);

        _moveVotingPower(currentDelegate, delegatee, delegatorBalance);
    }

    function _moveVotingPower(
        address src,
        address dst,
        uint256 amount
    ) private {
        if (src != dst && amount > 0) {
            if (src != address(0)) {
                (uint256 oldWeight, uint256 newWeight) = _writeCheckpoint(_checkpoints[src], _subtract, amount);
                emit DelegateVotesChanged(src, oldWeight, newWeight);
            }

            if (dst != address(0)) {
                (uint256 oldWeight, uint256 newWeight) = _writeCheckpoint(_checkpoints[dst], _add, amount);
                emit DelegateVotesChanged(dst, oldWeight, newWeight);
            }
        }
    }

    function _writeCheckpoint(
        Checkpoint[] storage ckpts,
        function(uint256, uint256) view returns (uint256) op,
        uint256 delta
    ) private returns (uint256 oldWeight, uint256 newWeight) {
        uint256 pos = ckpts.length;
        oldWeight = pos == 0 ? 0 : ckpts[pos - 1].votes;
        newWeight = op(oldWeight, delta);

        if (pos > 0 && ckpts[pos - 1].fromBlock == block.number) {
            ckpts[pos - 1].votes = SafeCast.toUint224(newWeight);
        } else {
            ckpts.push(Checkpoint({fromBlock: SafeCast.toUint32(block.number), votes: SafeCast.toUint224(newWeight)}));
        }
    }

    function _add(uint256 a, uint256 b) private pure returns (uint256) {
        return a + b;
    }

    function _subtract(uint256 a, uint256 b) private pure returns (uint256) {
        return a - b;
    }
}

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


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

pragma solidity ^0.8.0;




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

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

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

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

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

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

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

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

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

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

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

        return snapshotted ? value : balanceOf(account);
    }

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

        return snapshotted ? value : totalSupply();
    }

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

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

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

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

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

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

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

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

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

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

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


// OpenZeppelin Contracts v4.4.1 (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 {
        uint256 currentAllowance = allowance(account, _msgSender());
        require(currentAllowance >= amount, "ERC20: burn amount exceeds allowance");
        unchecked {
            _approve(account, _msgSender(), currentAllowance - amount);
        }
        _burn(account, amount);
    }
}

// File: Madabina-Token.sol


pragma solidity ^0.8.2;









contract Madabina is ERC20, ERC20Burnable, ERC20Snapshot, Ownable, Pausable, ERC20Permit, ERC20Votes, ERC20FlashMint {
    constructor() ERC20("Madabina", "MDBN") ERC20Permit("Madabina") {}

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

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

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

    function mint(address to, uint256 amount) public onlyOwner {
        _mint(to, amount);
    }

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

    // The following functions are overrides required by Solidity.

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

    function _mint(address to, uint256 amount)
        internal
        override(ERC20, ERC20Votes)
    {
        super._mint(to, amount);
    }

    function _burn(address account, uint256 amount)
        internal
        override(ERC20, ERC20Votes)
    {
        super._burn(account, amount);
    }
}

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegator","type":"address"},{"indexed":true,"internalType":"address","name":"fromDelegate","type":"address"},{"indexed":true,"internalType":"address","name":"toDelegate","type":"address"}],"name":"DelegateChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegate","type":"address"},{"indexed":false,"internalType":"uint256","name":"previousBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newBalance","type":"uint256"}],"name":"DelegateVotesChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Snapshot","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"snapshotId","type":"uint256"}],"name":"balanceOfAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint32","name":"pos","type":"uint32"}],"name":"checkpoints","outputs":[{"components":[{"internalType":"uint32","name":"fromBlock","type":"uint32"},{"internalType":"uint224","name":"votes","type":"uint224"}],"internalType":"struct ERC20Votes.Checkpoint","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"delegatee","type":"address"}],"name":"delegate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"delegatee","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"delegateBySig","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"flashFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"contract IERC3156FlashBorrower","name":"receiver","type":"address"},{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"flashLoan","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastTotalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"}],"name":"maxFlashLoan","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":[{"internalType":"address","name":"owner","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"numCheckpoints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"snapshot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"snapshotId","type":"uint256"}],"name":"totalSupplyAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6101606040527f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9610140908152503480156200003a57600080fd5b506040518060400160405280600881526020017f4d61646162696e61000000000000000000000000000000000000000000000000815250806040518060400160405280600181526020017f31000000000000000000000000000000000000000000000000000000000000008152506040518060400160405280600881526020017f4d61646162696e610000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f4d44424e0000000000000000000000000000000000000000000000000000000081525081600390805190602001906200012c92919062000349565b5080600490805190602001906200014592919062000349565b505050620001686200015c6200023f60201b60201c565b6200024760201b60201c565b6000600960146101000a81548160ff02191690831515021790555060008280519060200120905060008280519060200120905060007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f90508260e081815250508161010081815250504660a08181525050620001ec8184846200030d60201b60201c565b608081815250503073ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff1660601b8152505080610120818152505050505050505062000536565b600033905090565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600083838346306040516020016200032a9594939291906200042c565b6040516020818303038152906040528051906020012090509392505050565b8280546200035790620004d1565b90600052602060002090601f0160209004810192826200037b5760008555620003c7565b82601f106200039657805160ff1916838001178555620003c7565b82800160010185558215620003c7579182015b82811115620003c6578251825591602001919060010190620003a9565b5b509050620003d69190620003da565b5090565b5b80821115620003f5576000816000905550600101620003db565b5090565b620004048162000489565b82525050565b62000415816200049d565b82525050565b6200042681620004c7565b82525050565b600060a0820190506200044360008301886200040a565b6200045260208301876200040a565b6200046160408301866200040a565b6200047060608301856200041b565b6200047f6080830184620003f9565b9695505050505050565b60006200049682620004a7565b9050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60006002820490506001821680620004ea57607f821691505b6020821081141562000501576200050062000507565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60805160a05160c05160601c60e0516101005161012051610140516155db62000594600039600061169d01526000611fc90152600061200b01526000611fea01526000611f1f01526000611f7501526000611f9e01526155db6000f3fe608060405234801561001057600080fd5b50600436106102275760003560e01c806370a0823111610130578063981b24d0116100b8578063d505accf1161007c578063d505accf146106b2578063d9d98ce4146106ce578063dd62ed3e146106fe578063f1127ed81461072e578063f2fde38b1461075e57610227565b8063981b24d0146105d65780639ab24eb014610606578063a457c2d714610636578063a9059cbb14610666578063c3cda5201461069657610227565b80638456cb59116100ff5780638456cb59146105565780638da5cb5b146105605780638e539e8c1461057e57806395d89b41146105ae5780639711715a146105cc57610227565b806370a08231146104d0578063715018a61461050057806379cc67901461050a5780637ecebe001461052657610227565b806340c10f19116101b35780635c19a95c116101825780635c19a95c146104065780635c975abb146104225780635cffe9de14610440578063613255ab146104705780636fcfff45146104a057610227565b806340c10f191461036e57806342966c681461038a5780634ee2cd7e146103a6578063587cde1e146103d657610227565b8063313ce567116101fa578063313ce567146102c85780633644e515146102e657806339509351146103045780633a46b1a8146103345780633f4ba83a1461036457610227565b806306fdde031461022c578063095ea7b31461024a57806318160ddd1461027a57806323b872dd14610298575b600080fd5b61023461077a565b60405161024191906145b7565b60405180910390f35b610264600480360381019061025f9190613c1b565b61080c565b6040516102719190614443565b60405180910390f35b61028261082a565b60405161028f91906149f4565b60405180910390f35b6102b260048036038101906102ad9190613b2e565b610834565b6040516102bf9190614443565b60405180910390f35b6102d061092c565b6040516102dd9190614a53565b60405180910390f35b6102ee610935565b6040516102fb919061445e565b60405180910390f35b61031e60048036038101906103199190613c1b565b610944565b60405161032b9190614443565b60405180910390f35b61034e60048036038101906103499190613c1b565b6109f0565b60405161035b91906149f4565b60405180910390f35b61036c610a84565b005b61038860048036038101906103839190613c1b565b610b0a565b005b6103a4600480360381019061039f9190613dc5565b610b94565b005b6103c060048036038101906103bb9190613c1b565b610ba8565b6040516103cd91906149f4565b60405180910390f35b6103f060048036038101906103eb9190613ac9565b610c18565b6040516103fd91906143cc565b60405180910390f35b610420600480360381019061041b9190613ac9565b610c81565b005b61042a610c95565b6040516104379190614443565b60405180910390f35b61045a60048036038101906104559190613d45565b610cac565b6040516104679190614443565b60405180910390f35b61048a60048036038101906104859190613ac9565b610e5c565b60405161049791906149f4565b60405180910390f35b6104ba60048036038101906104b59190613ac9565b610ed3565b6040516104c79190614a38565b60405180910390f35b6104ea60048036038101906104e59190613ac9565b610f27565b6040516104f791906149f4565b60405180910390f35b610508610f6f565b005b610524600480360381019061051f9190613c1b565b610ff7565b005b610540600480360381019061053b9190613ac9565b611072565b60405161054d91906149f4565b60405180910390f35b61055e6110c2565b005b610568611148565b60405161057591906143cc565b60405180910390f35b61059860048036038101906105939190613dc5565b611172565b6040516105a591906149f4565b60405180910390f35b6105b66111c8565b6040516105c391906145b7565b60405180910390f35b6105d461125a565b005b6105f060048036038101906105eb9190613dc5565b6112e1565b6040516105fd91906149f4565b60405180910390f35b610620600480360381019061061b9190613ac9565b611312565b60405161062d91906149f4565b60405180910390f35b610650600480360381019061064b9190613c1b565b611449565b60405161065d9190614443565b60405180910390f35b610680600480360381019061067b9190613c1b565b611534565b60405161068d9190614443565b60405180910390f35b6106b060048036038101906106ab9190613c57565b611552565b005b6106cc60048036038101906106c79190613b7d565b611656565b005b6106e860048036038101906106e39190613c1b565b611798565b6040516106f591906149f4565b60405180910390f35b61071860048036038101906107139190613af2565b611812565b60405161072591906149f4565b60405180910390f35b61074860048036038101906107439190613ce0565b611899565b60405161075591906149d9565b60405180910390f35b61077860048036038101906107739190613ac9565b6119cf565b005b60606003805461078990614c4c565b80601f01602080910402602001604051908101604052809291908181526020018280546107b590614c4c565b80156108025780601f106107d757610100808354040283529160200191610802565b820191906000526020600020905b8154815290600101906020018083116107e557829003601f168201915b5050505050905090565b6000610820610819611ac7565b8484611acf565b6001905092915050565b6000600254905090565b6000610841848484611c9a565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061088c611ac7565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561090c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161090390614839565b60405180910390fd5b61092085610918611ac7565b858403611acf565b60019150509392505050565b60006012905090565b600061093f611f1b565b905090565b60006109e6610951611ac7565b84846001600061095f611ac7565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546109e19190614aa6565b611acf565b6001905092915050565b6000438210610a34576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2b90614639565b60405180910390fd5b610a7c600c60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083612035565b905092915050565b610a8c611ac7565b73ffffffffffffffffffffffffffffffffffffffff16610aaa611148565b73ffffffffffffffffffffffffffffffffffffffff1614610b00576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610af790614879565b60405180910390fd5b610b0861218d565b565b610b12611ac7565b73ffffffffffffffffffffffffffffffffffffffff16610b30611148565b73ffffffffffffffffffffffffffffffffffffffff1614610b86576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b7d90614879565b60405180910390fd5b610b90828261222f565b5050565b610ba5610b9f611ac7565b8261223d565b50565b6000806000610bf584600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061224b565b9150915081610c0c57610c0785610f27565b610c0e565b805b9250505092915050565b6000600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b610c92610c8c611ac7565b82612367565b50565b6000600960149054906101000a900460ff16905090565b600080610cb98686611798565b9050610cc5878661222f565b7f439148f0bbc682ca079e46d6e2c2f0c1e3b820f1a291b069d8882abf8cf18dd98773ffffffffffffffffffffffffffffffffffffffff166323e30c8b338989868a8a6040518763ffffffff1660e01b8152600401610d29969594939291906143e7565b602060405180830381600087803b158015610d4357600080fd5b505af1158015610d57573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d7b9190613d1c565b14610dbb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610db290614799565b60405180910390fd5b6000610dc78830611812565b90508186610dd59190614aa6565b811015610e17576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e0e90614979565b60405180910390fd5b610e388830848985610e299190614b2d565b610e339190614b2d565b611acf565b610e4d888388610e489190614aa6565b61223d565b60019250505095945050505050565b60003073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614610e98576000610ecc565b610ea061082a565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff610ecb9190614b2d565b5b9050919050565b6000610f20600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050612481565b9050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610f77611ac7565b73ffffffffffffffffffffffffffffffffffffffff16610f95611148565b73ffffffffffffffffffffffffffffffffffffffff1614610feb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fe290614879565b60405180910390fd5b610ff560006124d4565b565b600061100a83611005611ac7565b611812565b90508181101561104f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611046906148b9565b60405180910390fd5b6110638361105b611ac7565b848403611acf565b61106d838361223d565b505050565b60006110bb600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061259a565b9050919050565b6110ca611ac7565b73ffffffffffffffffffffffffffffffffffffffff166110e8611148565b73ffffffffffffffffffffffffffffffffffffffff161461113e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161113590614879565b60405180910390fd5b6111466125a8565b565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60004382106111b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111ad90614639565b60405180910390fd5b6111c1600d83612035565b9050919050565b6060600480546111d790614c4c565b80601f016020809104026020016040519081016040528092919081815260200182805461120390614c4c565b80156112505780601f1061122557610100808354040283529160200191611250565b820191906000526020600020905b81548152906001019060200180831161123357829003601f168201915b5050505050905090565b611262611ac7565b73ffffffffffffffffffffffffffffffffffffffff16611280611148565b73ffffffffffffffffffffffffffffffffffffffff16146112d6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112cd90614879565b60405180910390fd5b6112de61264b565b50565b60008060006112f184600661224b565b91509150816113075761130261082a565b611309565b805b92505050919050565b600080600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905090506000811461142057600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001826113ae9190614b2d565b815481106113e5577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611423565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16915050919050565b60008060016000611458611ac7565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015611515576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161150c90614999565b60405180910390fd5b611529611520611ac7565b85858403611acf565b600191505092915050565b6000611548611541611ac7565b8484611c9a565b6001905092915050565b83421115611595576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161158c90614679565b60405180910390fd5b60006115f76115ef7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf8989896040516020016115d494939291906144da565b604051602081830303815290604052805190602001206126a1565b8585856126bb565b9050611602816126e6565b8614611643576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161163a906146d9565b60405180910390fd5b61164d8188612367565b50505050505050565b83421115611699576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169090614739565b60405180910390fd5b60007f00000000000000000000000000000000000000000000000000000000000000008888886116c88c6126e6565b896040516020016116de96959493929190614479565b6040516020818303038152906040528051906020012090506000611701826126a1565b90506000611711828787876126bb565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611781576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161177890614819565b60405180910390fd5b61178c8a8a8a611acf565b50505050505050505050565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611808576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117ff906147d9565b60405180910390fd5b6000905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6118a16139ae565b600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208263ffffffff168154811061191e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020016040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050905092915050565b6119d7611ac7565b73ffffffffffffffffffffffffffffffffffffffff166119f5611148565b73ffffffffffffffffffffffffffffffffffffffff1614611a4b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a4290614879565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611abb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ab2906146f9565b60405180910390fd5b611ac4816124d4565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611b3f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b3690614939565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611baf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ba690614719565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611c8d91906149f4565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611d0a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d01906148f9565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611d7a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d7190614619565b60405180910390fd5b611d85838383612744565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611e0b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e0290614759565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611e9e9190614aa6565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611f0291906149f4565b60405180910390a3611f1584848461279c565b50505050565b60007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015611f9757507f000000000000000000000000000000000000000000000000000000000000000046145b15611fc4577f00000000000000000000000000000000000000000000000000000000000000009050612032565b61202f7f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006127ac565b90505b90565b6000808380549050905060005b818110156120da57600061205682846127e6565b905084868281548110612092577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff1611156120c4578092506120d4565b6001816120d19190614aa6565b91505b50612042565b6000821461216257846001836120f09190614b2d565b81548110612127577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16612165565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169250505092915050565b612195610c95565b6121d4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016121cb90614659565b60405180910390fd5b6000600960146101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa612218611ac7565b60405161222591906143cc565b60405180910390a1565b612239828261280c565b5050565b6122478282612899565b5050565b60008060008411612291576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161228890614959565b60405180910390fd5b6122996128b7565b8411156122db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122d2906145f9565b60405180910390fd5b60006122f385856000016128c890919063ffffffff16565b90508360000180549050811415612311576000809250925050612360565b600184600101828154811061234f577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020015492509250505b9250929050565b600061237283610c18565b9050600061237f84610f27565b905082600b60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a461247b8284836129ee565b50505050565b600063ffffffff80168211156124cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016124c390614919565b60405180910390fd5b819050919050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081600001549050919050565b6125b0610c95565b156125f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016125e7906147b9565b60405180910390fd5b6001600960146101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258612634611ac7565b60405161264191906143cc565b60405180910390a1565b60006126576008612be7565b60006126616128b7565b90507f8030e83b04d87bef53480e26263266d6ca66863aa8506aca6f2559d18aa1cb678160405161269291906149f4565b60405180910390a18091505090565b60006126b46126ae611f1b565b83612bfd565b9050919050565b60008060006126cc87878787612c30565b915091506126d981612d3d565b8192505050949350505050565b600080600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090506127338161259a565b915061273e81612be7565b50919050565b61274c610c95565b1561278c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612783906147b9565b60405180910390fd5b61279783838361308e565b505050565b6127a7838383613148565b505050565b600083838346306040516020016127c795949392919061451f565b6040516020818303038152906040528051906020012090509392505050565b600060028284186127f79190614afc565b8284166128049190614aa6565b905092915050565b6128168282613173565b61281e6132d3565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661284461082a565b1115612885576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161287c90614859565b60405180910390fd5b612893600d6132f78361330d565b50505050565b6128a382826135f7565b6128b1600d6137ce8361330d565b50505050565b60006128c3600861259a565b905090565b600080838054905014156128df57600090506129e8565b600080848054905090505b808210156129695760006128fe83836127e6565b90508486828154811061293a577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200154111561295357809150612963565b6001816129609190614aa6565b92505b506128ea565b6000821180156129c7575083856001846129839190614b2d565b815481106129ba577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200154145b156129e2576001826129d99190614b2d565b925050506129e8565b81925050505b92915050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015612a2a5750600081115b15612be257600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614612b0857600080612ab1600c60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206137ce8561330d565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051612afd929190614a0f565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614612be157600080612b8a600c60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206132f78561330d565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051612bd6929190614a0f565b60405180910390a250505b5b505050565b6001816000016000828254019250508190555050565b60008282604051602001612c12929190614395565b60405160208183030381529060405280519060200120905092915050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08360001c1115612c6b576000600391509150612d34565b601b8560ff1614158015612c835750601c8560ff1614155b15612c95576000600491509150612d34565b600060018787878760405160008152602001604052604051612cba9493929190614572565b6020604051602081039080840390855afa158015612cdc573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612d2b57600060019250925050612d34565b80600092509250505b94509492505050565b60006004811115612d77577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b816004811115612db0577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b1415612dbb5761308b565b60016004811115612df5577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b816004811115612e2e577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b1415612e6f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612e66906145d9565b60405180910390fd5b60026004811115612ea9577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b816004811115612ee2577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b1415612f23576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612f1a906146b9565b60405180910390fd5b60036004811115612f5d577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b816004811115612f96577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b1415612fd7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612fce90614779565b60405180910390fd5b600480811115613010577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b816004811115613049577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b141561308a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613081906147f9565b60405180910390fd5b5b50565b6130998383836137e4565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156130e4576130d7826137e9565b6130df61383c565b613143565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561312f57613122836137e9565b61312a61383c565b613142565b613138836137e9565b613141826137e9565b5b5b505050565b613153838383613850565b61316e61315f84610c18565b61316884610c18565b836129ee565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156131e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016131da906149b9565b60405180910390fd5b6131ef60008383612744565b80600260008282546132019190614aa6565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546132569190614aa6565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516132bb91906149f4565b60405180910390a36132cf6000838361279c565b5050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b600081836133059190614aa6565b905092915050565b600080600085805490509050600081146133a1578560018261332f9190614b2d565b81548110613366577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166133a4565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1692506133d283858763ffffffff16565b915060008111801561344b575043866001836133ee9190614b2d565b81548110613425577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff16145b156134fe5761345982613855565b866001836134679190614b2d565b8154811061349e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055506135ee565b85604051806040016040528061351343612481565b63ffffffff16815260200161352785613855565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b50935093915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415613667576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161365e906148d9565b60405180910390fd5b61367382600083612744565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156136f9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016136f090614699565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282546137509190614b2d565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516137b591906149f4565b60405180910390a36137c98360008461279c565b505050565b600081836137dc9190614b2d565b905092915050565b505050565b613839600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061383483610f27565b6138c0565b50565b61384e600661384961082a565b6138c0565b565b505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156138b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016138af90614899565b60405180910390fd5b819050919050565b60006138ca6128b7565b9050806138d98460000161393b565b10156139365782600001819080600181540180825580915050600190039060005260206000200160009091909190915055826001018290806001815401808255809150506001900390600052602060002001600090919091909150555b505050565b6000808280549050141561395257600090506139a9565b81600183805490506139649190614b2d565b8154811061399b577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020015490505b919050565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b6000813590506139fb8161551b565b92915050565b600081359050613a1081615532565b92915050565b600081519050613a2581615532565b92915050565b60008083601f840112613a3d57600080fd5b8235905067ffffffffffffffff811115613a5657600080fd5b602083019150836001820283011115613a6e57600080fd5b9250929050565b600081359050613a8481615549565b92915050565b600081359050613a9981615560565b92915050565b600081359050613aae81615577565b92915050565b600081359050613ac38161558e565b92915050565b600060208284031215613adb57600080fd5b6000613ae9848285016139ec565b91505092915050565b60008060408385031215613b0557600080fd5b6000613b13858286016139ec565b9250506020613b24858286016139ec565b9150509250929050565b600080600060608486031215613b4357600080fd5b6000613b51868287016139ec565b9350506020613b62868287016139ec565b9250506040613b7386828701613a8a565b9150509250925092565b600080600080600080600060e0888a031215613b9857600080fd5b6000613ba68a828b016139ec565b9750506020613bb78a828b016139ec565b9650506040613bc88a828b01613a8a565b9550506060613bd98a828b01613a8a565b9450506080613bea8a828b01613ab4565b93505060a0613bfb8a828b01613a01565b92505060c0613c0c8a828b01613a01565b91505092959891949750929550565b60008060408385031215613c2e57600080fd5b6000613c3c858286016139ec565b9250506020613c4d85828601613a8a565b9150509250929050565b60008060008060008060c08789031215613c7057600080fd5b6000613c7e89828a016139ec565b9650506020613c8f89828a01613a8a565b9550506040613ca089828a01613a8a565b9450506060613cb189828a01613ab4565b9350506080613cc289828a01613a01565b92505060a0613cd389828a01613a01565b9150509295509295509295565b60008060408385031215613cf357600080fd5b6000613d01858286016139ec565b9250506020613d1285828601613a9f565b9150509250929050565b600060208284031215613d2e57600080fd5b6000613d3c84828501613a16565b91505092915050565b600080600080600060808688031215613d5d57600080fd5b6000613d6b88828901613a75565b9550506020613d7c888289016139ec565b9450506040613d8d88828901613a8a565b935050606086013567ffffffffffffffff811115613daa57600080fd5b613db688828901613a2b565b92509250509295509295909350565b600060208284031215613dd757600080fd5b6000613de584828501613a8a565b91505092915050565b613df781614b61565b82525050565b613e0681614b73565b82525050565b613e1581614b7f565b82525050565b613e2c613e2782614b7f565b614c7e565b82525050565b6000613e3e8385614a79565b9350613e4b838584614c0a565b613e5483614d15565b840190509392505050565b6000613e6a82614a6e565b613e748185614a8a565b9350613e84818560208601614c19565b613e8d81614d15565b840191505092915050565b6000613ea5601883614a8a565b9150613eb082614d26565b602082019050919050565b6000613ec8601d83614a8a565b9150613ed382614d4f565b602082019050919050565b6000613eeb602383614a8a565b9150613ef682614d78565b604082019050919050565b6000613f0e601f83614a8a565b9150613f1982614dc7565b602082019050919050565b6000613f31601483614a8a565b9150613f3c82614df0565b602082019050919050565b6000613f54601d83614a8a565b9150613f5f82614e19565b602082019050919050565b6000613f77602283614a8a565b9150613f8282614e42565b604082019050919050565b6000613f9a601f83614a8a565b9150613fa582614e91565b602082019050919050565b6000613fbd601983614a8a565b9150613fc882614eba565b602082019050919050565b6000613fe0602683614a8a565b9150613feb82614ee3565b604082019050919050565b6000614003602283614a8a565b915061400e82614f32565b604082019050919050565b6000614026600283614a9b565b915061403182614f81565b600282019050919050565b6000614049601d83614a8a565b915061405482614faa565b602082019050919050565b600061406c602683614a8a565b915061407782614fd3565b604082019050919050565b600061408f602283614a8a565b915061409a82615022565b604082019050919050565b60006140b2602483614a8a565b91506140bd82615071565b604082019050919050565b60006140d5601083614a8a565b91506140e0826150c0565b602082019050919050565b60006140f8601b83614a8a565b9150614103826150e9565b602082019050919050565b600061411b602283614a8a565b915061412682615112565b604082019050919050565b600061413e601e83614a8a565b915061414982615161565b602082019050919050565b6000614161602883614a8a565b915061416c8261518a565b604082019050919050565b6000614184603083614a8a565b915061418f826151d9565b604082019050919050565b60006141a7602083614a8a565b91506141b282615228565b602082019050919050565b60006141ca602783614a8a565b91506141d582615251565b604082019050919050565b60006141ed602483614a8a565b91506141f8826152a0565b604082019050919050565b6000614210602183614a8a565b915061421b826152ef565b604082019050919050565b6000614233602583614a8a565b915061423e8261533e565b604082019050919050565b6000614256602683614a8a565b91506142618261538d565b604082019050919050565b6000614279602483614a8a565b9150614284826153dc565b604082019050919050565b600061429c601683614a8a565b91506142a78261542b565b602082019050919050565b60006142bf602f83614a8a565b91506142ca82615454565b604082019050919050565b60006142e2602583614a8a565b91506142ed826154a3565b604082019050919050565b6000614305601f83614a8a565b9150614310826154f2565b602082019050919050565b6040820160008201516143316000850182614368565b506020820151614344602085018261434a565b50505050565b61435381614bbb565b82525050565b61436281614be3565b82525050565b61437181614bed565b82525050565b61438081614bed565b82525050565b61438f81614bfd565b82525050565b60006143a082614019565b91506143ac8285613e1b565b6020820191506143bc8284613e1b565b6020820191508190509392505050565b60006020820190506143e16000830184613dee565b92915050565b600060a0820190506143fc6000830189613dee565b6144096020830188613dee565b6144166040830187614359565b6144236060830186614359565b8181036080830152614436818486613e32565b9050979650505050505050565b60006020820190506144586000830184613dfd565b92915050565b60006020820190506144736000830184613e0c565b92915050565b600060c08201905061448e6000830189613e0c565b61449b6020830188613dee565b6144a86040830187613dee565b6144b56060830186614359565b6144c26080830185614359565b6144cf60a0830184614359565b979650505050505050565b60006080820190506144ef6000830187613e0c565b6144fc6020830186613dee565b6145096040830185614359565b6145166060830184614359565b95945050505050565b600060a0820190506145346000830188613e0c565b6145416020830187613e0c565b61454e6040830186613e0c565b61455b6060830185614359565b6145686080830184613dee565b9695505050505050565b60006080820190506145876000830187613e0c565b6145946020830186614386565b6145a16040830185613e0c565b6145ae6060830184613e0c565b95945050505050565b600060208201905081810360008301526145d18184613e5f565b905092915050565b600060208201905081810360008301526145f281613e98565b9050919050565b6000602082019050818103600083015261461281613ebb565b9050919050565b6000602082019050818103600083015261463281613ede565b9050919050565b6000602082019050818103600083015261465281613f01565b9050919050565b6000602082019050818103600083015261467281613f24565b9050919050565b6000602082019050818103600083015261469281613f47565b9050919050565b600060208201905081810360008301526146b281613f6a565b9050919050565b600060208201905081810360008301526146d281613f8d565b9050919050565b600060208201905081810360008301526146f281613fb0565b9050919050565b6000602082019050818103600083015261471281613fd3565b9050919050565b6000602082019050818103600083015261473281613ff6565b9050919050565b600060208201905081810360008301526147528161403c565b9050919050565b600060208201905081810360008301526147728161405f565b9050919050565b6000602082019050818103600083015261479281614082565b9050919050565b600060208201905081810360008301526147b2816140a5565b9050919050565b600060208201905081810360008301526147d2816140c8565b9050919050565b600060208201905081810360008301526147f2816140eb565b9050919050565b600060208201905081810360008301526148128161410e565b9050919050565b6000602082019050818103600083015261483281614131565b9050919050565b6000602082019050818103600083015261485281614154565b9050919050565b6000602082019050818103600083015261487281614177565b9050919050565b600060208201905081810360008301526148928161419a565b9050919050565b600060208201905081810360008301526148b2816141bd565b9050919050565b600060208201905081810360008301526148d2816141e0565b9050919050565b600060208201905081810360008301526148f281614203565b9050919050565b6000602082019050818103600083015261491281614226565b9050919050565b6000602082019050818103600083015261493281614249565b9050919050565b600060208201905081810360008301526149528161426c565b9050919050565b600060208201905081810360008301526149728161428f565b9050919050565b60006020820190508181036000830152614992816142b2565b9050919050565b600060208201905081810360008301526149b2816142d5565b9050919050565b600060208201905081810360008301526149d2816142f8565b9050919050565b60006040820190506149ee600083018461431b565b92915050565b6000602082019050614a096000830184614359565b92915050565b6000604082019050614a246000830185614359565b614a316020830184614359565b9392505050565b6000602082019050614a4d6000830184614377565b92915050565b6000602082019050614a686000830184614386565b92915050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600081905092915050565b6000614ab182614be3565b9150614abc83614be3565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115614af157614af0614c88565b5b828201905092915050565b6000614b0782614be3565b9150614b1283614be3565b925082614b2257614b21614cb7565b5b828204905092915050565b6000614b3882614be3565b9150614b4383614be3565b925082821015614b5657614b55614c88565b5b828203905092915050565b6000614b6c82614b9b565b9050919050565b60008115159050919050565b6000819050919050565b6000614b9482614b61565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b82818337600083830152505050565b60005b83811015614c37578082015181840152602081019050614c1c565b83811115614c46576000848401525b50505050565b60006002820490506001821680614c6457607f821691505b60208210811415614c7857614c77614ce6565b5b50919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45434453413a20696e76616c6964207369676e61747572650000000000000000600082015250565b7f4552433230536e617073686f743a206e6f6e6578697374656e74206964000000600082015250565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e656400600082015250565b7f5061757361626c653a206e6f7420706175736564000000000000000000000000600082015250565b7f4552433230566f7465733a207369676e61747572652065787069726564000000600082015250565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b7f45434453413a20696e76616c6964207369676e6174757265206c656e67746800600082015250565b7f4552433230566f7465733a20696e76616c6964206e6f6e636500000000000000600082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b7f45524332305065726d69743a206578706972656420646561646c696e65000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f4552433230466c6173684d696e743a20696e76616c69642072657475726e207660008201527f616c756500000000000000000000000000000000000000000000000000000000602082015250565b7f5061757361626c653a2070617573656400000000000000000000000000000000600082015250565b7f4552433230466c6173684d696e743a2077726f6e6720746f6b656e0000000000600082015250565b7f45434453413a20696e76616c6964207369676e6174757265202776272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332305065726d69743a20696e76616c6964207369676e61747572650000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f7760008201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f4552433230536e617073686f743a206964206973203000000000000000000000600082015250565b7f4552433230466c6173684d696e743a20616c6c6f77616e636520646f6573206e60008201527f6f7420616c6c6f7720726566756e640000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b61552481614b61565b811461552f57600080fd5b50565b61553b81614b7f565b811461554657600080fd5b50565b61555281614b89565b811461555d57600080fd5b50565b61556981614be3565b811461557457600080fd5b50565b61558081614bed565b811461558b57600080fd5b50565b61559781614bfd565b81146155a257600080fd5b5056fea2646970667358221220d9aa9eef8b05b42c7d1bfb9fc26b51cb0cc8ad5f07e70508cd45c32adaed30df64736f6c63430008020033

81685:1329:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;45224:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;47391:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46344:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;48042:492;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46186:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;60986:115;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;48943:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;64749:251;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;82027:65;;;:::i;:::-;;82100:95;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;80824:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;76361:266;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;64149:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;67188:105;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;35746:86;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;57750:797;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;56095:170;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;63905:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46515:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;38645:103;;;:::i;:::-;;81234:368;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;60728:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;81958:61;;;:::i;:::-;;37994:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;65289:242;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;45443:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;81883:67;;;:::i;:::-;;76731:234;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;64352:195;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;49661:413;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46855:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;67375:582;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;60017:645;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;56664:297;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;47093:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;63675:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;38903:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;45224:100;45278:13;45311:5;45304:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;45224:100;:::o;47391:169::-;47474:4;47491:39;47500:12;:10;:12::i;:::-;47514:7;47523:6;47491:8;:39::i;:::-;47548:4;47541:11;;47391:169;;;;:::o;46344:108::-;46405:7;46432:12;;46425:19;;46344:108;:::o;48042:492::-;48182:4;48199:36;48209:6;48217:9;48228:6;48199:9;:36::i;:::-;48248:24;48275:11;:19;48287:6;48275:19;;;;;;;;;;;;;;;:33;48295:12;:10;:12::i;:::-;48275:33;;;;;;;;;;;;;;;;48248:60;;48347:6;48327:16;:26;;48319:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;48434:57;48443:6;48451:12;:10;:12::i;:::-;48484:6;48465:16;:25;48434:8;:57::i;:::-;48522:4;48515:11;;;48042:492;;;;;:::o;46186:93::-;46244:5;46269:2;46262:9;;46186:93;:::o;60986:115::-;61046:7;61073:20;:18;:20::i;:::-;61066:27;;60986:115;:::o;48943:215::-;49031:4;49048:80;49057:12;:10;:12::i;:::-;49071:7;49117:10;49080:11;:25;49092:12;:10;:12::i;:::-;49080:25;;;;;;;;;;;;;;;:34;49106:7;49080:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;49048:8;:80::i;:::-;49146:4;49139:11;;48943:215;;;;:::o;64749:251::-;64830:7;64872:12;64858:11;:26;64850:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;64938:54;64957:12;:21;64970:7;64957:21;;;;;;;;;;;;;;;64980:11;64938:18;:54::i;:::-;64931:61;;64749:251;;;;:::o;82027:65::-;38225:12;:10;:12::i;:::-;38214:23;;:7;:5;:7::i;:::-;:23;;;38206:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;82074:10:::1;:8;:10::i;:::-;82027:65::o:0;82100:95::-;38225:12;:10;:12::i;:::-;38214:23;;:7;:5;:7::i;:::-;:23;;;38206:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;82170:17:::1;82176:2;82180:6;82170:5;:17::i;:::-;82100:95:::0;;:::o;80824:91::-;80880:27;80886:12;:10;:12::i;:::-;80900:6;80880:5;:27::i;:::-;80824:91;:::o;76361:266::-;76448:7;76469:16;76487:13;76504:55;76513:10;76525:24;:33;76550:7;76525:33;;;;;;;;;;;;;;;76504:8;:55::i;:::-;76468:91;;;;76579:11;:40;;76601:18;76611:7;76601:9;:18::i;:::-;76579:40;;;76593:5;76579:40;76572:47;;;;76361:266;;;;:::o;64149:119::-;64214:7;64241:10;:19;64252:7;64241:19;;;;;;;;;;;;;;;;;;;;;;;;;64234:26;;64149:119;;;:::o;67188:105::-;67251:34;67261:12;:10;:12::i;:::-;67275:9;67251;:34::i;:::-;67188:105;:::o;35746:86::-;35793:4;35817:7;;;;;;;;;;;35810:14;;35746:86;:::o;57750:797::-;57929:4;57946:11;57960:23;57969:5;57976:6;57960:8;:23::i;:::-;57946:37;;57994:32;58008:8;58019:6;57994:5;:32::i;:::-;55833:45;58059:8;:20;;;58080:10;58092:5;58099:6;58107:3;58112:4;;58059:58;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:75;58037:161;;;;;;;;;;;;:::i;:::-;;;;;;;;;58209:24;58236:43;58254:8;58273:4;58236:9;:43::i;:::-;58209:70;;58327:3;58318:6;:12;;;;:::i;:::-;58298:16;:32;;58290:92;;;;;;;;;;;;:::i;:::-;;;;;;;;;58393:75;58410:8;58429:4;58464:3;58455:6;58436:16;:25;;;;:::i;:::-;:31;;;;:::i;:::-;58393:8;:75::i;:::-;58479:38;58493:8;58513:3;58504:6;:12;;;;:::i;:::-;58479:5;:38::i;:::-;58535:4;58528:11;;;;57750:797;;;;;;;:::o;56095:170::-;56162:7;56206:4;56189:22;;:5;:22;;;:68;;56256:1;56189:68;;;56234:19;:17;:19::i;:::-;56214:17;:39;;;;:::i;:::-;56189:68;56182:75;;56095:170;;;:::o;63905:151::-;63975:6;64001:47;64019:12;:21;64032:7;64019:21;;;;;;;;;;;;;;;:28;;;;64001:17;:47::i;:::-;63994:54;;63905:151;;;:::o;46515:127::-;46589:7;46616:9;:18;46626:7;46616:18;;;;;;;;;;;;;;;;46609:25;;46515:127;;;:::o;38645:103::-;38225:12;:10;:12::i;:::-;38214:23;;:7;:5;:7::i;:::-;:23;;;38206:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;38710:30:::1;38737:1;38710:18;:30::i;:::-;38645:103::o:0;81234:368::-;81311:24;81338:32;81348:7;81357:12;:10;:12::i;:::-;81338:9;:32::i;:::-;81311:59;;81409:6;81389:16;:26;;81381:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;81492:58;81501:7;81510:12;:10;:12::i;:::-;81543:6;81524:16;:25;81492:8;:58::i;:::-;81572:22;81578:7;81587:6;81572:5;:22::i;:::-;81234:368;;;:::o;60728:128::-;60797:7;60824:24;:7;:14;60832:5;60824:14;;;;;;;;;;;;;;;:22;:24::i;:::-;60817:31;;60728:128;;;:::o;81958:61::-;38225:12;:10;:12::i;:::-;38214:23;;:7;:5;:7::i;:::-;:23;;;38206:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;82003:8:::1;:6;:8::i;:::-;81958:61::o:0;37994:87::-;38040:7;38067:6;;;;;;;;;;;38060:13;;37994:87;:::o;65289:242::-;65359:7;65401:12;65387:11;:26;65379:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;65467:56;65486:23;65511:11;65467:18;:56::i;:::-;65460:63;;65289:242;;;:::o;45443:104::-;45499:13;45532:7;45525:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;45443:104;:::o;81883:67::-;38225:12;:10;:12::i;:::-;38214:23;;:7;:5;:7::i;:::-;:23;;;38206:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;81931:11:::1;:9;:11::i;:::-;;81883:67::o:0;76731:234::-;76803:7;76824:16;76842:13;76859:43;76868:10;76880:21;76859:8;:43::i;:::-;76823:79;;;;76922:11;:35;;76944:13;:11;:13::i;:::-;76922:35;;;76936:5;76922:35;76915:42;;;;76731:234;;;:::o;64352:195::-;64408:7;64428:11;64442:12;:21;64455:7;64442:21;;;;;;;;;;;;;;;:28;;;;64428:42;;64495:1;64488:3;:8;:51;;64503:12;:21;64516:7;64503:21;;;;;;;;;;;;;;;64531:1;64525:3;:7;;;;:::i;:::-;64503:30;;;;;;;;;;;;;;;;;;;;;;;:36;;;;;;;;;;;;64488:51;;;64499:1;64488:51;64481:58;;;;;64352:195;;;:::o;49661:413::-;49754:4;49771:24;49798:11;:25;49810:12;:10;:12::i;:::-;49798:25;;;;;;;;;;;;;;;:34;49824:7;49798:34;;;;;;;;;;;;;;;;49771:61;;49871:15;49851:16;:35;;49843:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;49964:67;49973:12;:10;:12::i;:::-;49987:7;50015:15;49996:16;:34;49964:8;:67::i;:::-;50062:4;50055:11;;;49661:413;;;;:::o;46855:175::-;46941:4;46958:42;46968:12;:10;:12::i;:::-;46982:9;46993:6;46958:9;:42::i;:::-;47018:4;47011:11;;46855:175;;;;:::o;67375:582::-;67593:6;67574:15;:25;;67566:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;67644:14;67661:174;67689:87;62926:71;67749:9;67760:5;67767:6;67716:58;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;67706:69;;;;;;67689:16;:87::i;:::-;67791:1;67807;67823;67661:13;:174::i;:::-;67644:191;;67863:17;67873:6;67863:9;:17::i;:::-;67854:5;:26;67846:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;67921:28;67931:6;67939:9;67921;:28::i;:::-;67375:582;;;;;;;:::o;60017:645::-;60261:8;60242:15;:27;;60234:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;60316:18;60358:16;60376:5;60383:7;60392:5;60399:16;60409:5;60399:9;:16::i;:::-;60417:8;60347:79;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;60337:90;;;;;;60316:111;;60440:12;60455:28;60472:10;60455:16;:28::i;:::-;60440:43;;60496:14;60513:28;60527:4;60533:1;60536;60539;60513:13;:28::i;:::-;60496:45;;60570:5;60560:15;;:6;:15;;;60552:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;60623:31;60632:5;60639:7;60648:5;60623:8;:31::i;:::-;60017:645;;;;;;;;;;:::o;56664:297::-;56751:7;56796:4;56779:22;;:5;:22;;;56771:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;56952:1;56945:8;;56664:297;;;;:::o;47093:151::-;47182:7;47209:11;:18;47221:5;47209:18;;;;;;;;;;;;;;;:27;47228:7;47209:27;;;;;;;;;;;;;;;;47202:34;;47093:151;;;;:::o;63675:150::-;63754:17;;:::i;:::-;63791:12;:21;63804:7;63791:21;;;;;;;;;;;;;;;63813:3;63791:26;;;;;;;;;;;;;;;;;;;;;;;;;63784:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;63675:150;;;;:::o;38903:201::-;38225:12;:10;:12::i;:::-;38214:23;;:7;:5;:7::i;:::-;:23;;;38206:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;39012:1:::1;38992:22;;:8;:22;;;;38984:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;39068:28;39087:8;39068:18;:28::i;:::-;38903:201:::0;:::o;34400:98::-;34453:7;34480:10;34473:17;;34400:98;:::o;53345:380::-;53498:1;53481:19;;:5;:19;;;;53473:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;53579:1;53560:21;;:7;:21;;;;53552:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;53663:6;53633:11;:18;53645:5;53633:18;;;;;;;;;;;;;;;:27;53652:7;53633:27;;;;;;;;;;;;;;;:36;;;;53701:7;53685:32;;53694:5;53685:32;;;53710:6;53685:32;;;;;;:::i;:::-;;;;;;;;53345:380;;;:::o;50564:733::-;50722:1;50704:20;;:6;:20;;;;50696:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;50806:1;50785:23;;:9;:23;;;;50777:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;50861:47;50882:6;50890:9;50901:6;50861:20;:47::i;:::-;50921:21;50945:9;:17;50955:6;50945:17;;;;;;;;;;;;;;;;50921:41;;50998:6;50981:13;:23;;50973:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;51119:6;51103:13;:22;51083:9;:17;51093:6;51083:17;;;;;;;;;;;;;;;:42;;;;51171:6;51147:9;:20;51157:9;51147:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;51212:9;51195:35;;51204:6;51195:35;;;51223:6;51195:35;;;;;;:::i;:::-;;;;;;;;51243:46;51263:6;51271:9;51282:6;51243:19;:46::i;:::-;50564:733;;;;:::o;25634:314::-;25687:7;25728:12;25711:29;;25719:4;25711:29;;;:66;;;;;25761:16;25744:13;:33;25711:66;25707:234;;;25801:24;25794:31;;;;25707:234;25865:64;25887:10;25899:12;25913:15;25865:21;:64::i;:::-;25858:71;;25634:314;;:::o;65620:1482::-;65719:7;66738:12;66753:5;:12;;;;66738:27;;66776:11;66802:236;66815:4;66809:3;:10;66802:236;;;66836:11;66850:23;66863:3;66868:4;66850:12;:23::i;:::-;66836:37;;66915:11;66892:5;66898:3;66892:10;;;;;;;;;;;;;;;;;;;;;;;:20;;;;;;;;;;;;:34;;;66888:139;;;66954:3;66947:10;;66888:139;;;67010:1;67004:3;:7;;;;:::i;:::-;66998:13;;66888:139;66802:236;;;;67065:1;67057:4;:9;:37;;67073:5;67086:1;67079:4;:8;;;;:::i;:::-;67073:15;;;;;;;;;;;;;;;;;;;;;;;:21;;;;;;;;;;;;67057:37;;;67069:1;67057:37;67050:44;;;;;;65620:1482;;;;:::o;36805:120::-;36349:8;:6;:8::i;:::-;36341:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;36874:5:::1;36864:7;;:15;;;;;;;;;;;;;;;;;;36895:22;36904:12;:10;:12::i;:::-;36895:22;;;;;;:::i;:::-;;;;;;;;36805:120::o:0;82703:145::-;82817:23;82829:2;82833:6;82817:11;:23::i;:::-;82703:145;;:::o;82856:155::-;82975:28;82987:7;82996:6;82975:11;:28::i;:::-;82856:155;;:::o;77812:1619::-;77901:4;77907:7;77948:1;77935:10;:14;77927:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;78009:23;:21;:23::i;:::-;77995:10;:37;;77987:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;79205:13;79221:40;79250:10;79221:9;:13;;:28;;:40;;;;:::i;:::-;79205:56;;79287:9;:13;;:20;;;;79278:5;:29;79274:150;;;79332:5;79339:1;79324:17;;;;;;;79274:150;79382:4;79388:9;:16;;79405:5;79388:23;;;;;;;;;;;;;;;;;;;;;;;;79374:38;;;;;77812:1619;;;;;;:::o;69407:388::-;69492:23;69518:20;69528:9;69518;:20::i;:::-;69492:46;;69549:24;69576:20;69586:9;69576;:20::i;:::-;69549:47;;69631:9;69607:10;:21;69618:9;69607:21;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;69702:9;69658:54;;69685:15;69658:54;;69674:9;69658:54;;;;;;;;;;;;69725:62;69742:15;69759:9;69770:16;69725;:62::i;:::-;69407:388;;;;:::o;5789:190::-;5845:6;5881:16;5872:25;;:5;:25;;5864:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;5965:5;5951:20;;5789:190;;;:::o;39264:191::-;39338:16;39357:6;;;;;;;;;;;39338:25;;39383:8;39374:6;;:17;;;;;;;;;;;;;;;;;;39438:8;39407:40;;39428:8;39407:40;;;;;;;;;;;;39264:191;;:::o;30272:114::-;30337:7;30364;:14;;;30357:21;;30272:114;;;:::o;36546:118::-;36072:8;:6;:8::i;:::-;36071:9;36063:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;36616:4:::1;36606:7;;:14;;;;;;;;;;;;;;;;;;36636:20;36643:12;:10;:12::i;:::-;36636:20;;;;;;:::i;:::-;;;;;;;;36546:118::o:0;75833:223::-;75880:7;75900:30;:18;:28;:30::i;:::-;75943:17;75963:23;:21;:23::i;:::-;75943:43;;76002:19;76011:9;76002:19;;;;;;:::i;:::-;;;;;;;;76039:9;76032:16;;;75833:223;:::o;26861:167::-;26938:7;26965:55;26987:20;:18;:20::i;:::-;27009:10;26965:21;:55::i;:::-;26958:62;;26861:167;;;:::o;20510:279::-;20638:7;20659:17;20678:18;20700:25;20711:4;20717:1;20720;20723;20700:10;:25::i;:::-;20658:67;;;;20736:18;20748:5;20736:11;:18::i;:::-;20772:9;20765:16;;;;20510:279;;;;;;:::o;61239:207::-;61299:15;61327:30;61360:7;:14;61368:5;61360:14;;;;;;;;;;;;;;;61327:47;;61395:15;:5;:13;:15::i;:::-;61385:25;;61421:17;:5;:15;:17::i;:::-;61239:207;;;;:::o;82203:221::-;36072:8;:6;:8::i;:::-;36071:9;36063:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;82372:44:::1;82399:4;82405:2;82409:6;82372:26;:44::i;:::-;82203:221:::0;;;:::o;82502:193::-;82644:43;82670:4;82676:2;82680:6;82644:25;:43::i;:::-;82502:193;;;:::o;25956:263::-;26100:7;26148:8;26158;26168:11;26181:13;26204:4;26137:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;26127:84;;;;;;26120:91;;25956:263;;;;;:::o;31580:156::-;31642:7;31727:1;31722;31718;:5;31717:11;;;;:::i;:::-;31712:1;31708;:5;31707:21;;;;:::i;:::-;31700:28;;31580:156;;;;:::o;68263:290::-;68348:28;68360:7;68369:6;68348:11;:28::i;:::-;68412:12;:10;:12::i;:::-;68395:29;;:13;:11;:13::i;:::-;:29;;68387:90;;;;;;;;;;;;:::i;:::-;;;;;;;;;68490:55;68507:23;68532:4;68538:6;68490:16;:55::i;:::-;;;68263:290;;:::o;68647:194::-;68732:28;68744:7;68753:6;68732:11;:28::i;:::-;68773:60;68790:23;68815:9;68826:6;68773:16;:60::i;:::-;;;68647:194;;:::o;76122:127::-;76186:7;76213:28;:18;:26;:28::i;:::-;76206:35;;76122:127;:::o;32796:918::-;32885:7;32925:1;32909:5;:12;;;;:17;32905:58;;;32950:1;32943:8;;;;32905:58;32975:11;33001:12;33016:5;:12;;;;33001:27;;33041:424;33054:4;33048:3;:10;33041:424;;;33075:11;33089:23;33102:3;33107:4;33089:12;:23::i;:::-;33075:37;;33346:7;33333:5;33339:3;33333:10;;;;;;;;;;;;;;;;;;;;;;;;:20;33329:125;;;33381:3;33374:10;;33329:125;;;33437:1;33431:3;:7;;;;:::i;:::-;33425:13;;33329:125;33041:424;;;;33591:1;33585:3;:7;:36;;;;;33614:7;33596:5;33608:1;33602:3;:7;;;;:::i;:::-;33596:14;;;;;;;;;;;;;;;;;;;;;;;;:25;33585:36;33581:126;;;33651:1;33645:3;:7;;;;:::i;:::-;33638:14;;;;;;33581:126;33692:3;33685:10;;;;32796:918;;;;;:::o;69803:643::-;69935:3;69928:10;;:3;:10;;;;:24;;;;;69951:1;69942:6;:10;69928:24;69924:515;;;69988:1;69973:17;;:3;:17;;;69969:224;;70012:17;70031;70052:54;70069:12;:17;70082:3;70069:17;;;;;;;;;;;;;;;70088:9;70099:6;70052:16;:54::i;:::-;70011:95;;;;70151:3;70130:47;;;70156:9;70167;70130:47;;;;;;;:::i;:::-;;;;;;;;69969:224;;;70228:1;70213:17;;:3;:17;;;70209:219;;70252:17;70271;70292:49;70309:12;:17;70322:3;70309:17;;;;;;;;;;;;;;;70328:4;70334:6;70292:16;:49::i;:::-;70251:90;;;;70386:3;70365:47;;;70391:9;70402;70365:47;;;;;;;:::i;:::-;;;;;;;;70209:219;;;69924:515;69803:643;;;:::o;30394:127::-;30501:1;30483:7;:14;;;:19;;;;;;;;;;;30394:127;:::o;22201:196::-;22294:7;22360:15;22377:10;22331:57;;;;;;;;;:::i;:::-;;;;;;;;;;;;;22321:68;;;;;;22314:75;;22201:196;;;;:::o;18739:1632::-;18870:7;18879:12;19804:66;19799:1;19791:10;;:79;19787:163;;;19903:1;19907:30;19887:51;;;;;;19787:163;19969:2;19964:1;:7;;;;:18;;;;;19980:2;19975:1;:7;;;;19964:18;19960:102;;;20015:1;20019:30;19999:51;;;;;;19960:102;20159:14;20176:24;20186:4;20192:1;20195;20198;20176:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20159:41;;20233:1;20215:20;;:6;:20;;;20211:103;;;20268:1;20272:29;20252:50;;;;;;;20211:103;20334:6;20342:20;20326:37;;;;;18739:1632;;;;;;;;:::o;13401:643::-;13479:20;13470:29;;;;;;;;;;;;;;;;:5;:29;;;;;;;;;;;;;;;;;13466:571;;;13516:7;;13466:571;13577:29;13568:38;;;;;;;;;;;;;;;;:5;:38;;;;;;;;;;;;;;;;;13564:473;;;13623:34;;;;;;;;;;:::i;:::-;;;;;;;;13564:473;13688:35;13679:44;;;;;;;;;;;;;;;;:5;:44;;;;;;;;;;;;;;;;;13675:362;;;13740:41;;;;;;;;;;:::i;:::-;;;;;;;;13675:362;13812:30;13803:39;;;;;;;;;;;;;;;;:5;:39;;;;;;;;;;;;;;;;;13799:238;;;13859:44;;;;;;;;;;:::i;:::-;;;;;;;;13799:238;13934:30;13925:39;;;;;;;;;;;;;;;;:5;:39;;;;;;;;;;;;;;;;;13921:116;;;13981:44;;;;;;;;;;:::i;:::-;;;;;;;;13921:116;13401:643;;:::o;77182:622::-;77325:44;77352:4;77358:2;77362:6;77325:26;:44::i;:::-;77402:1;77386:18;;:4;:18;;;77382:415;;;77442:26;77465:2;77442:22;:26::i;:::-;77483:28;:26;:28::i;:::-;77382:415;;;77547:1;77533:16;;:2;:16;;;77529:268;;;77587:28;77610:4;77587:22;:28::i;:::-;77630;:26;:28::i;:::-;77529:268;;;77716:28;77739:4;77716:22;:28::i;:::-;77759:26;77782:2;77759:22;:26::i;:::-;77529:268;77382:415;77182:622;;;:::o;68981:262::-;69123:43;69149:4;69155:2;69159:6;69123:25;:43::i;:::-;69179:56;69196:15;69206:4;69196:9;:15::i;:::-;69213:13;69223:2;69213:9;:13::i;:::-;69228:6;69179:16;:56::i;:::-;68981:262;;;:::o;51584:399::-;51687:1;51668:21;;:7;:21;;;;51660:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;51738:49;51767:1;51771:7;51780:6;51738:20;:49::i;:::-;51816:6;51800:12;;:22;;;;;;;:::i;:::-;;;;;;;;51855:6;51833:9;:18;51843:7;51833:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;51898:7;51877:37;;51894:1;51877:37;;;51907:6;51877:37;;;;;;:::i;:::-;;;;;;;;51927:48;51955:1;51959:7;51968:6;51927:19;:48::i;:::-;51584:399;;:::o;68064:105::-;68117:7;68144:17;68137:24;;68064:105;:::o;71107:98::-;71165:7;71196:1;71192;:5;;;;:::i;:::-;71185:12;;71107:98;;;;:::o;70454:645::-;70628:17;70647;70677:11;70691:5;:12;;;;70677:26;;70733:1;70726:3;:8;:35;;70741:5;70753:1;70747:3;:7;;;;:::i;:::-;70741:14;;;;;;;;;;;;;;;;;;;;;;;:20;;;;;;;;;;;;70726:35;;;70737:1;70726:35;70714:47;;;;70784:20;70787:9;70798:5;70784:2;:20;;:::i;:::-;70772:32;;70827:1;70821:3;:7;:51;;;;;70860:12;70832:5;70844:1;70838:3;:7;;;;:::i;:::-;70832:14;;;;;;;;;;;;;;;;;;;;;;;:24;;;;;;;;;;;;:40;;;70821:51;70817:275;;;70912:29;70931:9;70912:18;:29::i;:::-;70889:5;70901:1;70895:3;:7;;;;:::i;:::-;70889:14;;;;;;;;;;;;;;;;;;;;;;;:20;;;:52;;;;;;;;;;;;;;;;;;70817:275;;;70974:5;70985:94;;;;;;;;71008:31;71026:12;71008:17;:31::i;:::-;70985:94;;;;;;71048:29;71067:9;71048:18;:29::i;:::-;70985:94;;;;;70974:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;70817:275;70454:645;;;;;;;:::o;52316:591::-;52419:1;52400:21;;:7;:21;;;;52392:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;52472:49;52493:7;52510:1;52514:6;52472:20;:49::i;:::-;52534:22;52559:9;:18;52569:7;52559:18;;;;;;;;;;;;;;;;52534:43;;52614:6;52596:14;:24;;52588:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;52733:6;52716:14;:23;52695:9;:18;52705:7;52695:18;;;;;;;;;;;;;;;:44;;;;52777:6;52761:12;;:22;;;;;;;:::i;:::-;;;;;;;;52827:1;52801:37;;52810:7;52801:37;;;52831:6;52801:37;;;;;;:::i;:::-;;;;;;;;52851:48;52871:7;52888:1;52892:6;52851:19;:48::i;:::-;52316:591;;;:::o;71213:103::-;71276:7;71307:1;71303;:5;;;;:::i;:::-;71296:12;;71213:103;;;;:::o;54325:125::-;;;;:::o;79439:146::-;79507:70;79523:24;:33;79548:7;79523:33;;;;;;;;;;;;;;;79558:18;79568:7;79558:9;:18::i;:::-;79507:15;:70::i;:::-;79439:146;:::o;79593:118::-;79650:53;79666:21;79689:13;:11;:13::i;:::-;79650:15;:53::i;:::-;79593:118::o;55054:124::-;;;;:::o;3819:195::-;3876:7;3913:17;3904:26;;:5;:26;;3896:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;4000:5;3985:21;;3819:195;;;:::o;79719:310::-;79814:17;79834:23;:21;:23::i;:::-;79814:43;;79905:9;79872:30;79888:9;:13;;79872:15;:30::i;:::-;:42;79868:154;;;79931:9;:13;;79950:9;79931:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;79975:9;:16;;79997:12;79975:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;79868:154;79719:310;;;:::o;80037:212::-;80107:7;80145:1;80131:3;:10;;;;:15;80127:115;;;80170:1;80163:8;;;;80127:115;80211:3;80228:1;80215:3;:10;;;;:14;;;;:::i;:::-;80211:19;;;;;;;;;;;;;;;;;;;;;;;;80204:26;;80037:212;;;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;:::o;7:139:1:-;;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:143::-;;385:6;379:13;370:22;;401:33;428:5;401:33;:::i;:::-;360:80;;;;:::o;459:351::-;;;576:3;569:4;561:6;557:17;553:27;543:2;;594:1;591;584:12;543:2;630:6;617:20;607:30;;660:18;652:6;649:30;646:2;;;692:1;689;682:12;646:2;729:4;721:6;717:17;705:29;;783:3;775:4;767:6;763:17;753:8;749:32;746:41;743:2;;;800:1;797;790:12;743:2;533:277;;;;;:::o;816:195::-;;928:6;915:20;906:29;;944:61;999:5;944:61;:::i;:::-;896:115;;;;:::o;1017:139::-;;1101:6;1088:20;1079:29;;1117:33;1144:5;1117:33;:::i;:::-;1069:87;;;;:::o;1162:137::-;;1245:6;1232:20;1223:29;;1261:32;1287:5;1261:32;:::i;:::-;1213:86;;;;:::o;1305:135::-;;1387:6;1374:20;1365:29;;1403:31;1428:5;1403:31;:::i;:::-;1355:85;;;;:::o;1446:262::-;;1554:2;1542:9;1533:7;1529:23;1525:32;1522:2;;;1570:1;1567;1560:12;1522:2;1613:1;1638:53;1683:7;1674:6;1663:9;1659:22;1638:53;:::i;:::-;1628:63;;1584:117;1512:196;;;;:::o;1714:407::-;;;1839:2;1827:9;1818:7;1814:23;1810:32;1807:2;;;1855:1;1852;1845:12;1807:2;1898:1;1923:53;1968:7;1959:6;1948:9;1944:22;1923:53;:::i;:::-;1913:63;;1869:117;2025:2;2051:53;2096:7;2087:6;2076:9;2072:22;2051:53;:::i;:::-;2041:63;;1996:118;1797:324;;;;;:::o;2127:552::-;;;;2269:2;2257:9;2248:7;2244:23;2240:32;2237:2;;;2285:1;2282;2275:12;2237:2;2328:1;2353:53;2398:7;2389:6;2378:9;2374:22;2353:53;:::i;:::-;2343:63;;2299:117;2455:2;2481:53;2526:7;2517:6;2506:9;2502:22;2481:53;:::i;:::-;2471:63;;2426:118;2583:2;2609:53;2654:7;2645:6;2634:9;2630:22;2609:53;:::i;:::-;2599:63;;2554:118;2227:452;;;;;:::o;2685:1132::-;;;;;;;;2893:3;2881:9;2872:7;2868:23;2864:33;2861:2;;;2910:1;2907;2900:12;2861:2;2953:1;2978:53;3023:7;3014:6;3003:9;2999:22;2978:53;:::i;:::-;2968:63;;2924:117;3080:2;3106:53;3151:7;3142:6;3131:9;3127:22;3106:53;:::i;:::-;3096:63;;3051:118;3208:2;3234:53;3279:7;3270:6;3259:9;3255:22;3234:53;:::i;:::-;3224:63;;3179:118;3336:2;3362:53;3407:7;3398:6;3387:9;3383:22;3362:53;:::i;:::-;3352:63;;3307:118;3464:3;3491:51;3534:7;3525:6;3514:9;3510:22;3491:51;:::i;:::-;3481:61;;3435:117;3591:3;3618:53;3663:7;3654:6;3643:9;3639:22;3618:53;:::i;:::-;3608:63;;3562:119;3720:3;3747:53;3792:7;3783:6;3772:9;3768:22;3747:53;:::i;:::-;3737:63;;3691:119;2851:966;;;;;;;;;;:::o;3823:407::-;;;3948:2;3936:9;3927:7;3923:23;3919:32;3916:2;;;3964:1;3961;3954:12;3916:2;4007:1;4032:53;4077:7;4068:6;4057:9;4053:22;4032:53;:::i;:::-;4022:63;;3978:117;4134:2;4160:53;4205:7;4196:6;4185:9;4181:22;4160:53;:::i;:::-;4150:63;;4105:118;3906:324;;;;;:::o;4236:986::-;;;;;;;4427:3;4415:9;4406:7;4402:23;4398:33;4395:2;;;4444:1;4441;4434:12;4395:2;4487:1;4512:53;4557:7;4548:6;4537:9;4533:22;4512:53;:::i;:::-;4502:63;;4458:117;4614:2;4640:53;4685:7;4676:6;4665:9;4661:22;4640:53;:::i;:::-;4630:63;;4585:118;4742:2;4768:53;4813:7;4804:6;4793:9;4789:22;4768:53;:::i;:::-;4758:63;;4713:118;4870:2;4896:51;4939:7;4930:6;4919:9;4915:22;4896:51;:::i;:::-;4886:61;;4841:116;4996:3;5023:53;5068:7;5059:6;5048:9;5044:22;5023:53;:::i;:::-;5013:63;;4967:119;5125:3;5152:53;5197:7;5188:6;5177:9;5173:22;5152:53;:::i;:::-;5142:63;;5096:119;4385:837;;;;;;;;:::o;5228:405::-;;;5352:2;5340:9;5331:7;5327:23;5323:32;5320:2;;;5368:1;5365;5358:12;5320:2;5411:1;5436:53;5481:7;5472:6;5461:9;5457:22;5436:53;:::i;:::-;5426:63;;5382:117;5538:2;5564:52;5608:7;5599:6;5588:9;5584:22;5564:52;:::i;:::-;5554:62;;5509:117;5310:323;;;;;:::o;5639:284::-;;5758:2;5746:9;5737:7;5733:23;5729:32;5726:2;;;5774:1;5771;5764:12;5726:2;5817:1;5842:64;5898:7;5889:6;5878:9;5874:22;5842:64;:::i;:::-;5832:74;;5788:128;5716:207;;;;:::o;5929:885::-;;;;;;6135:3;6123:9;6114:7;6110:23;6106:33;6103:2;;;6152:1;6149;6142:12;6103:2;6195:1;6220:81;6293:7;6284:6;6273:9;6269:22;6220:81;:::i;:::-;6210:91;;6166:145;6350:2;6376:53;6421:7;6412:6;6401:9;6397:22;6376:53;:::i;:::-;6366:63;;6321:118;6478:2;6504:53;6549:7;6540:6;6529:9;6525:22;6504:53;:::i;:::-;6494:63;;6449:118;6634:2;6623:9;6619:18;6606:32;6665:18;6657:6;6654:30;6651:2;;;6697:1;6694;6687:12;6651:2;6733:64;6789:7;6780:6;6769:9;6765:22;6733:64;:::i;:::-;6715:82;;;;6577:230;6093:721;;;;;;;;:::o;6820:262::-;;6928:2;6916:9;6907:7;6903:23;6899:32;6896:2;;;6944:1;6941;6934:12;6896:2;6987:1;7012:53;7057:7;7048:6;7037:9;7033:22;7012:53;:::i;:::-;7002:63;;6958:117;6886:196;;;;:::o;7088:118::-;7175:24;7193:5;7175:24;:::i;:::-;7170:3;7163:37;7153:53;;:::o;7212:109::-;7293:21;7308:5;7293:21;:::i;:::-;7288:3;7281:34;7271:50;;:::o;7327:118::-;7414:24;7432:5;7414:24;:::i;:::-;7409:3;7402:37;7392:53;;:::o;7451:157::-;7556:45;7576:24;7594:5;7576:24;:::i;:::-;7556:45;:::i;:::-;7551:3;7544:58;7534:74;;:::o;7636:301::-;;7753:70;7816:6;7811:3;7753:70;:::i;:::-;7746:77;;7833:43;7869:6;7864:3;7857:5;7833:43;:::i;:::-;7901:29;7923:6;7901:29;:::i;:::-;7896:3;7892:39;7885:46;;7736:201;;;;;:::o;7943:364::-;;8059:39;8092:5;8059:39;:::i;:::-;8114:71;8178:6;8173:3;8114:71;:::i;:::-;8107:78;;8194:52;8239:6;8234:3;8227:4;8220:5;8216:16;8194:52;:::i;:::-;8271:29;8293:6;8271:29;:::i;:::-;8266:3;8262:39;8255:46;;8035:272;;;;;:::o;8313:366::-;;8476:67;8540:2;8535:3;8476:67;:::i;:::-;8469:74;;8552:93;8641:3;8552:93;:::i;:::-;8670:2;8665:3;8661:12;8654:19;;8459:220;;;:::o;8685:366::-;;8848:67;8912:2;8907:3;8848:67;:::i;:::-;8841:74;;8924:93;9013:3;8924:93;:::i;:::-;9042:2;9037:3;9033:12;9026:19;;8831:220;;;:::o;9057:366::-;;9220:67;9284:2;9279:3;9220:67;:::i;:::-;9213:74;;9296:93;9385:3;9296:93;:::i;:::-;9414:2;9409:3;9405:12;9398:19;;9203:220;;;:::o;9429:366::-;;9592:67;9656:2;9651:3;9592:67;:::i;:::-;9585:74;;9668:93;9757:3;9668:93;:::i;:::-;9786:2;9781:3;9777:12;9770:19;;9575:220;;;:::o;9801:366::-;;9964:67;10028:2;10023:3;9964:67;:::i;:::-;9957:74;;10040:93;10129:3;10040:93;:::i;:::-;10158:2;10153:3;10149:12;10142:19;;9947:220;;;:::o;10173:366::-;;10336:67;10400:2;10395:3;10336:67;:::i;:::-;10329:74;;10412:93;10501:3;10412:93;:::i;:::-;10530:2;10525:3;10521:12;10514:19;;10319:220;;;:::o;10545:366::-;;10708:67;10772:2;10767:3;10708:67;:::i;:::-;10701:74;;10784:93;10873:3;10784:93;:::i;:::-;10902:2;10897:3;10893:12;10886:19;;10691:220;;;:::o;10917:366::-;;11080:67;11144:2;11139:3;11080:67;:::i;:::-;11073:74;;11156:93;11245:3;11156:93;:::i;:::-;11274:2;11269:3;11265:12;11258:19;;11063:220;;;:::o;11289:366::-;;11452:67;11516:2;11511:3;11452:67;:::i;:::-;11445:74;;11528:93;11617:3;11528:93;:::i;:::-;11646:2;11641:3;11637:12;11630:19;;11435:220;;;:::o;11661:366::-;;11824:67;11888:2;11883:3;11824:67;:::i;:::-;11817:74;;11900:93;11989:3;11900:93;:::i;:::-;12018:2;12013:3;12009:12;12002:19;;11807:220;;;:::o;12033:366::-;;12196:67;12260:2;12255:3;12196:67;:::i;:::-;12189:74;;12272:93;12361:3;12272:93;:::i;:::-;12390:2;12385:3;12381:12;12374:19;;12179:220;;;:::o;12405:400::-;;12586:84;12668:1;12663:3;12586:84;:::i;:::-;12579:91;;12679:93;12768:3;12679:93;:::i;:::-;12797:1;12792:3;12788:11;12781:18;;12569:236;;;:::o;12811:366::-;;12974:67;13038:2;13033:3;12974:67;:::i;:::-;12967:74;;13050:93;13139:3;13050:93;:::i;:::-;13168:2;13163:3;13159:12;13152:19;;12957:220;;;:::o;13183:366::-;;13346:67;13410:2;13405:3;13346:67;:::i;:::-;13339:74;;13422:93;13511:3;13422:93;:::i;:::-;13540:2;13535:3;13531:12;13524:19;;13329:220;;;:::o;13555:366::-;;13718:67;13782:2;13777:3;13718:67;:::i;:::-;13711:74;;13794:93;13883:3;13794:93;:::i;:::-;13912:2;13907:3;13903:12;13896:19;;13701:220;;;:::o;13927:366::-;;14090:67;14154:2;14149:3;14090:67;:::i;:::-;14083:74;;14166:93;14255:3;14166:93;:::i;:::-;14284:2;14279:3;14275:12;14268:19;;14073:220;;;:::o;14299:366::-;;14462:67;14526:2;14521:3;14462:67;:::i;:::-;14455:74;;14538:93;14627:3;14538:93;:::i;:::-;14656:2;14651:3;14647:12;14640:19;;14445:220;;;:::o;14671:366::-;;14834:67;14898:2;14893:3;14834:67;:::i;:::-;14827:74;;14910:93;14999:3;14910:93;:::i;:::-;15028:2;15023:3;15019:12;15012:19;;14817:220;;;:::o;15043:366::-;;15206:67;15270:2;15265:3;15206:67;:::i;:::-;15199:74;;15282:93;15371:3;15282:93;:::i;:::-;15400:2;15395:3;15391:12;15384:19;;15189:220;;;:::o;15415:366::-;;15578:67;15642:2;15637:3;15578:67;:::i;:::-;15571:74;;15654:93;15743:3;15654:93;:::i;:::-;15772:2;15767:3;15763:12;15756:19;;15561:220;;;:::o;15787:366::-;;15950:67;16014:2;16009:3;15950:67;:::i;:::-;15943:74;;16026:93;16115:3;16026:93;:::i;:::-;16144:2;16139:3;16135:12;16128:19;;15933:220;;;:::o;16159:366::-;;16322:67;16386:2;16381:3;16322:67;:::i;:::-;16315:74;;16398:93;16487:3;16398:93;:::i;:::-;16516:2;16511:3;16507:12;16500:19;;16305:220;;;:::o;16531:366::-;;16694:67;16758:2;16753:3;16694:67;:::i;:::-;16687:74;;16770:93;16859:3;16770:93;:::i;:::-;16888:2;16883:3;16879:12;16872:19;;16677:220;;;:::o;16903:366::-;;17066:67;17130:2;17125:3;17066:67;:::i;:::-;17059:74;;17142:93;17231:3;17142:93;:::i;:::-;17260:2;17255:3;17251:12;17244:19;;17049:220;;;:::o;17275:366::-;;17438:67;17502:2;17497:3;17438:67;:::i;:::-;17431:74;;17514:93;17603:3;17514:93;:::i;:::-;17632:2;17627:3;17623:12;17616:19;;17421:220;;;:::o;17647:366::-;;17810:67;17874:2;17869:3;17810:67;:::i;:::-;17803:74;;17886:93;17975:3;17886:93;:::i;:::-;18004:2;17999:3;17995:12;17988:19;;17793:220;;;:::o;18019:366::-;;18182:67;18246:2;18241:3;18182:67;:::i;:::-;18175:74;;18258:93;18347:3;18258:93;:::i;:::-;18376:2;18371:3;18367:12;18360:19;;18165:220;;;:::o;18391:366::-;;18554:67;18618:2;18613:3;18554:67;:::i;:::-;18547:74;;18630:93;18719:3;18630:93;:::i;:::-;18748:2;18743:3;18739:12;18732:19;;18537:220;;;:::o;18763:366::-;;18926:67;18990:2;18985:3;18926:67;:::i;:::-;18919:74;;19002:93;19091:3;19002:93;:::i;:::-;19120:2;19115:3;19111:12;19104:19;;18909:220;;;:::o;19135:366::-;;19298:67;19362:2;19357:3;19298:67;:::i;:::-;19291:74;;19374:93;19463:3;19374:93;:::i;:::-;19492:2;19487:3;19483:12;19476:19;;19281:220;;;:::o;19507:366::-;;19670:67;19734:2;19729:3;19670:67;:::i;:::-;19663:74;;19746:93;19835:3;19746:93;:::i;:::-;19864:2;19859:3;19855:12;19848:19;;19653:220;;;:::o;19879:366::-;;20042:67;20106:2;20101:3;20042:67;:::i;:::-;20035:74;;20118:93;20207:3;20118:93;:::i;:::-;20236:2;20231:3;20227:12;20220:19;;20025:220;;;:::o;20251:366::-;;20414:67;20478:2;20473:3;20414:67;:::i;:::-;20407:74;;20490:93;20579:3;20490:93;:::i;:::-;20608:2;20603:3;20599:12;20592:19;;20397:220;;;:::o;20691:517::-;20844:4;20839:3;20835:14;20936:4;20929:5;20925:16;20919:23;20955:61;21010:4;21005:3;21001:14;20987:12;20955:61;:::i;:::-;20859:167;21109:4;21102:5;21098:16;21092:23;21128:63;21185:4;21180:3;21176:14;21162:12;21128:63;:::i;:::-;21036:165;20813:395;;;:::o;21214:108::-;21291:24;21309:5;21291:24;:::i;:::-;21286:3;21279:37;21269:53;;:::o;21328:118::-;21415:24;21433:5;21415:24;:::i;:::-;21410:3;21403:37;21393:53;;:::o;21452:105::-;21527:23;21544:5;21527:23;:::i;:::-;21522:3;21515:36;21505:52;;:::o;21563:115::-;21648:23;21665:5;21648:23;:::i;:::-;21643:3;21636:36;21626:52;;:::o;21684:112::-;21767:22;21783:5;21767:22;:::i;:::-;21762:3;21755:35;21745:51;;:::o;21802:663::-;;22065:148;22209:3;22065:148;:::i;:::-;22058:155;;22223:75;22294:3;22285:6;22223:75;:::i;:::-;22323:2;22318:3;22314:12;22307:19;;22336:75;22407:3;22398:6;22336:75;:::i;:::-;22436:2;22431:3;22427:12;22420:19;;22456:3;22449:10;;22047:418;;;;;:::o;22471:222::-;;22602:2;22591:9;22587:18;22579:26;;22615:71;22683:1;22672:9;22668:17;22659:6;22615:71;:::i;:::-;22569:124;;;;:::o;22699:771::-;;22970:3;22959:9;22955:19;22947:27;;22984:71;23052:1;23041:9;23037:17;23028:6;22984:71;:::i;:::-;23065:72;23133:2;23122:9;23118:18;23109:6;23065:72;:::i;:::-;23147;23215:2;23204:9;23200:18;23191:6;23147:72;:::i;:::-;23229;23297:2;23286:9;23282:18;23273:6;23229:72;:::i;:::-;23349:9;23343:4;23339:20;23333:3;23322:9;23318:19;23311:49;23377:86;23458:4;23449:6;23441;23377:86;:::i;:::-;23369:94;;22937:533;;;;;;;;;:::o;23476:210::-;;23601:2;23590:9;23586:18;23578:26;;23614:65;23676:1;23665:9;23661:17;23652:6;23614:65;:::i;:::-;23568:118;;;;:::o;23692:222::-;;23823:2;23812:9;23808:18;23800:26;;23836:71;23904:1;23893:9;23889:17;23880:6;23836:71;:::i;:::-;23790:124;;;;:::o;23920:775::-;;24191:3;24180:9;24176:19;24168:27;;24205:71;24273:1;24262:9;24258:17;24249:6;24205:71;:::i;:::-;24286:72;24354:2;24343:9;24339:18;24330:6;24286:72;:::i;:::-;24368;24436:2;24425:9;24421:18;24412:6;24368:72;:::i;:::-;24450;24518:2;24507:9;24503:18;24494:6;24450:72;:::i;:::-;24532:73;24600:3;24589:9;24585:19;24576:6;24532:73;:::i;:::-;24615;24683:3;24672:9;24668:19;24659:6;24615:73;:::i;:::-;24158:537;;;;;;;;;:::o;24701:553::-;;24916:3;24905:9;24901:19;24893:27;;24930:71;24998:1;24987:9;24983:17;24974:6;24930:71;:::i;:::-;25011:72;25079:2;25068:9;25064:18;25055:6;25011:72;:::i;:::-;25093;25161:2;25150:9;25146:18;25137:6;25093:72;:::i;:::-;25175;25243:2;25232:9;25228:18;25219:6;25175:72;:::i;:::-;24883:371;;;;;;;:::o;25260:664::-;;25503:3;25492:9;25488:19;25480:27;;25517:71;25585:1;25574:9;25570:17;25561:6;25517:71;:::i;:::-;25598:72;25666:2;25655:9;25651:18;25642:6;25598:72;:::i;:::-;25680;25748:2;25737:9;25733:18;25724:6;25680:72;:::i;:::-;25762;25830:2;25819:9;25815:18;25806:6;25762:72;:::i;:::-;25844:73;25912:3;25901:9;25897:19;25888:6;25844:73;:::i;:::-;25470:454;;;;;;;;:::o;25930:545::-;;26141:3;26130:9;26126:19;26118:27;;26155:71;26223:1;26212:9;26208:17;26199:6;26155:71;:::i;:::-;26236:68;26300:2;26289:9;26285:18;26276:6;26236:68;:::i;:::-;26314:72;26382:2;26371:9;26367:18;26358:6;26314:72;:::i;:::-;26396;26464:2;26453:9;26449:18;26440:6;26396:72;:::i;:::-;26108:367;;;;;;;:::o;26481:313::-;;26632:2;26621:9;26617:18;26609:26;;26681:9;26675:4;26671:20;26667:1;26656:9;26652:17;26645:47;26709:78;26782:4;26773:6;26709:78;:::i;:::-;26701:86;;26599:195;;;;:::o;26800:419::-;;27004:2;26993:9;26989:18;26981:26;;27053:9;27047:4;27043:20;27039:1;27028:9;27024:17;27017:47;27081:131;27207:4;27081:131;:::i;:::-;27073:139;;26971:248;;;:::o;27225:419::-;;27429:2;27418:9;27414:18;27406:26;;27478:9;27472:4;27468:20;27464:1;27453:9;27449:17;27442:47;27506:131;27632:4;27506:131;:::i;:::-;27498:139;;27396:248;;;:::o;27650:419::-;;27854:2;27843:9;27839:18;27831:26;;27903:9;27897:4;27893:20;27889:1;27878:9;27874:17;27867:47;27931:131;28057:4;27931:131;:::i;:::-;27923:139;;27821:248;;;:::o;28075:419::-;;28279:2;28268:9;28264:18;28256:26;;28328:9;28322:4;28318:20;28314:1;28303:9;28299:17;28292:47;28356:131;28482:4;28356:131;:::i;:::-;28348:139;;28246:248;;;:::o;28500:419::-;;28704:2;28693:9;28689:18;28681:26;;28753:9;28747:4;28743:20;28739:1;28728:9;28724:17;28717:47;28781:131;28907:4;28781:131;:::i;:::-;28773:139;;28671:248;;;:::o;28925:419::-;;29129:2;29118:9;29114:18;29106:26;;29178:9;29172:4;29168:20;29164:1;29153:9;29149:17;29142:47;29206:131;29332:4;29206:131;:::i;:::-;29198:139;;29096:248;;;:::o;29350:419::-;;29554:2;29543:9;29539:18;29531:26;;29603:9;29597:4;29593:20;29589:1;29578:9;29574:17;29567:47;29631:131;29757:4;29631:131;:::i;:::-;29623:139;;29521:248;;;:::o;29775:419::-;;29979:2;29968:9;29964:18;29956:26;;30028:9;30022:4;30018:20;30014:1;30003:9;29999:17;29992:47;30056:131;30182:4;30056:131;:::i;:::-;30048:139;;29946:248;;;:::o;30200:419::-;;30404:2;30393:9;30389:18;30381:26;;30453:9;30447:4;30443:20;30439:1;30428:9;30424:17;30417:47;30481:131;30607:4;30481:131;:::i;:::-;30473:139;;30371:248;;;:::o;30625:419::-;;30829:2;30818:9;30814:18;30806:26;;30878:9;30872:4;30868:20;30864:1;30853:9;30849:17;30842:47;30906:131;31032:4;30906:131;:::i;:::-;30898:139;;30796:248;;;:::o;31050:419::-;;31254:2;31243:9;31239:18;31231:26;;31303:9;31297:4;31293:20;31289:1;31278:9;31274:17;31267:47;31331:131;31457:4;31331:131;:::i;:::-;31323:139;;31221:248;;;:::o;31475:419::-;;31679:2;31668:9;31664:18;31656:26;;31728:9;31722:4;31718:20;31714:1;31703:9;31699:17;31692:47;31756:131;31882:4;31756:131;:::i;:::-;31748:139;;31646:248;;;:::o;31900:419::-;;32104:2;32093:9;32089:18;32081:26;;32153:9;32147:4;32143:20;32139:1;32128:9;32124:17;32117:47;32181:131;32307:4;32181:131;:::i;:::-;32173:139;;32071:248;;;:::o;32325:419::-;;32529:2;32518:9;32514:18;32506:26;;32578:9;32572:4;32568:20;32564:1;32553:9;32549:17;32542:47;32606:131;32732:4;32606:131;:::i;:::-;32598:139;;32496:248;;;:::o;32750:419::-;;32954:2;32943:9;32939:18;32931:26;;33003:9;32997:4;32993:20;32989:1;32978:9;32974:17;32967:47;33031:131;33157:4;33031:131;:::i;:::-;33023:139;;32921:248;;;:::o;33175:419::-;;33379:2;33368:9;33364:18;33356:26;;33428:9;33422:4;33418:20;33414:1;33403:9;33399:17;33392:47;33456:131;33582:4;33456:131;:::i;:::-;33448:139;;33346:248;;;:::o;33600:419::-;;33804:2;33793:9;33789:18;33781:26;;33853:9;33847:4;33843:20;33839:1;33828:9;33824:17;33817:47;33881:131;34007:4;33881:131;:::i;:::-;33873:139;;33771:248;;;:::o;34025:419::-;;34229:2;34218:9;34214:18;34206:26;;34278:9;34272:4;34268:20;34264:1;34253:9;34249:17;34242:47;34306:131;34432:4;34306:131;:::i;:::-;34298:139;;34196:248;;;:::o;34450:419::-;;34654:2;34643:9;34639:18;34631:26;;34703:9;34697:4;34693:20;34689:1;34678:9;34674:17;34667:47;34731:131;34857:4;34731:131;:::i;:::-;34723:139;;34621:248;;;:::o;34875:419::-;;35079:2;35068:9;35064:18;35056:26;;35128:9;35122:4;35118:20;35114:1;35103:9;35099:17;35092:47;35156:131;35282:4;35156:131;:::i;:::-;35148:139;;35046:248;;;:::o;35300:419::-;;35504:2;35493:9;35489:18;35481:26;;35553:9;35547:4;35543:20;35539:1;35528:9;35524:17;35517:47;35581:131;35707:4;35581:131;:::i;:::-;35573:139;;35471:248;;;:::o;35725:419::-;;35929:2;35918:9;35914:18;35906:26;;35978:9;35972:4;35968:20;35964:1;35953:9;35949:17;35942:47;36006:131;36132:4;36006:131;:::i;:::-;35998:139;;35896:248;;;:::o;36150:419::-;;36354:2;36343:9;36339:18;36331:26;;36403:9;36397:4;36393:20;36389:1;36378:9;36374:17;36367:47;36431:131;36557:4;36431:131;:::i;:::-;36423:139;;36321:248;;;:::o;36575:419::-;;36779:2;36768:9;36764:18;36756:26;;36828:9;36822:4;36818:20;36814:1;36803:9;36799:17;36792:47;36856:131;36982:4;36856:131;:::i;:::-;36848:139;;36746:248;;;:::o;37000:419::-;;37204:2;37193:9;37189:18;37181:26;;37253:9;37247:4;37243:20;37239:1;37228:9;37224:17;37217:47;37281:131;37407:4;37281:131;:::i;:::-;37273:139;;37171:248;;;:::o;37425:419::-;;37629:2;37618:9;37614:18;37606:26;;37678:9;37672:4;37668:20;37664:1;37653:9;37649:17;37642:47;37706:131;37832:4;37706:131;:::i;:::-;37698:139;;37596:248;;;:::o;37850:419::-;;38054:2;38043:9;38039:18;38031:26;;38103:9;38097:4;38093:20;38089:1;38078:9;38074:17;38067:47;38131:131;38257:4;38131:131;:::i;:::-;38123:139;;38021:248;;;:::o;38275:419::-;;38479:2;38468:9;38464:18;38456:26;;38528:9;38522:4;38518:20;38514:1;38503:9;38499:17;38492:47;38556:131;38682:4;38556:131;:::i;:::-;38548:139;;38446:248;;;:::o;38700:419::-;;38904:2;38893:9;38889:18;38881:26;;38953:9;38947:4;38943:20;38939:1;38928:9;38924:17;38917:47;38981:131;39107:4;38981:131;:::i;:::-;38973:139;;38871:248;;;:::o;39125:419::-;;39329:2;39318:9;39314:18;39306:26;;39378:9;39372:4;39368:20;39364:1;39353:9;39349:17;39342:47;39406:131;39532:4;39406:131;:::i;:::-;39398:139;;39296:248;;;:::o;39550:419::-;;39754:2;39743:9;39739:18;39731:26;;39803:9;39797:4;39793:20;39789:1;39778:9;39774:17;39767:47;39831:131;39957:4;39831:131;:::i;:::-;39823:139;;39721:248;;;:::o;39975:419::-;;40179:2;40168:9;40164:18;40156:26;;40228:9;40222:4;40218:20;40214:1;40203:9;40199:17;40192:47;40256:131;40382:4;40256:131;:::i;:::-;40248:139;;40146:248;;;:::o;40400:334::-;;40587:2;40576:9;40572:18;40564:26;;40600:127;40724:1;40713:9;40709:17;40700:6;40600:127;:::i;:::-;40554:180;;;;:::o;40740:222::-;;40871:2;40860:9;40856:18;40848:26;;40884:71;40952:1;40941:9;40937:17;40928:6;40884:71;:::i;:::-;40838:124;;;;:::o;40968:332::-;;41127:2;41116:9;41112:18;41104:26;;41140:71;41208:1;41197:9;41193:17;41184:6;41140:71;:::i;:::-;41221:72;41289:2;41278:9;41274:18;41265:6;41221:72;:::i;:::-;41094:206;;;;;:::o;41306:218::-;;41435:2;41424:9;41420:18;41412:26;;41448:69;41514:1;41503:9;41499:17;41490:6;41448:69;:::i;:::-;41402:122;;;;:::o;41530:214::-;;41657:2;41646:9;41642:18;41634:26;;41670:67;41734:1;41723:9;41719:17;41710:6;41670:67;:::i;:::-;41624:120;;;;:::o;41750:99::-;;41836:5;41830:12;41820:22;;41809:40;;;:::o;41855:168::-;;41972:6;41967:3;41960:19;42012:4;42007:3;42003:14;41988:29;;41950:73;;;;:::o;42029:169::-;;42147:6;42142:3;42135:19;42187:4;42182:3;42178:14;42163:29;;42125:73;;;;:::o;42204:148::-;;42343:3;42328:18;;42318:34;;;;:::o;42358:305::-;;42417:20;42435:1;42417:20;:::i;:::-;42412:25;;42451:20;42469:1;42451:20;:::i;:::-;42446:25;;42605:1;42537:66;42533:74;42530:1;42527:81;42524:2;;;42611:18;;:::i;:::-;42524:2;42655:1;42652;42648:9;42641:16;;42402:261;;;;:::o;42669:185::-;;42726:20;42744:1;42726:20;:::i;:::-;42721:25;;42760:20;42778:1;42760:20;:::i;:::-;42755:25;;42799:1;42789:2;;42804:18;;:::i;:::-;42789:2;42846:1;42843;42839:9;42834:14;;42711:143;;;;:::o;42860:191::-;;42920:20;42938:1;42920:20;:::i;:::-;42915:25;;42954:20;42972:1;42954:20;:::i;:::-;42949:25;;42993:1;42990;42987:8;42984:2;;;42998:18;;:::i;:::-;42984:2;43043:1;43040;43036:9;43028:17;;42905:146;;;;:::o;43057:96::-;;43123:24;43141:5;43123:24;:::i;:::-;43112:35;;43102:51;;;:::o;43159:90::-;;43236:5;43229:13;43222:21;43211:32;;43201:48;;;:::o;43255:77::-;;43321:5;43310:16;;43300:32;;;:::o;43338:124::-;;43432:24;43450:5;43432:24;:::i;:::-;43421:35;;43411:51;;;:::o;43468:126::-;;43545:42;43538:5;43534:54;43523:65;;43513:81;;;:::o;43600:142::-;;43677:58;43670:5;43666:70;43655:81;;43645:97;;;:::o;43748:77::-;;43814:5;43803:16;;43793:32;;;:::o;43831:93::-;;43907:10;43900:5;43896:22;43885:33;;43875:49;;;:::o;43930:86::-;;44005:4;43998:5;43994:16;43983:27;;43973:43;;;:::o;44022:154::-;44106:6;44101:3;44096;44083:30;44168:1;44159:6;44154:3;44150:16;44143:27;44073:103;;;:::o;44182:307::-;44250:1;44260:113;44274:6;44271:1;44268:13;44260:113;;;44359:1;44354:3;44350:11;44344:18;44340:1;44335:3;44331:11;44324:39;44296:2;44293:1;44289:10;44284:15;;44260:113;;;44391:6;44388:1;44385:13;44382:2;;;44471:1;44462:6;44457:3;44453:16;44446:27;44382:2;44231:258;;;;:::o;44495:320::-;;44576:1;44570:4;44566:12;44556:22;;44623:1;44617:4;44613:12;44644:18;44634:2;;44700:4;44692:6;44688:17;44678:27;;44634:2;44762;44754:6;44751:14;44731:18;44728:38;44725:2;;;44781:18;;:::i;:::-;44725:2;44546:269;;;;:::o;44821:79::-;;44889:5;44878:16;;44868:32;;;:::o;44906:180::-;44954:77;44951:1;44944:88;45051:4;45048:1;45041:15;45075:4;45072:1;45065:15;45092:180;45140:77;45137:1;45130:88;45237:4;45234:1;45227:15;45261:4;45258:1;45251:15;45278:180;45326:77;45323:1;45316:88;45423:4;45420:1;45413:15;45447:4;45444:1;45437:15;45464:102;;45556:2;45552:7;45547:2;45540:5;45536:14;45532:28;45522:38;;45512:54;;;:::o;45572:174::-;45712:26;45708:1;45700:6;45696:14;45689:50;45678:68;:::o;45752:179::-;45892:31;45888:1;45880:6;45876:14;45869:55;45858:73;:::o;45937:222::-;46077:34;46073:1;46065:6;46061:14;46054:58;46146:5;46141:2;46133:6;46129:15;46122:30;46043:116;:::o;46165:181::-;46305:33;46301:1;46293:6;46289:14;46282:57;46271:75;:::o;46352:170::-;46492:22;46488:1;46480:6;46476:14;46469:46;46458:64;:::o;46528:179::-;46668:31;46664:1;46656:6;46652:14;46645:55;46634:73;:::o;46713:221::-;46853:34;46849:1;46841:6;46837:14;46830:58;46922:4;46917:2;46909:6;46905:15;46898:29;46819:115;:::o;46940:181::-;47080:33;47076:1;47068:6;47064:14;47057:57;47046:75;:::o;47127:175::-;47267:27;47263:1;47255:6;47251:14;47244:51;47233:69;:::o;47308:225::-;47448:34;47444:1;47436:6;47432:14;47425:58;47517:8;47512:2;47504:6;47500:15;47493:33;47414:119;:::o;47539:221::-;47679:34;47675:1;47667:6;47663:14;47656:58;47748:4;47743:2;47735:6;47731:15;47724:29;47645:115;:::o;47766:214::-;47906:66;47902:1;47894:6;47890:14;47883:90;47872:108;:::o;47986:179::-;48126:31;48122:1;48114:6;48110:14;48103:55;48092:73;:::o;48171:225::-;48311:34;48307:1;48299:6;48295:14;48288:58;48380:8;48375:2;48367:6;48363:15;48356:33;48277:119;:::o;48402:221::-;48542:34;48538:1;48530:6;48526:14;48519:58;48611:4;48606:2;48598:6;48594:15;48587:29;48508:115;:::o;48629:223::-;48769:34;48765:1;48757:6;48753:14;48746:58;48838:6;48833:2;48825:6;48821:15;48814:31;48735:117;:::o;48858:166::-;48998:18;48994:1;48986:6;48982:14;48975:42;48964:60;:::o;49030:177::-;49170:29;49166:1;49158:6;49154:14;49147:53;49136:71;:::o;49213:221::-;49353:34;49349:1;49341:6;49337:14;49330:58;49422:4;49417:2;49409:6;49405:15;49398:29;49319:115;:::o;49440:180::-;49580:32;49576:1;49568:6;49564:14;49557:56;49546:74;:::o;49626:227::-;49766:34;49762:1;49754:6;49750:14;49743:58;49835:10;49830:2;49822:6;49818:15;49811:35;49732:121;:::o;49859:235::-;49999:34;49995:1;49987:6;49983:14;49976:58;50068:18;50063:2;50055:6;50051:15;50044:43;49965:129;:::o;50100:182::-;50240:34;50236:1;50228:6;50224:14;50217:58;50206:76;:::o;50288:226::-;50428:34;50424:1;50416:6;50412:14;50405:58;50497:9;50492:2;50484:6;50480:15;50473:34;50394:120;:::o;50520:223::-;50660:34;50656:1;50648:6;50644:14;50637:58;50729:6;50724:2;50716:6;50712:15;50705:31;50626:117;:::o;50749:220::-;50889:34;50885:1;50877:6;50873:14;50866:58;50958:3;50953:2;50945:6;50941:15;50934:28;50855:114;:::o;50975:224::-;51115:34;51111:1;51103:6;51099:14;51092:58;51184:7;51179:2;51171:6;51167:15;51160:32;51081:118;:::o;51205:225::-;51345:34;51341:1;51333:6;51329:14;51322:58;51414:8;51409:2;51401:6;51397:15;51390:33;51311:119;:::o;51436:223::-;51576:34;51572:1;51564:6;51560:14;51553:58;51645:6;51640:2;51632:6;51628:15;51621:31;51542:117;:::o;51665:172::-;51805:24;51801:1;51793:6;51789:14;51782:48;51771:66;:::o;51843:234::-;51983:34;51979:1;51971:6;51967:14;51960:58;52052:17;52047:2;52039:6;52035:15;52028:42;51949:128;:::o;52083:224::-;52223:34;52219:1;52211:6;52207:14;52200:58;52292:7;52287:2;52279:6;52275:15;52268:32;52189:118;:::o;52313:181::-;52453:33;52449:1;52441:6;52437:14;52430:57;52419:75;:::o;52500:122::-;52573:24;52591:5;52573:24;:::i;:::-;52566:5;52563:35;52553:2;;52612:1;52609;52602:12;52553:2;52543:79;:::o;52628:122::-;52701:24;52719:5;52701:24;:::i;:::-;52694:5;52691:35;52681:2;;52740:1;52737;52730:12;52681:2;52671:79;:::o;52756:178::-;52857:52;52903:5;52857:52;:::i;:::-;52850:5;52847:63;52837:2;;52924:1;52921;52914:12;52837:2;52827:107;:::o;52940:122::-;53013:24;53031:5;53013:24;:::i;:::-;53006:5;53003:35;52993:2;;53052:1;53049;53042:12;52993:2;52983:79;:::o;53068:120::-;53140:23;53157:5;53140:23;:::i;:::-;53133:5;53130:34;53120:2;;53178:1;53175;53168:12;53120:2;53110:78;:::o;53194:118::-;53265:22;53281:5;53265:22;:::i;:::-;53258:5;53255:33;53245:2;;53302:1;53299;53292:12;53245:2;53235:77;:::o

ipfs://d9aa9eef8b05b42c7d1bfb9fc26b51cb0cc8ad5f07e70508cd45c32adaed30df