Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at moonbeam.moonscan.io on 2022-01-20
*/

// Sources flattened with hardhat v2.7.0 https://hardhat.org

// File contracts/flare/VestedFlareToken.sol

// Sources flattened with hardhat v2.7.0 https://hardhat.org

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

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

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

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

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

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

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

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



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



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




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



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

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


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



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

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

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

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

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



/**
 * @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 ∟%V% 2 + 1, and for v in (302): v �♥�� {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {
            return (address(0), RecoverError.InvalidSignatureS);
        }
        if (v != 27 && v != 28) {
            return (address(0), RecoverError.InvalidSignatureV);
        }

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

        return (signer, RecoverError.NoError);
    }

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

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

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

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


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

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

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

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

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

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

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



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





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


/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as
 * `nonReentrant` may not call one another. This can be worked around by making
 * those functions `private`, and then adding `external` `nonReentrant` entry
 * points to them.
 *
 * TIP: If you would like to learn more about reentrancy and alternative ways
 * to protect against it, check out our blog post
 * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul].
 */
abstract contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

    // The values being non-zero value makes deployment a bit more expensive,
    // but in exchange the refund on every call to nonReentrant will be lower in
    // amount. Since refunds are capped to a percentage of the total
    // transaction's gas, it is best to keep them low in cases like this one, to
    // increase the likelihood of the full refund coming into effect.
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;

    uint256 private _status;

    constructor() {
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and making it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        // On the first call to nonReentrant, _notEntered will be true
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

        // Any calls to nonReentrant after this point will fail
        _status = _ENTERED;

        _;

        // By storing the original value once again, a refund is triggered (see
        // https://eips.ethereum.org/EIPS/eip-2200)
        _status = _NOT_ENTERED;
    }
}



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

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

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

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

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

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

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

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



interface IBoringERC20 {
    function mint(address to, uint256 amount) external;

    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function allowance(address owner, address spender)
        external
        view
        returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );

    /// @notice EIP 2612
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;
}


// solhint-disable avoid-low-level-calls
library BoringERC20 {
    bytes4 private constant SIG_SYMBOL = 0x95d89b41; // symbol()
    bytes4 private constant SIG_NAME = 0x06fdde03; // name()
    bytes4 private constant SIG_DECIMALS = 0x313ce567; // decimals()
    bytes4 private constant SIG_TRANSFER = 0xa9059cbb; // transfer(address,uint256)
    bytes4 private constant SIG_TRANSFER_FROM = 0x23b872dd; // transferFrom(address,address,uint256)

    function returnDataToString(bytes memory data)
        internal
        pure
        returns (string memory)
    {
        if (data.length >= 64) {
            return abi.decode(data, (string));
        } else if (data.length == 32) {
            uint8 i = 0;
            while (i < 32 && data[i] != 0) {
                i++;
            }
            bytes memory bytesArray = new bytes(i);
            for (i = 0; i < 32 && data[i] != 0; i++) {
                bytesArray[i] = data[i];
            }
            return string(bytesArray);
        } else {
            return "???";
        }
    }

    /// @notice Provides a safe ERC20.symbol version which returns '???' as fallback string.
    /// @param token The address of the ERC-20 token contract.
    /// @return (string) Token symbol.
    function safeSymbol(IBoringERC20 token)
        internal
        view
        returns (string memory)
    {
        (bool success, bytes memory data) = address(token).staticcall(
            abi.encodeWithSelector(SIG_SYMBOL)
        );
        return success ? returnDataToString(data) : "???";
    }

    /// @notice Provides a safe ERC20.name version which returns '???' as fallback string.
    /// @param token The address of the ERC-20 token contract.
    /// @return (string) Token name.
    function safeName(IBoringERC20 token)
        internal
        view
        returns (string memory)
    {
        (bool success, bytes memory data) = address(token).staticcall(
            abi.encodeWithSelector(SIG_NAME)
        );
        return success ? returnDataToString(data) : "???";
    }

    /// @notice Provides a safe ERC20.decimals version which returns '18' as fallback value.
    /// @param token The address of the ERC-20 token contract.
    /// @return (uint8) Token decimals.
    function safeDecimals(IBoringERC20 token) internal view returns (uint8) {
        (bool success, bytes memory data) = address(token).staticcall(
            abi.encodeWithSelector(SIG_DECIMALS)
        );
        return success && data.length == 32 ? abi.decode(data, (uint8)) : 18;
    }

    /// @notice Provides a safe ERC20.transfer version for different ERC-20 implementations.
    /// Reverts on a failed transfer.
    /// @param token The address of the ERC-20 token.
    /// @param to Transfer tokens to.
    /// @param amount The token amount.
    function safeTransfer(
        IBoringERC20 token,
        address to,
        uint256 amount
    ) internal {
        (bool success, bytes memory data) = address(token).call(
            abi.encodeWithSelector(SIG_TRANSFER, to, amount)
        );
        require(
            success && (data.length == 0 || abi.decode(data, (bool))),
            "BoringERC20: Transfer failed"
        );
    }

    /// @notice Provides a safe ERC20.transferFrom version for different ERC-20 implementations.
    /// Reverts on a failed transfer.
    /// @param token The address of the ERC-20 token.
    /// @param from Transfer tokens from.
    /// @param to Transfer tokens to.
    /// @param amount The token amount.
    function safeTransferFrom(
        IBoringERC20 token,
        address from,
        address to,
        uint256 amount
    ) internal {
        (bool success, bytes memory data) = address(token).call(
            abi.encodeWithSelector(SIG_TRANSFER_FROM, from, to, amount)
        );
        require(
            success && (data.length == 0 || abi.decode(data, (bool))),
            "BoringERC20: TransferFrom failed"
        );
    }
}


interface IVestedFlareToken {
    function userLockedAmount(address _addr) external view returns (uint256);

    function userLockedUntil(address _addr) external view returns (uint256);

    function votingPowerUnlockTime(uint256 _value, uint256 _unlock_time)
        external
        view
        returns (uint256);

    function votingPowerLockedDays(uint256 _value, uint256 _days)
        external
        view
        returns (uint256);

    function deposit(address _addr, uint256 _value) external;

    function create(uint256 _value, uint256 _days) external;

    function increaseAmount(uint256 _value) external;

    function increaseLock(uint256 _days) external;

    function withdraw() external;
}

contract VestedFlareToken is
    ERC20Burnable,
    ERC20Permit,
    IVestedFlareToken,
    Ownable,
    ReentrancyGuard
{
    using BoringERC20 for IBoringERC20;

    uint256 public constant MINDAYS = 7;
    uint256 public constant MAXDAYS = 4 * 365;

    uint256 public constant MAXTIME = MAXDAYS * 1 days; // 4 years
    uint256 public constant MAX_WITHDRAWAL_PENALTY = 90000; // 90%
    uint256 public constant PRECISION = 1e5; // 5 decimals

    address public immutable lockedToken;
    address public penaltyCollector;
    uint256 public minLockedAmount;
    uint256 public earlyWithdrawPenaltyRate;

    // flags
    uint256 private _unlocked;

    struct LockedBalance {
        uint256 amount;
        uint256 end;
    }

    mapping(address => LockedBalance) public locked;
    mapping(address => uint256) public mintedForLock;

    /* ========== MODIFIERS ========== */

    modifier lock() {
        require(_unlocked == 1, "LOCKED");
        _unlocked = 0;
        _;
        _unlocked = 1;
    }

    /* =============== EVENTS ==================== */
    event Deposit(address indexed provider, uint256 value, uint256 locktime);
    event Withdraw(address indexed provider, uint256 value);
    event PenaltyCollectorSet(address indexed addr);
    event EarlyWithdrawPenaltySet(uint256 indexed penalty);
    event MinLockedAmountSet(uint256 indexed amount);

    constructor(
        string memory _tokenName,
        string memory _tokenSymbol,
        address _lockedToken,
        uint256 _minLockedAmount
    ) ERC20(_tokenName, _tokenSymbol) ERC20Permit(_tokenName) {
        lockedToken = _lockedToken;
        minLockedAmount = _minLockedAmount;
        earlyWithdrawPenaltyRate = 75000; // 75%
        penaltyCollector = 0x000000000000000000000000000000000000dEaD;
        _unlocked = 1;
    }

    /* ========== PUBLIC FUNCTIONS ========== */
    function userLockedAmount(address _addr)
        external
        view
        override
        returns (uint256)
    {
        return locked[_addr].amount;
    }

    function userLockedUntil(address _addr)
        external
        view
        override
        returns (uint256)
    {
        return locked[_addr].end;
    }

    function votingPowerUnlockTime(uint256 _value, uint256 _unlockTime)
        public
        view
        override
        returns (uint256)
    {
        uint256 _now = block.timestamp;
        if (_unlockTime <= _now) return 0;
        uint256 _lockedSeconds = _unlockTime - _now;
        if (_lockedSeconds >= MAXTIME) {
            return _value;
        }
        return (_value * _lockedSeconds) / MAXTIME;
    }

    function votingPowerLockedDays(uint256 _value, uint256 _days)
        public
        pure
        override
        returns (uint256)
    {
        if (_days >= MAXDAYS) {
            return _value;
        }
        return (_value * _days) / MAXDAYS;
    }

    function deposit(address _addr, uint256 _value)
        external
        override
        nonReentrant
    {
        require(_value > 0, "deposit: invalid amount");
        require(locked[_addr].amount > 0, "deposit: no lock for this address");
        _deposit(_addr, _value, 0);
    }

    function createWithPermit(
        uint256 _value,
        uint256 _days,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external nonReentrant {
        require(_value >= minLockedAmount, "create: less than min amount");
        require(
            locked[_msgSender()].amount == 0,
            "create: withdraw old tokens first"
        );
        require(_days >= MINDAYS, "create: less than min amount of 7 days");
        require(_days <= MAXDAYS, "create: voting lock can be 4 years max");

        IBoringERC20(lockedToken).permit(
            _msgSender(),
            address(this),
            _value,
            deadline,
            v,
            r,
            s
        );

        _deposit(_msgSender(), _value, _days);
    }

    function create(uint256 _value, uint256 _days)
        external
        override
        nonReentrant
    {
        require(_value >= minLockedAmount, "create: less than min amount");
        require(
            locked[_msgSender()].amount == 0,
            "create: withdraw old tokens first"
        );
        require(_days >= MINDAYS, "create: less than min amount of 7 days");
        require(_days <= MAXDAYS, "create: voting lock can be 4 years max");
        _deposit(_msgSender(), _value, _days);
    }

    function increaseAmountWithPermit(
        uint256 _value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external nonReentrant {
        require(_value > 0, "increaseAmount: invalid amount");

        IBoringERC20(lockedToken).permit(
            _msgSender(),
            address(this),
            _value,
            deadline,
            v,
            r,
            s
        );

        _deposit(_msgSender(), _value, 0);
    }

    function increaseAmount(uint256 _value) external override nonReentrant {
        require(_value > 0, "increaseAmount: invalid amount");
        _deposit(_msgSender(), _value, 0);
    }

    function increaseLock(uint256 _days) external override nonReentrant {
        require(_days > 0, "increaseLock: invalid amount");
        require(
            _days <= MAXDAYS,
            "increaseLock: voting lock can be 4 years max"
        );
        _deposit(_msgSender(), 0, _days);
    }

    function withdraw() external override lock {
        LockedBalance storage _locked = locked[_msgSender()];
        uint256 _now = block.timestamp;
        require(_locked.amount > 0, "withdraw: nothing to withdraw");
        require(_now >= _locked.end, "withdraw: user still locked");
        uint256 _amount = _locked.amount;
        _locked.end = 0;
        _locked.amount = 0;
        _burn(_msgSender(), mintedForLock[_msgSender()]);
        mintedForLock[_msgSender()] = 0;
        IBoringERC20(lockedToken).safeTransfer(_msgSender(), _amount);

        emit Withdraw(_msgSender(), _amount);
    }

    // This will charge PENALTY if lock is not expired yet
    function emergencyWithdraw() external lock {
        LockedBalance storage _locked = locked[_msgSender()];
        uint256 _now = block.timestamp;
        require(_locked.amount > 0, "emergencyWithdraw: nothing to withdraw");
        uint256 _amount = _locked.amount;
        if (_now < _locked.end) {
            uint256 _fee = (_amount * earlyWithdrawPenaltyRate) / PRECISION;
            _penalize(_fee);
            _amount = _amount - _fee;
        }
        _locked.end = 0;
        _locked.amount = 0;
        _burn(_msgSender(), mintedForLock[_msgSender()]);
        mintedForLock[_msgSender()] = 0;

        IBoringERC20(lockedToken).safeTransfer(_msgSender(), _amount);

        emit Withdraw(_msgSender(), _amount);
    }

    /* ========== INTERNAL FUNCTIONS ========== */
    function _deposit(
        address _addr,
        uint256 _value,
        uint256 _days
    ) internal lock {
        LockedBalance storage _locked = locked[_addr];
        uint256 _now = block.timestamp;
        uint256 _amount = _locked.amount;
        uint256 _end = _locked.end;
        uint256 _vp;
        if (_amount == 0) {
            _vp = votingPowerLockedDays(_value, _days);
            _locked.amount = _value;
            _locked.end = _now + _days * 1 days;
        } else if (_days == 0) {
            _vp = votingPowerUnlockTime(_value, _end);
            _locked.amount = _amount + _value;
        } else {
            require(
                _value == 0,
                "_deposit: cannot increase amount and extend lock in the same time"
            );
            _vp = votingPowerLockedDays(_amount, _days);
            _locked.end = _end + _days * 1 days;
            require(
                _locked.end - _now <= MAXTIME,
                "_deposit: cannot extend lock to more than 4 years"
            );
        }
        require(_vp > 0, "No benefit to lock");
        if (_value > 0) {
            IBoringERC20(lockedToken).safeTransferFrom(
                _msgSender(),
                address(this),
                _value
            );
        }
        _mint(_addr, _vp);
        mintedForLock[_addr] += _vp;

        emit Deposit(_addr, _locked.amount, _locked.end);
    }

    function _penalize(uint256 _amount) internal {
        IBoringERC20(lockedToken).safeTransfer(penaltyCollector, _amount);
    }

    /* ========== RESTRICTED FUNCTIONS ========== */
    function setMinLockedAmount(uint256 _minLockedAmount) external onlyOwner {
        minLockedAmount = _minLockedAmount;
        emit MinLockedAmountSet(_minLockedAmount);
    }

    function setEarlyWithdrawPenaltyRate(uint256 _earlyWithdrawPenaltyRate)
        external
        onlyOwner
    {
        require(
            _earlyWithdrawPenaltyRate <= MAX_WITHDRAWAL_PENALTY,
            "setEarlyWithdrawPenaltyRate: withdrawal penalty is too high"
        ); // <= 90%
        earlyWithdrawPenaltyRate = _earlyWithdrawPenaltyRate;
        emit EarlyWithdrawPenaltySet(_earlyWithdrawPenaltyRate);
    }

    function setPenaltyCollector(address _addr) external onlyOwner {
        require(
            penaltyCollector != address(0),
            "setPenaltyCollector: set a valid address"
        );
        penaltyCollector = _addr;
        emit PenaltyCollectorSet(_addr);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_tokenName","type":"string"},{"internalType":"string","name":"_tokenSymbol","type":"string"},{"internalType":"address","name":"_lockedToken","type":"address"},{"internalType":"uint256","name":"_minLockedAmount","type":"uint256"}],"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":"provider","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"locktime","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"penalty","type":"uint256"}],"name":"EarlyWithdrawPenaltySet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"MinLockedAmountSet","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":"addr","type":"address"}],"name":"PenaltyCollectorSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"provider","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Withdraw","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAXDAYS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAXTIME","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_WITHDRAWAL_PENALTY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MINDAYS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PRECISION","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_days","type":"uint256"}],"name":"create","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_days","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":"createWithPermit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_addr","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"deposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"earlyWithdrawPenaltyRate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"emergencyWithdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"increaseAmount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"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":"increaseAmountWithPermit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_days","type":"uint256"}],"name":"increaseLock","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"locked","outputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lockedToken","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"minLockedAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"mintedForLock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"penaltyCollector","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":[{"internalType":"uint256","name":"_earlyWithdrawPenaltyRate","type":"uint256"}],"name":"setEarlyWithdrawPenaltyRate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_minLockedAmount","type":"uint256"}],"name":"setMinLockedAmount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_addr","type":"address"}],"name":"setPenaltyCollector","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"},{"inputs":[{"internalType":"address","name":"_addr","type":"address"}],"name":"userLockedAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_addr","type":"address"}],"name":"userLockedUntil","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_days","type":"uint256"}],"name":"votingPowerLockedDays","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_unlockTime","type":"uint256"}],"name":"votingPowerUnlockTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6101806040527f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9610140523480156200003757600080fd5b5060405162003fea38038062003fea8339810160408190526200005a916200034f565b8380604051806040016040528060018152602001603160f81b8152508686816003908051906020019062000090929190620001f2565b508051620000a6906004906020840190620001f2565b5050825160208085019190912083518483012060e08290526101008190524660a0818152604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f81880181905281830187905260608201869052608082019490945230818401528151808203909301835260c0019052805194019390932091935091906080523060601b60c05261012052506200015593506200014f9250506200019c9050565b620001a0565b6001600781905560609290921b6001600160601b03191661016052600955620124f8600a556008805461dead6001600160a01b0319909116179055600b5550620004359050565b3390565b600680546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b8280546200020090620003e2565b90600052602060002090601f0160209004810192826200022457600085556200026f565b82601f106200023f57805160ff19168380011785556200026f565b828001600101855582156200026f579182015b828111156200026f57825182559160200191906001019062000252565b506200027d92915062000281565b5090565b5b808211156200027d576000815560010162000282565b600082601f830112620002aa57600080fd5b81516001600160401b0380821115620002c757620002c76200041f565b604051601f8301601f19908116603f01168101908282118183101715620002f257620002f26200041f565b816040528381526020925086838588010111156200030f57600080fd5b600091505b8382101562000333578582018301518183018401529082019062000314565b83821115620003455760008385830101525b9695505050505050565b600080600080608085870312156200036657600080fd5b84516001600160401b03808211156200037e57600080fd5b6200038c8883890162000298565b95506020870151915080821115620003a357600080fd5b50620003b28782880162000298565b604087015190945090506001600160a01b0381168114620003d257600080fd5b6060959095015193969295505050565b600181811c90821680620003f757607f821691505b602082108114156200041957634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052604160045260246000fd5b60805160a05160c05160601c60e0516101005161012051610140516101605160601c613b26620004c46000396000818161034a01528181610da10152818161124e01528181611770015281816126f5015261308401526000611e5401526000612b2f01526000612b7e01526000612b5901526000612ab201526000612adc01526000612b060152613b266000f3fe608060405234801561001057600080fd5b50600436106102ff5760003560e01c80636766e2db1161019c578063a8a4a376116100ee578063d08a12ff11610097578063dd62ed3e11610071578063dd62ed3e146106bf578063ee00ef3a14610705578063f2fde38b1461070d57600080fd5b8063d08a12ff14610691578063d505accf146106a4578063db2e21bc146106b757600080fd5b8063ae6ef65f116100c8578063ae6ef65f14610613578063bf0ae48c1461061c578063cbf9fe5f1461065557600080fd5b8063a8a4a376146105e3578063a9059cbb146105f6578063aaf5eb681461060957600080fd5b80638da5cb5b116101505780639f7b45791161012a5780639f7b4579146105b4578063a25b39b7146105c7578063a457c2d7146105d057600080fd5b80638da5cb5b1461057b57806395d89b41146105995780639655b433146105a157600080fd5b8063715018a611610181578063715018a61461054d57806379cc6790146105555780637ecebe001461056857600080fd5b80636766e2db1461050457806370a082311461051757600080fd5b806323b872dd11610255578063395093511161020957806342966c68116101e357806342966c68146104cb57806347e7ef24146104de5780635b7d8f05146104f157600080fd5b8063395093511461049d5780633b886979146104b05780633ccfd60b146104c357600080fd5b8063308097b21161023a578063308097b214610466578063313ce567146104865780633644e5151461049557600080fd5b806323b872dd1461041d5780632bfc94671461043057600080fd5b806315456eba116102b75780631c1706ca116102915780631c1706ca146103ed5780631c5a0914146104005780632060176b1461041357600080fd5b806315456eba146103c75780631767c433146103dc57806318160ddd146103e557600080fd5b80630f45cc81116102e85780630f45cc81146103455780630f51c09c14610391578063113f6653146103a757600080fd5b806306fdde0314610304578063095ea7b314610322575b600080fd5b61030c610720565b6040516103199190613920565b60405180910390f35b6103356103303660046137e5565b6107b2565b6040519015158152602001610319565b61036c7f000000000000000000000000000000000000000000000000000000000000000081565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610319565b610399600781565b604051908152602001610319565b6103996103b53660046136f1565b600d6020526000908152604090205481565b6103da6103d5366004613831565b6107c9565b005b6103996105b481565b600254610399565b6103996103fb36600461384a565b6108bb565b6103da61040e366004613831565b610928565b61039962015f9081565b61033561042b36600461373f565b610a9f565b61039961043e3660046136f1565b73ffffffffffffffffffffffffffffffffffffffff166000908152600c602052604090205490565b60085461036c9073ffffffffffffffffffffffffffffffffffffffff1681565b60405160128152602001610319565b610399610b85565b6103356104ab3660046137e5565b610b94565b6103996104be36600461384a565b610bdd565b6103da610c0d565b6103da6104d9366004613831565b610e1c565b6103da6104ec3660046137e5565b610e29565b6103da6104ff3660046136f1565b610fc9565b6103da6105123660046138bd565b61115e565b6103996105253660046136f1565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b6103da61133b565b6103da6105633660046137e5565b6113c8565b6103996105763660046136f1565b611481565b60065473ffffffffffffffffffffffffffffffffffffffff1661036c565b61030c6114ac565b6103da6105af36600461386c565b6114bb565b6103da6105c236600461384a565b61185d565b61039960095481565b6103356105de3660046137e5565b611b06565b6103da6105f1366004613831565b611bde565b6103356106043660046137e5565b611d25565b610399620186a081565b610399600a5481565b61039961062a3660046136f1565b73ffffffffffffffffffffffffffffffffffffffff166000908152600c602052604090206001015490565b61067c6106633660046136f1565b600c602052600090815260409020805460019091015482565b60408051928352602083019190915201610319565b6103da61069f366004613831565b611d32565b6103da6106b236600461377b565b611de6565b6103da611fa5565b6103996106cd36600461370c565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260016020908152604080832093909416825291909152205490565b61039961210d565b6103da61071b3660046136f1565b61211f565b60606003805461072f90613a44565b80601f016020809104026020016040519081016040528092919081815260200182805461075b90613a44565b80156107a85780601f1061077d576101008083540402835291602001916107a8565b820191906000526020600020905b81548152906001019060200180831161078b57829003601f168201915b5050505050905090565b60006107bf33848461224c565b5060015b92915050565b6002600754141561083b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0060448201526064015b60405180910390fd5b6002600755806108a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f696e637265617365416d6f756e743a20696e76616c696420616d6f756e7400006044820152606401610832565b6108b3338260006123ff565b506001600755565b6000428083116108cf5760009150506107c3565b60006108db8285613a01565b90506108ec6105b4620151806139c4565b81106108fc5784925050506107c3565b61090b6105b4620151806139c4565b61091582876139c4565b61091f9190613989565b95945050505050565b60026007541415610995576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b600260075580610a01576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f696e6372656173654c6f636b3a20696e76616c696420616d6f756e74000000006044820152606401610832565b6105b4811115610a93576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f696e6372656173654c6f636b3a20766f74696e67206c6f636b2063616e20626560448201527f2034207965617273206d617800000000000000000000000000000000000000006064820152608401610832565b6108b3336000836123ff565b6000610aac8484846127e3565b73ffffffffffffffffffffffffffffffffffffffff8416600090815260016020908152604080832033845290915290205482811015610b6d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206160448201527f6c6c6f77616e63650000000000000000000000000000000000000000000000006064820152608401610832565b610b7a853385840361224c565b506001949350505050565b6000610b8f612a98565b905090565b33600081815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716845290915281205490916107bf918590610bd8908690613971565b61224c565b60006105b48210610bef5750816107c3565b6105b4610bfc83856139c4565b610c069190613989565b9392505050565b600b54600114610c79576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4c4f434b454400000000000000000000000000000000000000000000000000006044820152606401610832565b6000600b819055338152600c6020526040902080544290610cf6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f77697468647261773a206e6f7468696e6720746f2077697468647261770000006044820152606401610832565b8160010154811015610d64576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f77697468647261773a2075736572207374696c6c206c6f636b656400000000006044820152606401610832565b81546000600184018190558355610d8b335b336000908152600d6020526040902054612bcc565b336000818152600d6020526040812055610ddd907f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169083612db9565b60405181815233907f884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a94243649060200160405180910390a250506001600b5550565b610e263382612bcc565b50565b60026007541415610e96576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b600260075580610f02576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f6465706f7369743a20696e76616c696420616d6f756e740000000000000000006044820152606401610832565b73ffffffffffffffffffffffffffffffffffffffff82166000908152600c6020526040902054610fb4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f6465706f7369743a206e6f206c6f636b20666f7220746869732061646472657360448201527f73000000000000000000000000000000000000000000000000000000000000006064820152608401610832565b610fc0828260006123ff565b50506001600755565b60065473ffffffffffffffffffffffffffffffffffffffff16331461104a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b60085473ffffffffffffffffffffffffffffffffffffffff166110ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f73657450656e616c7479436f6c6c6563746f723a2073657420612076616c696460448201527f20616464726573730000000000000000000000000000000000000000000000006064820152608401610832565b600880547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff83169081179091556040517f2541601c97bce42b47813f2be715ba4eb0a571f2aafaf35cda2054137d9a79af90600090a250565b600260075414156111cb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b600260075584611237576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f696e637265617365416d6f756e743a20696e76616c696420616d6f756e7400006044820152606401610832565b73ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001663d505accf336040517fffffffff0000000000000000000000000000000000000000000000000000000060e084901b16815273ffffffffffffffffffffffffffffffffffffffff9091166004820152306024820152604481018890526064810187905260ff8616608482015260a4810185905260c4810184905260e401600060405180830381600087803b15801561130557600080fd5b505af1158015611319573d6000803e3d6000fd5b5050505061132f6113273390565b8660006123ff565b50506001600755505050565b60065473ffffffffffffffffffffffffffffffffffffffff1633146113bc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b6113c66000612f29565b565b60006113d483336106cd565b905081811015611465576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f7760448201527f616e6365000000000000000000000000000000000000000000000000000000006064820152608401610832565b611472833384840361224c565b61147c8383612bcc565b505050565b73ffffffffffffffffffffffffffffffffffffffff81166000908152600560205260408120546107c3565b60606004805461072f90613a44565b60026007541415611528576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b6002600755600954861015611599576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f6372656174653a206c657373207468616e206d696e20616d6f756e74000000006044820152606401610832565b336000908152600c602052604090205415611636576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f6372656174653a207769746864726177206f6c6420746f6b656e73206669727360448201527f74000000000000000000000000000000000000000000000000000000000000006064820152608401610832565b60078510156116c7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f6372656174653a206c657373207468616e206d696e20616d6f756e74206f662060448201527f37206461797300000000000000000000000000000000000000000000000000006064820152608401610832565b6105b4851115611759576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f6372656174653a20766f74696e67206c6f636b2063616e20626520342079656160448201527f7273206d617800000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001663d505accf336040517fffffffff0000000000000000000000000000000000000000000000000000000060e084901b16815273ffffffffffffffffffffffffffffffffffffffff9091166004820152306024820152604481018990526064810187905260ff8616608482015260a4810185905260c4810184905260e401600060405180830381600087803b15801561182757600080fd5b505af115801561183b573d6000803e3d6000fd5b505050506118506118493390565b87876123ff565b5050600160075550505050565b600260075414156118ca576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b600260075560095482101561193b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f6372656174653a206c657373207468616e206d696e20616d6f756e74000000006044820152606401610832565b336000908152600c6020526040902054156119d8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f6372656174653a207769746864726177206f6c6420746f6b656e73206669727360448201527f74000000000000000000000000000000000000000000000000000000000000006064820152608401610832565b6007811015611a69576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f6372656174653a206c657373207468616e206d696e20616d6f756e74206f662060448201527f37206461797300000000000000000000000000000000000000000000000000006064820152608401610832565b6105b4811115611afb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f6372656174653a20766f74696e67206c6f636b2063616e20626520342079656160448201527f7273206d617800000000000000000000000000000000000000000000000000006064820152608401610832565b610fc03383836123ff565b33600090815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8616845290915281205482811015611bc7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760448201527f207a65726f0000000000000000000000000000000000000000000000000000006064820152608401610832565b611bd4338585840361224c565b5060019392505050565b60065473ffffffffffffffffffffffffffffffffffffffff163314611c5f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b62015f90811115611cf2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603b60248201527f7365744561726c79576974686472617750656e616c7479526174653a2077697460448201527f6864726177616c2070656e616c747920697320746f6f206869676800000000006064820152608401610832565b600a81905560405181907fa7d10353d34f5fe96bad91fa358f55fbea8ad6ee0d30924022d2b58e77f476e390600090a250565b60006107bf3384846127e3565b60065473ffffffffffffffffffffffffffffffffffffffff163314611db3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b600981905560405181907f9a8dc7fb9d13b0f5acaf673226d570d31ec15d8a813fceced1eb36ad11afebc590600090a250565b83421115611e50576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e650000006044820152606401610832565b60007f0000000000000000000000000000000000000000000000000000000000000000888888611e7f8c612fa0565b60408051602081019690965273ffffffffffffffffffffffffffffffffffffffff94851690860152929091166060840152608083015260a082015260c0810186905260e0016040516020818303038152906040528051906020012090506000611ee782612fd5565b90506000611ef78287878761303e565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611f8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e617475726500006044820152606401610832565b611f998a8a8a61224c565b50505050505050505050565b600b54600114612011576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4c4f434b454400000000000000000000000000000000000000000000000000006044820152606401610832565b6000600b819055338152600c60205260409020805442906120b4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f656d657267656e637957697468647261773a206e6f7468696e6720746f20776960448201527f74686472617700000000000000000000000000000000000000000000000000006064820152608401610832565b815460018301548210156120f9576000620186a0600a54836120d691906139c4565b6120e09190613989565b90506120eb81613066565b6120f58183613a01565b9150505b6000600184018190558355610d8b33610d76565b61211c6105b4620151806139c4565b81565b60065473ffffffffffffffffffffffffffffffffffffffff1633146121a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b73ffffffffffffffffffffffffffffffffffffffff8116612243576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152608401610832565b610e2681612f29565b73ffffffffffffffffffffffffffffffffffffffff83166122ee576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f72657373000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff8216612391576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f73730000000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600b5460011461246b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4c4f434b454400000000000000000000000000000000000000000000000000006044820152606401610832565b6000600b81905573ffffffffffffffffffffffffffffffffffffffff84168152600c60205260408120805460018201549192429290826124d5576124af8787610bdd565b87865590506124c186620151806139c4565b6124cb9085613971565b6001860155612680565b856124f7576124e487836108bb565b90506124f08784613971565b8555612680565b86156125ab576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604160248201527f5f6465706f7369743a2063616e6e6f7420696e63726561736520616d6f756e7460448201527f20616e6420657874656e64206c6f636b20696e207468652073616d652074696d60648201527f6500000000000000000000000000000000000000000000000000000000000000608482015260a401610832565b6125b58387610bdd565b90506125c486620151806139c4565b6125ce9083613971565b60018601556125e26105b4620151806139c4565b8486600101546125f29190613a01565b1115612680576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603160248201527f5f6465706f7369743a2063616e6e6f7420657874656e64206c6f636b20746f2060448201527f6d6f7265207468616e20342079656172730000000000000000000000000000006064820152608401610832565b600081116126ea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f4e6f2062656e6566697420746f206c6f636b00000000000000000000000000006044820152606401610832565b8615612732576127327f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1633308a6130ad565b61273c8882613226565b73ffffffffffffffffffffffffffffffffffffffff88166000908152600d602052604081208054839290612771908490613971565b90915550508454600186015460405173ffffffffffffffffffffffffffffffffffffffff8b16927f90890809c654f11d6e72a28fa60149770a0d11ec6c92319d6ceb2bb0a4ea1a15926127cc92918252602082015260400190565b60405180910390a250506001600b55505050505050565b73ffffffffffffffffffffffffffffffffffffffff8316612886576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff8216612929576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260208190526040902054818110156129df576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260208190526040808220858503905591851681529081208054849290612a23908490613971565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051612a8991815260200190565b60405180910390a35b50505050565b60003073ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000016148015612afe57507f000000000000000000000000000000000000000000000000000000000000000046145b15612b2857507f000000000000000000000000000000000000000000000000000000000000000090565b50604080517f00000000000000000000000000000000000000000000000000000000000000006020808301919091527f0000000000000000000000000000000000000000000000000000000000000000828401527f000000000000000000000000000000000000000000000000000000000000000060608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b73ffffffffffffffffffffffffffffffffffffffff8216612c6f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360448201527f73000000000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff821660009081526020819052604090205481811015612d25576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60448201527f63650000000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff83166000908152602081905260408120838303905560028054849290612d61908490613a01565b909155505060405182815260009073ffffffffffffffffffffffffffffffffffffffff8516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a3505050565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790529151600092839290871691612e509190613904565b6000604051808303816000865af19150503d8060008114612e8d576040519150601f19603f3d011682016040523d82523d6000602084013e612e92565b606091505b5091509150818015612ebc575080511580612ebc575080806020019051810190612ebc919061380f565b612f22576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f426f72696e6745524332303a205472616e73666572206661696c6564000000006044820152606401610832565b5050505050565b6006805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b73ffffffffffffffffffffffffffffffffffffffff811660009081526005602052604090208054600181018255905b50919050565b60006107c3612fe2612a98565b836040517f19010000000000000000000000000000000000000000000000000000000000006020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b600080600061304f87878787613346565b9150915061305c8161345e565b5095945050505050565b600854610e269073ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000008116911683612db9565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528481166044830152606480830185905283518084039091018152608490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd00000000000000000000000000000000000000000000000000000000179052915160009283929088169161314c9190613904565b6000604051808303816000865af19150503d8060008114613189576040519150601f19603f3d011682016040523d82523d6000602084013e61318e565b606091505b50915091508180156131b85750805115806131b85750808060200190518101906131b8919061380f565b61321e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f426f72696e6745524332303a205472616e7366657246726f6d206661696c65646044820152606401610832565b505050505050565b73ffffffffffffffffffffffffffffffffffffffff82166132a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f2061646472657373006044820152606401610832565b80600260008282546132b59190613971565b909155505073ffffffffffffffffffffffffffffffffffffffff8216600090815260208190526040812080548392906132ef908490613971565b909155505060405181815273ffffffffffffffffffffffffffffffffffffffff8316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a083111561337d5750600090506003613455565b8460ff16601b1415801561339557508460ff16601c14155b156133a65750600090506004613455565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa1580156133fa573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811661344e57600060019250925050613455565b9150600090505b94509492505050565b600081600481111561347257613472613ac1565b141561347b5750565b600181600481111561348f5761348f613ac1565b14156134f7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f45434453413a20696e76616c6964207369676e617475726500000000000000006044820152606401610832565b600281600481111561350b5761350b613ac1565b1415613573576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e677468006044820152606401610832565b600381600481111561358757613587613ac1565b1415613615576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c60448201527f75650000000000000000000000000000000000000000000000000000000000006064820152608401610832565b600481600481111561362957613629613ac1565b1415610e26576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c60448201527f75650000000000000000000000000000000000000000000000000000000000006064820152608401610832565b803573ffffffffffffffffffffffffffffffffffffffff811681146136db57600080fd5b919050565b803560ff811681146136db57600080fd5b60006020828403121561370357600080fd5b610c06826136b7565b6000806040838503121561371f57600080fd5b613728836136b7565b9150613736602084016136b7565b90509250929050565b60008060006060848603121561375457600080fd5b61375d846136b7565b925061376b602085016136b7565b9150604084013590509250925092565b600080600080600080600060e0888a03121561379657600080fd5b61379f886136b7565b96506137ad602089016136b7565b955060408801359450606088013593506137c9608089016136e0565b925060a0880135915060c0880135905092959891949750929550565b600080604083850312156137f857600080fd5b613801836136b7565b946020939093013593505050565b60006020828403121561382157600080fd5b81518015158114610c0657600080fd5b60006020828403121561384357600080fd5b5035919050565b6000806040838503121561385d57600080fd5b50508035926020909101359150565b60008060008060008060c0878903121561388557600080fd5b8635955060208701359450604087013593506138a3606088016136e0565b92506080870135915060a087013590509295509295509295565b600080600080600060a086880312156138d557600080fd5b85359450602086013593506138ec604087016136e0565b94979396509394606081013594506080013592915050565b60008251613916818460208701613a18565b9190910192915050565b602081526000825180602084015261393f816040850160208701613a18565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160400192915050565b6000821982111561398457613984613a92565b500190565b6000826139bf577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156139fc576139fc613a92565b500290565b600082821015613a1357613a13613a92565b500390565b60005b83811015613a33578181015183820152602001613a1b565b83811115612a925750506000910152565b600181811c90821680613a5857607f821691505b60208210811415612fcf577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fdfea264697066735822122086e177d376c3ffeb68d2d7a1237490497b5aacdc3e9d0398c1d9fc723c3493e964736f6c63430008070033000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000e3e43888fa7803cdc7bea478ab327cf1a0dc11a70000000000000000000000000000000000000000000000008ac7230489e80000000000000000000000000000000000000000000000000000000000000000001256657374656420466c61726520546f6b656e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000077665464c41524500000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106102ff5760003560e01c80636766e2db1161019c578063a8a4a376116100ee578063d08a12ff11610097578063dd62ed3e11610071578063dd62ed3e146106bf578063ee00ef3a14610705578063f2fde38b1461070d57600080fd5b8063d08a12ff14610691578063d505accf146106a4578063db2e21bc146106b757600080fd5b8063ae6ef65f116100c8578063ae6ef65f14610613578063bf0ae48c1461061c578063cbf9fe5f1461065557600080fd5b8063a8a4a376146105e3578063a9059cbb146105f6578063aaf5eb681461060957600080fd5b80638da5cb5b116101505780639f7b45791161012a5780639f7b4579146105b4578063a25b39b7146105c7578063a457c2d7146105d057600080fd5b80638da5cb5b1461057b57806395d89b41146105995780639655b433146105a157600080fd5b8063715018a611610181578063715018a61461054d57806379cc6790146105555780637ecebe001461056857600080fd5b80636766e2db1461050457806370a082311461051757600080fd5b806323b872dd11610255578063395093511161020957806342966c68116101e357806342966c68146104cb57806347e7ef24146104de5780635b7d8f05146104f157600080fd5b8063395093511461049d5780633b886979146104b05780633ccfd60b146104c357600080fd5b8063308097b21161023a578063308097b214610466578063313ce567146104865780633644e5151461049557600080fd5b806323b872dd1461041d5780632bfc94671461043057600080fd5b806315456eba116102b75780631c1706ca116102915780631c1706ca146103ed5780631c5a0914146104005780632060176b1461041357600080fd5b806315456eba146103c75780631767c433146103dc57806318160ddd146103e557600080fd5b80630f45cc81116102e85780630f45cc81146103455780630f51c09c14610391578063113f6653146103a757600080fd5b806306fdde0314610304578063095ea7b314610322575b600080fd5b61030c610720565b6040516103199190613920565b60405180910390f35b6103356103303660046137e5565b6107b2565b6040519015158152602001610319565b61036c7f000000000000000000000000e3e43888fa7803cdc7bea478ab327cf1a0dc11a781565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610319565b610399600781565b604051908152602001610319565b6103996103b53660046136f1565b600d6020526000908152604090205481565b6103da6103d5366004613831565b6107c9565b005b6103996105b481565b600254610399565b6103996103fb36600461384a565b6108bb565b6103da61040e366004613831565b610928565b61039962015f9081565b61033561042b36600461373f565b610a9f565b61039961043e3660046136f1565b73ffffffffffffffffffffffffffffffffffffffff166000908152600c602052604090205490565b60085461036c9073ffffffffffffffffffffffffffffffffffffffff1681565b60405160128152602001610319565b610399610b85565b6103356104ab3660046137e5565b610b94565b6103996104be36600461384a565b610bdd565b6103da610c0d565b6103da6104d9366004613831565b610e1c565b6103da6104ec3660046137e5565b610e29565b6103da6104ff3660046136f1565b610fc9565b6103da6105123660046138bd565b61115e565b6103996105253660046136f1565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b6103da61133b565b6103da6105633660046137e5565b6113c8565b6103996105763660046136f1565b611481565b60065473ffffffffffffffffffffffffffffffffffffffff1661036c565b61030c6114ac565b6103da6105af36600461386c565b6114bb565b6103da6105c236600461384a565b61185d565b61039960095481565b6103356105de3660046137e5565b611b06565b6103da6105f1366004613831565b611bde565b6103356106043660046137e5565b611d25565b610399620186a081565b610399600a5481565b61039961062a3660046136f1565b73ffffffffffffffffffffffffffffffffffffffff166000908152600c602052604090206001015490565b61067c6106633660046136f1565b600c602052600090815260409020805460019091015482565b60408051928352602083019190915201610319565b6103da61069f366004613831565b611d32565b6103da6106b236600461377b565b611de6565b6103da611fa5565b6103996106cd36600461370c565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260016020908152604080832093909416825291909152205490565b61039961210d565b6103da61071b3660046136f1565b61211f565b60606003805461072f90613a44565b80601f016020809104026020016040519081016040528092919081815260200182805461075b90613a44565b80156107a85780601f1061077d576101008083540402835291602001916107a8565b820191906000526020600020905b81548152906001019060200180831161078b57829003601f168201915b5050505050905090565b60006107bf33848461224c565b5060015b92915050565b6002600754141561083b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0060448201526064015b60405180910390fd5b6002600755806108a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f696e637265617365416d6f756e743a20696e76616c696420616d6f756e7400006044820152606401610832565b6108b3338260006123ff565b506001600755565b6000428083116108cf5760009150506107c3565b60006108db8285613a01565b90506108ec6105b4620151806139c4565b81106108fc5784925050506107c3565b61090b6105b4620151806139c4565b61091582876139c4565b61091f9190613989565b95945050505050565b60026007541415610995576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b600260075580610a01576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f696e6372656173654c6f636b3a20696e76616c696420616d6f756e74000000006044820152606401610832565b6105b4811115610a93576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f696e6372656173654c6f636b3a20766f74696e67206c6f636b2063616e20626560448201527f2034207965617273206d617800000000000000000000000000000000000000006064820152608401610832565b6108b3336000836123ff565b6000610aac8484846127e3565b73ffffffffffffffffffffffffffffffffffffffff8416600090815260016020908152604080832033845290915290205482811015610b6d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206160448201527f6c6c6f77616e63650000000000000000000000000000000000000000000000006064820152608401610832565b610b7a853385840361224c565b506001949350505050565b6000610b8f612a98565b905090565b33600081815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716845290915281205490916107bf918590610bd8908690613971565b61224c565b60006105b48210610bef5750816107c3565b6105b4610bfc83856139c4565b610c069190613989565b9392505050565b600b54600114610c79576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4c4f434b454400000000000000000000000000000000000000000000000000006044820152606401610832565b6000600b819055338152600c6020526040902080544290610cf6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f77697468647261773a206e6f7468696e6720746f2077697468647261770000006044820152606401610832565b8160010154811015610d64576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f77697468647261773a2075736572207374696c6c206c6f636b656400000000006044820152606401610832565b81546000600184018190558355610d8b335b336000908152600d6020526040902054612bcc565b336000818152600d6020526040812055610ddd907f000000000000000000000000e3e43888fa7803cdc7bea478ab327cf1a0dc11a773ffffffffffffffffffffffffffffffffffffffff169083612db9565b60405181815233907f884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a94243649060200160405180910390a250506001600b5550565b610e263382612bcc565b50565b60026007541415610e96576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b600260075580610f02576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f6465706f7369743a20696e76616c696420616d6f756e740000000000000000006044820152606401610832565b73ffffffffffffffffffffffffffffffffffffffff82166000908152600c6020526040902054610fb4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f6465706f7369743a206e6f206c6f636b20666f7220746869732061646472657360448201527f73000000000000000000000000000000000000000000000000000000000000006064820152608401610832565b610fc0828260006123ff565b50506001600755565b60065473ffffffffffffffffffffffffffffffffffffffff16331461104a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b60085473ffffffffffffffffffffffffffffffffffffffff166110ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f73657450656e616c7479436f6c6c6563746f723a2073657420612076616c696460448201527f20616464726573730000000000000000000000000000000000000000000000006064820152608401610832565b600880547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff83169081179091556040517f2541601c97bce42b47813f2be715ba4eb0a571f2aafaf35cda2054137d9a79af90600090a250565b600260075414156111cb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b600260075584611237576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f696e637265617365416d6f756e743a20696e76616c696420616d6f756e7400006044820152606401610832565b73ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000e3e43888fa7803cdc7bea478ab327cf1a0dc11a71663d505accf336040517fffffffff0000000000000000000000000000000000000000000000000000000060e084901b16815273ffffffffffffffffffffffffffffffffffffffff9091166004820152306024820152604481018890526064810187905260ff8616608482015260a4810185905260c4810184905260e401600060405180830381600087803b15801561130557600080fd5b505af1158015611319573d6000803e3d6000fd5b5050505061132f6113273390565b8660006123ff565b50506001600755505050565b60065473ffffffffffffffffffffffffffffffffffffffff1633146113bc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b6113c66000612f29565b565b60006113d483336106cd565b905081811015611465576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f7760448201527f616e6365000000000000000000000000000000000000000000000000000000006064820152608401610832565b611472833384840361224c565b61147c8383612bcc565b505050565b73ffffffffffffffffffffffffffffffffffffffff81166000908152600560205260408120546107c3565b60606004805461072f90613a44565b60026007541415611528576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b6002600755600954861015611599576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f6372656174653a206c657373207468616e206d696e20616d6f756e74000000006044820152606401610832565b336000908152600c602052604090205415611636576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f6372656174653a207769746864726177206f6c6420746f6b656e73206669727360448201527f74000000000000000000000000000000000000000000000000000000000000006064820152608401610832565b60078510156116c7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f6372656174653a206c657373207468616e206d696e20616d6f756e74206f662060448201527f37206461797300000000000000000000000000000000000000000000000000006064820152608401610832565b6105b4851115611759576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f6372656174653a20766f74696e67206c6f636b2063616e20626520342079656160448201527f7273206d617800000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000e3e43888fa7803cdc7bea478ab327cf1a0dc11a71663d505accf336040517fffffffff0000000000000000000000000000000000000000000000000000000060e084901b16815273ffffffffffffffffffffffffffffffffffffffff9091166004820152306024820152604481018990526064810187905260ff8616608482015260a4810185905260c4810184905260e401600060405180830381600087803b15801561182757600080fd5b505af115801561183b573d6000803e3d6000fd5b505050506118506118493390565b87876123ff565b5050600160075550505050565b600260075414156118ca576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610832565b600260075560095482101561193b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f6372656174653a206c657373207468616e206d696e20616d6f756e74000000006044820152606401610832565b336000908152600c6020526040902054156119d8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f6372656174653a207769746864726177206f6c6420746f6b656e73206669727360448201527f74000000000000000000000000000000000000000000000000000000000000006064820152608401610832565b6007811015611a69576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f6372656174653a206c657373207468616e206d696e20616d6f756e74206f662060448201527f37206461797300000000000000000000000000000000000000000000000000006064820152608401610832565b6105b4811115611afb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f6372656174653a20766f74696e67206c6f636b2063616e20626520342079656160448201527f7273206d617800000000000000000000000000000000000000000000000000006064820152608401610832565b610fc03383836123ff565b33600090815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8616845290915281205482811015611bc7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760448201527f207a65726f0000000000000000000000000000000000000000000000000000006064820152608401610832565b611bd4338585840361224c565b5060019392505050565b60065473ffffffffffffffffffffffffffffffffffffffff163314611c5f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b62015f90811115611cf2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603b60248201527f7365744561726c79576974686472617750656e616c7479526174653a2077697460448201527f6864726177616c2070656e616c747920697320746f6f206869676800000000006064820152608401610832565b600a81905560405181907fa7d10353d34f5fe96bad91fa358f55fbea8ad6ee0d30924022d2b58e77f476e390600090a250565b60006107bf3384846127e3565b60065473ffffffffffffffffffffffffffffffffffffffff163314611db3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b600981905560405181907f9a8dc7fb9d13b0f5acaf673226d570d31ec15d8a813fceced1eb36ad11afebc590600090a250565b83421115611e50576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e650000006044820152606401610832565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888611e7f8c612fa0565b60408051602081019690965273ffffffffffffffffffffffffffffffffffffffff94851690860152929091166060840152608083015260a082015260c0810186905260e0016040516020818303038152906040528051906020012090506000611ee782612fd5565b90506000611ef78287878761303e565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611f8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e617475726500006044820152606401610832565b611f998a8a8a61224c565b50505050505050505050565b600b54600114612011576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4c4f434b454400000000000000000000000000000000000000000000000000006044820152606401610832565b6000600b819055338152600c60205260409020805442906120b4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f656d657267656e637957697468647261773a206e6f7468696e6720746f20776960448201527f74686472617700000000000000000000000000000000000000000000000000006064820152608401610832565b815460018301548210156120f9576000620186a0600a54836120d691906139c4565b6120e09190613989565b90506120eb81613066565b6120f58183613a01565b9150505b6000600184018190558355610d8b33610d76565b61211c6105b4620151806139c4565b81565b60065473ffffffffffffffffffffffffffffffffffffffff1633146121a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610832565b73ffffffffffffffffffffffffffffffffffffffff8116612243576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152608401610832565b610e2681612f29565b73ffffffffffffffffffffffffffffffffffffffff83166122ee576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f72657373000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff8216612391576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f73730000000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600b5460011461246b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4c4f434b454400000000000000000000000000000000000000000000000000006044820152606401610832565b6000600b81905573ffffffffffffffffffffffffffffffffffffffff84168152600c60205260408120805460018201549192429290826124d5576124af8787610bdd565b87865590506124c186620151806139c4565b6124cb9085613971565b6001860155612680565b856124f7576124e487836108bb565b90506124f08784613971565b8555612680565b86156125ab576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604160248201527f5f6465706f7369743a2063616e6e6f7420696e63726561736520616d6f756e7460448201527f20616e6420657874656e64206c6f636b20696e207468652073616d652074696d60648201527f6500000000000000000000000000000000000000000000000000000000000000608482015260a401610832565b6125b58387610bdd565b90506125c486620151806139c4565b6125ce9083613971565b60018601556125e26105b4620151806139c4565b8486600101546125f29190613a01565b1115612680576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603160248201527f5f6465706f7369743a2063616e6e6f7420657874656e64206c6f636b20746f2060448201527f6d6f7265207468616e20342079656172730000000000000000000000000000006064820152608401610832565b600081116126ea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f4e6f2062656e6566697420746f206c6f636b00000000000000000000000000006044820152606401610832565b8615612732576127327f000000000000000000000000e3e43888fa7803cdc7bea478ab327cf1a0dc11a773ffffffffffffffffffffffffffffffffffffffff1633308a6130ad565b61273c8882613226565b73ffffffffffffffffffffffffffffffffffffffff88166000908152600d602052604081208054839290612771908490613971565b90915550508454600186015460405173ffffffffffffffffffffffffffffffffffffffff8b16927f90890809c654f11d6e72a28fa60149770a0d11ec6c92319d6ceb2bb0a4ea1a15926127cc92918252602082015260400190565b60405180910390a250506001600b55505050505050565b73ffffffffffffffffffffffffffffffffffffffff8316612886576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff8216612929576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260208190526040902054818110156129df576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260208190526040808220858503905591851681529081208054849290612a23908490613971565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051612a8991815260200190565b60405180910390a35b50505050565b60003073ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000008c98ad2d4856bec0a0eaf18c2a06e7201613f9016148015612afe57507f000000000000000000000000000000000000000000000000000000000000050446145b15612b2857507f2b3c3683a680dfeb6f361cfc03cfc37df97566d2dc22620d0bd282792eb2f43e90565b50604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6020808301919091527fa8fa0a72427c74773d1451e75b50c17fb3fbe88f34970528801e5e9fc8674071828401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b73ffffffffffffffffffffffffffffffffffffffff8216612c6f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360448201527f73000000000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff821660009081526020819052604090205481811015612d25576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60448201527f63650000000000000000000000000000000000000000000000000000000000006064820152608401610832565b73ffffffffffffffffffffffffffffffffffffffff83166000908152602081905260408120838303905560028054849290612d61908490613a01565b909155505060405182815260009073ffffffffffffffffffffffffffffffffffffffff8516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a3505050565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790529151600092839290871691612e509190613904565b6000604051808303816000865af19150503d8060008114612e8d576040519150601f19603f3d011682016040523d82523d6000602084013e612e92565b606091505b5091509150818015612ebc575080511580612ebc575080806020019051810190612ebc919061380f565b612f22576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f426f72696e6745524332303a205472616e73666572206661696c6564000000006044820152606401610832565b5050505050565b6006805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b73ffffffffffffffffffffffffffffffffffffffff811660009081526005602052604090208054600181018255905b50919050565b60006107c3612fe2612a98565b836040517f19010000000000000000000000000000000000000000000000000000000000006020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b600080600061304f87878787613346565b9150915061305c8161345e565b5095945050505050565b600854610e269073ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000e3e43888fa7803cdc7bea478ab327cf1a0dc11a78116911683612db9565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528481166044830152606480830185905283518084039091018152608490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd00000000000000000000000000000000000000000000000000000000179052915160009283929088169161314c9190613904565b6000604051808303816000865af19150503d8060008114613189576040519150601f19603f3d011682016040523d82523d6000602084013e61318e565b606091505b50915091508180156131b85750805115806131b85750808060200190518101906131b8919061380f565b61321e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f426f72696e6745524332303a205472616e7366657246726f6d206661696c65646044820152606401610832565b505050505050565b73ffffffffffffffffffffffffffffffffffffffff82166132a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f2061646472657373006044820152606401610832565b80600260008282546132b59190613971565b909155505073ffffffffffffffffffffffffffffffffffffffff8216600090815260208190526040812080548392906132ef908490613971565b909155505060405181815273ffffffffffffffffffffffffffffffffffffffff8316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a083111561337d5750600090506003613455565b8460ff16601b1415801561339557508460ff16601c14155b156133a65750600090506004613455565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa1580156133fa573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811661344e57600060019250925050613455565b9150600090505b94509492505050565b600081600481111561347257613472613ac1565b141561347b5750565b600181600481111561348f5761348f613ac1565b14156134f7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f45434453413a20696e76616c6964207369676e617475726500000000000000006044820152606401610832565b600281600481111561350b5761350b613ac1565b1415613573576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e677468006044820152606401610832565b600381600481111561358757613587613ac1565b1415613615576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c60448201527f75650000000000000000000000000000000000000000000000000000000000006064820152608401610832565b600481600481111561362957613629613ac1565b1415610e26576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c60448201527f75650000000000000000000000000000000000000000000000000000000000006064820152608401610832565b803573ffffffffffffffffffffffffffffffffffffffff811681146136db57600080fd5b919050565b803560ff811681146136db57600080fd5b60006020828403121561370357600080fd5b610c06826136b7565b6000806040838503121561371f57600080fd5b613728836136b7565b9150613736602084016136b7565b90509250929050565b60008060006060848603121561375457600080fd5b61375d846136b7565b925061376b602085016136b7565b9150604084013590509250925092565b600080600080600080600060e0888a03121561379657600080fd5b61379f886136b7565b96506137ad602089016136b7565b955060408801359450606088013593506137c9608089016136e0565b925060a0880135915060c0880135905092959891949750929550565b600080604083850312156137f857600080fd5b613801836136b7565b946020939093013593505050565b60006020828403121561382157600080fd5b81518015158114610c0657600080fd5b60006020828403121561384357600080fd5b5035919050565b6000806040838503121561385d57600080fd5b50508035926020909101359150565b60008060008060008060c0878903121561388557600080fd5b8635955060208701359450604087013593506138a3606088016136e0565b92506080870135915060a087013590509295509295509295565b600080600080600060a086880312156138d557600080fd5b85359450602086013593506138ec604087016136e0565b94979396509394606081013594506080013592915050565b60008251613916818460208701613a18565b9190910192915050565b602081526000825180602084015261393f816040850160208701613a18565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160400192915050565b6000821982111561398457613984613a92565b500190565b6000826139bf577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156139fc576139fc613a92565b500290565b600082821015613a1357613a13613a92565b500390565b60005b83811015613a33578181015183820152602001613a1b565b83811115612a925750506000910152565b600181811c90821680613a5857607f821691505b60208210811415612fcf577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fdfea264697066735822122086e177d376c3ffeb68d2d7a1237490497b5aacdc3e9d0398c1d9fc723c3493e964736f6c63430008070033

000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000e3e43888fa7803cdc7bea478ab327cf1a0dc11a70000000000000000000000000000000000000000000000008ac7230489e80000000000000000000000000000000000000000000000000000000000000000001256657374656420466c61726520546f6b656e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000077665464c41524500000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _tokenName (string): Vested Flare Token
Arg [1] : _tokenSymbol (string): veFLARE
Arg [2] : _lockedToken (address): 0xE3e43888fa7803cDC7BEA478aB327cF1A0dc11a7
Arg [3] : _minLockedAmount (uint256): 10000000000000000000

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [2] : 000000000000000000000000e3e43888fa7803cdc7bea478ab327cf1a0dc11a7
Arg [3] : 0000000000000000000000000000000000000000000000008ac7230489e80000
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [5] : 56657374656420466c61726520546f6b656e0000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000007
Arg [7] : 7665464c41524500000000000000000000000000000000000000000000000000

50246:9702:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6401:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8568:169;;;;;;:::i;:::-;;:::i;:::-;;;6273:14:1;;6266:22;6248:41;;6236:2;6221:18;8568:169:0;6108:187:1;50713:36:0;;;;;;;;4650:42:1;4638:55;;;4620:74;;4608:2;4593:18;50713:36:0;4474:226:1;50423:35:0;;50457:1;50423:35;;;;;6446:25:1;;;6434:2;6419:18;50423:35:0;6300:177:1;51065:48:0;;;;;;:::i;:::-;;;;;;;;;;;;;;55393:187;;;;;;:::i;:::-;;:::i;:::-;;50465:41;;50499:7;50465:41;;7521:108;7609:12;;7521:108;;52528:429;;;;;;:::i;:::-;;:::i;55588:301::-;;;;;;:::i;:::-;;:::i;50583:54::-;;50632:5;50583:54;;9219:492;;;;;;:::i;:::-;;:::i;52178:169::-;;;;;;:::i;:::-;52319:13;;52287:7;52319:13;;;:6;:13;;;;;:20;;52178:169;50756:31;;;;;;;;;7363:93;;;7446:2;24524:36:1;;24512:2;24497:18;7363:93:0;24382:184:1;39132:115:0;;;:::i;10120:215::-;;;;;;:::i;:::-;;:::i;52965:266::-;;;;;;:::i;:::-;;:::i;55897:616::-;;;:::i;16745:91::-;;;;;;:::i;:::-;;:::i;53239:294::-;;;;;;:::i;:::-;;:::i;59666:279::-;;;;;;:::i;:::-;;:::i;54891:494::-;;;;;;:::i;:::-;;:::i;7692:127::-;;;;;;:::i;:::-;7793:18;;7766:7;7793:18;;;;;;;;;;;;7692:127;43773:103;;;:::i;17155:368::-;;;;;;:::i;:::-;;:::i;38874:128::-;;;;;;:::i;:::-;;:::i;43122:87::-;43195:6;;;;43122:87;;6620:104;;;:::i;53541:809::-;;;;;;:::i;:::-;;:::i;54358:525::-;;;;;;:::i;:::-;;:::i;50794:30::-;;;;;;10838:413;;;;;;:::i;:::-;;:::i;59226:432::-;;;;;;:::i;:::-;;:::i;8032:175::-;;;;;;:::i;:::-;;:::i;50651:39::-;;50687:3;50651:39;;50831;;;;;;52355:165;;;;;;:::i;:::-;52495:13;;52463:7;52495:13;;;:6;:13;;;;;:17;;;;52355:165;51011:47;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;24303:25:1;;;24359:2;24344:18;;24337:34;;;;24276:18;51011:47:0;24129:248:1;59040:178:0;;;;;;:::i;:::-;;:::i;38163:645::-;;;;;;:::i;:::-;;:::i;56581:750::-;;;:::i;8270:151::-;;;;;;:::i;:::-;8386:18;;;;8359:7;8386:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8270:151;50515:50;;;:::i;44031:201::-;;;;;;:::i;:::-;;:::i;6401:100::-;6455:13;6488:5;6481:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6401:100;:::o;8568:169::-;8651:4;8668:39;4283:10;8691:7;8700:6;8668:8;:39::i;:::-;-1:-1:-1;8725:4:0;8568:169;;;;;:::o;55393:187::-;41252:1;41850:7;;:19;;41842:63;;;;;;;22671:2:1;41842:63:0;;;22653:21:1;22710:2;22690:18;;;22683:30;22749:33;22729:18;;;22722:61;22800:18;;41842:63:0;;;;;;;;;41252:1;41983:7;:18;55483:10;55475:53:::1;;;::::0;::::1;::::0;;9427:2:1;55475:53:0::1;::::0;::::1;9409:21:1::0;9466:2;9446:18;;;9439:30;9505:32;9485:18;;;9478:60;9555:18;;55475:53:0::1;9225:354:1::0;55475:53:0::1;55539:33;4283:10:::0;55562:6:::1;55570:1;55539:8;:33::i;:::-;-1:-1:-1::0;41208:1:0;42162:7;:22;55393:187::o;52528:429::-;52662:7;52702:15;52732:19;;;52728:33;;52760:1;52753:8;;;;;52728:33;52772:22;52797:18;52811:4;52797:11;:18;:::i;:::-;52772:43;-1:-1:-1;50549:16:0;50499:7;50559:6;50549:16;:::i;:::-;52830:14;:25;52826:71;;52879:6;52872:13;;;;;;52826:71;50549:16;50499:7;50559:6;50549:16;:::i;:::-;52915:23;52924:14;52915:6;:23;:::i;:::-;52914:35;;;;:::i;:::-;52907:42;52528:429;-1:-1:-1;;;;;52528:429:0:o;55588:301::-;41252:1;41850:7;;:19;;41842:63;;;;;;;22671:2:1;41842:63:0;;;22653:21:1;22710:2;22690:18;;;22683:30;22749:33;22729:18;;;22722:61;22800:18;;41842:63:0;22469:355:1;41842:63:0;41252:1;41983:7;:18;55675:9;55667:50:::1;;;::::0;::::1;::::0;;12915:2:1;55667:50:0::1;::::0;::::1;12897:21:1::0;12954:2;12934:18;;;12927:30;12993;12973:18;;;12966:58;13041:18;;55667:50:0::1;12713:352:1::0;55667:50:0::1;50499:7;55750:5;:16;;55728:110;;;::::0;::::1;::::0;;10144:2:1;55728:110:0::1;::::0;::::1;10126:21:1::0;10183:2;10163:18;;;10156:30;10222:34;10202:18;;;10195:62;10293:14;10273:18;;;10266:42;10325:19;;55728:110:0::1;9942:408:1::0;55728:110:0::1;55849:32;4283:10:::0;55872:1:::1;55875:5;55849:8;:32::i;9219:492::-:0;9359:4;9376:36;9386:6;9394:9;9405:6;9376:9;:36::i;:::-;9452:19;;;9425:24;9452:19;;;:11;:19;;;;;;;;4283:10;9452:33;;;;;;;;9504:26;;;;9496:79;;;;;;;17600:2:1;9496:79:0;;;17582:21:1;17639:2;17619:18;;;17612:30;17678:34;17658:18;;;17651:62;17749:10;17729:18;;;17722:38;17777:19;;9496:79:0;17398:404:1;9496:79:0;9611:57;9620:6;4283:10;9661:6;9642:16;:25;9611:8;:57::i;:::-;-1:-1:-1;9699:4:0;;9219:492;-1:-1:-1;;;;9219:492:0:o;39132:115::-;39192:7;39219:20;:18;:20::i;:::-;39212:27;;39132:115;:::o;10120:215::-;4283:10;10208:4;10257:25;;;:11;:25;;;;;;;;;:34;;;;;;;;;;10208:4;;10225:80;;10248:7;;10257:47;;10294:10;;10257:47;:::i;:::-;10225:8;:80::i;52965:266::-;53093:7;50499;53122:5;:16;53118:62;;-1:-1:-1;53162:6:0;53155:13;;53118:62;50499:7;53198:14;53207:5;53198:6;:14;:::i;:::-;53197:26;;;;:::i;:::-;53190:33;52965:266;-1:-1:-1;;;52965:266:0:o;55897:616::-;51202:9;;51215:1;51202:14;51194:33;;;;;;;22337:2:1;51194:33:0;;;22319:21:1;22376:1;22356:18;;;22349:29;22414:8;22394:18;;;22387:36;22440:18;;51194:33:0;22135:329:1;51194:33:0;51250:1;51238:9;:13;;;4283:10;55983:20;;:6:::1;:20;::::0;;;;56063:14;;56029:15:::1;::::0;56055:60:::1;;;::::0;::::1;::::0;;9786:2:1;56055:60:0::1;::::0;::::1;9768:21:1::0;9825:2;9805:18;;;9798:30;9864:31;9844:18;;;9837:59;9913:18;;56055:60:0::1;9584:353:1::0;56055:60:0::1;56142:7;:11;;;56134:4;:19;;56126:59;;;::::0;::::1;::::0;;14037:2:1;56126:59:0::1;::::0;::::1;14019:21:1::0;14076:2;14056:18;;;14049:30;14115:29;14095:18;;;14088:57;14162:18;;56126:59:0::1;13835:351:1::0;56126:59:0::1;56214:14:::0;;56196:15:::1;56239:11;::::0;::::1;:15:::0;;;56265:18;;56294:48:::1;4283:10:::0;56300:12:::1;4283:10:::0;56314:27:::1;::::0;;;:13:::1;:27;::::0;;;;;56294:5:::1;:48::i;:::-;4283:10:::0;56383:1:::1;56353:27:::0;;;:13:::1;:27;::::0;;;;:31;56395:61:::1;::::0;56408:11:::1;56353:27;56395:38;::::0;56448:7;56395:38:::1;:61::i;:::-;56474:31;::::0;6446:25:1;;;4283:10:0;;56474:31:::1;::::0;6434:2:1;6419:18;56474:31:0::1;;;;;;;-1:-1:-1::0;;51286:1:0;51274:9;:13;-1:-1:-1;55897:616:0:o;16745:91::-;16801:27;4283:10;16821:6;16801:5;:27::i;:::-;16745:91;:::o;53239:294::-;41252:1;41850:7;;:19;;41842:63;;;;;;;22671:2:1;41842:63:0;;;22653:21:1;22710:2;22690:18;;;22683:30;22749:33;22729:18;;;22722:61;22800:18;;41842:63:0;22469:355:1;41842:63:0;41252:1;41983:7;:18;53369:10;53361:46:::1;;;::::0;::::1;::::0;;23031:2:1;53361:46:0::1;::::0;::::1;23013:21:1::0;23070:2;23050:18;;;23043:30;23109:25;23089:18;;;23082:53;23152:18;;53361:46:0::1;22829:347:1::0;53361:46:0::1;53426:13;::::0;::::1;53449:1;53426:13:::0;;;:6:::1;:13;::::0;;;;:20;53418:70:::1;;;::::0;::::1;::::0;;16079:2:1;53418:70:0::1;::::0;::::1;16061:21:1::0;16118:2;16098:18;;;16091:30;16157:34;16137:18;;;16130:62;16228:3;16208:18;;;16201:31;16249:19;;53418:70:0::1;15877:397:1::0;53418:70:0::1;53499:26;53508:5;53515:6;53523:1;53499:8;:26::i;:::-;-1:-1:-1::0;;41208:1:0;42162:7;:22;53239:294::o;59666:279::-;43195:6;;43342:23;43195:6;4283:10;43342:23;43334:68;;;;;;;18009:2:1;43334:68:0;;;17991:21:1;;;18028:18;;;18021:30;18087:34;18067:18;;;18060:62;18139:18;;43334:68:0;17807:356:1;43334:68:0;59762:16:::1;::::0;:30:::1;:16;59740:120;;;::::0;::::1;::::0;;18370:2:1;59740:120:0::1;::::0;::::1;18352:21:1::0;18409:2;18389:18;;;18382:30;18448:34;18428:18;;;18421:62;18519:10;18499:18;;;18492:38;18547:19;;59740:120:0::1;18168:404:1::0;59740:120:0::1;59871:16;:24:::0;;;::::1;;::::0;::::1;::::0;;::::1;::::0;;;59911:26:::1;::::0;::::1;::::0;-1:-1:-1;;59911:26:0::1;59666:279:::0;:::o;54891:494::-;41252:1;41850:7;;:19;;41842:63;;;;;;;22671:2:1;41842:63:0;;;22653:21:1;22710:2;22690:18;;;22683:30;22749:33;22729:18;;;22722:61;22800:18;;41842:63:0;22469:355:1;41842:63:0;41252:1;41983:7;:18;55083:10;55075:53:::1;;;::::0;::::1;::::0;;9427:2:1;55075:53:0::1;::::0;::::1;9409:21:1::0;9466:2;9446:18;;;9439:30;9505:32;9485:18;;;9478:60;9555:18;;55075:53:0::1;9225:354:1::0;55075:53:0::1;55141:32;55154:11;55141:32;;4283:10:::0;55141:190:::1;::::0;;::::1;::::0;;;;;;5429:42:1;5498:15;;;55141:190:0::1;::::0;::::1;5480:34:1::0;55223:4:0::1;5530:18:1::0;;;5523:43;5582:18;;;5575:34;;;5625:18;;;5618:34;;;5701:4;5689:17;;5668:19;;;5661:46;5723:19;;;5716:35;;;5767:19;;;5760:35;;;5391:19;;55141:190:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;55344:33;55353:12;4283:10:::0;;4203:98;55353:12:::1;55367:6;55375:1;55344:8;:33::i;:::-;-1:-1:-1::0;;41208:1:0;42162:7;:22;-1:-1:-1;;;54891:494:0:o;43773:103::-;43195:6;;43342:23;43195:6;4283:10;43342:23;43334:68;;;;;;;18009:2:1;43334:68:0;;;17991:21:1;;;18028:18;;;18021:30;18087:34;18067:18;;;18060:62;18139:18;;43334:68:0;17807:356:1;43334:68:0;43838:30:::1;43865:1;43838:18;:30::i;:::-;43773:103::o:0;17155:368::-;17232:24;17259:32;17269:7;4283:10;8270:151;:::i;17259:32::-;17232:59;;17330:6;17310:16;:26;;17302:75;;;;;;;18779:2:1;17302:75:0;;;18761:21:1;18818:2;18798:18;;;18791:30;18857:34;18837:18;;;18830:62;18928:6;18908:18;;;18901:34;18952:19;;17302:75:0;18577:400:1;17302:75:0;17413:58;17422:7;4283:10;17464:6;17445:16;:25;17413:8;:58::i;:::-;17493:22;17499:7;17508:6;17493:5;:22::i;:::-;17221:302;17155:368;;:::o;38874:128::-;38970:14;;;38943:7;38970:14;;;:7;:14;;;;;36394;38970:24;36302:114;6620:104;6676:13;6709:7;6702:14;;;;;:::i;53541:809::-;41252:1;41850:7;;:19;;41842:63;;;;;;;22671:2:1;41842:63:0;;;22653:21:1;22710:2;22690:18;;;22683:30;22749:33;22729:18;;;22722:61;22800:18;;41842:63:0;22469:355:1;41842:63:0;41252:1;41983:7;:18;53759:15:::1;::::0;53749:25;::::1;;53741:66;;;::::0;::::1;::::0;;16481:2:1;53741:66:0::1;::::0;::::1;16463:21:1::0;16520:2;16500:18;;;16493:30;16559;16539:18;;;16532:58;16607:18;;53741:66:0::1;16279:352:1::0;53741:66:0::1;4283:10:::0;53840:20:::1;::::0;;;:6:::1;:20;::::0;;;;:27;:32;53818:115:::1;;;::::0;::::1;::::0;;14800:2:1;53818:115:0::1;::::0;::::1;14782:21:1::0;14839:2;14819:18;;;14812:30;14878:34;14858:18;;;14851:62;14949:3;14929:18;;;14922:31;14970:19;;53818:115:0::1;14598:397:1::0;53818:115:0::1;50457:1;53952:5;:16;;53944:67;;;::::0;::::1;::::0;;19184:2:1;53944:67:0::1;::::0;::::1;19166:21:1::0;19223:2;19203:18;;;19196:30;19262:34;19242:18;;;19235:62;19333:8;19313:18;;;19306:36;19359:19;;53944:67:0::1;18982:402:1::0;53944:67:0::1;50499:7;54030:5;:16;;54022:67;;;::::0;::::1;::::0;;13272:2:1;54022:67:0::1;::::0;::::1;13254:21:1::0;13311:2;13291:18;;;13284:30;13350:34;13330:18;;;13323:62;13421:8;13401:18;;;13394:36;13447:19;;54022:67:0::1;13070:402:1::0;54022:67:0::1;54102:32;54115:11;54102:32;;4283:10:::0;54102:190:::1;::::0;;::::1;::::0;;;;;;5429:42:1;5498:15;;;54102:190:0::1;::::0;::::1;5480:34:1::0;54184:4:0::1;5530:18:1::0;;;5523:43;5582:18;;;5575:34;;;5625:18;;;5618:34;;;5701:4;5689:17;;5668:19;;;5661:46;5723:19;;;5716:35;;;5767:19;;;5760:35;;;5391:19;;54102:190:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;54305:37;54314:12;4283:10:::0;;4203:98;54314:12:::1;54328:6;54336:5;54305:8;:37::i;:::-;-1:-1:-1::0;;41208:1:0;42162:7;:22;-1:-1:-1;;;;53541:809:0:o;54358:525::-;41252:1;41850:7;;:19;;41842:63;;;;;;;22671:2:1;41842:63:0;;;22653:21:1;22710:2;22690:18;;;22683:30;22749:33;22729:18;;;22722:61;22800:18;;41842:63:0;22469:355:1;41842:63:0;41252:1;41983:7;:18;54497:15:::1;::::0;54487:25;::::1;;54479:66;;;::::0;::::1;::::0;;16481:2:1;54479:66:0::1;::::0;::::1;16463:21:1::0;16520:2;16500:18;;;16493:30;16559;16539:18;;;16532:58;16607:18;;54479:66:0::1;16279:352:1::0;54479:66:0::1;4283:10:::0;54578:20:::1;::::0;;;:6:::1;:20;::::0;;;;:27;:32;54556:115:::1;;;::::0;::::1;::::0;;14800:2:1;54556:115:0::1;::::0;::::1;14782:21:1::0;14839:2;14819:18;;;14812:30;14878:34;14858:18;;;14851:62;14949:3;14929:18;;;14922:31;14970:19;;54556:115:0::1;14598:397:1::0;54556:115:0::1;50457:1;54690:5;:16;;54682:67;;;::::0;::::1;::::0;;19184:2:1;54682:67:0::1;::::0;::::1;19166:21:1::0;19223:2;19203:18;;;19196:30;19262:34;19242:18;;;19235:62;19333:8;19313:18;;;19306:36;19359:19;;54682:67:0::1;18982:402:1::0;54682:67:0::1;50499:7;54768:5;:16;;54760:67;;;::::0;::::1;::::0;;13272:2:1;54760:67:0::1;::::0;::::1;13254:21:1::0;13311:2;13291:18;;;13284:30;13350:34;13330:18;;;13323:62;13421:8;13401:18;;;13394:36;13447:19;;54760:67:0::1;13070:402:1::0;54760:67:0::1;54838:37;4283:10:::0;54861:6:::1;54869:5;54838:8;:37::i;10838:413::-:0;4283:10;10931:4;10975:25;;;:11;:25;;;;;;;;;:34;;;;;;;;;;11028:35;;;;11020:85;;;;;;;23383:2:1;11020:85:0;;;23365:21:1;23422:2;23402:18;;;23395:30;23461:34;23441:18;;;23434:62;23532:7;23512:18;;;23505:35;23557:19;;11020:85:0;23181:401:1;11020:85:0;11141:67;4283:10;11164:7;11192:15;11173:16;:34;11141:8;:67::i;:::-;-1:-1:-1;11239:4:0;;10838:413;-1:-1:-1;;;10838:413:0:o;59226:432::-;43195:6;;43342:23;43195:6;4283:10;43342:23;43334:68;;;;;;;18009:2:1;43334:68:0;;;17991:21:1;;;18028:18;;;18021:30;18087:34;18067:18;;;18060:62;18139:18;;43334:68:0;17807:356:1;43334:68:0;50632:5:::1;59373:25;:51;;59351:160;;;::::0;::::1;::::0;;11677:2:1;59351:160:0::1;::::0;::::1;11659:21:1::0;11716:2;11696:18;;;11689:30;11755:34;11735:18;;;11728:62;11826:29;11806:18;;;11799:57;11873:19;;59351:160:0::1;11475:423:1::0;59351:160:0::1;59532:24;:52:::0;;;59600:50:::1;::::0;59559:25;;59600:50:::1;::::0;;;::::1;59226:432:::0;:::o;8032:175::-;8118:4;8135:42;4283:10;8159:9;8170:6;8135:9;:42::i;59040:178::-;43195:6;;43342:23;43195:6;4283:10;43342:23;43334:68;;;;;;;18009:2:1;43334:68:0;;;17991:21:1;;;18028:18;;;18021:30;18087:34;18067:18;;;18060:62;18139:18;;43334:68:0;17807:356:1;43334:68:0;59124:15:::1;:34:::0;;;59174:36:::1;::::0;59142:16;;59174:36:::1;::::0;;;::::1;59040:178:::0;:::o;38163:645::-;38407:8;38388:15;:27;;38380:69;;;;;;;13679:2:1;38380:69:0;;;13661:21:1;13718:2;13698:18;;;13691:30;13757:31;13737:18;;;13730:59;13806:18;;38380:69:0;13477:353:1;38380:69:0;38462:18;38504:16;38522:5;38529:7;38538:5;38545:16;38555:5;38545:9;:16::i;:::-;38493:79;;;;;;6769:25:1;;;;6813:42;6891:15;;;6871:18;;;6864:43;6943:15;;;;6923:18;;;6916:43;6975:18;;;6968:34;7018:19;;;7011:35;7062:19;;;7055:35;;;6741:19;;38493:79:0;;;;;;;;;;;;38483:90;;;;;;38462:111;;38586:12;38601:28;38618:10;38601:16;:28::i;:::-;38586:43;;38642:14;38659:28;38673:4;38679:1;38682;38685;38659:13;:28::i;:::-;38642:45;;38716:5;38706:15;;:6;:15;;;38698:58;;;;;;;17241:2:1;38698:58:0;;;17223:21:1;17280:2;17260:18;;;17253:30;17319:32;17299:18;;;17292:60;17369:18;;38698:58:0;17039:354:1;38698:58:0;38769:31;38778:5;38785:7;38794:5;38769:8;:31::i;:::-;38369:439;;;38163:645;;;;;;;:::o;56581:750::-;51202:9;;51215:1;51202:14;51194:33;;;;;;;22337:2:1;51194:33:0;;;22319:21:1;22376:1;22356:18;;;22349:29;22414:8;22394:18;;;22387:36;22440:18;;51194:33:0;22135:329:1;51194:33:0;51250:1;51238:9;:13;;;4283:10;56667:20;;:6:::1;:20;::::0;;;;56747:14;;56713:15:::1;::::0;56739:69:::1;;;::::0;::::1;::::0;;21222:2:1;56739:69:0::1;::::0;::::1;21204:21:1::0;21261:2;21241:18;;;21234:30;21300:34;21280:18;;;21273:62;21371:8;21351:18;;;21344:36;21397:19;;56739:69:0::1;21020:402:1::0;56739:69:0::1;56837:14:::0;;56873:11:::1;::::0;::::1;::::0;56866:18;::::1;56862:183;;;56901:12;50687:3;56927:24;;56917:7;:34;;;;:::i;:::-;56916:48;;;;:::i;:::-;56901:63;;56979:15;56989:4;56979:9;:15::i;:::-;57019:14;57029:4:::0;57019:7;:14:::1;:::i;:::-;57009:24;;56886:159;56862:183;57069:1;57055:11;::::0;::::1;:15:::0;;;57081:18;;57110:48:::1;4283:10:::0;57116:12:::1;4203:98:::0;50515:50;50549:16;50499:7;50559:6;50549:16;:::i;:::-;50515:50;:::o;44031:201::-;43195:6;;43342:23;43195:6;4283:10;43342:23;43334:68;;;;;;;18009:2:1;43334:68:0;;;17991:21:1;;;18028:18;;;18021:30;18087:34;18067:18;;;18060:62;18139:18;;43334:68:0;17807:356:1;43334:68:0;44120:22:::1;::::0;::::1;44112:73;;;::::0;::::1;::::0;;12105:2:1;44112:73:0::1;::::0;::::1;12087:21:1::0;12144:2;12124:18;;;12117:30;12183:34;12163:18;;;12156:62;12254:8;12234:18;;;12227:36;12280:19;;44112:73:0::1;11903:402:1::0;44112:73:0::1;44196:28;44215:8;44196:18;:28::i;14522:380::-:0;14658:19;;;14650:68;;;;;;;20817:2:1;14650:68:0;;;20799:21:1;20856:2;20836:18;;;20829:30;20895:34;20875:18;;;20868:62;20966:6;20946:18;;;20939:34;20990:19;;14650:68:0;20615:400:1;14650:68:0;14737:21;;;14729:68;;;;;;;12512:2:1;14729:68:0;;;12494:21:1;12551:2;12531:18;;;12524:30;12590:34;12570:18;;;12563:62;12661:4;12641:18;;;12634:32;12683:19;;14729:68:0;12310:398:1;14729:68:0;14810:18;;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;14862:32;;6446:25:1;;;14862:32:0;;6419:18:1;14862:32:0;;;;;;;14522:380;;;:::o;57391:1450::-;51202:9;;51215:1;51202:14;51194:33;;;;;;;22337:2:1;51194:33:0;;;22319:21:1;22376:1;22356:18;;;22349:29;22414:8;22394:18;;;22387:36;22440:18;;51194:33:0;22135:329:1;51194:33:0;51250:1;51238:9;:13;;;57546::::1;::::0;::::1;::::0;;:6:::1;:13;::::0;;;;57629:14;;57669:11:::1;::::0;::::1;::::0;57546:13;;57585:15:::1;::::0;57669:11;57717:12;57713:747:::1;;57752:36;57774:6;57782:5;57752:21;:36::i;:::-;57803:23:::0;;;57746:42;-1:-1:-1;57862:14:0::1;:5:::0;57870:6:::1;57862:14;:::i;:::-;57855:21;::::0;:4;:21:::1;:::i;:::-;57841:11;::::0;::::1;:35:::0;57713:747:::1;;;57898:10:::0;57894:566:::1;;57931:35;57953:6;57961:4;57931:21;:35::i;:::-;57925:41:::0;-1:-1:-1;57998:16:0::1;58008:6:::0;57998:7;:16:::1;:::i;:::-;57981:33:::0;;57894:566:::1;;;58073:11:::0;;58047:138:::1;;;::::0;::::1;::::0;;15605:2:1;58047:138:0::1;::::0;::::1;15587:21:1::0;15644:2;15624:18;;;15617:30;15683:34;15663:18;;;15656:62;15754:34;15734:18;;;15727:62;15826:3;15805:19;;;15798:32;15847:19;;58047:138:0::1;15403:469:1::0;58047:138:0::1;58206:37;58228:7;58237:5;58206:21;:37::i;:::-;58200:43:::0;-1:-1:-1;58279:14:0::1;:5:::0;58287:6:::1;58279:14;:::i;:::-;58272:21;::::0;:4;:21:::1;:::i;:::-;58258:11;::::0;::::1;:35:::0;50549:16:::1;50499:7;50559:6;50549:16;:::i;:::-;58348:4;58334:7;:11;;;:18;;;;:::i;:::-;:29;;58308:140;;;::::0;::::1;::::0;;19993:2:1;58308:140:0::1;::::0;::::1;19975:21:1::0;20032:2;20012:18;;;20005:30;20071:34;20051:18;;;20044:62;20142:19;20122:18;;;20115:47;20179:19;;58308:140:0::1;19791:413:1::0;58308:140:0::1;58484:1;58478:3;:7;58470:38;;;::::0;::::1;::::0;;21629:2:1;58470:38:0::1;::::0;::::1;21611:21:1::0;21668:2;21648:18;;;21641:30;21707:20;21687:18;;;21680:48;21745:18;;58470:38:0::1;21427:342:1::0;58470:38:0::1;58523:10:::0;;58519:188:::1;;58550:145;58563:11;58550:42;;4283:10:::0;58650:4:::1;58674:6:::0;58550:42:::1;:145::i;:::-;58717:17;58723:5;58730:3;58717:5;:17::i;:::-;58745:20;::::0;::::1;;::::0;;;:13:::1;:20;::::0;;;;:27;;58769:3;;58745:20;:27:::1;::::0;58769:3;;58745:27:::1;:::i;:::-;::::0;;;-1:-1:-1;;58805:14:0;;58821:11:::1;::::0;::::1;::::0;58790:43:::1;::::0;::::1;::::0;::::1;::::0;::::1;::::0;::::1;::::0;24303:25:1;;;24359:2;24344:18;;24337:34;24291:2;24276:18;;24129:248;58790:43:0::1;;;;;;;;-1:-1:-1::0;;51286:1:0;51274:9;:13;-1:-1:-1;;;;;;57391:1450:0:o;11741:733::-;11881:20;;;11873:70;;;;;;;20411:2:1;11873:70:0;;;20393:21:1;20450:2;20430:18;;;20423:30;20489:34;20469:18;;;20462:62;20560:7;20540:18;;;20533:35;20585:19;;11873:70:0;20209:401:1;11873:70:0;11962:23;;;11954:71;;;;;;;9023:2:1;11954:71:0;;;9005:21:1;9062:2;9042:18;;;9035:30;9101:34;9081:18;;;9074:62;9172:5;9152:18;;;9145:33;9195:19;;11954:71:0;8821:399:1;11954:71:0;12122:17;;;12098:21;12122:17;;;;;;;;;;;12158:23;;;;12150:74;;;;;;;14393:2:1;12150:74:0;;;14375:21:1;14432:2;14412:18;;;14405:30;14471:34;14451:18;;;14444:62;14542:8;14522:18;;;14515:36;14568:19;;12150:74:0;14191:402:1;12150:74:0;12260:17;;;;:9;:17;;;;;;;;;;;12280:22;;;12260:42;;12324:20;;;;;;;;:30;;12296:6;;12260:9;12324:30;;12296:6;;12324:30;:::i;:::-;;;;;;;;12389:9;12372:35;;12381:6;12372:35;;;12400:6;12372:35;;;;6446:25:1;;6434:2;6419:18;;6300:177;12372:35:0;;;;;;;;12420:46;11862:612;11741:733;;;:::o;34166:314::-;34219:7;34251:4;34243:29;34260:12;34243:29;;:66;;;;;34293:16;34276:13;:33;34243:66;34239:234;;;-1:-1:-1;34333:24:0;;34166:314::o;34239:234::-;-1:-1:-1;34669:73:0;;;34419:10;34669:73;;;;7360:25:1;;;;34431:12:0;7401:18:1;;;7394:34;34445:15:0;7444:18:1;;;7437:34;34713:13:0;7487:18:1;;;7480:34;34736:4:0;7530:19:1;;;;7523:84;;;;34669:73:0;;;;;;;;;;7332:19:1;;;;34669:73:0;;;34659:84;;;;;;39132:115::o;13493:591::-;13577:21;;;13569:67;;;;;;;19591:2:1;13569:67:0;;;19573:21:1;19630:2;19610:18;;;19603:30;19669:34;19649:18;;;19642:62;19740:3;19720:18;;;19713:31;19761:19;;13569:67:0;19389:397:1;13569:67:0;13736:18;;;13711:22;13736:18;;;;;;;;;;;13773:24;;;;13765:71;;;;;;;10557:2:1;13765:71:0;;;10539:21:1;10596:2;10576:18;;;10569:30;10635:34;10615:18;;;10608:62;10706:4;10686:18;;;10679:32;10728:19;;13765:71:0;10355:398:1;13765:71:0;13872:18;;;:9;:18;;;;;;;;;;13893:23;;;13872:44;;13938:12;:22;;13910:6;;13872:9;13938:22;;13910:6;;13938:22;:::i;:::-;;;;-1:-1:-1;;13978:37:0;;6446:25:1;;;14004:1:0;;13978:37;;;;;;6434:2:1;6419:18;13978:37:0;;;;;;;17221:302;17155:368;;:::o;48321:407::-;48515:48;;;48481:19;5998:55:1;;;48515:48:0;;;5980:74:1;6070:18;;;;6063:34;;;48515:48:0;;;;;;;;;;5953:18:1;;;;48515:48:0;;;;;;;;;48538:12;48515:48;;;48481:93;;-1:-1:-1;;;;48481:19:0;;;;:93;;48515:48;48481:93;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;48445:129;;;;48607:7;:57;;;;-1:-1:-1;48619:11:0;;:16;;:44;;;48650:4;48639:24;;;;;;;;;;;;:::i;:::-;48585:135;;;;;;;11320:2:1;48585:135:0;;;11302:21:1;11359:2;11339:18;;;11332:30;11398;11378:18;;;11371:58;11446:18;;48585:135:0;11118:352:1;48585:135:0;48434:294;;48321:407;;;:::o;44392:191::-;44485:6;;;;44502:17;;;;;;;;;;;44535:40;;44485:6;;;44502:17;44485:6;;44535:40;;44466:16;;44535:40;44455:128;44392:191;:::o;39385:207::-;39506:14;;;39445:15;39506:14;;;:7;:14;;;;;36394;;36531:1;36513:19;;;;36394:14;39567:17;39462:130;39385:207;;;:::o;35393:167::-;35470:7;35497:55;35519:20;:18;:20::i;:::-;35541:10;31038:57;;4295:66:1;31038:57:0;;;4283:79:1;4378:11;;;4371:27;;;4414:12;;;4407:28;;;31001:7:0;;4451:12:1;;31038:57:0;;;;;;;;;;;;31028:68;;;;;;31021:75;;30908:196;;;;;29217:279;29345:7;29366:17;29385:18;29407:25;29418:4;29424:1;29427;29430;29407:10;:25::i;:::-;29365:67;;;;29443:18;29455:5;29443:11;:18::i;:::-;-1:-1:-1;29479:9:0;29217:279;-1:-1:-1;;;;;29217:279:0:o;58849:129::-;58944:16;;58905:65;;58944:16;58918:11;58905:38;;;58944:16;58962:7;58905:38;:65::i;49051:449::-;49272:59;;;49238:19;4986:15:1;;;49272:59:0;;;4968:34:1;5038:15;;;5018:18;;;5011:43;5070:18;;;;5063:34;;;49272:59:0;;;;;;;;;;4880:18:1;;;;49272:59:0;;;;;;;;;49295:17;49272:59;;;49238:104;;-1:-1:-1;;;;49238:19:0;;;;:104;;49272:59;49238:104;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49202:140;;;;49375:7;:57;;;;-1:-1:-1;49387:11:0;;:16;;:44;;;49418:4;49407:24;;;;;;;;;;;;:::i;:::-;49353:139;;;;;;;21976:2:1;49353:139:0;;;21958:21:1;;;21995:18;;;21988:30;22054:34;22034:18;;;22027:62;22106:18;;49353:139:0;21774:356:1;49353:139:0;49191:309;;49051:449;;;;:::o;12761:399::-;12845:21;;;12837:65;;;;;;;23789:2:1;12837:65:0;;;23771:21:1;23828:2;23808:18;;;23801:30;23867:33;23847:18;;;23840:61;23918:18;;12837:65:0;23587:355:1;12837:65:0;12993:6;12977:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;13010:18:0;;;:9;:18;;;;;;;;;;:28;;13032:6;;13010:9;:28;;13032:6;;13010:28;:::i;:::-;;;;-1:-1:-1;;13054:37:0;;6446:25:1;;;13054:37:0;;;;13071:1;;13054:37;;6434:2:1;6419:18;13054:37:0;;;;;;;12761:399;;:::o;27433:1645::-;27564:7;;28511:66;28498:79;;28494:163;;;-1:-1:-1;28610:1:0;;-1:-1:-1;28614:30:0;28594:51;;28494:163;28671:1;:7;;28676:2;28671:7;;:18;;;;;28682:1;:7;;28687:2;28682:7;;28671:18;28667:102;;;-1:-1:-1;28722:1:0;;-1:-1:-1;28726:30:0;28706:51;;28667:102;28883:24;;;28866:14;28883:24;;;;;;;;;7845:25:1;;;7918:4;7906:17;;7886:18;;;7879:45;;;;7940:18;;;7933:34;;;7983:18;;;7976:34;;;28883:24:0;;7817:19:1;;28883:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;28883:24:0;;;;;;-1:-1:-1;;28922:20:0;;;28918:103;;28975:1;28979:29;28959:50;;;;;;;28918:103;29041:6;-1:-1:-1;29049:20:0;;-1:-1:-1;27433:1645:0;;;;;;;;:::o;22095:643::-;22173:20;22164:5;:29;;;;;;;;:::i;:::-;;22160:571;;;22095:643;:::o;22160:571::-;22271:29;22262:5;:38;;;;;;;;:::i;:::-;;22258:473;;;22317:34;;;;;8670:2:1;22317:34:0;;;8652:21:1;8709:2;8689:18;;;8682:30;8748:26;8728:18;;;8721:54;8792:18;;22317:34:0;8468:348:1;22258:473:0;22382:35;22373:5;:44;;;;;;;;:::i;:::-;;22369:362;;;22434:41;;;;;10960:2:1;22434:41:0;;;10942:21:1;10999:2;10979:18;;;10972:30;11038:33;11018:18;;;11011:61;11089:18;;22434:41:0;10758:355:1;22369:362:0;22506:30;22497:5;:39;;;;;;;;:::i;:::-;;22493:238;;;22553:44;;;;;15202:2:1;22553:44:0;;;15184:21:1;15241:2;15221:18;;;15214:30;15280:34;15260:18;;;15253:62;15351:4;15331:18;;;15324:32;15373:19;;22553:44:0;15000:398:1;22493:238:0;22628:30;22619:5;:39;;;;;;;;:::i;:::-;;22615:116;;;22675:44;;;;;16838:2:1;22675:44:0;;;16820:21:1;16877:2;16857:18;;;16850:30;16916:34;16896:18;;;16889:62;16987:4;16967:18;;;16960:32;17009:19;;22675:44:0;16636:398:1;14:196;82:20;;142:42;131:54;;121:65;;111:93;;200:1;197;190:12;111:93;14:196;;;:::o;215:156::-;281:20;;341:4;330:16;;320:27;;310:55;;361:1;358;351:12;376:186;435:6;488:2;476:9;467:7;463:23;459:32;456:52;;;504:1;501;494:12;456:52;527:29;546:9;527:29;:::i;567:260::-;635:6;643;696:2;684:9;675:7;671:23;667:32;664:52;;;712:1;709;702:12;664:52;735:29;754:9;735:29;:::i;:::-;725:39;;783:38;817:2;806:9;802:18;783:38;:::i;:::-;773:48;;567:260;;;;;:::o;832:328::-;909:6;917;925;978:2;966:9;957:7;953:23;949:32;946:52;;;994:1;991;984:12;946:52;1017:29;1036:9;1017:29;:::i;:::-;1007:39;;1065:38;1099:2;1088:9;1084:18;1065:38;:::i;:::-;1055:48;;1150:2;1139:9;1135:18;1122:32;1112:42;;832:328;;;;;:::o;1165:606::-;1276:6;1284;1292;1300;1308;1316;1324;1377:3;1365:9;1356:7;1352:23;1348:33;1345:53;;;1394:1;1391;1384:12;1345:53;1417:29;1436:9;1417:29;:::i;:::-;1407:39;;1465:38;1499:2;1488:9;1484:18;1465:38;:::i;:::-;1455:48;;1550:2;1539:9;1535:18;1522:32;1512:42;;1601:2;1590:9;1586:18;1573:32;1563:42;;1624:37;1656:3;1645:9;1641:19;1624:37;:::i;:::-;1614:47;;1708:3;1697:9;1693:19;1680:33;1670:43;;1760:3;1749:9;1745:19;1732:33;1722:43;;1165:606;;;;;;;;;;:::o;1776:254::-;1844:6;1852;1905:2;1893:9;1884:7;1880:23;1876:32;1873:52;;;1921:1;1918;1911:12;1873:52;1944:29;1963:9;1944:29;:::i;:::-;1934:39;2020:2;2005:18;;;;1992:32;;-1:-1:-1;;;1776:254:1:o;2035:277::-;2102:6;2155:2;2143:9;2134:7;2130:23;2126:32;2123:52;;;2171:1;2168;2161:12;2123:52;2203:9;2197:16;2256:5;2249:13;2242:21;2235:5;2232:32;2222:60;;2278:1;2275;2268:12;2317:180;2376:6;2429:2;2417:9;2408:7;2404:23;2400:32;2397:52;;;2445:1;2442;2435:12;2397:52;-1:-1:-1;2468:23:1;;2317:180;-1:-1:-1;2317:180:1:o;2502:248::-;2570:6;2578;2631:2;2619:9;2610:7;2606:23;2602:32;2599:52;;;2647:1;2644;2637:12;2599:52;-1:-1:-1;;2670:23:1;;;2740:2;2725:18;;;2712:32;;-1:-1:-1;2502:248:1:o;2755:525::-;2857:6;2865;2873;2881;2889;2897;2950:3;2938:9;2929:7;2925:23;2921:33;2918:53;;;2967:1;2964;2957:12;2918:53;3003:9;2990:23;2980:33;;3060:2;3049:9;3045:18;3032:32;3022:42;;3111:2;3100:9;3096:18;3083:32;3073:42;;3134:36;3166:2;3155:9;3151:18;3134:36;:::i;:::-;3124:46;;3217:3;3206:9;3202:19;3189:33;3179:43;;3269:3;3258:9;3254:19;3241:33;3231:43;;2755:525;;;;;;;;:::o;3285:456::-;3378:6;3386;3394;3402;3410;3463:3;3451:9;3442:7;3438:23;3434:33;3431:53;;;3480:1;3477;3470:12;3431:53;3516:9;3503:23;3493:33;;3573:2;3562:9;3558:18;3545:32;3535:42;;3596:36;3628:2;3617:9;3613:18;3596:36;:::i;:::-;3285:456;;;;-1:-1:-1;3586:46:1;;3679:2;3664:18;;3651:32;;-1:-1:-1;3730:3:1;3715:19;3702:33;;3285:456;-1:-1:-1;;3285:456:1:o;3746:274::-;3875:3;3913:6;3907:13;3929:53;3975:6;3970:3;3963:4;3955:6;3951:17;3929:53;:::i;:::-;3998:16;;;;;3746:274;-1:-1:-1;;3746:274:1:o;8021:442::-;8170:2;8159:9;8152:21;8133:4;8202:6;8196:13;8245:6;8240:2;8229:9;8225:18;8218:34;8261:66;8320:6;8315:2;8304:9;8300:18;8295:2;8287:6;8283:15;8261:66;:::i;:::-;8379:2;8367:15;8384:66;8363:88;8348:104;;;;8454:2;8344:113;;8021:442;-1:-1:-1;;8021:442:1:o;24571:128::-;24611:3;24642:1;24638:6;24635:1;24632:13;24629:39;;;24648:18;;:::i;:::-;-1:-1:-1;24684:9:1;;24571:128::o;24704:274::-;24744:1;24770;24760:189;;24805:77;24802:1;24795:88;24906:4;24903:1;24896:15;24934:4;24931:1;24924:15;24760:189;-1:-1:-1;24963:9:1;;24704:274::o;24983:228::-;25023:7;25149:1;25081:66;25077:74;25074:1;25071:81;25066:1;25059:9;25052:17;25048:105;25045:131;;;25156:18;;:::i;:::-;-1:-1:-1;25196:9:1;;24983:228::o;25216:125::-;25256:4;25284:1;25281;25278:8;25275:34;;;25289:18;;:::i;:::-;-1:-1:-1;25326:9:1;;25216:125::o;25346:258::-;25418:1;25428:113;25442:6;25439:1;25436:13;25428:113;;;25518:11;;;25512:18;25499:11;;;25492:39;25464:2;25457:10;25428:113;;;25559:6;25556:1;25553:13;25550:48;;;-1:-1:-1;;25594:1:1;25576:16;;25569:27;25346:258::o;25609:437::-;25688:1;25684:12;;;;25731;;;25752:61;;25806:4;25798:6;25794:17;25784:27;;25752:61;25859:2;25851:6;25848:14;25828:18;25825:38;25822:218;;;25896:77;25893:1;25886:88;25997:4;25994:1;25987:15;26025:4;26022:1;26015:15;26051:184;26103:77;26100:1;26093:88;26200:4;26197:1;26190:15;26224:4;26221:1;26214:15;26240:184;26292:77;26289:1;26282:88;26389:4;26386:1;26379:15;26413:4;26410:1;26403:15

ipfs://86e177d376c3ffeb68d2d7a1237490497b5aacdc3e9d0398c1d9fc723c3493e9