Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData()    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _setOwner(address newOwner) interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _beforeTokenTransfer(    - function _afterTokenTransfer( interface IERC20Permit    - function permit(    - function nonces(address owner)    - function DOMAIN_SEPARATOR() library ECDSA    - function _throwError(RecoverError err ...    - function tryRecover(bytes32 hash, byt ...    - function recover(bytes32 hash, bytes ...    - function tryRecover(    - function recover(    - function tryRecover(    - function recover(    - function toEthSignedMessageHash(bytes ...    - function toTypedDataHash(bytes32 doma ...    - function _domainSeparatorV4()    - function _buildDomainSeparator(    - function _hashTypedDataV4(bytes32 str ... library Counters    - function current(Counter storage coun ...    - function increment(Counter storage co ...    - function decrement(Counter storage co ...    - function reset(Counter storage counte ...    - function permit(    - function nonces(address owner)    - function DOMAIN_SEPARATOR()    - function _useNonce(address owner) library Math    - function max(uint256 a, uint256 b)    - function min(uint256 a, uint256 b)    - function average(uint256 a, uint256 b ...    - function ceilDiv(uint256 a, uint256 b ... library SafeCast    - function toUint224(uint256 value)    - function toUint128(uint256 value)    - function toUint96(uint256 value)    - function toUint64(uint256 value)    - function toUint32(uint256 value)    - function toUint16(uint256 value)    - function toUint8(uint256 value)    - function toUint256(int256 value)    - function toInt128(int256 value)    - function toInt64(int256 value)    - function toInt32(int256 value)    - function toInt16(int256 value)    - function toInt8(int256 value)    - function toInt256(uint256 value)    - function checkpoints(address account, ...    - function numCheckpoints(address accou ...    - function delegates(address account)    - function getVotes(address account)    - function getPastVotes(address account ...    - function getPastTotalSupply(uint256 b ...    - function _checkpointsLookup(Checkpoin ...    - function delegate(address delegatee)    - function delegateBySig(    - function _maxSupply()    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _afterTokenTransfer(    - function _delegate(address delegator, ...    - function _moveVotingPower(    - function _writeCheckpoint(    - function(uint256, uint256)    - function _add(uint256 a, uint256 b)    - function _subtract(uint256 a, uint256 ...  contract OSKYToken is ERC20, ERC20 ... *    - function mint(address dest, uint256 a ...    - function _afterTokenTransfer(address ...    - function _mint(address to, uint256 am ...    - function _burn(address account, uint2 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-01-18
*/

// SPDX-License-Identifier: MIT

// File @openzeppelin/contracts/utils/[email protected]

pragma solidity ^0.8.0;

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

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


// File @openzeppelin/contracts/access/[email protected]



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() {
        _setOwner(_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 {
        _setOwner(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");
        _setOwner(newOwner);
    }

    function _setOwner(address newOwner) private {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}


// File @openzeppelin/contracts/token/ERC20/[email protected]



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/[email protected]



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/[email protected]



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/[email protected]



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/cryptography/[email protected]



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 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/[email protected]



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;

    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);
        _TYPE_HASH = typeHash;
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (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/utils/[email protected]



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/token/ERC20/extensions/[email protected]



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/utils/math/[email protected]



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/math/[email protected]



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/token/ERC20/extensions/[email protected]



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 {
        return _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");
        return _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 contracts/OSKYToken.sol


pragma solidity ^0.8.2;




/**
 * @dev OpenSky Token.
 *       - Support voting.
 *       - Support for the owner (the DAO) to mint new tokens, at up to 2% PA.
 */
contract OSKYToken is ERC20, ERC20Permit, ERC20Votes, Ownable {
    uint256 public constant minimumMintInterval = 365 days;
    uint256 public constant mintCap = 200; // 2%

    uint256 public nextMint; // Timestamp

    /**
     * @dev Constructor.
     * @param supply The number of tokens to issue to the receiver.
     * @param receiver The address to receive token.
     */
    constructor(
        uint256 supply,
        address receiver)
        ERC20("OpenSky Token", "OSKY")
        ERC20Permit("OpenSky Token")
    {
        _mint(receiver, supply);
        nextMint = block.timestamp + minimumMintInterval;
    }

    /**
     * @dev Mints new tokens. Can only be executed every `minimumMintInterval`, by the owner, and cannot
     *      exceed `mintCap / 10000` fraction of the current total supply.
     * @param dest The address to mint the new tokens to.
     * @param amount The quantity of tokens to mint.
     */
    function mint(address dest, uint256 amount) external onlyOwner {
        require(amount <= (totalSupply() * mintCap) / 10000, "OSKY: Mint exceeds maximum amount");
        require(block.timestamp >= nextMint, "OSKY: Cannot mint yet");

        nextMint = block.timestamp + minimumMintInterval;
        _mint(dest, 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);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"supply","type":"uint256"},{"internalType":"address","name":"receiver","type":"address"}],"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":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"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":"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":[],"name":"minimumMintInterval","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"dest","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"mintCap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nextMint","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"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"}]

6101406040527f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9610120908152503480156200003a57600080fd5b506040516200527538038062005275833981810160405281019062000060919062000d4d565b6040518060400160405280600d81526020017f4f70656e536b7920546f6b656e00000000000000000000000000000000000000815250806040518060400160405280600181526020017f31000000000000000000000000000000000000000000000000000000000000008152506040518060400160405280600d81526020017f4f70656e536b7920546f6b656e000000000000000000000000000000000000008152506040518060400160405280600481526020017f4f534b590000000000000000000000000000000000000000000000000000000081525081600390805190602001906200015192919062000c6f565b5080600490805190602001906200016a92919062000c6f565b50505060008280519060200120905060008280519060200120905060007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f90508260c081815250508160e081815250504660a08181525050620001d58184846200023d60201b60201c565b608081815250508061010081815250505050505050506200020b620001ff6200027960201b60201c565b6200028160201b60201c565b6200021d81836200034760201b60201c565b6301e13380426200022f919062000fa3565b600a81905550505062001295565b600083838346306040516020016200025a95949392919062000e63565b6040516020818303038152906040528051906020012090509392505050565b600033905090565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b6200035e82826200036260201b6200146f1760201c565b5050565b6200037982826200042060201b620014fc1760201c565b620003896200059960201b60201c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16620003b7620005bd60201b60201c565b1115620003fb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620003f29062000ec0565b60405180910390fd5b6200041a6008620005c760201b6200165c1783620005df60201b60201c565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000493576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200048a9062000f26565b60405180910390fd5b620004a7600083836200089060201b60201c565b8060026000828254620004bb919062000fa3565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825462000512919062000fa3565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000579919062000f48565b60405180910390a362000595600083836200089560201b60201c565b5050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b6000600254905090565b60008183620005d7919062000fa3565b905092915050565b6000806000858054905090506000811462000654578560018262000604919062001000565b8154811062000618576200061762001117565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1662000657565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1692506200068383858760201c565b9150600081118015620006dc57504386600183620006a2919062001000565b81548110620006b657620006b562001117565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff16145b156200077d57620006f882620008b260201b620016721760201c565b8660018362000708919062001000565b815481106200071c576200071b62001117565b5b9060005260206000200160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555062000887565b8560405180604001604052806200079f436200092060201b620016dd1760201c565b63ffffffff168152602001620007c085620008b260201b620016721760201c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b50935093915050565b505050565b620008ad8383836200097660201b620017301760201c565b505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff801682111562000918576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200090f9062000ee2565b60405180910390fd5b819050919050565b600063ffffffff80168211156200096e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620009659062000f04565b60405180910390fd5b819050919050565b6200098e838383620009c660201b6200175b1760201c565b620009c1620009a384620009cb60201b60201c565b620009b484620009cb60201b60201c565b8362000a3460201b60201c565b505050565b505050565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801562000a715750600081115b1562000c5257600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161462000b645760008062000b0b600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002062000c5760201b620017601785620005df60201b60201c565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405162000b5992919062000f65565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161462000c515760008062000bf8600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020620005c760201b6200165c1785620005df60201b60201c565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405162000c4692919062000f65565b60405180910390a250505b5b505050565b6000818362000c67919062001000565b905092915050565b82805462000c7d9062001083565b90600052602060002090601f01602090048101928262000ca1576000855562000ced565b82601f1062000cbc57805160ff191683800117855562000ced565b8280016001018555821562000ced579182015b8281111562000cec57825182559160200191906001019062000ccf565b5b50905062000cfc919062000d00565b5090565b5b8082111562000d1b57600081600090555060010162000d01565b5090565b60008151905062000d308162001261565b92915050565b60008151905062000d47816200127b565b92915050565b6000806040838503121562000d675762000d6662001146565b5b600062000d778582860162000d36565b925050602062000d8a8582860162000d1f565b9150509250929050565b62000d9f816200103b565b82525050565b62000db0816200104f565b82525050565b600062000dc560308362000f92565b915062000dd2826200114b565b604082019050919050565b600062000dec60278362000f92565b915062000df9826200119a565b604082019050919050565b600062000e1360268362000f92565b915062000e2082620011e9565b604082019050919050565b600062000e3a601f8362000f92565b915062000e478262001238565b602082019050919050565b62000e5d8162001079565b82525050565b600060a08201905062000e7a600083018862000da5565b62000e89602083018762000da5565b62000e98604083018662000da5565b62000ea7606083018562000e52565b62000eb6608083018462000d94565b9695505050505050565b6000602082019050818103600083015262000edb8162000db6565b9050919050565b6000602082019050818103600083015262000efd8162000ddd565b9050919050565b6000602082019050818103600083015262000f1f8162000e04565b9050919050565b6000602082019050818103600083015262000f418162000e2b565b9050919050565b600060208201905062000f5f600083018462000e52565b92915050565b600060408201905062000f7c600083018562000e52565b62000f8b602083018462000e52565b9392505050565b600082825260208201905092915050565b600062000fb08262001079565b915062000fbd8362001079565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111562000ff55762000ff4620010b9565b5b828201905092915050565b60006200100d8262001079565b91506200101a8362001079565b92508282101562001030576200102f620010b9565b5b828203905092915050565b6000620010488262001059565b9050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060028204905060018216806200109c57607f821691505b60208210811415620010b357620010b2620010e8565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600080fd5b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6200126c816200103b565b81146200127857600080fd5b50565b620012868162001079565b81146200129257600080fd5b50565b60805160a05160c05160e0516101005161012051613f90620012e560003960006110e501526000611c2101526000611c6301526000611c4201526000611bce01526000611bf60152613f906000f3fe608060405234801561001057600080fd5b50600436106101cf5760003560e01c8063715018a611610104578063a457c2d7116100a2578063d505accf11610071578063d505accf14610580578063dd62ed3e1461059c578063f1127ed8146105cc578063f2fde38b146105fc576101cf565b8063a457c2d7146104e6578063a9059cbb14610516578063c3cda52014610546578063cf66544314610562576101cf565b80638da5cb5b116100de5780638da5cb5b1461044a5780638e539e8c1461046857806395d89b41146104985780639ab24eb0146104b6576101cf565b8063715018a6146103f257806376c71ca1146103fc5780637ecebe001461041a576101cf565b80633a46b1a811610171578063587cde1e1161014b578063587cde1e146103465780635c19a95c146103765780636fcfff451461039257806370a08231146103c2576101cf565b80633a46b1a8146102dc57806340c10f191461030c578063515b612a14610328576101cf565b806323b872dd116101ad57806323b872dd14610240578063313ce567146102705780633644e5151461028e57806339509351146102ac576101cf565b806306fdde03146101d4578063095ea7b3146101f257806318160ddd14610222575b600080fd5b6101dc610618565b6040516101e991906131d8565b60405180910390f35b61020c60048036038101906102079190612a76565b6106aa565b6040516102199190613064565b60405180910390f35b61022a6106c8565b6040516102379190613515565b60405180910390f35b61025a60048036038101906102559190612981565b6106d2565b6040516102679190613064565b60405180910390f35b6102786107ca565b6040516102859190613574565b60405180910390f35b6102966107d3565b6040516102a3919061307f565b60405180910390f35b6102c660048036038101906102c19190612a76565b6107e2565b6040516102d39190613064565b60405180910390f35b6102f660048036038101906102f19190612a76565b61088e565b6040516103039190613515565b60405180910390f35b61032660048036038101906103219190612a76565b610922565b005b610330610a6a565b60405161033d9190613515565b60405180910390f35b610360600480360381019061035b9190612914565b610a72565b60405161036d9190613049565b60405180910390f35b610390600480360381019061038b9190612914565b610adb565b005b6103ac60048036038101906103a79190612914565b610aef565b6040516103b99190613559565b60405180910390f35b6103dc60048036038101906103d79190612914565b610b43565b6040516103e99190613515565b60405180910390f35b6103fa610b8b565b005b610404610c13565b6040516104119190613515565b60405180910390f35b610434600480360381019061042f9190612914565b610c18565b6040516104419190613515565b60405180910390f35b610452610c68565b60405161045f9190613049565b60405180910390f35b610482600480360381019061047d9190612b83565b610c92565b60405161048f9190613515565b60405180910390f35b6104a0610ce8565b6040516104ad91906131d8565b60405180910390f35b6104d060048036038101906104cb9190612914565b610d7a565b6040516104dd9190613515565b60405180910390f35b61050060048036038101906104fb9190612a76565b610e8b565b60405161050d9190613064565b60405180910390f35b610530600480360381019061052b9190612a76565b610f76565b60405161053d9190613064565b60405180910390f35b610560600480360381019061055b9190612ab6565b610f94565b005b61056a611098565b6040516105779190613515565b60405180910390f35b61059a600480360381019061059591906129d4565b61109e565b005b6105b660048036038101906105b19190612941565b6111e0565b6040516105c39190613515565b60405180910390f35b6105e660048036038101906105e19190612b43565b611267565b6040516105f391906134fa565b60405180910390f35b61061660048036038101906106119190612914565b611377565b005b60606003805461062790613795565b80601f016020809104026020016040519081016040528092919081815260200182805461065390613795565b80156106a05780601f10610675576101008083540402835291602001916106a0565b820191906000526020600020905b81548152906001019060200180831161068357829003601f168201915b5050505050905090565b60006106be6106b7611776565b848461177e565b6001905092915050565b6000600254905090565b60006106df848484611949565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061072a611776565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050828110156107aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a1906133da565b60405180910390fd5b6107be856107b6611776565b85840361177e565b60019150509392505050565b60006012905090565b60006107dd611bca565b905090565b60006108846107ef611776565b8484600160006107fd611776565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461087f91906135b6565b61177e565b6001905092915050565b60004382106108d2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108c99061323a565b60405180910390fd5b61091a600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083611c8d565b905092915050565b61092a611776565b73ffffffffffffffffffffffffffffffffffffffff16610948610c68565b73ffffffffffffffffffffffffffffffffffffffff161461099e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109959061341a565b60405180910390fd5b61271060c86109ab6106c8565b6109b5919061363d565b6109bf919061360c565b811115610a01576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109f8906132fa565b60405180910390fd5b600a54421015610a46576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a3d9061335a565b60405180910390fd5b6301e1338042610a5691906135b6565b600a81905550610a668282611d99565b5050565b6301e1338081565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b610aec610ae6611776565b82611da7565b50565b6000610b3c600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506116dd565b9050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610b93611776565b73ffffffffffffffffffffffffffffffffffffffff16610bb1610c68565b73ffffffffffffffffffffffffffffffffffffffff1614610c07576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bfe9061341a565b60405180910390fd5b610c116000611ec1565b565b60c881565b6000610c61600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020611f87565b9050919050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000438210610cd6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ccd9061323a565b60405180910390fd5b610ce1600883611c8d565b9050919050565b606060048054610cf790613795565b80601f0160208091040260200160405190810160405280929190818152602001828054610d2390613795565b8015610d705780601f10610d4557610100808354040283529160200191610d70565b820191906000526020600020905b815481529060010190602001808311610d5357829003601f168201915b5050505050905090565b600080600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050905060008114610e6257600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600182610e169190613697565b81548110610e2757610e2661388d565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16610e65565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16915050919050565b60008060016000610e9a611776565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610f57576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4e906134ba565b60405180910390fd5b610f6b610f62611776565b8585840361177e565b600191505092915050565b6000610f8a610f83611776565b8484611949565b6001905092915050565b83421115610fd7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fce9061325a565b60405180910390fd5b60006110396110317fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf89898960405160200161101694939291906130fb565b60405160208183030381529060405280519060200120611f95565b858585611faf565b905061104481611fda565b8614611085576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161107c9061329a565b60405180910390fd5b61108f8188611da7565b50505050505050565b600a5481565b834211156110e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110d89061331a565b60405180910390fd5b60007f00000000000000000000000000000000000000000000000000000000000000008888886111108c611fda565b896040516020016111269695949392919061309a565b604051602081830303815290604052805190602001209050600061114982611f95565b9050600061115982878787611faf565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146111c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111c0906133ba565b60405180910390fd5b6111d48a8a8a61177e565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61126f61286d565b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208263ffffffff16815481106112c6576112c561388d565b5b906000526020600020016040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050905092915050565b61137f611776565b73ffffffffffffffffffffffffffffffffffffffff1661139d610c68565b73ffffffffffffffffffffffffffffffffffffffff16146113f3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113ea9061341a565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611463576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161145a906132ba565b60405180910390fd5b61146c81611ec1565b50565b61147982826114fc565b611481612038565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166114a76106c8565b11156114e8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114df906133fa565b60405180910390fd5b6114f6600861165c8361205c565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561156c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611563906134da565b60405180910390fd5b611578600083836122d4565b806002600082825461158a91906135b6565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546115df91906135b6565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116449190613515565b60405180910390a3611658600083836122d9565b5050565b6000818361166a91906135b6565b905092915050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156116d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116cc9061343a565b60405180910390fd5b819050919050565b600063ffffffff8016821115611728576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161171f9061347a565b60405180910390fd5b819050919050565b61173b83838361175b565b61175661174784610a72565b61175084610a72565b836122e9565b505050565b505050565b6000818361176e9190613697565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156117ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117e59061349a565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561185e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611855906132da565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161193c9190613515565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156119b9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119b09061345a565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611a29576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a209061321a565b60405180910390fd5b611a348383836122d4565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611aba576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ab19061333a565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611b4d91906135b6565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611bb19190613515565b60405180910390a3611bc48484846122d9565b50505050565b60007f0000000000000000000000000000000000000000000000000000000000000000461415611c1c577f00000000000000000000000000000000000000000000000000000000000000009050611c8a565b611c877f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006124e2565b90505b90565b6000808380549050905060005b81811015611d0c576000611cae828461251c565b905084868281548110611cc457611cc361388d565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff161115611cf657809250611d06565b600181611d0391906135b6565b91505b50611c9a565b60008214611d6e5784600183611d229190613697565b81548110611d3357611d3261388d565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611d71565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169250505092915050565b611da3828261146f565b5050565b6000611db283610a72565b90506000611dbf84610b43565b905082600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a4611ebb8284836122e9565b50505050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081600001549050919050565b6000611fa8611fa2611bca565b83612542565b9050919050565b6000806000611fc087878787612575565b91509150611fcd81612682565b8192505050949350505050565b600080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905061202781611f87565b915061203281612857565b50919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b600080600085805490509050600081146120ca578560018261207e9190613697565b8154811061208f5761208e61388d565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166120cd565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1692506120fb83858763ffffffff16565b915060008111801561214e575043866001836121179190613697565b815481106121285761212761388d565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff16145b156121db5761215c82611672565b8660018361216a9190613697565b8154811061217b5761217a61388d565b5b9060005260206000200160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055506122cb565b8560405180604001604052806121f0436116dd565b63ffffffff16815260200161220485611672565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b50935093915050565b505050565b6122e4838383611730565b505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156123255750600081115b156124dd57600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614612403576000806123ac600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206117608561205c565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516123f8929190613530565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16146124dc57600080612485600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061165c8561205c565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516124d1929190613530565b60405180910390a250505b5b505050565b600083838346306040516020016124fd959493929190613140565b6040516020818303038152906040528051906020012090509392505050565b6000600282841861252d919061360c565b82841661253a91906135b6565b905092915050565b60008282604051602001612557929190613012565b60405160208183030381529060405280519060200120905092915050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08360001c11156125b0576000600391509150612679565b601b8560ff16141580156125c85750601c8560ff1614155b156125da576000600491509150612679565b6000600187878787604051600081526020016040526040516125ff9493929190613193565b6020604051602081039080840390855afa158015612621573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561267057600060019250925050612679565b80600092509250505b94509492505050565b600060048111156126965761269561382f565b5b8160048111156126a9576126a861382f565b5b14156126b457612854565b600160048111156126c8576126c761382f565b5b8160048111156126db576126da61382f565b5b141561271c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612713906131fa565b60405180910390fd5b600260048111156127305761272f61382f565b5b8160048111156127435761274261382f565b5b1415612784576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161277b9061327a565b60405180910390fd5b600360048111156127985761279761382f565b5b8160048111156127ab576127aa61382f565b5b14156127ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016127e39061337a565b60405180910390fd5b6004808111156127ff576127fe61382f565b5b8160048111156128125761281161382f565b5b1415612853576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161284a9061339a565b60405180910390fd5b5b50565b6001816000016000828254019250508190555050565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b6000813590506128ba81613ee7565b92915050565b6000813590506128cf81613efe565b92915050565b6000813590506128e481613f15565b92915050565b6000813590506128f981613f2c565b92915050565b60008135905061290e81613f43565b92915050565b60006020828403121561292a576129296138bc565b5b6000612938848285016128ab565b91505092915050565b60008060408385031215612958576129576138bc565b5b6000612966858286016128ab565b9250506020612977858286016128ab565b9150509250929050565b60008060006060848603121561299a576129996138bc565b5b60006129a8868287016128ab565b93505060206129b9868287016128ab565b92505060406129ca868287016128d5565b9150509250925092565b600080600080600080600060e0888a0312156129f3576129f26138bc565b5b6000612a018a828b016128ab565b9750506020612a128a828b016128ab565b9650506040612a238a828b016128d5565b9550506060612a348a828b016128d5565b9450506080612a458a828b016128ff565b93505060a0612a568a828b016128c0565b92505060c0612a678a828b016128c0565b91505092959891949750929550565b60008060408385031215612a8d57612a8c6138bc565b5b6000612a9b858286016128ab565b9250506020612aac858286016128d5565b9150509250929050565b60008060008060008060c08789031215612ad357612ad26138bc565b5b6000612ae189828a016128ab565b9650506020612af289828a016128d5565b9550506040612b0389828a016128d5565b9450506060612b1489828a016128ff565b9350506080612b2589828a016128c0565b92505060a0612b3689828a016128c0565b9150509295509295509295565b60008060408385031215612b5a57612b596138bc565b5b6000612b68858286016128ab565b9250506020612b79858286016128ea565b9150509250929050565b600060208284031215612b9957612b986138bc565b5b6000612ba7848285016128d5565b91505092915050565b612bb9816136cb565b82525050565b612bc8816136dd565b82525050565b612bd7816136e9565b82525050565b612bee612be9826136e9565b6137c7565b82525050565b6000612bff8261358f565b612c09818561359a565b9350612c19818560208601613762565b612c22816138c1565b840191505092915050565b6000612c3a60188361359a565b9150612c45826138d2565b602082019050919050565b6000612c5d60238361359a565b9150612c68826138fb565b604082019050919050565b6000612c80601f8361359a565b9150612c8b8261394a565b602082019050919050565b6000612ca3601d8361359a565b9150612cae82613973565b602082019050919050565b6000612cc6601f8361359a565b9150612cd18261399c565b602082019050919050565b6000612ce960198361359a565b9150612cf4826139c5565b602082019050919050565b6000612d0c60268361359a565b9150612d17826139ee565b604082019050919050565b6000612d2f60228361359a565b9150612d3a82613a3d565b604082019050919050565b6000612d5260218361359a565b9150612d5d82613a8c565b604082019050919050565b6000612d756002836135ab565b9150612d8082613adb565b600282019050919050565b6000612d98601d8361359a565b9150612da382613b04565b602082019050919050565b6000612dbb60268361359a565b9150612dc682613b2d565b604082019050919050565b6000612dde60158361359a565b9150612de982613b7c565b602082019050919050565b6000612e0160228361359a565b9150612e0c82613ba5565b604082019050919050565b6000612e2460228361359a565b9150612e2f82613bf4565b604082019050919050565b6000612e47601e8361359a565b9150612e5282613c43565b602082019050919050565b6000612e6a60288361359a565b9150612e7582613c6c565b604082019050919050565b6000612e8d60308361359a565b9150612e9882613cbb565b604082019050919050565b6000612eb060208361359a565b9150612ebb82613d0a565b602082019050919050565b6000612ed360278361359a565b9150612ede82613d33565b604082019050919050565b6000612ef660258361359a565b9150612f0182613d82565b604082019050919050565b6000612f1960268361359a565b9150612f2482613dd1565b604082019050919050565b6000612f3c60248361359a565b9150612f4782613e20565b604082019050919050565b6000612f5f60258361359a565b9150612f6a82613e6f565b604082019050919050565b6000612f82601f8361359a565b9150612f8d82613ebe565b602082019050919050565b604082016000820151612fae6000850182612fe5565b506020820151612fc16020850182612fc7565b50505050565b612fd081613713565b82525050565b612fdf8161373b565b82525050565b612fee81613745565b82525050565b612ffd81613745565b82525050565b61300c81613755565b82525050565b600061301d82612d68565b91506130298285612bdd565b6020820191506130398284612bdd565b6020820191508190509392505050565b600060208201905061305e6000830184612bb0565b92915050565b60006020820190506130796000830184612bbf565b92915050565b60006020820190506130946000830184612bce565b92915050565b600060c0820190506130af6000830189612bce565b6130bc6020830188612bb0565b6130c96040830187612bb0565b6130d66060830186612fd6565b6130e36080830185612fd6565b6130f060a0830184612fd6565b979650505050505050565b60006080820190506131106000830187612bce565b61311d6020830186612bb0565b61312a6040830185612fd6565b6131376060830184612fd6565b95945050505050565b600060a0820190506131556000830188612bce565b6131626020830187612bce565b61316f6040830186612bce565b61317c6060830185612fd6565b6131896080830184612bb0565b9695505050505050565b60006080820190506131a86000830187612bce565b6131b56020830186613003565b6131c26040830185612bce565b6131cf6060830184612bce565b95945050505050565b600060208201905081810360008301526131f28184612bf4565b905092915050565b6000602082019050818103600083015261321381612c2d565b9050919050565b6000602082019050818103600083015261323381612c50565b9050919050565b6000602082019050818103600083015261325381612c73565b9050919050565b6000602082019050818103600083015261327381612c96565b9050919050565b6000602082019050818103600083015261329381612cb9565b9050919050565b600060208201905081810360008301526132b381612cdc565b9050919050565b600060208201905081810360008301526132d381612cff565b9050919050565b600060208201905081810360008301526132f381612d22565b9050919050565b6000602082019050818103600083015261331381612d45565b9050919050565b6000602082019050818103600083015261333381612d8b565b9050919050565b6000602082019050818103600083015261335381612dae565b9050919050565b6000602082019050818103600083015261337381612dd1565b9050919050565b6000602082019050818103600083015261339381612df4565b9050919050565b600060208201905081810360008301526133b381612e17565b9050919050565b600060208201905081810360008301526133d381612e3a565b9050919050565b600060208201905081810360008301526133f381612e5d565b9050919050565b6000602082019050818103600083015261341381612e80565b9050919050565b6000602082019050818103600083015261343381612ea3565b9050919050565b6000602082019050818103600083015261345381612ec6565b9050919050565b6000602082019050818103600083015261347381612ee9565b9050919050565b6000602082019050818103600083015261349381612f0c565b9050919050565b600060208201905081810360008301526134b381612f2f565b9050919050565b600060208201905081810360008301526134d381612f52565b9050919050565b600060208201905081810360008301526134f381612f75565b9050919050565b600060408201905061350f6000830184612f98565b92915050565b600060208201905061352a6000830184612fd6565b92915050565b60006040820190506135456000830185612fd6565b6135526020830184612fd6565b9392505050565b600060208201905061356e6000830184612ff4565b92915050565b60006020820190506135896000830184613003565b92915050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b60006135c18261373b565b91506135cc8361373b565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115613601576136006137d1565b5b828201905092915050565b60006136178261373b565b91506136228361373b565b92508261363257613631613800565b5b828204905092915050565b60006136488261373b565b91506136538361373b565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561368c5761368b6137d1565b5b828202905092915050565b60006136a28261373b565b91506136ad8361373b565b9250828210156136c0576136bf6137d1565b5b828203905092915050565b60006136d6826136f3565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60005b83811015613780578082015181840152602081019050613765565b8381111561378f576000848401525b50505050565b600060028204905060018216806137ad57607f821691505b602082108114156137c1576137c061385e565b5b50919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45434453413a20696e76616c6964207369676e61747572650000000000000000600082015250565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e656400600082015250565b7f4552433230566f7465733a207369676e61747572652065787069726564000000600082015250565b7f45434453413a20696e76616c6964207369676e6174757265206c656e67746800600082015250565b7f4552433230566f7465733a20696e76616c6964206e6f6e636500000000000000600082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f4f534b593a204d696e742065786365656473206d6178696d756d20616d6f756e60008201527f7400000000000000000000000000000000000000000000000000000000000000602082015250565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b7f45524332305065726d69743a206578706972656420646561646c696e65000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4f534b593a2043616e6e6f74206d696e74207965740000000000000000000000600082015250565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f45434453413a20696e76616c6964207369676e6174757265202776272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332305065726d69743a20696e76616c6964207369676e61747572650000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b613ef0816136cb565b8114613efb57600080fd5b50565b613f07816136e9565b8114613f1257600080fd5b50565b613f1e8161373b565b8114613f2957600080fd5b50565b613f3581613745565b8114613f4057600080fd5b50565b613f4c81613755565b8114613f5757600080fd5b5056fea26469706673582212206ac62833dce56502a6626ed462515e8a71995c90471ccfa52facfd3242bcaac564736f6c6343000807003300000000000000000000000000000000000000000052b7d2dcc80cd2e40000000000000000000000000000007566ab24352c6ee1ad6dd1bf07bb63c5852ae30f

0x608060405234801561001057600080fd5b50600436106101cf5760003560e01c8063715018a611610104578063a457c2d7116100a2578063d505accf11610071578063d505accf14610580578063dd62ed3e1461059c578063f1127ed8146105cc578063f2fde38b146105fc576101cf565b8063a457c2d7146104e6578063a9059cbb14610516578063c3cda52014610546578063cf66544314610562576101cf565b80638da5cb5b116100de5780638da5cb5b1461044a5780638e539e8c1461046857806395d89b41146104985780639ab24eb0146104b6576101cf565b8063715018a6146103f257806376c71ca1146103fc5780637ecebe001461041a576101cf565b80633a46b1a811610171578063587cde1e1161014b578063587cde1e146103465780635c19a95c146103765780636fcfff451461039257806370a08231146103c2576101cf565b80633a46b1a8146102dc57806340c10f191461030c578063515b612a14610328576101cf565b806323b872dd116101ad57806323b872dd14610240578063313ce567146102705780633644e5151461028e57806339509351146102ac576101cf565b806306fdde03146101d4578063095ea7b3146101f257806318160ddd14610222575b600080fd5b6101dc610618565b6040516101e991906131d8565b60405180910390f35b61020c60048036038101906102079190612a76565b6106aa565b6040516102199190613064565b60405180910390f35b61022a6106c8565b6040516102379190613515565b60405180910390f35b61025a60048036038101906102559190612981565b6106d2565b6040516102679190613064565b60405180910390f35b6102786107ca565b6040516102859190613574565b60405180910390f35b6102966107d3565b6040516102a3919061307f565b60405180910390f35b6102c660048036038101906102c19190612a76565b6107e2565b6040516102d39190613064565b60405180910390f35b6102f660048036038101906102f19190612a76565b61088e565b6040516103039190613515565b60405180910390f35b61032660048036038101906103219190612a76565b610922565b005b610330610a6a565b60405161033d9190613515565b60405180910390f35b610360600480360381019061035b9190612914565b610a72565b60405161036d9190613049565b60405180910390f35b610390600480360381019061038b9190612914565b610adb565b005b6103ac60048036038101906103a79190612914565b610aef565b6040516103b99190613559565b60405180910390f35b6103dc60048036038101906103d79190612914565b610b43565b6040516103e99190613515565b60405180910390f35b6103fa610b8b565b005b610404610c13565b6040516104119190613515565b60405180910390f35b610434600480360381019061042f9190612914565b610c18565b6040516104419190613515565b60405180910390f35b610452610c68565b60405161045f9190613049565b60405180910390f35b610482600480360381019061047d9190612b83565b610c92565b60405161048f9190613515565b60405180910390f35b6104a0610ce8565b6040516104ad91906131d8565b60405180910390f35b6104d060048036038101906104cb9190612914565b610d7a565b6040516104dd9190613515565b60405180910390f35b61050060048036038101906104fb9190612a76565b610e8b565b60405161050d9190613064565b60405180910390f35b610530600480360381019061052b9190612a76565b610f76565b60405161053d9190613064565b60405180910390f35b610560600480360381019061055b9190612ab6565b610f94565b005b61056a611098565b6040516105779190613515565b60405180910390f35b61059a600480360381019061059591906129d4565b61109e565b005b6105b660048036038101906105b19190612941565b6111e0565b6040516105c39190613515565b60405180910390f35b6105e660048036038101906105e19190612b43565b611267565b6040516105f391906134fa565b60405180910390f35b61061660048036038101906106119190612914565b611377565b005b60606003805461062790613795565b80601f016020809104026020016040519081016040528092919081815260200182805461065390613795565b80156106a05780601f10610675576101008083540402835291602001916106a0565b820191906000526020600020905b81548152906001019060200180831161068357829003601f168201915b5050505050905090565b60006106be6106b7611776565b848461177e565b6001905092915050565b6000600254905090565b60006106df848484611949565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061072a611776565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050828110156107aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a1906133da565b60405180910390fd5b6107be856107b6611776565b85840361177e565b60019150509392505050565b60006012905090565b60006107dd611bca565b905090565b60006108846107ef611776565b8484600160006107fd611776565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461087f91906135b6565b61177e565b6001905092915050565b60004382106108d2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108c99061323a565b60405180910390fd5b61091a600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083611c8d565b905092915050565b61092a611776565b73ffffffffffffffffffffffffffffffffffffffff16610948610c68565b73ffffffffffffffffffffffffffffffffffffffff161461099e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109959061341a565b60405180910390fd5b61271060c86109ab6106c8565b6109b5919061363d565b6109bf919061360c565b811115610a01576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109f8906132fa565b60405180910390fd5b600a54421015610a46576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a3d9061335a565b60405180910390fd5b6301e1338042610a5691906135b6565b600a81905550610a668282611d99565b5050565b6301e1338081565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b610aec610ae6611776565b82611da7565b50565b6000610b3c600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506116dd565b9050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610b93611776565b73ffffffffffffffffffffffffffffffffffffffff16610bb1610c68565b73ffffffffffffffffffffffffffffffffffffffff1614610c07576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bfe9061341a565b60405180910390fd5b610c116000611ec1565b565b60c881565b6000610c61600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020611f87565b9050919050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000438210610cd6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ccd9061323a565b60405180910390fd5b610ce1600883611c8d565b9050919050565b606060048054610cf790613795565b80601f0160208091040260200160405190810160405280929190818152602001828054610d2390613795565b8015610d705780601f10610d4557610100808354040283529160200191610d70565b820191906000526020600020905b815481529060010190602001808311610d5357829003601f168201915b5050505050905090565b600080600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050905060008114610e6257600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600182610e169190613697565b81548110610e2757610e2661388d565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16610e65565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16915050919050565b60008060016000610e9a611776565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610f57576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4e906134ba565b60405180910390fd5b610f6b610f62611776565b8585840361177e565b600191505092915050565b6000610f8a610f83611776565b8484611949565b6001905092915050565b83421115610fd7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fce9061325a565b60405180910390fd5b60006110396110317fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf89898960405160200161101694939291906130fb565b60405160208183030381529060405280519060200120611f95565b858585611faf565b905061104481611fda565b8614611085576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161107c9061329a565b60405180910390fd5b61108f8188611da7565b50505050505050565b600a5481565b834211156110e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110d89061331a565b60405180910390fd5b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886111108c611fda565b896040516020016111269695949392919061309a565b604051602081830303815290604052805190602001209050600061114982611f95565b9050600061115982878787611faf565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146111c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111c0906133ba565b60405180910390fd5b6111d48a8a8a61177e565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61126f61286d565b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208263ffffffff16815481106112c6576112c561388d565b5b906000526020600020016040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050905092915050565b61137f611776565b73ffffffffffffffffffffffffffffffffffffffff1661139d610c68565b73ffffffffffffffffffffffffffffffffffffffff16146113f3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113ea9061341a565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611463576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161145a906132ba565b60405180910390fd5b61146c81611ec1565b50565b61147982826114fc565b611481612038565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166114a76106c8565b11156114e8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114df906133fa565b60405180910390fd5b6114f6600861165c8361205c565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561156c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611563906134da565b60405180910390fd5b611578600083836122d4565b806002600082825461158a91906135b6565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546115df91906135b6565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116449190613515565b60405180910390a3611658600083836122d9565b5050565b6000818361166a91906135b6565b905092915050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156116d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116cc9061343a565b60405180910390fd5b819050919050565b600063ffffffff8016821115611728576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161171f9061347a565b60405180910390fd5b819050919050565b61173b83838361175b565b61175661174784610a72565b61175084610a72565b836122e9565b505050565b505050565b6000818361176e9190613697565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156117ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117e59061349a565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561185e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611855906132da565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161193c9190613515565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156119b9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119b09061345a565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611a29576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a209061321a565b60405180910390fd5b611a348383836122d4565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611aba576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ab19061333a565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611b4d91906135b6565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611bb19190613515565b60405180910390a3611bc48484846122d9565b50505050565b60007f0000000000000000000000000000000000000000000000000000000000000001461415611c1c577fb9bb6b1bfaf3f5452e599598090431b2bfb86525317ce722a2e1f5fbc79038d59050611c8a565b611c877f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7fe4e9f12801976f7048a739ab704c45e4d400d04212d3cb75d018c59bc5f5f5007fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc66124e2565b90505b90565b6000808380549050905060005b81811015611d0c576000611cae828461251c565b905084868281548110611cc457611cc361388d565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff161115611cf657809250611d06565b600181611d0391906135b6565b91505b50611c9a565b60008214611d6e5784600183611d229190613697565b81548110611d3357611d3261388d565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611d71565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169250505092915050565b611da3828261146f565b5050565b6000611db283610a72565b90506000611dbf84610b43565b905082600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a4611ebb8284836122e9565b50505050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081600001549050919050565b6000611fa8611fa2611bca565b83612542565b9050919050565b6000806000611fc087878787612575565b91509150611fcd81612682565b8192505050949350505050565b600080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905061202781611f87565b915061203281612857565b50919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b600080600085805490509050600081146120ca578560018261207e9190613697565b8154811061208f5761208e61388d565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166120cd565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1692506120fb83858763ffffffff16565b915060008111801561214e575043866001836121179190613697565b815481106121285761212761388d565b5b9060005260206000200160000160009054906101000a900463ffffffff1663ffffffff16145b156121db5761215c82611672565b8660018361216a9190613697565b8154811061217b5761217a61388d565b5b9060005260206000200160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055506122cb565b8560405180604001604052806121f0436116dd565b63ffffffff16815260200161220485611672565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b50935093915050565b505050565b6122e4838383611730565b505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156123255750600081115b156124dd57600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614612403576000806123ac600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206117608561205c565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516123f8929190613530565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16146124dc57600080612485600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061165c8561205c565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516124d1929190613530565b60405180910390a250505b5b505050565b600083838346306040516020016124fd959493929190613140565b6040516020818303038152906040528051906020012090509392505050565b6000600282841861252d919061360c565b82841661253a91906135b6565b905092915050565b60008282604051602001612557929190613012565b60405160208183030381529060405280519060200120905092915050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08360001c11156125b0576000600391509150612679565b601b8560ff16141580156125c85750601c8560ff1614155b156125da576000600491509150612679565b6000600187878787604051600081526020016040526040516125ff9493929190613193565b6020604051602081039080840390855afa158015612621573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561267057600060019250925050612679565b80600092509250505b94509492505050565b600060048111156126965761269561382f565b5b8160048111156126a9576126a861382f565b5b14156126b457612854565b600160048111156126c8576126c761382f565b5b8160048111156126db576126da61382f565b5b141561271c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612713906131fa565b60405180910390fd5b600260048111156127305761272f61382f565b5b8160048111156127435761274261382f565b5b1415612784576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161277b9061327a565b60405180910390fd5b600360048111156127985761279761382f565b5b8160048111156127ab576127aa61382f565b5b14156127ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016127e39061337a565b60405180910390fd5b6004808111156127ff576127fe61382f565b5b8160048111156128125761281161382f565b5b1415612853576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161284a9061339a565b60405180910390fd5b5b50565b6001816000016000828254019250508190555050565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b6000813590506128ba81613ee7565b92915050565b6000813590506128cf81613efe565b92915050565b6000813590506128e481613f15565b92915050565b6000813590506128f981613f2c565b92915050565b60008135905061290e81613f43565b92915050565b60006020828403121561292a576129296138bc565b5b6000612938848285016128ab565b91505092915050565b60008060408385031215612958576129576138bc565b5b6000612966858286016128ab565b9250506020612977858286016128ab565b9150509250929050565b60008060006060848603121561299a576129996138bc565b5b60006129a8868287016128ab565b93505060206129b9868287016128ab565b92505060406129ca868287016128d5565b9150509250925092565b600080600080600080600060e0888a0312156129f3576129f26138bc565b5b6000612a018a828b016128ab565b9750506020612a128a828b016128ab565b9650506040612a238a828b016128d5565b9550506060612a348a828b016128d5565b9450506080612a458a828b016128ff565b93505060a0612a568a828b016128c0565b92505060c0612a678a828b016128c0565b91505092959891949750929550565b60008060408385031215612a8d57612a8c6138bc565b5b6000612a9b858286016128ab565b9250506020612aac858286016128d5565b9150509250929050565b60008060008060008060c08789031215612ad357612ad26138bc565b5b6000612ae189828a016128ab565b9650506020612af289828a016128d5565b9550506040612b0389828a016128d5565b9450506060612b1489828a016128ff565b9350506080612b2589828a016128c0565b92505060a0612b3689828a016128c0565b9150509295509295509295565b60008060408385031215612b5a57612b596138bc565b5b6000612b68858286016128ab565b9250506020612b79858286016128ea565b9150509250929050565b600060208284031215612b9957612b986138bc565b5b6000612ba7848285016128d5565b91505092915050565b612bb9816136cb565b82525050565b612bc8816136dd565b82525050565b612bd7816136e9565b82525050565b612bee612be9826136e9565b6137c7565b82525050565b6000612bff8261358f565b612c09818561359a565b9350612c19818560208601613762565b612c22816138c1565b840191505092915050565b6000612c3a60188361359a565b9150612c45826138d2565b602082019050919050565b6000612c5d60238361359a565b9150612c68826138fb565b604082019050919050565b6000612c80601f8361359a565b9150612c8b8261394a565b602082019050919050565b6000612ca3601d8361359a565b9150612cae82613973565b602082019050919050565b6000612cc6601f8361359a565b9150612cd18261399c565b602082019050919050565b6000612ce960198361359a565b9150612cf4826139c5565b602082019050919050565b6000612d0c60268361359a565b9150612d17826139ee565b604082019050919050565b6000612d2f60228361359a565b9150612d3a82613a3d565b604082019050919050565b6000612d5260218361359a565b9150612d5d82613a8c565b604082019050919050565b6000612d756002836135ab565b9150612d8082613adb565b600282019050919050565b6000612d98601d8361359a565b9150612da382613b04565b602082019050919050565b6000612dbb60268361359a565b9150612dc682613b2d565b604082019050919050565b6000612dde60158361359a565b9150612de982613b7c565b602082019050919050565b6000612e0160228361359a565b9150612e0c82613ba5565b604082019050919050565b6000612e2460228361359a565b9150612e2f82613bf4565b604082019050919050565b6000612e47601e8361359a565b9150612e5282613c43565b602082019050919050565b6000612e6a60288361359a565b9150612e7582613c6c565b604082019050919050565b6000612e8d60308361359a565b9150612e9882613cbb565b604082019050919050565b6000612eb060208361359a565b9150612ebb82613d0a565b602082019050919050565b6000612ed360278361359a565b9150612ede82613d33565b604082019050919050565b6000612ef660258361359a565b9150612f0182613d82565b604082019050919050565b6000612f1960268361359a565b9150612f2482613dd1565b604082019050919050565b6000612f3c60248361359a565b9150612f4782613e20565b604082019050919050565b6000612f5f60258361359a565b9150612f6a82613e6f565b604082019050919050565b6000612f82601f8361359a565b9150612f8d82613ebe565b602082019050919050565b604082016000820151612fae6000850182612fe5565b506020820151612fc16020850182612fc7565b50505050565b612fd081613713565b82525050565b612fdf8161373b565b82525050565b612fee81613745565b82525050565b612ffd81613745565b82525050565b61300c81613755565b82525050565b600061301d82612d68565b91506130298285612bdd565b6020820191506130398284612bdd565b6020820191508190509392505050565b600060208201905061305e6000830184612bb0565b92915050565b60006020820190506130796000830184612bbf565b92915050565b60006020820190506130946000830184612bce565b92915050565b600060c0820190506130af6000830189612bce565b6130bc6020830188612bb0565b6130c96040830187612bb0565b6130d66060830186612fd6565b6130e36080830185612fd6565b6130f060a0830184612fd6565b979650505050505050565b60006080820190506131106000830187612bce565b61311d6020830186612bb0565b61312a6040830185612fd6565b6131376060830184612fd6565b95945050505050565b600060a0820190506131556000830188612bce565b6131626020830187612bce565b61316f6040830186612bce565b61317c6060830185612fd6565b6131896080830184612bb0565b9695505050505050565b60006080820190506131a86000830187612bce565b6131b56020830186613003565b6131c26040830185612bce565b6131cf6060830184612bce565b95945050505050565b600060208201905081810360008301526131f28184612bf4565b905092915050565b6000602082019050818103600083015261321381612c2d565b9050919050565b6000602082019050818103600083015261323381612c50565b9050919050565b6000602082019050818103600083015261325381612c73565b9050919050565b6000602082019050818103600083015261327381612c96565b9050919050565b6000602082019050818103600083015261329381612cb9565b9050919050565b600060208201905081810360008301526132b381612cdc565b9050919050565b600060208201905081810360008301526132d381612cff565b9050919050565b600060208201905081810360008301526132f381612d22565b9050919050565b6000602082019050818103600083015261331381612d45565b9050919050565b6000602082019050818103600083015261333381612d8b565b9050919050565b6000602082019050818103600083015261335381612dae565b9050919050565b6000602082019050818103600083015261337381612dd1565b9050919050565b6000602082019050818103600083015261339381612df4565b9050919050565b600060208201905081810360008301526133b381612e17565b9050919050565b600060208201905081810360008301526133d381612e3a565b9050919050565b600060208201905081810360008301526133f381612e5d565b9050919050565b6000602082019050818103600083015261341381612e80565b9050919050565b6000602082019050818103600083015261343381612ea3565b9050919050565b6000602082019050818103600083015261345381612ec6565b9050919050565b6000602082019050818103600083015261347381612ee9565b9050919050565b6000602082019050818103600083015261349381612f0c565b9050919050565b600060208201905081810360008301526134b381612f2f565b9050919050565b600060208201905081810360008301526134d381612f52565b9050919050565b600060208201905081810360008301526134f381612f75565b9050919050565b600060408201905061350f6000830184612f98565b92915050565b600060208201905061352a6000830184612fd6565b92915050565b60006040820190506135456000830185612fd6565b6135526020830184612fd6565b9392505050565b600060208201905061356e6000830184612ff4565b92915050565b60006020820190506135896000830184613003565b92915050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b60006135c18261373b565b91506135cc8361373b565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115613601576136006137d1565b5b828201905092915050565b60006136178261373b565b91506136228361373b565b92508261363257613631613800565b5b828204905092915050565b60006136488261373b565b91506136538361373b565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561368c5761368b6137d1565b5b828202905092915050565b60006136a28261373b565b91506136ad8361373b565b9250828210156136c0576136bf6137d1565b5b828203905092915050565b60006136d6826136f3565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60005b83811015613780578082015181840152602081019050613765565b8381111561378f576000848401525b50505050565b600060028204905060018216806137ad57607f821691505b602082108114156137c1576137c061385e565b5b50919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45434453413a20696e76616c6964207369676e61747572650000000000000000600082015250565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e656400600082015250565b7f4552433230566f7465733a207369676e61747572652065787069726564000000600082015250565b7f45434453413a20696e76616c6964207369676e6174757265206c656e67746800600082015250565b7f4552433230566f7465733a20696e76616c6964206e6f6e636500000000000000600082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f4f534b593a204d696e742065786365656473206d6178696d756d20616d6f756e60008201527f7400000000000000000000000000000000000000000000000000000000000000602082015250565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b7f45524332305065726d69743a206578706972656420646561646c696e65000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4f534b593a2043616e6e6f74206d696e74207965740000000000000000000000600082015250565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f45434453413a20696e76616c6964207369676e6174757265202776272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332305065726d69743a20696e76616c6964207369676e61747572650000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b613ef0816136cb565b8114613efb57600080fd5b50565b613f07816136e9565b8114613f1257600080fd5b50565b613f1e8161373b565b8114613f2957600080fd5b50565b613f3581613745565b8114613f4057600080fd5b50565b613f4c81613755565b8114613f5757600080fd5b5056fea26469706673582212206ac62833dce56502a6626ed462515e8a71995c90471ccfa52facfd3242bcaac564736f6c63430008070033

00000000000000000000000000000000000000000052b7d2dcc80cd2e40000000000000000000000000000007566ab24352c6ee1ad6dd1bf07bb63c5852ae30f

-----Decoded View---------------
Arg [0] : supply (uint256): 100000000000000000000000000
Arg [1] : receiver (address): 0x7566aB24352C6Ee1ad6dd1BF07bb63C5852aE30f

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000052b7d2dcc80cd2e4000000
Arg [1] : 0000000000000000000000007566ab24352c6ee1ad6dd1bf07bb63c5852ae30f

58005:1888:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8747:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10914:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9867:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11565:492;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9709:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;38236:115;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12466:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51203:251;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58969:334;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;58074:54;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50603:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53642:112;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;50359:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10038:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2531:94;;;:::i;:::-;;58135:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;37978:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1880:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51743:242;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8966:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50806:195;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13184:413;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10378:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53836:589;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;58187:23;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;37267:645;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;10616:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50129:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2780:192;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8747:100;8801:13;8834:5;8827:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8747:100;:::o;10914:169::-;10997:4;11014:39;11023:12;:10;:12::i;:::-;11037:7;11046:6;11014:8;:39::i;:::-;11071:4;11064:11;;10914:169;;;;:::o;9867:108::-;9928:7;9955:12;;9948:19;;9867:108;:::o;11565:492::-;11705:4;11722:36;11732:6;11740:9;11751:6;11722:9;:36::i;:::-;11771:24;11798:11;:19;11810:6;11798:19;;;;;;;;;;;;;;;:33;11818:12;:10;:12::i;:::-;11798:33;;;;;;;;;;;;;;;;11771:60;;11870:6;11850:16;:26;;11842:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;11957:57;11966:6;11974:12;:10;:12::i;:::-;12007:6;11988:16;:25;11957:8;:57::i;:::-;12045:4;12038:11;;;11565:492;;;;;:::o;9709:93::-;9767:5;9792:2;9785:9;;9709:93;:::o;38236:115::-;38296:7;38323:20;:18;:20::i;:::-;38316:27;;38236:115;:::o;12466:215::-;12554:4;12571:80;12580:12;:10;:12::i;:::-;12594:7;12640:10;12603:11;:25;12615:12;:10;:12::i;:::-;12603:25;;;;;;;;;;;;;;;:34;12629:7;12603:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;12571:8;:80::i;:::-;12669:4;12662:11;;12466:215;;;;:::o;51203:251::-;51284:7;51326:12;51312:11;:26;51304:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;51392:54;51411:12;:21;51424:7;51411:21;;;;;;;;;;;;;;;51434:11;51392:18;:54::i;:::-;51385:61;;51203:251;;;;:::o;58969:334::-;2111:12;:10;:12::i;:::-;2100:23;;:7;:5;:7::i;:::-;:23;;;2092:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;59089:5:::1;58169:3;59062:13;:11;:13::i;:::-;:23;;;;:::i;:::-;59061:33;;;;:::i;:::-;59051:6;:43;;59043:89;;;;;;;;;;;;:::i;:::-;;;;;;;;;59170:8;;59151:15;:27;;59143:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;58120:8;59228:15;:37;;;;:::i;:::-;59217:8;:48;;;;59276:19;59282:4;59288:6;59276:5;:19::i;:::-;58969:334:::0;;:::o;58074:54::-;58120:8;58074:54;:::o;50603:119::-;50668:7;50695:10;:19;50706:7;50695:19;;;;;;;;;;;;;;;;;;;;;;;;;50688:26;;50603:119;;;:::o;53642:112::-;53712:34;53722:12;:10;:12::i;:::-;53736:9;53712;:34::i;:::-;53642:112;:::o;50359:151::-;50429:6;50455:47;50473:12;:21;50486:7;50473:21;;;;;;;;;;;;;;;:28;;;;50455:17;:47::i;:::-;50448:54;;50359:151;;;:::o;10038:127::-;10112:7;10139:9;:18;10149:7;10139:18;;;;;;;;;;;;;;;;10132:25;;10038:127;;;:::o;2531:94::-;2111:12;:10;:12::i;:::-;2100:23;;:7;:5;:7::i;:::-;:23;;;2092:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2596:21:::1;2614:1;2596:9;:21::i;:::-;2531:94::o:0;58135:37::-;58169:3;58135:37;:::o;37978:128::-;38047:7;38074:24;:7;:14;38082:5;38074:14;;;;;;;;;;;;;;;:22;:24::i;:::-;38067:31;;37978:128;;;:::o;1880:87::-;1926:7;1953:6;;;;;;;;;;;1946:13;;1880:87;:::o;51743:242::-;51813:7;51855:12;51841:11;:26;51833:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;51921:56;51940:23;51965:11;51921:18;:56::i;:::-;51914:63;;51743:242;;;:::o;8966:104::-;9022:13;9055:7;9048:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8966:104;:::o;50806:195::-;50862:7;50882:11;50896:12;:21;50909:7;50896:21;;;;;;;;;;;;;;;:28;;;;50882:42;;50949:1;50942:3;:8;:51;;50957:12;:21;50970:7;50957:21;;;;;;;;;;;;;;;50985:1;50979:3;:7;;;;:::i;:::-;50957:30;;;;;;;;:::i;:::-;;;;;;;;;:36;;;;;;;;;;;;50942:51;;;50953:1;50942:51;50935:58;;;;;50806:195;;;:::o;13184:413::-;13277:4;13294:24;13321:11;:25;13333:12;:10;:12::i;:::-;13321:25;;;;;;;;;;;;;;;:34;13347:7;13321:34;;;;;;;;;;;;;;;;13294:61;;13394:15;13374:16;:35;;13366:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;13487:67;13496:12;:10;:12::i;:::-;13510:7;13538:15;13519:16;:34;13487:8;:67::i;:::-;13585:4;13578:11;;;13184:413;;;;:::o;10378:175::-;10464:4;10481:42;10491:12;:10;:12::i;:::-;10505:9;10516:6;10481:9;:42::i;:::-;10541:4;10534:11;;10378:175;;;;:::o;53836:589::-;54054:6;54035:15;:25;;54027:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;54105:14;54122:174;54150:87;49380:71;54210:9;54221:5;54228:6;54177:58;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;54167:69;;;;;;54150:16;:87::i;:::-;54252:1;54268;54284;54122:13;:174::i;:::-;54105:191;;54324:17;54334:6;54324:9;:17::i;:::-;54315:5;:26;54307:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;54389:28;54399:6;54407:9;54389;:28::i;:::-;54382:35;53836:589;;;;;;:::o;58187:23::-;;;;:::o;37267:645::-;37511:8;37492:15;:27;;37484:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;37566:18;37608:16;37626:5;37633:7;37642:5;37649:16;37659:5;37649:9;:16::i;:::-;37667:8;37597:79;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;37587:90;;;;;;37566:111;;37690:12;37705:28;37722:10;37705:16;:28::i;:::-;37690:43;;37746:14;37763:28;37777:4;37783:1;37786;37789;37763:13;:28::i;:::-;37746:45;;37820:5;37810:15;;:6;:15;;;37802:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;37873:31;37882:5;37889:7;37898:5;37873:8;:31::i;:::-;37473:439;;;37267:645;;;;;;;:::o;10616:151::-;10705:7;10732:11;:18;10744:5;10732:18;;;;;;;;;;;;;;;:27;10751:7;10732:27;;;;;;;;;;;;;;;;10725:34;;10616:151;;;;:::o;50129:150::-;50208:17;;:::i;:::-;50245:12;:21;50258:7;50245:21;;;;;;;;;;;;;;;50267:3;50245:26;;;;;;;;;;:::i;:::-;;;;;;;;;50238:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;50129:150;;;;:::o;2780:192::-;2111:12;:10;:12::i;:::-;2100:23;;:7;:5;:7::i;:::-;:23;;;2092:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2889:1:::1;2869:22;;:8;:22;;;;2861:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;2945:19;2955:8;2945:9;:19::i;:::-;2780:192:::0;:::o;54731:290::-;54816:28;54828:7;54837:6;54816:11;:28::i;:::-;54880:12;:10;:12::i;:::-;54863:29;;:13;:11;:13::i;:::-;:29;;54855:90;;;;;;;;;;;;:::i;:::-;;;;;;;;;54958:55;54975:23;55000:4;55006:6;54958:16;:55::i;:::-;;;54731:290;;:::o;15107:399::-;15210:1;15191:21;;:7;:21;;;;15183:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;15261:49;15290:1;15294:7;15303:6;15261:20;:49::i;:::-;15339:6;15323:12;;:22;;;;;;;:::i;:::-;;;;;;;;15378:6;15356:9;:18;15366:7;15356:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;15421:7;15400:37;;15417:1;15400:37;;;15430:6;15400:37;;;;;;:::i;:::-;;;;;;;;15450:48;15478:1;15482:7;15491:6;15450:19;:48::i;:::-;15107:399;;:::o;57575:98::-;57633:7;57664:1;57660;:5;;;;:::i;:::-;57653:12;;57575:98;;;;:::o;41080:195::-;41137:7;41174:17;41165:26;;:5;:26;;41157:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;41261:5;41246:21;;41080:195;;;:::o;43050:190::-;43106:6;43142:16;43133:25;;:5;:25;;43125:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;43226:5;43212:20;;43050:190;;;:::o;55449:262::-;55591:43;55617:4;55623:2;55627:6;55591:25;:43::i;:::-;55647:56;55664:15;55674:4;55664:9;:15::i;:::-;55681:13;55691:2;55681:9;:13::i;:::-;55696:6;55647:16;:56::i;:::-;55449:262;;;:::o;18577:124::-;;;;:::o;57681:103::-;57744:7;57775:1;57771;:5;;;;:::i;:::-;57764:12;;57681:103;;;;:::o;662:98::-;715:7;742:10;735:17;;662:98;:::o;16868:380::-;17021:1;17004:19;;:5;:19;;;;16996:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;17102:1;17083:21;;:7;:21;;;;17075:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;17186:6;17156:11;:18;17168:5;17156:18;;;;;;;;;;;;;;;:27;17175:7;17156:27;;;;;;;;;;;;;;;:36;;;;17224:7;17208:32;;17217:5;17208:32;;;17233:6;17208:32;;;;;;:::i;:::-;;;;;;;;16868:380;;;:::o;14087:733::-;14245:1;14227:20;;:6;:20;;;;14219:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;14329:1;14308:23;;:9;:23;;;;14300:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;14384:47;14405:6;14413:9;14424:6;14384:20;:47::i;:::-;14444:21;14468:9;:17;14478:6;14468:17;;;;;;;;;;;;;;;;14444:41;;14521:6;14504:13;:23;;14496:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;14642:6;14626:13;:22;14606:9;:17;14616:6;14606:17;;;;;;;;;;;;;;;:42;;;;14694:6;14670:9;:20;14680:9;14670:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;14735:9;14718:35;;14727:6;14718:35;;;14746:6;14718:35;;;;;;:::i;:::-;;;;;;;;14766:46;14786:6;14794:9;14805:6;14766:19;:46::i;:::-;14208:612;14087:733;;;:::o;33093:281::-;33146:7;33187:16;33170:13;:33;33166:201;;;33227:24;33220:31;;;;33166:201;33291:64;33313:10;33325:12;33339:15;33291:21;:64::i;:::-;33284:71;;33093:281;;:::o;52074:1482::-;52173:7;53192:12;53207:5;:12;;;;53192:27;;53230:11;53256:236;53269:4;53263:3;:10;53256:236;;;53290:11;53304:23;53317:3;53322:4;53304:12;:23::i;:::-;53290:37;;53369:11;53346:5;53352:3;53346:10;;;;;;;;:::i;:::-;;;;;;;;;:20;;;;;;;;;;;;:34;;;53342:139;;;53408:3;53401:10;;53342:139;;;53464:1;53458:3;:7;;;;:::i;:::-;53452:13;;53342:139;53275:217;53256:236;;;53519:1;53511:4;:9;:37;;53527:5;53540:1;53533:4;:8;;;;:::i;:::-;53527:15;;;;;;;;:::i;:::-;;;;;;;;;:21;;;;;;;;;;;;53511:37;;;53523:1;53511:37;53504:44;;;;;;52074:1482;;;;:::o;59582:145::-;59696:23;59708:2;59712:6;59696:11;:23::i;:::-;59582:145;;:::o;55875:388::-;55960:23;55986:20;55996:9;55986;:20::i;:::-;55960:46;;56017:24;56044:20;56054:9;56044;:20::i;:::-;56017:47;;56099:9;56075:10;:21;56086:9;56075:21;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;56170:9;56126:54;;56153:15;56126:54;;56142:9;56126:54;;;;;;;;;;;;56193:62;56210:15;56227:9;56238:16;56193;:62::i;:::-;55949:314;;55875:388;;:::o;2980:173::-;3036:16;3055:6;;;;;;;;;;;3036:25;;3081:8;3072:6;;:17;;;;;;;;;;;;;;;;;;3136:8;3105:40;;3126:8;3105:40;;;;;;;;;;;;3025:128;2980:173;:::o;35286:114::-;35351:7;35378;:14;;;35371:21;;35286:114;;;:::o;34287:167::-;34364:7;34391:55;34413:20;:18;:20::i;:::-;34435:10;34391:21;:55::i;:::-;34384:62;;34287:167;;;:::o;28612:279::-;28740:7;28761:17;28780:18;28802:25;28813:4;28819:1;28822;28825;28802:10;:25::i;:::-;28760:67;;;;28838:18;28850:5;28838:11;:18::i;:::-;28874:9;28867:16;;;;28612:279;;;;;;:::o;38489:207::-;38549:15;38577:30;38610:7;:14;38618:5;38610:14;;;;;;;;;;;;;;;38577:47;;38645:15;:5;:13;:15::i;:::-;38635:25;;38671:17;:5;:15;:17::i;:::-;38566:130;38489:207;;;:::o;54532:105::-;54585:7;54612:17;54605:24;;54532:105;:::o;56922:645::-;57096:17;57115;57145:11;57159:5;:12;;;;57145:26;;57201:1;57194:3;:8;:35;;57209:5;57221:1;57215:3;:7;;;;:::i;:::-;57209:14;;;;;;;;:::i;:::-;;;;;;;;;:20;;;;;;;;;;;;57194:35;;;57205:1;57194:35;57182:47;;;;57252:20;57255:9;57266:5;57252:2;:20;;:::i;:::-;57240:32;;57295:1;57289:3;:7;:51;;;;;57328:12;57300:5;57312:1;57306:3;:7;;;;:::i;:::-;57300:14;;;;;;;;:::i;:::-;;;;;;;;;:24;;;;;;;;;;;;:40;;;57289:51;57285:275;;;57380:29;57399:9;57380:18;:29::i;:::-;57357:5;57369:1;57363:3;:7;;;;:::i;:::-;57357:14;;;;;;;;:::i;:::-;;;;;;;;;:20;;;:52;;;;;;;;;;;;;;;;;;57285:275;;;57442:5;57453:94;;;;;;;;57476:31;57494:12;57476:17;:31::i;:::-;57453:94;;;;;;57516:29;57535:9;57516:18;:29::i;:::-;57453:94;;;;;57442:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;57285:275;57134:433;56922:645;;;;;;:::o;17848:125::-;;;;:::o;59381:193::-;59523:43;59549:4;59555:2;59559:6;59523:25;:43::i;:::-;59381:193;;;:::o;56271:643::-;56403:3;56396:10;;:3;:10;;;;:24;;;;;56419:1;56410:6;:10;56396:24;56392:515;;;56456:1;56441:17;;:3;:17;;;56437:224;;56480:17;56499;56520:54;56537:12;:17;56550:3;56537:17;;;;;;;;;;;;;;;56556:9;56567:6;56520:16;:54::i;:::-;56479:95;;;;56619:3;56598:47;;;56624:9;56635;56598:47;;;;;;;:::i;:::-;;;;;;;;56460:201;;56437:224;56696:1;56681:17;;:3;:17;;;56677:219;;56720:17;56739;56760:49;56777:12;:17;56790:3;56777:17;;;;;;;;;;;;;;;56796:4;56802:6;56760:16;:49::i;:::-;56719:90;;;;56854:3;56833:47;;;56859:9;56870;56833:47;;;;;;;:::i;:::-;;;;;;;;56700:196;;56677:219;56392:515;56271:643;;;:::o;33382:263::-;33526:7;33574:8;33584;33594:11;33607:13;33630:4;33563:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;33553:84;;;;;;33546:91;;33382:263;;;;;:::o;39370:156::-;39432:7;39517:1;39512;39508;:5;39507:11;;;;:::i;:::-;39502:1;39498;:5;39497:21;;;;:::i;:::-;39490:28;;39370:156;;;;:::o;29810:196::-;29903:7;29969:15;29986:10;29940:57;;;;;;;;;:::i;:::-;;;;;;;;;;;;;29930:68;;;;;;29923:75;;29810:196;;;;:::o;26841:1632::-;26972:7;26981:12;27906:66;27901:1;27893:10;;:79;27889:163;;;28005:1;28009:30;27989:51;;;;;;27889:163;28071:2;28066:1;:7;;;;:18;;;;;28082:2;28077:1;:7;;;;28066:18;28062:102;;;28117:1;28121:30;28101:51;;;;;;28062:102;28261:14;28278:24;28288:4;28294:1;28297;28300;28278:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28261:41;;28335:1;28317:20;;:6;:20;;;28313:103;;;28370:1;28374:29;28354:50;;;;;;;28313:103;28436:6;28444:20;28428:37;;;;;26841:1632;;;;;;;;:::o;21503:643::-;21581:20;21572:29;;;;;;;;:::i;:::-;;:5;:29;;;;;;;;:::i;:::-;;;21568:571;;;21618:7;;21568:571;21679:29;21670:38;;;;;;;;:::i;:::-;;:5;:38;;;;;;;;:::i;:::-;;;21666:473;;;21725:34;;;;;;;;;;:::i;:::-;;;;;;;;21666:473;21790:35;21781:44;;;;;;;;:::i;:::-;;:5;:44;;;;;;;;:::i;:::-;;;21777:362;;;21842:41;;;;;;;;;;:::i;:::-;;;;;;;;21777:362;21914:30;21905:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;21901:238;;;21961:44;;;;;;;;;;:::i;:::-;;;;;;;;21901:238;22036:30;22027:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;22023:116;;;22083:44;;;;;;;;;;:::i;:::-;;;;;;;;22023:116;21503:643;;:::o;35408:127::-;35515:1;35497:7;:14;;;:19;;;;;;;;;;;35408:127;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;7:139;;;;:::o;152:::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;152:139;;;;:::o;297:::-;343:5;381:6;368:20;359:29;;397:33;424:5;397:33;:::i;:::-;297:139;;;;:::o;442:137::-;487:5;525:6;512:20;503:29;;541:32;567:5;541:32;:::i;:::-;442:137;;;;:::o;585:135::-;629:5;667:6;654:20;645:29;;683:31;708:5;683:31;:::i;:::-;585:135;;;;:::o;726:329::-;785:6;834:2;822:9;813:7;809:23;805:32;802:119;;;840:79;;:::i;:::-;802:119;960:1;985:53;1030:7;1021:6;1010:9;1006:22;985:53;:::i;:::-;975:63;;931:117;726:329;;;;:::o;1061:474::-;1129:6;1137;1186:2;1174:9;1165:7;1161:23;1157:32;1154:119;;;1192:79;;:::i;:::-;1154:119;1312:1;1337:53;1382:7;1373:6;1362:9;1358:22;1337:53;:::i;:::-;1327:63;;1283:117;1439:2;1465:53;1510:7;1501:6;1490:9;1486:22;1465:53;:::i;:::-;1455:63;;1410:118;1061:474;;;;;:::o;1541:619::-;1618:6;1626;1634;1683:2;1671:9;1662:7;1658:23;1654:32;1651:119;;;1689:79;;:::i;:::-;1651:119;1809:1;1834:53;1879:7;1870:6;1859:9;1855:22;1834:53;:::i;:::-;1824:63;;1780:117;1936:2;1962:53;2007:7;1998:6;1987:9;1983:22;1962:53;:::i;:::-;1952:63;;1907:118;2064:2;2090:53;2135:7;2126:6;2115:9;2111:22;2090:53;:::i;:::-;2080:63;;2035:118;1541:619;;;;;:::o;2166:1199::-;2277:6;2285;2293;2301;2309;2317;2325;2374:3;2362:9;2353:7;2349:23;2345:33;2342:120;;;2381:79;;:::i;:::-;2342:120;2501:1;2526:53;2571:7;2562:6;2551:9;2547:22;2526:53;:::i;:::-;2516:63;;2472:117;2628:2;2654:53;2699:7;2690:6;2679:9;2675:22;2654:53;:::i;:::-;2644:63;;2599:118;2756:2;2782:53;2827:7;2818:6;2807:9;2803:22;2782:53;:::i;:::-;2772:63;;2727:118;2884:2;2910:53;2955:7;2946:6;2935:9;2931:22;2910:53;:::i;:::-;2900:63;;2855:118;3012:3;3039:51;3082:7;3073:6;3062:9;3058:22;3039:51;:::i;:::-;3029:61;;2983:117;3139:3;3166:53;3211:7;3202:6;3191:9;3187:22;3166:53;:::i;:::-;3156:63;;3110:119;3268:3;3295:53;3340:7;3331:6;3320:9;3316:22;3295:53;:::i;:::-;3285:63;;3239:119;2166:1199;;;;;;;;;;:::o;3371:474::-;3439:6;3447;3496:2;3484:9;3475:7;3471:23;3467:32;3464:119;;;3502:79;;:::i;:::-;3464:119;3622:1;3647:53;3692:7;3683:6;3672:9;3668:22;3647:53;:::i;:::-;3637:63;;3593:117;3749:2;3775:53;3820:7;3811:6;3800:9;3796:22;3775:53;:::i;:::-;3765:63;;3720:118;3371:474;;;;;:::o;3851:1053::-;3953:6;3961;3969;3977;3985;3993;4042:3;4030:9;4021:7;4017:23;4013:33;4010:120;;;4049:79;;:::i;:::-;4010:120;4169:1;4194:53;4239:7;4230:6;4219:9;4215:22;4194:53;:::i;:::-;4184:63;;4140:117;4296:2;4322:53;4367:7;4358:6;4347:9;4343:22;4322:53;:::i;:::-;4312:63;;4267:118;4424:2;4450:53;4495:7;4486:6;4475:9;4471:22;4450:53;:::i;:::-;4440:63;;4395:118;4552:2;4578:51;4621:7;4612:6;4601:9;4597:22;4578:51;:::i;:::-;4568:61;;4523:116;4678:3;4705:53;4750:7;4741:6;4730:9;4726:22;4705:53;:::i;:::-;4695:63;;4649:119;4807:3;4834:53;4879:7;4870:6;4859:9;4855:22;4834:53;:::i;:::-;4824:63;;4778:119;3851:1053;;;;;;;;:::o;4910:472::-;4977:6;4985;5034:2;5022:9;5013:7;5009:23;5005:32;5002:119;;;5040:79;;:::i;:::-;5002:119;5160:1;5185:53;5230:7;5221:6;5210:9;5206:22;5185:53;:::i;:::-;5175:63;;5131:117;5287:2;5313:52;5357:7;5348:6;5337:9;5333:22;5313:52;:::i;:::-;5303:62;;5258:117;4910:472;;;;;:::o;5388:329::-;5447:6;5496:2;5484:9;5475:7;5471:23;5467:32;5464:119;;;5502:79;;:::i;:::-;5464:119;5622:1;5647:53;5692:7;5683:6;5672:9;5668:22;5647:53;:::i;:::-;5637:63;;5593:117;5388:329;;;;:::o;5723:118::-;5810:24;5828:5;5810:24;:::i;:::-;5805:3;5798:37;5723:118;;:::o;5847:109::-;5928:21;5943:5;5928:21;:::i;:::-;5923:3;5916:34;5847:109;;:::o;5962:118::-;6049:24;6067:5;6049:24;:::i;:::-;6044:3;6037:37;5962:118;;:::o;6086:157::-;6191:45;6211:24;6229:5;6211:24;:::i;:::-;6191:45;:::i;:::-;6186:3;6179:58;6086:157;;:::o;6249:364::-;6337:3;6365:39;6398:5;6365:39;:::i;:::-;6420:71;6484:6;6479:3;6420:71;:::i;:::-;6413:78;;6500:52;6545:6;6540:3;6533:4;6526:5;6522:16;6500:52;:::i;:::-;6577:29;6599:6;6577:29;:::i;:::-;6572:3;6568:39;6561:46;;6341:272;6249:364;;;;:::o;6619:366::-;6761:3;6782:67;6846:2;6841:3;6782:67;:::i;:::-;6775:74;;6858:93;6947:3;6858:93;:::i;:::-;6976:2;6971:3;6967:12;6960:19;;6619:366;;;:::o;6991:::-;7133:3;7154:67;7218:2;7213:3;7154:67;:::i;:::-;7147:74;;7230:93;7319:3;7230:93;:::i;:::-;7348:2;7343:3;7339:12;7332:19;;6991:366;;;:::o;7363:::-;7505:3;7526:67;7590:2;7585:3;7526:67;:::i;:::-;7519:74;;7602:93;7691:3;7602:93;:::i;:::-;7720:2;7715:3;7711:12;7704:19;;7363:366;;;:::o;7735:::-;7877:3;7898:67;7962:2;7957:3;7898:67;:::i;:::-;7891:74;;7974:93;8063:3;7974:93;:::i;:::-;8092:2;8087:3;8083:12;8076:19;;7735:366;;;:::o;8107:::-;8249:3;8270:67;8334:2;8329:3;8270:67;:::i;:::-;8263:74;;8346:93;8435:3;8346:93;:::i;:::-;8464:2;8459:3;8455:12;8448:19;;8107:366;;;:::o;8479:::-;8621:3;8642:67;8706:2;8701:3;8642:67;:::i;:::-;8635:74;;8718:93;8807:3;8718:93;:::i;:::-;8836:2;8831:3;8827:12;8820:19;;8479:366;;;:::o;8851:::-;8993:3;9014:67;9078:2;9073:3;9014:67;:::i;:::-;9007:74;;9090:93;9179:3;9090:93;:::i;:::-;9208:2;9203:3;9199:12;9192:19;;8851:366;;;:::o;9223:::-;9365:3;9386:67;9450:2;9445:3;9386:67;:::i;:::-;9379:74;;9462:93;9551:3;9462:93;:::i;:::-;9580:2;9575:3;9571:12;9564:19;;9223:366;;;:::o;9595:::-;9737:3;9758:67;9822:2;9817:3;9758:67;:::i;:::-;9751:74;;9834:93;9923:3;9834:93;:::i;:::-;9952:2;9947:3;9943:12;9936:19;;9595:366;;;:::o;9967:400::-;10127:3;10148:84;10230:1;10225:3;10148:84;:::i;:::-;10141:91;;10241:93;10330:3;10241:93;:::i;:::-;10359:1;10354:3;10350:11;10343:18;;9967:400;;;:::o;10373:366::-;10515:3;10536:67;10600:2;10595:3;10536:67;:::i;:::-;10529:74;;10612:93;10701:3;10612:93;:::i;:::-;10730:2;10725:3;10721:12;10714:19;;10373:366;;;:::o;10745:::-;10887:3;10908:67;10972:2;10967:3;10908:67;:::i;:::-;10901:74;;10984:93;11073:3;10984:93;:::i;:::-;11102:2;11097:3;11093:12;11086:19;;10745:366;;;:::o;11117:::-;11259:3;11280:67;11344:2;11339:3;11280:67;:::i;:::-;11273:74;;11356:93;11445:3;11356:93;:::i;:::-;11474:2;11469:3;11465:12;11458:19;;11117:366;;;:::o;11489:::-;11631:3;11652:67;11716:2;11711:3;11652:67;:::i;:::-;11645:74;;11728:93;11817:3;11728:93;:::i;:::-;11846:2;11841:3;11837:12;11830:19;;11489:366;;;:::o;11861:::-;12003:3;12024:67;12088:2;12083:3;12024:67;:::i;:::-;12017:74;;12100:93;12189:3;12100:93;:::i;:::-;12218:2;12213:3;12209:12;12202:19;;11861:366;;;:::o;12233:::-;12375:3;12396:67;12460:2;12455:3;12396:67;:::i;:::-;12389:74;;12472:93;12561:3;12472:93;:::i;:::-;12590:2;12585:3;12581:12;12574:19;;12233:366;;;:::o;12605:::-;12747:3;12768:67;12832:2;12827:3;12768:67;:::i;:::-;12761:74;;12844:93;12933:3;12844:93;:::i;:::-;12962:2;12957:3;12953:12;12946:19;;12605:366;;;:::o;12977:::-;13119:3;13140:67;13204:2;13199:3;13140:67;:::i;:::-;13133:74;;13216:93;13305:3;13216:93;:::i;:::-;13334:2;13329:3;13325:12;13318:19;;12977:366;;;:::o;13349:::-;13491:3;13512:67;13576:2;13571:3;13512:67;:::i;:::-;13505:74;;13588:93;13677:3;13588:93;:::i;:::-;13706:2;13701:3;13697:12;13690:19;;13349:366;;;:::o;13721:::-;13863:3;13884:67;13948:2;13943:3;13884:67;:::i;:::-;13877:74;;13960:93;14049:3;13960:93;:::i;:::-;14078:2;14073:3;14069:12;14062:19;;13721:366;;;:::o;14093:::-;14235:3;14256:67;14320:2;14315:3;14256:67;:::i;:::-;14249:74;;14332:93;14421:3;14332:93;:::i;:::-;14450:2;14445:3;14441:12;14434:19;;14093:366;;;:::o;14465:::-;14607:3;14628:67;14692:2;14687:3;14628:67;:::i;:::-;14621:74;;14704:93;14793:3;14704:93;:::i;:::-;14822:2;14817:3;14813:12;14806:19;;14465:366;;;:::o;14837:::-;14979:3;15000:67;15064:2;15059:3;15000:67;:::i;:::-;14993:74;;15076:93;15165:3;15076:93;:::i;:::-;15194:2;15189:3;15185:12;15178:19;;14837:366;;;:::o;15209:::-;15351:3;15372:67;15436:2;15431:3;15372:67;:::i;:::-;15365:74;;15448:93;15537:3;15448:93;:::i;:::-;15566:2;15561:3;15557:12;15550:19;;15209:366;;;:::o;15581:::-;15723:3;15744:67;15808:2;15803:3;15744:67;:::i;:::-;15737:74;;15820:93;15909:3;15820:93;:::i;:::-;15938:2;15933:3;15929:12;15922:19;;15581:366;;;:::o;16021:517::-;16174:4;16169:3;16165:14;16266:4;16259:5;16255:16;16249:23;16285:61;16340:4;16335:3;16331:14;16317:12;16285:61;:::i;:::-;16189:167;16439:4;16432:5;16428:16;16422:23;16458:63;16515:4;16510:3;16506:14;16492:12;16458:63;:::i;:::-;16366:165;16143:395;16021:517;;:::o;16544:108::-;16621:24;16639:5;16621:24;:::i;:::-;16616:3;16609:37;16544:108;;:::o;16658:118::-;16745:24;16763:5;16745:24;:::i;:::-;16740:3;16733:37;16658:118;;:::o;16782:105::-;16857:23;16874:5;16857:23;:::i;:::-;16852:3;16845:36;16782:105;;:::o;16893:115::-;16978:23;16995:5;16978:23;:::i;:::-;16973:3;16966:36;16893:115;;:::o;17014:112::-;17097:22;17113:5;17097:22;:::i;:::-;17092:3;17085:35;17014:112;;:::o;17132:663::-;17373:3;17395:148;17539:3;17395:148;:::i;:::-;17388:155;;17553:75;17624:3;17615:6;17553:75;:::i;:::-;17653:2;17648:3;17644:12;17637:19;;17666:75;17737:3;17728:6;17666:75;:::i;:::-;17766:2;17761:3;17757:12;17750:19;;17786:3;17779:10;;17132:663;;;;;:::o;17801:222::-;17894:4;17932:2;17921:9;17917:18;17909:26;;17945:71;18013:1;18002:9;17998:17;17989:6;17945:71;:::i;:::-;17801:222;;;;:::o;18029:210::-;18116:4;18154:2;18143:9;18139:18;18131:26;;18167:65;18229:1;18218:9;18214:17;18205:6;18167:65;:::i;:::-;18029:210;;;;:::o;18245:222::-;18338:4;18376:2;18365:9;18361:18;18353:26;;18389:71;18457:1;18446:9;18442:17;18433:6;18389:71;:::i;:::-;18245:222;;;;:::o;18473:775::-;18706:4;18744:3;18733:9;18729:19;18721:27;;18758:71;18826:1;18815:9;18811:17;18802:6;18758:71;:::i;:::-;18839:72;18907:2;18896:9;18892:18;18883:6;18839:72;:::i;:::-;18921;18989:2;18978:9;18974:18;18965:6;18921:72;:::i;:::-;19003;19071:2;19060:9;19056:18;19047:6;19003:72;:::i;:::-;19085:73;19153:3;19142:9;19138:19;19129:6;19085:73;:::i;:::-;19168;19236:3;19225:9;19221:19;19212:6;19168:73;:::i;:::-;18473:775;;;;;;;;;:::o;19254:553::-;19431:4;19469:3;19458:9;19454:19;19446:27;;19483:71;19551:1;19540:9;19536:17;19527:6;19483:71;:::i;:::-;19564:72;19632:2;19621:9;19617:18;19608:6;19564:72;:::i;:::-;19646;19714:2;19703:9;19699:18;19690:6;19646:72;:::i;:::-;19728;19796:2;19785:9;19781:18;19772:6;19728:72;:::i;:::-;19254:553;;;;;;;:::o;19813:664::-;20018:4;20056:3;20045:9;20041:19;20033:27;;20070:71;20138:1;20127:9;20123:17;20114:6;20070:71;:::i;:::-;20151:72;20219:2;20208:9;20204:18;20195:6;20151:72;:::i;:::-;20233;20301:2;20290:9;20286:18;20277:6;20233:72;:::i;:::-;20315;20383:2;20372:9;20368:18;20359:6;20315:72;:::i;:::-;20397:73;20465:3;20454:9;20450:19;20441:6;20397:73;:::i;:::-;19813:664;;;;;;;;:::o;20483:545::-;20656:4;20694:3;20683:9;20679:19;20671:27;;20708:71;20776:1;20765:9;20761:17;20752:6;20708:71;:::i;:::-;20789:68;20853:2;20842:9;20838:18;20829:6;20789:68;:::i;:::-;20867:72;20935:2;20924:9;20920:18;20911:6;20867:72;:::i;:::-;20949;21017:2;21006:9;21002:18;20993:6;20949:72;:::i;:::-;20483:545;;;;;;;:::o;21034:313::-;21147:4;21185:2;21174:9;21170:18;21162:26;;21234:9;21228:4;21224:20;21220:1;21209:9;21205:17;21198:47;21262:78;21335:4;21326:6;21262:78;:::i;:::-;21254:86;;21034:313;;;;:::o;21353:419::-;21519:4;21557:2;21546:9;21542:18;21534:26;;21606:9;21600:4;21596:20;21592:1;21581:9;21577:17;21570:47;21634:131;21760:4;21634:131;:::i;:::-;21626:139;;21353:419;;;:::o;21778:::-;21944:4;21982:2;21971:9;21967:18;21959:26;;22031:9;22025:4;22021:20;22017:1;22006:9;22002:17;21995:47;22059:131;22185:4;22059:131;:::i;:::-;22051:139;;21778:419;;;:::o;22203:::-;22369:4;22407:2;22396:9;22392:18;22384:26;;22456:9;22450:4;22446:20;22442:1;22431:9;22427:17;22420:47;22484:131;22610:4;22484:131;:::i;:::-;22476:139;;22203:419;;;:::o;22628:::-;22794:4;22832:2;22821:9;22817:18;22809:26;;22881:9;22875:4;22871:20;22867:1;22856:9;22852:17;22845:47;22909:131;23035:4;22909:131;:::i;:::-;22901:139;;22628:419;;;:::o;23053:::-;23219:4;23257:2;23246:9;23242:18;23234:26;;23306:9;23300:4;23296:20;23292:1;23281:9;23277:17;23270:47;23334:131;23460:4;23334:131;:::i;:::-;23326:139;;23053:419;;;:::o;23478:::-;23644:4;23682:2;23671:9;23667:18;23659:26;;23731:9;23725:4;23721:20;23717:1;23706:9;23702:17;23695:47;23759:131;23885:4;23759:131;:::i;:::-;23751:139;;23478:419;;;:::o;23903:::-;24069:4;24107:2;24096:9;24092:18;24084:26;;24156:9;24150:4;24146:20;24142:1;24131:9;24127:17;24120:47;24184:131;24310:4;24184:131;:::i;:::-;24176:139;;23903:419;;;:::o;24328:::-;24494:4;24532:2;24521:9;24517:18;24509:26;;24581:9;24575:4;24571:20;24567:1;24556:9;24552:17;24545:47;24609:131;24735:4;24609:131;:::i;:::-;24601:139;;24328:419;;;:::o;24753:::-;24919:4;24957:2;24946:9;24942:18;24934:26;;25006:9;25000:4;24996:20;24992:1;24981:9;24977:17;24970:47;25034:131;25160:4;25034:131;:::i;:::-;25026:139;;24753:419;;;:::o;25178:::-;25344:4;25382:2;25371:9;25367:18;25359:26;;25431:9;25425:4;25421:20;25417:1;25406:9;25402:17;25395:47;25459:131;25585:4;25459:131;:::i;:::-;25451:139;;25178:419;;;:::o;25603:::-;25769:4;25807:2;25796:9;25792:18;25784:26;;25856:9;25850:4;25846:20;25842:1;25831:9;25827:17;25820:47;25884:131;26010:4;25884:131;:::i;:::-;25876:139;;25603:419;;;:::o;26028:::-;26194:4;26232:2;26221:9;26217:18;26209:26;;26281:9;26275:4;26271:20;26267:1;26256:9;26252:17;26245:47;26309:131;26435:4;26309:131;:::i;:::-;26301:139;;26028:419;;;:::o;26453:::-;26619:4;26657:2;26646:9;26642:18;26634:26;;26706:9;26700:4;26696:20;26692:1;26681:9;26677:17;26670:47;26734:131;26860:4;26734:131;:::i;:::-;26726:139;;26453:419;;;:::o;26878:::-;27044:4;27082:2;27071:9;27067:18;27059:26;;27131:9;27125:4;27121:20;27117:1;27106:9;27102:17;27095:47;27159:131;27285:4;27159:131;:::i;:::-;27151:139;;26878:419;;;:::o;27303:::-;27469:4;27507:2;27496:9;27492:18;27484:26;;27556:9;27550:4;27546:20;27542:1;27531:9;27527:17;27520:47;27584:131;27710:4;27584:131;:::i;:::-;27576:139;;27303:419;;;:::o;27728:::-;27894:4;27932:2;27921:9;27917:18;27909:26;;27981:9;27975:4;27971:20;27967:1;27956:9;27952:17;27945:47;28009:131;28135:4;28009:131;:::i;:::-;28001:139;;27728:419;;;:::o;28153:::-;28319:4;28357:2;28346:9;28342:18;28334:26;;28406:9;28400:4;28396:20;28392:1;28381:9;28377:17;28370:47;28434:131;28560:4;28434:131;:::i;:::-;28426:139;;28153:419;;;:::o;28578:::-;28744:4;28782:2;28771:9;28767:18;28759:26;;28831:9;28825:4;28821:20;28817:1;28806:9;28802:17;28795:47;28859:131;28985:4;28859:131;:::i;:::-;28851:139;;28578:419;;;:::o;29003:::-;29169:4;29207:2;29196:9;29192:18;29184:26;;29256:9;29250:4;29246:20;29242:1;29231:9;29227:17;29220:47;29284:131;29410:4;29284:131;:::i;:::-;29276:139;;29003:419;;;:::o;29428:::-;29594:4;29632:2;29621:9;29617:18;29609:26;;29681:9;29675:4;29671:20;29667:1;29656:9;29652:17;29645:47;29709:131;29835:4;29709:131;:::i;:::-;29701:139;;29428:419;;;:::o;29853:::-;30019:4;30057:2;30046:9;30042:18;30034:26;;30106:9;30100:4;30096:20;30092:1;30081:9;30077:17;30070:47;30134:131;30260:4;30134:131;:::i;:::-;30126:139;;29853:419;;;:::o;30278:::-;30444:4;30482:2;30471:9;30467:18;30459:26;;30531:9;30525:4;30521:20;30517:1;30506:9;30502:17;30495:47;30559:131;30685:4;30559:131;:::i;:::-;30551:139;;30278:419;;;:::o;30703:::-;30869:4;30907:2;30896:9;30892:18;30884:26;;30956:9;30950:4;30946:20;30942:1;30931:9;30927:17;30920:47;30984:131;31110:4;30984:131;:::i;:::-;30976:139;;30703:419;;;:::o;31128:::-;31294:4;31332:2;31321:9;31317:18;31309:26;;31381:9;31375:4;31371:20;31367:1;31356:9;31352:17;31345:47;31409:131;31535:4;31409:131;:::i;:::-;31401:139;;31128:419;;;:::o;31553:334::-;31702:4;31740:2;31729:9;31725:18;31717:26;;31753:127;31877:1;31866:9;31862:17;31853:6;31753:127;:::i;:::-;31553:334;;;;:::o;31893:222::-;31986:4;32024:2;32013:9;32009:18;32001:26;;32037:71;32105:1;32094:9;32090:17;32081:6;32037:71;:::i;:::-;31893:222;;;;:::o;32121:332::-;32242:4;32280:2;32269:9;32265:18;32257:26;;32293:71;32361:1;32350:9;32346:17;32337:6;32293:71;:::i;:::-;32374:72;32442:2;32431:9;32427:18;32418:6;32374:72;:::i;:::-;32121:332;;;;;:::o;32459:218::-;32550:4;32588:2;32577:9;32573:18;32565:26;;32601:69;32667:1;32656:9;32652:17;32643:6;32601:69;:::i;:::-;32459:218;;;;:::o;32683:214::-;32772:4;32810:2;32799:9;32795:18;32787:26;;32823:67;32887:1;32876:9;32872:17;32863:6;32823:67;:::i;:::-;32683:214;;;;:::o;32984:99::-;33036:6;33070:5;33064:12;33054:22;;32984:99;;;:::o;33089:169::-;33173:11;33207:6;33202:3;33195:19;33247:4;33242:3;33238:14;33223:29;;33089:169;;;;:::o;33264:148::-;33366:11;33403:3;33388:18;;33264:148;;;;:::o;33418:305::-;33458:3;33477:20;33495:1;33477:20;:::i;:::-;33472:25;;33511:20;33529:1;33511:20;:::i;:::-;33506:25;;33665:1;33597:66;33593:74;33590:1;33587:81;33584:107;;;33671:18;;:::i;:::-;33584:107;33715:1;33712;33708:9;33701:16;;33418:305;;;;:::o;33729:185::-;33769:1;33786:20;33804:1;33786:20;:::i;:::-;33781:25;;33820:20;33838:1;33820:20;:::i;:::-;33815:25;;33859:1;33849:35;;33864:18;;:::i;:::-;33849:35;33906:1;33903;33899:9;33894:14;;33729:185;;;;:::o;33920:348::-;33960:7;33983:20;34001:1;33983:20;:::i;:::-;33978:25;;34017:20;34035:1;34017:20;:::i;:::-;34012:25;;34205:1;34137:66;34133:74;34130:1;34127:81;34122:1;34115:9;34108:17;34104:105;34101:131;;;34212:18;;:::i;:::-;34101:131;34260:1;34257;34253:9;34242:20;;33920:348;;;;:::o;34274:191::-;34314:4;34334:20;34352:1;34334:20;:::i;:::-;34329:25;;34368:20;34386:1;34368:20;:::i;:::-;34363:25;;34407:1;34404;34401:8;34398:34;;;34412:18;;:::i;:::-;34398:34;34457:1;34454;34450:9;34442:17;;34274:191;;;;:::o;34471:96::-;34508:7;34537:24;34555:5;34537:24;:::i;:::-;34526:35;;34471:96;;;:::o;34573:90::-;34607:7;34650:5;34643:13;34636:21;34625:32;;34573:90;;;:::o;34669:77::-;34706:7;34735:5;34724:16;;34669:77;;;:::o;34752:126::-;34789:7;34829:42;34822:5;34818:54;34807:65;;34752:126;;;:::o;34884:142::-;34921:7;34961:58;34954:5;34950:70;34939:81;;34884:142;;;:::o;35032:77::-;35069:7;35098:5;35087:16;;35032:77;;;:::o;35115:93::-;35151:7;35191:10;35184:5;35180:22;35169:33;;35115:93;;;:::o;35214:86::-;35249:7;35289:4;35282:5;35278:16;35267:27;;35214:86;;;:::o;35306:307::-;35374:1;35384:113;35398:6;35395:1;35392:13;35384:113;;;35483:1;35478:3;35474:11;35468:18;35464:1;35459:3;35455:11;35448:39;35420:2;35417:1;35413:10;35408:15;;35384:113;;;35515:6;35512:1;35509:13;35506:101;;;35595:1;35586:6;35581:3;35577:16;35570:27;35506:101;35355:258;35306:307;;;:::o;35619:320::-;35663:6;35700:1;35694:4;35690:12;35680:22;;35747:1;35741:4;35737:12;35768:18;35758:81;;35824:4;35816:6;35812:17;35802:27;;35758:81;35886:2;35878:6;35875:14;35855:18;35852:38;35849:84;;;35905:18;;:::i;:::-;35849:84;35670:269;35619:320;;;:::o;35945:79::-;35984:7;36013:5;36002:16;;35945:79;;;:::o;36030:180::-;36078:77;36075:1;36068:88;36175:4;36172:1;36165:15;36199:4;36196:1;36189:15;36216:180;36264:77;36261:1;36254:88;36361:4;36358:1;36351:15;36385:4;36382:1;36375:15;36402:180;36450:77;36447:1;36440:88;36547:4;36544:1;36537:15;36571:4;36568:1;36561:15;36588:180;36636:77;36633:1;36626:88;36733:4;36730:1;36723:15;36757:4;36754:1;36747:15;36774:180;36822:77;36819:1;36812:88;36919:4;36916:1;36909:15;36943:4;36940:1;36933:15;37083:117;37192:1;37189;37182:12;37206:102;37247:6;37298:2;37294:7;37289:2;37282:5;37278:14;37274:28;37264:38;;37206:102;;;:::o;37314:174::-;37454:26;37450:1;37442:6;37438:14;37431:50;37314:174;:::o;37494:222::-;37634:34;37630:1;37622:6;37618:14;37611:58;37703:5;37698:2;37690:6;37686:15;37679:30;37494:222;:::o;37722:181::-;37862:33;37858:1;37850:6;37846:14;37839:57;37722:181;:::o;37909:179::-;38049:31;38045:1;38037:6;38033:14;38026:55;37909:179;:::o;38094:181::-;38234:33;38230:1;38222:6;38218:14;38211:57;38094:181;:::o;38281:175::-;38421:27;38417:1;38409:6;38405:14;38398:51;38281:175;:::o;38462:225::-;38602:34;38598:1;38590:6;38586:14;38579:58;38671:8;38666:2;38658:6;38654:15;38647:33;38462:225;:::o;38693:221::-;38833:34;38829:1;38821:6;38817:14;38810:58;38902:4;38897:2;38889:6;38885:15;38878:29;38693:221;:::o;38920:220::-;39060:34;39056:1;39048:6;39044:14;39037:58;39129:3;39124:2;39116:6;39112:15;39105:28;38920:220;:::o;39146:214::-;39286:66;39282:1;39274:6;39270:14;39263:90;39146:214;:::o;39366:179::-;39506:31;39502:1;39494:6;39490:14;39483:55;39366:179;:::o;39551:225::-;39691:34;39687:1;39679:6;39675:14;39668:58;39760:8;39755:2;39747:6;39743:15;39736:33;39551:225;:::o;39782:171::-;39922:23;39918:1;39910:6;39906:14;39899:47;39782:171;:::o;39959:221::-;40099:34;40095:1;40087:6;40083:14;40076:58;40168:4;40163:2;40155:6;40151:15;40144:29;39959:221;:::o;40186:::-;40326:34;40322:1;40314:6;40310:14;40303:58;40395:4;40390:2;40382:6;40378:15;40371:29;40186:221;:::o;40413:180::-;40553:32;40549:1;40541:6;40537:14;40530:56;40413:180;:::o;40599:227::-;40739:34;40735:1;40727:6;40723:14;40716:58;40808:10;40803:2;40795:6;40791:15;40784:35;40599:227;:::o;40832:235::-;40972:34;40968:1;40960:6;40956:14;40949:58;41041:18;41036:2;41028:6;41024:15;41017:43;40832:235;:::o;41073:182::-;41213:34;41209:1;41201:6;41197:14;41190:58;41073:182;:::o;41261:226::-;41401:34;41397:1;41389:6;41385:14;41378:58;41470:9;41465:2;41457:6;41453:15;41446:34;41261:226;:::o;41493:224::-;41633:34;41629:1;41621:6;41617:14;41610:58;41702:7;41697:2;41689:6;41685:15;41678:32;41493:224;:::o;41723:225::-;41863:34;41859:1;41851:6;41847:14;41840:58;41932:8;41927:2;41919:6;41915:15;41908:33;41723:225;:::o;41954:223::-;42094:34;42090:1;42082:6;42078:14;42071:58;42163:6;42158:2;42150:6;42146:15;42139:31;41954:223;:::o;42183:224::-;42323:34;42319:1;42311:6;42307:14;42300:58;42392:7;42387:2;42379:6;42375:15;42368:32;42183:224;:::o;42413:181::-;42553:33;42549:1;42541:6;42537:14;42530:57;42413:181;:::o;42600:122::-;42673:24;42691:5;42673:24;:::i;:::-;42666:5;42663:35;42653:63;;42712:1;42709;42702:12;42653:63;42600:122;:::o;42728:::-;42801:24;42819:5;42801:24;:::i;:::-;42794:5;42791:35;42781:63;;42840:1;42837;42830:12;42781:63;42728:122;:::o;42856:::-;42929:24;42947:5;42929:24;:::i;:::-;42922:5;42919:35;42909:63;;42968:1;42965;42958:12;42909:63;42856:122;:::o;42984:120::-;43056:23;43073:5;43056:23;:::i;:::-;43049:5;43046:34;43036:62;;43094:1;43091;43084:12;43036:62;42984:120;:::o;43110:118::-;43181:22;43197:5;43181:22;:::i;:::-;43174:5;43171:33;43161:61;;43218:1;43215;43208:12;43161:61;43110:118;:::o

ipfs://6ac62833dce56502a6626ed462515e8a71995c90471ccfa52facfd3242bcaac5