Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.4;

import "./IERC20.sol";
import "./SafeERC20.sol";
import "./ReentrancyGuard.sol";
import "./Ownable.sol";
import "./Math.sol";
import "./SafeMath.sol";

/**
 * @title Sabai Vesting contract
 */
contract SabaiVesting is Ownable, ReentrancyGuard{
    using SafeMath for uint256;
    using SafeERC20 for IERC20;
    struct VestingSchedule{
        bool initialized;
        // beneficiary of tokens after they are released
        address  beneficiary;
        // cliff period in seconds
        uint256  cliff;
        // start time of the vesting
        uint256  start;
        // duration of the vesting period after cliff in seconds
        uint256  duration;
        // whether or not the vesting is revocable
        bool  revocable;
        // total amount of tokens to be released at the end of the vesting
        uint256 amountTotal;
        // amount of tokens released
        uint256  released;
        // whether or not the vesting has been revoked
        bool revoked;
    }

    // address of the Sabai token
    IERC20 immutable private _token;

    bytes32[] private vestingSchedulesIds;
    mapping(bytes32 => VestingSchedule) private vestingSchedules;
    uint256 private vestingSchedulesTotalAmount;
    mapping(address => uint256) private holdersVestingCount;


    address public ManagerAddress;

    /**
    * @dev Reverts if no vesting schedule matches the passed identifier.
    */
    modifier onlyIfVestingScheduleExists(bytes32 vestingScheduleId) {
        require(vestingSchedules[vestingScheduleId].initialized == true);
        _;
    }

    /**
    * @dev Reverts if the vesting schedule does not exist or has been revoked.
    */
    modifier onlyIfVestingScheduleNotRevoked(bytes32 vestingScheduleId) {
        require(vestingSchedules[vestingScheduleId].initialized == true);
        require(vestingSchedules[vestingScheduleId].revoked == false);
        _;
    }

    /**
     * @dev Creates a vesting contract.
     * @param token_ address of the ERC20 token contract
     */
    constructor(address token_, address _managerAddress) {
        require(token_ != address(0x0));
        require(_managerAddress != address(0x0));

        _token = IERC20(token_);
        ManagerAddress = _managerAddress;
    }

    modifier onlyManager() {
        _checkManager();
        _;
    }

    function _checkManager() internal view virtual {
        require(ManagerAddress == _msgSender(), "Ownable: caller is not the manager");
    }

    function changeManagerAddress(address _newManagerAddress)
    public 
    onlyOwner {
        require(_newManagerAddress != address(0x0));
        ManagerAddress = _newManagerAddress;
    }

    /**
    * @dev Returns the number of vesting schedules associated to a beneficiary.
    * @return the number of vesting schedules
    */
    function getVestingSchedulesCountByBeneficiary(address _beneficiary)
    external
    view
    returns(uint256){
        return holdersVestingCount[_beneficiary];
    }

    /**
    * @dev Returns the vesting schedule id at the given index.
    * @return the vesting id
    */
    function getVestingIdAtIndex(uint256 index)
    external
    view
    returns(bytes32){
        require(index < getVestingSchedulesCount(), "TokenVesting: index out of bounds");
        return vestingSchedulesIds[index];
    }

    /**
    * @notice Returns the vesting schedule information for a given holder and index.
    * @return the vesting schedule structure information
    */
    function getVestingScheduleByAddressAndIndex(address holder, uint256 index)
    external
    view
    returns(VestingSchedule memory){
        return getVestingSchedule(computeVestingScheduleIdForAddressAndIndex(holder, index));
    }


    /**
    * @notice Returns the total amount of vesting schedules.
    * @return the total amount of vesting schedules
    */
    function getVestingSchedulesTotalAmount()
    external
    view
    returns(uint256){
        return vestingSchedulesTotalAmount;
    }

    /**
    * @dev Returns the address of the ERC20 token managed by the vesting contract.
    */
    function getToken()
    external
    view
    returns(address){
        return address(_token);
    }

    /**
    * @notice Creates a new vesting schedule for a beneficiary.
    * @param _beneficiary address of the beneficiary to whom vested tokens are transferred
    * @param _start start time of the vesting 
    * @param _cliff duration in seconds of the cliff in which tokens will begin to vest
    * @param _duration duration in seconds after cliff of the period in which the tokens will vest
    * @param _revocable whether the vesting is revocable or not
    * @param _amount total amount of tokens to be released at the end of the vesting
    */
    function createVestingSchedule(
        address _beneficiary,
        uint256 _start,
        uint256 _cliff,
        uint256 _duration,
        bool _revocable,
        uint256 _amount
    )
        public
        onlyManager{
        require(
            this.getWithdrawableAmount() >= _amount,
            "TokenVesting: cannot create vesting schedule because not sufficient tokens"
        );
        require(_duration > 0, "TokenVesting: duration must be > 0");
        require(_amount > 0, "TokenVesting: amount must be > 0");
        bytes32 vestingScheduleId = this.computeNextVestingScheduleIdForHolder(_beneficiary);
        uint256 cliff = _start.add(_cliff);
        vestingSchedules[vestingScheduleId] = VestingSchedule(
            true,
            _beneficiary,
            cliff,
            _start,
            _duration,
            _revocable,
            _amount,
            0,
            false
        );
        vestingSchedulesTotalAmount = vestingSchedulesTotalAmount.add(_amount);
        vestingSchedulesIds.push(vestingScheduleId);
        uint256 currentVestingCount = holdersVestingCount[_beneficiary];
        holdersVestingCount[_beneficiary] = currentVestingCount.add(1);
    }

    /**
    * @notice Creates new vesting schedules for a beneficiaries.
    * @param _beneficiary address of the beneficiary to whom vested tokens are transferred
    * @param _start start time of the vesting 
    * @param _cliff duration in seconds of the cliff in which tokens will begin to vest
    * @param _duration duration in seconds after cliff of the period in which the tokens will vest
    * @param _revocable whether the vesting is revocable or not
    * @param _amount total amount of tokens to be released at the end of the vesting
    */

    struct VestingScheduleMany{
        // beneficiary of tokens after they are released
        address  beneficiary;
        // cliff period in seconds
        uint256  cliff;
        // start time of the vesting 
        uint256  start;
        // duration of the vesting period after cliff in seconds 
        uint256  duration;
        // whether or not the vesting is revocable
        bool  revocable;
        // total amount of tokens to be released at the end of the vesting
        uint256 amount;
    }

    function createVestingScheduleMany(VestingScheduleMany[] memory _schedules)
        public
        onlyManager{

        uint256 SchedulesManyAmount;     
        for (uint256 i=0; i<_schedules.length; i++) {
            require(_schedules[i].duration > 0, "TokenVesting: duration must be > 0");
            require(_schedules[i].amount > 0, "TokenVesting: amount must be > 0");
            
            SchedulesManyAmount.add(_schedules[i].amount);
            require(
                this.getWithdrawableAmount() >= SchedulesManyAmount,
                "TokenVesting: cannot create vesting schedule because not sufficient tokens"
            );
        }
        for (uint256 i=0; i<_schedules.length; i++) {
                bytes32 vestingScheduleId = this.computeNextVestingScheduleIdForHolder(_schedules[i].beneficiary);
                uint256 cliff = _schedules[i].start.add(_schedules[i].cliff);
                vestingSchedules[vestingScheduleId] = VestingSchedule(
                    true,
                    _schedules[i].beneficiary,
                    cliff,
                    _schedules[i].start,
                    _schedules[i].duration,
                    _schedules[i].revocable,
                    _schedules[i].amount,
                    0,
                    false
                );
                vestingSchedulesTotalAmount = vestingSchedulesTotalAmount.add(_schedules[i].amount);
                vestingSchedulesIds.push(vestingScheduleId);
                uint256 currentVestingCount = holdersVestingCount[_schedules[i].beneficiary];
                holdersVestingCount[_schedules[i].beneficiary] = currentVestingCount.add(1);
        }
    }

    /**
    * @notice Revokes the vesting schedule for given identifier.
    * @param vestingScheduleId the vesting schedule identifier
    */
    function revoke(bytes32 vestingScheduleId)
        public
        onlyManager
        onlyIfVestingScheduleNotRevoked(vestingScheduleId){
        VestingSchedule storage vestingSchedule = vestingSchedules[vestingScheduleId];
        require(vestingSchedule.revocable == true, "TokenVesting: vesting is not revocable");
        uint256 vestedAmount = _computeReleasableAmount(vestingSchedule);
        if(vestedAmount > 0){
            release(vestingScheduleId, vestedAmount);
        }
        uint256 unreleased = vestingSchedule.amountTotal.sub(vestingSchedule.released);
        vestingSchedulesTotalAmount = vestingSchedulesTotalAmount.sub(unreleased);
        vestingSchedule.revoked = true;
    }

    /**
    * @notice Withdraw the specified amount if possible.
    * @param amount the amount to withdraw
    */
    function withdraw(uint256 amount)
        public
        nonReentrant
        onlyManager{
        require(this.getWithdrawableAmount() >= amount, "TokenVesting: not enough withdrawable funds");
        _token.safeTransfer(owner(), amount);
    }

    /**
    * @notice Release vested amount of tokens.
    * @param vestingScheduleId the vesting schedule identifier
    * @param amount the amount to release
    */
    function release(
        bytes32 vestingScheduleId,
        uint256 amount
    )
        public
        nonReentrant
        onlyIfVestingScheduleNotRevoked(vestingScheduleId){
        VestingSchedule storage vestingSchedule = vestingSchedules[vestingScheduleId];
        bool isBeneficiary = msg.sender == vestingSchedule.beneficiary;

        require(
            isBeneficiary,
            "TokenVesting: only beneficiary can release vested tokens"
        );
        uint256 vestedAmount = _computeReleasableAmount(vestingSchedule);
        require(vestedAmount >= amount, "TokenVesting: cannot release tokens, not enough vested tokens");
        vestingSchedule.released = vestingSchedule.released.add(amount);
        vestingSchedulesTotalAmount = vestingSchedulesTotalAmount.sub(amount);
        _token.safeTransfer(vestingSchedule.beneficiary, amount);
    }

    /**
    * @dev Returns the number of vesting schedules managed by this contract.
    * @return the number of vesting schedules
    */
    function getVestingSchedulesCount()
        public
        view
        returns(uint256){
        return vestingSchedulesIds.length;
    }

    /**
    * @notice Computes the vested amount of tokens for the given vesting schedule identifier.
    * @return the vested amount
    */
    function computeReleasableAmount(bytes32 vestingScheduleId)
        public
        onlyIfVestingScheduleNotRevoked(vestingScheduleId)
        view
        returns(uint256){
        VestingSchedule storage vestingSchedule = vestingSchedules[vestingScheduleId];
        return _computeReleasableAmount(vestingSchedule);
    }

    /**
    * @notice Returns the vesting schedule information for a given identifier.
    * @return the vesting schedule structure information
    */
    function getVestingSchedule(bytes32 vestingScheduleId)
        public
        view
        returns(VestingSchedule memory){
        return vestingSchedules[vestingScheduleId];
    }

    /**
    * @dev Returns the amount of tokens that can be withdrawn by the owner.
    * @return the amount of tokens
    */
    function getWithdrawableAmount()
        public
        view
        returns(uint256){
        return _token.balanceOf(address(this)).sub(vestingSchedulesTotalAmount);
    }

    /**
    * @dev Computes the next vesting schedule identifier for a given holder address.
    */
    function computeNextVestingScheduleIdForHolder(address holder)
        public
        view
        returns(bytes32){
        return computeVestingScheduleIdForAddressAndIndex(holder, holdersVestingCount[holder]);
    }

    /**
    * @dev Returns the last vesting schedule for a given holder address.
    */
    function getLastVestingScheduleForHolder(address holder)
        public
        view
        returns(VestingSchedule memory){
        return vestingSchedules[computeVestingScheduleIdForAddressAndIndex(holder, holdersVestingCount[holder] - 1)];
    }

    /**
    * @dev Computes the vesting schedule identifier for an address and an index.
    */
    function computeVestingScheduleIdForAddressAndIndex(address holder, uint256 index)
        public
        pure
        returns(bytes32){
        return keccak256(abi.encodePacked(holder, index));
    }

    /**
    * @dev Computes the releasable amount of tokens for a vesting schedule.
    * @return the amount of releasable tokens
    */
    function _computeReleasableAmount(VestingSchedule memory vestingSchedule)
    internal
    view
    returns(uint256){
        uint256 currentTime = getCurrentTime();
        if ((currentTime < vestingSchedule.cliff) || vestingSchedule.revoked == true) {
            return 0;
        } else if (currentTime >= vestingSchedule.cliff.add(vestingSchedule.duration)) {
            return vestingSchedule.amountTotal.sub(vestingSchedule.released);
        } else {
            uint256 timeAfterCliff = currentTime.sub(vestingSchedule.cliff);
            uint256 vestedAmount = vestingSchedule.amountTotal.mul(timeAfterCliff).div(vestingSchedule.duration);
            vestedAmount = vestedAmount.sub(vestingSchedule.released);
            return vestedAmount;
        }
    }

    function getCurrentTime()
        internal
        virtual
        view
        returns(uint256){
        return block.timestamp;
    }

}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (utils/Address.sol)

pragma solidity ^0.8.1;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     *
     * Furthermore, `isContract` will also return true if the target contract within
     * the same transaction is already scheduled for destruction by `SELFDESTRUCT`,
     * which only has an effect at the end of a transaction.
     * ====
     *
     * [IMPORTANT]
     * ====
     * You shouldn't rely on `isContract` to protect against flash loan attacks!
     *
     * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
     * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
     * constructor.
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize/address.code.length, which returns 0
        // for contracts in construction, since the code is only stored at the end
        // of the constructor execution.

        return account.code.length > 0;
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://consensys.net/diligence/blog/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.8.0/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        (bool success, ) = recipient.call{value: amount}("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain `call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        return functionStaticCall(target, data, "Address: low-level static call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        (bool success, bytes memory returndata) = target.staticcall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionDelegateCall(target, data, "Address: low-level delegate call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling
     * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.
     *
     * _Available since v4.8._
     */
    function verifyCallResultFromTarget(
        address target,
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        if (success) {
            if (returndata.length == 0) {
                // only check isContract if the call was successful and the return data is empty
                // otherwise we already know that it was a contract
                require(isContract(target), "Address: call to non-contract");
            }
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    /**
     * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the
     * revert reason or using the provided one.
     *
     * _Available since v4.3._
     */
    function verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    function _revert(bytes memory returndata, string memory errorMessage) private pure {
        // Look for revert reason and bubble it up if present
        if (returndata.length > 0) {
            // The easiest way to bubble the revert reason is using memory via assembly
            /// @solidity memory-safe-assembly
            assembly {
                let returndata_size := mload(returndata)
                revert(add(32, returndata), returndata_size)
            }
        } else {
            revert(errorMessage);
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

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

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

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

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/extensions/IERC20Permit.sol)

pragma solidity ^0.8.0;

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (utils/math/Math.sol)

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)

pragma solidity ^0.8.0;

import "./Context.sol";

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

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

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

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

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

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

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling 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);
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (security/ReentrancyGuard.sol)

pragma solidity ^0.8.0;

/**
 * @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() {
        _nonReentrantBefore();
        _;
        _nonReentrantAfter();
    }

    function _nonReentrantBefore() private {
        // On the first call to nonReentrant, _status will be _NOT_ENTERED
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

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

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

    /**
     * @dev Returns true if the reentrancy guard is currently set to "entered", which indicates there is a
     * `nonReentrant` function in the call stack.
     */
    function _reentrancyGuardEntered() internal view returns (bool) {
        return _status == _ENTERED;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/utils/SafeERC20.sol)

pragma solidity ^0.8.0;

import "./IERC20.sol";
import "./IERC20Permit.sol";
import "./Address.sol";

/**
 * @title SafeERC20
 * @dev Wrappers around ERC20 operations that throw on failure (when the token
 * contract returns false). Tokens that return no value (and instead revert or
 * throw on failure) are also supported, non-reverting calls are assumed to be
 * successful.
 * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
 * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
 */
library SafeERC20 {
    using Address for address;

    /**
     * @dev Transfer `value` amount of `token` from the calling contract to `to`. If `token` returns no value,
     * non-reverting calls are assumed to be successful.
     */
    function safeTransfer(IERC20 token, address to, uint256 value) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    /**
     * @dev Transfer `value` amount of `token` from `from` to `to`, spending the approval given by `from` to the
     * calling contract. If `token` returns no value, non-reverting calls are assumed to be successful.
     */
    function safeTransferFrom(IERC20 token, address from, address to, uint256 value) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
    }

    /**
     * @dev Deprecated. This function has issues similar to the ones found in
     * {IERC20-approve}, and its usage is discouraged.
     *
     * Whenever possible, use {safeIncreaseAllowance} and
     * {safeDecreaseAllowance} instead.
     */
    function safeApprove(IERC20 token, address spender, uint256 value) internal {
        // safeApprove should only be called when setting an initial allowance,
        // or when resetting it to zero. To increase and decrease it, use
        // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
        require(
            (value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
    }

    /**
     * @dev Increase the calling contract's allowance toward `spender` by `value`. If `token` returns no value,
     * non-reverting calls are assumed to be successful.
     */
    function safeIncreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 oldAllowance = token.allowance(address(this), spender);
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, oldAllowance + value));
    }

    /**
     * @dev Decrease the calling contract's allowance toward `spender` by `value`. If `token` returns no value,
     * non-reverting calls are assumed to be successful.
     */
    function safeDecreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        unchecked {
            uint256 oldAllowance = token.allowance(address(this), spender);
            require(oldAllowance >= value, "SafeERC20: decreased allowance below zero");
            _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, oldAllowance - value));
        }
    }

    /**
     * @dev Set the calling contract's allowance toward `spender` to `value`. If `token` returns no value,
     * non-reverting calls are assumed to be successful. Compatible with tokens that require the approval to be set to
     * 0 before setting it to a non-zero value.
     */
    function forceApprove(IERC20 token, address spender, uint256 value) internal {
        bytes memory approvalCall = abi.encodeWithSelector(token.approve.selector, spender, value);

        if (!_callOptionalReturnBool(token, approvalCall)) {
            _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, 0));
            _callOptionalReturn(token, approvalCall);
        }
    }

    /**
     * @dev Use a ERC-2612 signature to set the `owner` approval toward `spender` on `token`.
     * Revert on invalid signature.
     */
    function safePermit(
        IERC20Permit token,
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal {
        uint256 nonceBefore = token.nonces(owner);
        token.permit(owner, spender, value, deadline, v, r, s);
        uint256 nonceAfter = token.nonces(owner);
        require(nonceAfter == nonceBefore + 1, "SafeERC20: permit did not succeed");
    }

    /**
     * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
     * on the return value: the return value is optional (but if data is returned, it must not be false).
     * @param token The token targeted by the call.
     * @param data The call data (encoded using abi.encode or one of its variants).
     */
    function _callOptionalReturn(IERC20 token, bytes memory data) private {
        // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
        // we're implementing it ourselves. We use {Address-functionCall} to perform this call, which verifies that
        // the target address contains contract code and also asserts for success in the low-level call.

        bytes memory returndata = address(token).functionCall(data, "SafeERC20: low-level call failed");
        require(returndata.length == 0 || abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
    }

    /**
     * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
     * on the return value: the return value is optional (but if data is returned, it must not be false).
     * @param token The token targeted by the call.
     * @param data The call data (encoded using abi.encode or one of its variants).
     *
     * This is a variant of {_callOptionalReturn} that silents catches all reverts and returns a bool instead.
     */
    function _callOptionalReturnBool(IERC20 token, bytes memory data) private returns (bool) {
        // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
        // we're implementing it ourselves. We cannot use {Address-functionCall} here since this should return false
        // and not revert is the subcall reverts.

        (bool success, bytes memory returndata) = address(token).call(data);
        return
            success && (returndata.length == 0 || abi.decode(returndata, (bool))) && Address.isContract(address(token));
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (utils/math/SafeMath.sol)

pragma solidity ^0.8.0;

// CAUTION
// This version of SafeMath should only be used with Solidity 0.8 or later,
// because it relies on the compiler's built in overflow checks.

/**
 * @dev Wrappers over Solidity's arithmetic operations.
 *
 * NOTE: `SafeMath` is generally not needed starting with Solidity 0.8, since the compiler
 * now has built in overflow checking.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
            // benefit is lost if 'b' is also tested.
            // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator.
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {trySub}.
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked {
            require(b <= a, errorMessage);
            return a - b;
        }
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting with custom message when dividing by zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryMod}.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"token_","type":"address"},{"internalType":"address","name":"_managerAddress","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"inputs":[],"name":"ManagerAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_newManagerAddress","type":"address"}],"name":"changeManagerAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"holder","type":"address"}],"name":"computeNextVestingScheduleIdForHolder","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"vestingScheduleId","type":"bytes32"}],"name":"computeReleasableAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"computeVestingScheduleIdForAddressAndIndex","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"_beneficiary","type":"address"},{"internalType":"uint256","name":"_start","type":"uint256"},{"internalType":"uint256","name":"_cliff","type":"uint256"},{"internalType":"uint256","name":"_duration","type":"uint256"},{"internalType":"bool","name":"_revocable","type":"bool"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"createVestingSchedule","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"internalType":"address","name":"beneficiary","type":"address"},{"internalType":"uint256","name":"cliff","type":"uint256"},{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"bool","name":"revocable","type":"bool"},{"internalType":"uint256","name":"amount","type":"uint256"}],"internalType":"struct SabaiVesting.VestingScheduleMany[]","name":"_schedules","type":"tuple[]"}],"name":"createVestingScheduleMany","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"holder","type":"address"}],"name":"getLastVestingScheduleForHolder","outputs":[{"components":[{"internalType":"bool","name":"initialized","type":"bool"},{"internalType":"address","name":"beneficiary","type":"address"},{"internalType":"uint256","name":"cliff","type":"uint256"},{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"bool","name":"revocable","type":"bool"},{"internalType":"uint256","name":"amountTotal","type":"uint256"},{"internalType":"uint256","name":"released","type":"uint256"},{"internalType":"bool","name":"revoked","type":"bool"}],"internalType":"struct SabaiVesting.VestingSchedule","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getToken","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"getVestingIdAtIndex","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"vestingScheduleId","type":"bytes32"}],"name":"getVestingSchedule","outputs":[{"components":[{"internalType":"bool","name":"initialized","type":"bool"},{"internalType":"address","name":"beneficiary","type":"address"},{"internalType":"uint256","name":"cliff","type":"uint256"},{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"bool","name":"revocable","type":"bool"},{"internalType":"uint256","name":"amountTotal","type":"uint256"},{"internalType":"uint256","name":"released","type":"uint256"},{"internalType":"bool","name":"revoked","type":"bool"}],"internalType":"struct SabaiVesting.VestingSchedule","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"getVestingScheduleByAddressAndIndex","outputs":[{"components":[{"internalType":"bool","name":"initialized","type":"bool"},{"internalType":"address","name":"beneficiary","type":"address"},{"internalType":"uint256","name":"cliff","type":"uint256"},{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"bool","name":"revocable","type":"bool"},{"internalType":"uint256","name":"amountTotal","type":"uint256"},{"internalType":"uint256","name":"released","type":"uint256"},{"internalType":"bool","name":"revoked","type":"bool"}],"internalType":"struct SabaiVesting.VestingSchedule","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getVestingSchedulesCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_beneficiary","type":"address"}],"name":"getVestingSchedulesCountByBeneficiary","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getVestingSchedulesTotalAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getWithdrawableAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"vestingScheduleId","type":"bytes32"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"release","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"vestingScheduleId","type":"bytes32"}],"name":"revoke","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60a06040523480156200001157600080fd5b506040516200397938038062003979833981810160405281019062000037919062000285565b620000576200004b6200014f60201b60201c565b6200015760201b60201c565b60018081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036200009857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603620000d257600080fd5b8173ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff168152505080600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050620002cc565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006200024d8262000220565b9050919050565b6200025f8162000240565b81146200026b57600080fd5b50565b6000815190506200027f8162000254565b92915050565b600080604083850312156200029f576200029e6200021b565b5b6000620002af858286016200026e565b9250506020620002c2858286016200026e565b9150509250929050565b60805161367c620002fd6000396000818161045a0152818161095a01528181610cb50152610ede015261367c6000f3fe608060405234801561001057600080fd5b50600436106101425760003560e01c806390be10cc116100b8578063e3cf11521161007c578063e3cf115214610351578063ea1bb3d51461036d578063f2fde38b1461039d578063f51321d7146103b9578063f7c469f0146103e9578063f9079b371461041957610142565b806390be10cc146102ad5780639ef346b4146102cb578063b75c7dc6146102fb578063bb9356c614610317578063d50d57ab1461033357610142565b80635a7bb69a1161010a5780635a7bb69a146101d957806366afd8ef14610209578063715018a6146102255780637e913dc61461022f5780638af104da1461025f5780638da5cb5b1461028f57610142565b8063130836171461014757806321df0da71461016557806327a1567f146101835780632e1a7d4d1461019f57806348deb471146101bb575b600080fd5b61014f610449565b60405161015c9190612389565b60405180910390f35b61016d610456565b60405161017a91906123e5565b60405180910390f35b61019d600480360381019061019891906124a4565b61047e565b005b6101b960048036038101906101b49190612531565b61088b565b005b6101c36109a9565b6040516101d09190612389565b60405180910390f35b6101f360048036038101906101ee919061255e565b6109b3565b6040516102009190612389565b60405180910390f35b610223600480360381019061021e91906125c1565b6109fc565b005b61022d610d09565b005b6102496004803603810190610244919061255e565b610d1d565b60405161025691906126e5565b60405180910390f35b61027960048036038101906102749190612701565b610e78565b6040516102869190612750565b60405180910390f35b610297610eab565b6040516102a491906123e5565b60405180910390f35b6102b5610ed4565b6040516102c29190612389565b60405180910390f35b6102e560048036038101906102e0919061276b565b610f89565b6040516102f291906126e5565b60405180910390f35b6103156004803603810190610310919061276b565b611090565b005b610331600480360381019061032c919061255e565b6112d4565b005b61033b611359565b60405161034891906123e5565b60405180910390f35b61036b60048036038101906103669190612996565b61137f565b005b6103876004803603810190610382919061276b565b611985565b6040516103949190612389565b60405180910390f35b6103b760048036038101906103b2919061255e565b611afe565b005b6103d360048036038101906103ce9190612701565b611b81565b6040516103e091906126e5565b60405180910390f35b61040360048036038101906103fe919061255e565b611ba3565b6040516104109190612750565b60405180910390f35b610433600480360381019061042e9190612531565b611bf5565b6040516104409190612750565b60405180910390f35b6000600280549050905090565b60007f0000000000000000000000000000000000000000000000000000000000000000905090565b610486611c66565b803073ffffffffffffffffffffffffffffffffffffffff166390be10cc6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104f691906129f4565b1015610537576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052e90612aca565b60405180910390fd5b6000831161057a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161057190612b5c565b60405180910390fd5b600081116105bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105b490612bc8565b60405180910390fd5b60003073ffffffffffffffffffffffffffffffffffffffff1663f7c469f0886040518263ffffffff1660e01b81526004016105f891906123e5565b602060405180830381865afa158015610615573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106399190612bfd565b905060006106508688611cff90919063ffffffff16565b90506040518061012001604052806001151581526020018973ffffffffffffffffffffffffffffffffffffffff168152602001828152602001888152602001868152602001851515815260200184815260200160008152602001600015158152506003600084815260200190815260200160002060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010155606082015181600201556080820151816003015560a08201518160040160006101000a81548160ff02191690831515021790555060c0820151816005015560e082015181600601556101008201518160070160006101000a81548160ff0219169083151502179055509050506107b683600454611cff90919063ffffffff16565b60048190555060028290806001815401808255809150506001900390600052602060002001600090919091909150556000600560008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905061083d600182611cff90919063ffffffff16565b600560008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505050505050505050565b610893611d15565b61089b611c66565b803073ffffffffffffffffffffffffffffffffffffffff166390be10cc6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108e7573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061090b91906129f4565b101561094c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094390612c9c565b60405180910390fd5b61099e610957610eab565b827f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16611d649092919063ffffffff16565b6109a6611dea565b50565b6000600454905090565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610a04611d15565b81600115156003600083815260200190815260200160002060000160009054906101000a900460ff16151514610a3957600080fd5b600015156003600083815260200190815260200160002060070160009054906101000a900460ff16151514610a6d57600080fd5b600060036000858152602001908152602001600020905060008160000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905080610b1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1290612d2e565b60405180910390fd5b6000610c0b83604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff161515151581525050611df3565b905084811015610c50576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4790612dc0565b60405180910390fd5b610c67858460060154611cff90919063ffffffff16565b8360060181905550610c8485600454611edf90919063ffffffff16565b600481905550610cf98360000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16867f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16611d649092919063ffffffff16565b50505050610d05611dea565b5050565b610d11611ef5565b610d1b6000611f73565b565b610d25612308565b60036000610d7e846001600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610d799190612e0f565b610e78565b8152602001908152602001600020604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff1615151515815250509050919050565b60008282604051602001610e8d929190612eac565b60405160208183030381529060405280519060200120905092915050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000610f846004547f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610f3591906123e5565b602060405180830381865afa158015610f52573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f7691906129f4565b611edf90919063ffffffff16565b905090565b610f91612308565b60036000838152602001908152602001600020604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff1615151515815250509050919050565b611098611c66565b80600115156003600083815260200190815260200160002060000160009054906101000a900460ff161515146110cd57600080fd5b600015156003600083815260200190815260200160002060070160009054906101000a900460ff1615151461110157600080fd5b6000600360008481526020019081526020016000209050600115158160040160009054906101000a900460ff16151514611170576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161116790612f4a565b60405180910390fd5b600061126082604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff161515151581525050611df3565b905060008111156112765761127584826109fc565b5b600061129383600601548460050154611edf90919063ffffffff16565b90506112aa81600454611edf90919063ffffffff16565b60048190555060018360070160006101000a81548160ff0219169083151502179055505050505050565b6112dc611ef5565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361131557600080fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611387611c66565b600080600090505b82518110156115505760008382815181106113ad576113ac612f6a565b5b602002602001015160600151116113f9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113f090612b5c565b60405180910390fd5b600083828151811061140e5761140d612f6a565b5b602002602001015160a001511161145a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161145190612bc8565b60405180910390fd5b61148b8382815181106114705761146f612f6a565b5b602002602001015160a0015183611cff90919063ffffffff16565b50813073ffffffffffffffffffffffffffffffffffffffff166390be10cc6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156114d8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114fc91906129f4565b101561153d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161153490612aca565b60405180910390fd5b808061154890612f99565b91505061138f565b5060005b82518110156119805760003073ffffffffffffffffffffffffffffffffffffffff1663f7c469f085848151811061158e5761158d612f6a565b5b6020026020010151600001516040518263ffffffff1660e01b81526004016115b691906123e5565b602060405180830381865afa1580156115d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115f79190612bfd565b9050600061164a85848151811061161157611610612f6a565b5b6020026020010151602001518685815181106116305761162f612f6a565b5b602002602001015160400151611cff90919063ffffffff16565b905060405180610120016040528060011515815260200186858151811061167457611673612f6a565b5b60200260200101516000015173ffffffffffffffffffffffffffffffffffffffff1681526020018281526020018685815181106116b4576116b3612f6a565b5b60200260200101516040015181526020018685815181106116d8576116d7612f6a565b5b60200260200101516060015181526020018685815181106116fc576116fb612f6a565b5b6020026020010151608001511515815260200186858151811061172257611721612f6a565b5b602002602001015160a00151815260200160008152602001600015158152506003600084815260200190815260200160002060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010155606082015181600201556080820151816003015560a08201518160040160006101000a81548160ff02191690831515021790555060c0820151816005015560e082015181600601556101008201518160070160006101000a81548160ff02191690831515021790555090505061186485848151811061184757611846612f6a565b5b602002602001015160a00151600454611cff90919063ffffffff16565b60048190555060028290806001815401808255809150506001900390600052602060002001600090919091909150556000600560008786815181106118ac576118ab612f6a565b5b60200260200101516000015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050611909600182611cff90919063ffffffff16565b600560008887815181106119205761191f612f6a565b5b60200260200101516000015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505050808061197890612f99565b915050611554565b505050565b600081600115156003600083815260200190815260200160002060000160009054906101000a900460ff161515146119bc57600080fd5b600015156003600083815260200190815260200160002060070160009054906101000a900460ff161515146119f057600080fd5b6000600360008581526020019081526020016000209050611af581604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff161515151581525050611df3565b92505050919050565b611b06611ef5565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611b75576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b6c90613053565b60405180910390fd5b611b7e81611f73565b50565b611b89612308565b611b9b611b968484610e78565b610f89565b905092915050565b6000611bee82600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610e78565b9050919050565b6000611bff610449565b8210611c40576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c37906130e5565b60405180910390fd5b60028281548110611c5457611c53612f6a565b5b90600052602060002001549050919050565b611c6e612037565b73ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611cfd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cf490613177565b60405180910390fd5b565b60008183611d0d9190613197565b905092915050565b600260015403611d5a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d5190613217565b60405180910390fd5b6002600181905550565b611de58363a9059cbb60e01b8484604051602401611d83929190613237565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838183161783525050505061203f565b505050565b60018081905550565b600080611dfe612107565b90508260400151811080611e1b5750600115158361010001511515145b15611e2a576000915050611eda565b611e4583608001518460400151611cff90919063ffffffff16565b8110611e6e57611e668360e001518460c00151611edf90919063ffffffff16565b915050611eda565b6000611e87846040015183611edf90919063ffffffff16565b90506000611eb88560800151611eaa848860c0015161210f90919063ffffffff16565b61212590919063ffffffff16565b9050611ed18560e0015182611edf90919063ffffffff16565b90508093505050505b919050565b60008183611eed9190612e0f565b905092915050565b611efd612037565b73ffffffffffffffffffffffffffffffffffffffff16611f1b610eab565b73ffffffffffffffffffffffffffffffffffffffff1614611f71576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f68906132ac565b60405180910390fd5b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600033905090565b60006120a1826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65648152508573ffffffffffffffffffffffffffffffffffffffff1661213b9092919063ffffffff16565b90506000815114806120c35750808060200190518101906120c291906132e1565b5b612102576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120f990613380565b60405180910390fd5b505050565b600042905090565b6000818361211d91906133a0565b905092915050565b600081836121339190613429565b905092915050565b606061214a8484600085612153565b90509392505050565b606082471015612198576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161218f906134cc565b60405180910390fd5b6000808673ffffffffffffffffffffffffffffffffffffffff1685876040516121c1919061355d565b60006040518083038185875af1925050503d80600081146121fe576040519150601f19603f3d011682016040523d82523d6000602084013e612203565b606091505b509150915061221487838387612220565b92505050949350505050565b6060831561228257600083510361227a5761223a85612295565b612279576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612270906135c0565b60405180910390fd5b5b82905061228d565b61228c83836122b8565b5b949350505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b6000825111156122cb5781518083602001fd5b806040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122ff9190613624565b60405180910390fd5b604051806101200160405280600015158152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081526020016000815260200160001515815260200160008152602001600081526020016000151581525090565b6000819050919050565b61238381612370565b82525050565b600060208201905061239e600083018461237a565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006123cf826123a4565b9050919050565b6123df816123c4565b82525050565b60006020820190506123fa60008301846123d6565b92915050565b6000604051905090565b600080fd5b600080fd5b61241d816123c4565b811461242857600080fd5b50565b60008135905061243a81612414565b92915050565b61244981612370565b811461245457600080fd5b50565b60008135905061246681612440565b92915050565b60008115159050919050565b6124818161246c565b811461248c57600080fd5b50565b60008135905061249e81612478565b92915050565b60008060008060008060c087890312156124c1576124c061240a565b5b60006124cf89828a0161242b565b96505060206124e089828a01612457565b95505060406124f189828a01612457565b945050606061250289828a01612457565b935050608061251389828a0161248f565b92505060a061252489828a01612457565b9150509295509295509295565b6000602082840312156125475761254661240a565b5b600061255584828501612457565b91505092915050565b6000602082840312156125745761257361240a565b5b60006125828482850161242b565b91505092915050565b6000819050919050565b61259e8161258b565b81146125a957600080fd5b50565b6000813590506125bb81612595565b92915050565b600080604083850312156125d8576125d761240a565b5b60006125e6858286016125ac565b92505060206125f785828601612457565b9150509250929050565b61260a8161246c565b82525050565b612619816123c4565b82525050565b61262881612370565b82525050565b610120820160008201516126456000850182612601565b5060208201516126586020850182612610565b50604082015161266b604085018261261f565b50606082015161267e606085018261261f565b506080820151612691608085018261261f565b5060a08201516126a460a0850182612601565b5060c08201516126b760c085018261261f565b5060e08201516126ca60e085018261261f565b506101008201516126df610100850182612601565b50505050565b6000610120820190506126fb600083018461262e565b92915050565b600080604083850312156127185761271761240a565b5b60006127268582860161242b565b925050602061273785828601612457565b9150509250929050565b61274a8161258b565b82525050565b60006020820190506127656000830184612741565b92915050565b6000602082840312156127815761278061240a565b5b600061278f848285016125ac565b91505092915050565b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6127e68261279d565b810181811067ffffffffffffffff82111715612805576128046127ae565b5b80604052505050565b6000612818612400565b905061282482826127dd565b919050565b600067ffffffffffffffff821115612844576128436127ae565b5b602082029050602081019050919050565b600080fd5b600080fd5b600060c082840312156128755761287461285a565b5b61287f60c061280e565b9050600061288f8482850161242b565b60008301525060206128a384828501612457565b60208301525060406128b784828501612457565b60408301525060606128cb84828501612457565b60608301525060806128df8482850161248f565b60808301525060a06128f384828501612457565b60a08301525092915050565b600061291261290d84612829565b61280e565b90508083825260208201905060c0840283018581111561293557612934612855565b5b835b8181101561295e578061294a888261285f565b84526020840193505060c081019050612937565b5050509392505050565b600082601f83011261297d5761297c612798565b5b813561298d8482602086016128ff565b91505092915050565b6000602082840312156129ac576129ab61240a565b5b600082013567ffffffffffffffff8111156129ca576129c961240f565b5b6129d684828501612968565b91505092915050565b6000815190506129ee81612440565b92915050565b600060208284031215612a0a57612a0961240a565b5b6000612a18848285016129df565b91505092915050565b600082825260208201905092915050565b7f546f6b656e56657374696e673a2063616e6e6f7420637265617465207665737460008201527f696e67207363686564756c652062656361757365206e6f74207375666669636960208201527f656e7420746f6b656e7300000000000000000000000000000000000000000000604082015250565b6000612ab4604a83612a21565b9150612abf82612a32565b606082019050919050565b60006020820190508181036000830152612ae381612aa7565b9050919050565b7f546f6b656e56657374696e673a206475726174696f6e206d757374206265203e60008201527f2030000000000000000000000000000000000000000000000000000000000000602082015250565b6000612b46602283612a21565b9150612b5182612aea565b604082019050919050565b60006020820190508181036000830152612b7581612b39565b9050919050565b7f546f6b656e56657374696e673a20616d6f756e74206d757374206265203e2030600082015250565b6000612bb2602083612a21565b9150612bbd82612b7c565b602082019050919050565b60006020820190508181036000830152612be181612ba5565b9050919050565b600081519050612bf781612595565b92915050565b600060208284031215612c1357612c1261240a565b5b6000612c2184828501612be8565b91505092915050565b7f546f6b656e56657374696e673a206e6f7420656e6f756768207769746864726160008201527f7761626c652066756e6473000000000000000000000000000000000000000000602082015250565b6000612c86602b83612a21565b9150612c9182612c2a565b604082019050919050565b60006020820190508181036000830152612cb581612c79565b9050919050565b7f546f6b656e56657374696e673a206f6e6c792062656e6566696369617279206360008201527f616e2072656c656173652076657374656420746f6b656e730000000000000000602082015250565b6000612d18603883612a21565b9150612d2382612cbc565b604082019050919050565b60006020820190508181036000830152612d4781612d0b565b9050919050565b7f546f6b656e56657374696e673a2063616e6e6f742072656c6561736520746f6b60008201527f656e732c206e6f7420656e6f7567682076657374656420746f6b656e73000000602082015250565b6000612daa603d83612a21565b9150612db582612d4e565b604082019050919050565b60006020820190508181036000830152612dd981612d9d565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000612e1a82612370565b9150612e2583612370565b9250828203905081811115612e3d57612e3c612de0565b5b92915050565b60008160601b9050919050565b6000612e5b82612e43565b9050919050565b6000612e6d82612e50565b9050919050565b612e85612e80826123c4565b612e62565b82525050565b6000819050919050565b612ea6612ea182612370565b612e8b565b82525050565b6000612eb88285612e74565b601482019150612ec88284612e95565b6020820191508190509392505050565b7f546f6b656e56657374696e673a2076657374696e67206973206e6f742072657660008201527f6f6361626c650000000000000000000000000000000000000000000000000000602082015250565b6000612f34602683612a21565b9150612f3f82612ed8565b604082019050919050565b60006020820190508181036000830152612f6381612f27565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6000612fa482612370565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203612fd657612fd5612de0565b5b600182019050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061303d602683612a21565b915061304882612fe1565b604082019050919050565b6000602082019050818103600083015261306c81613030565b9050919050565b7f546f6b656e56657374696e673a20696e646578206f7574206f6620626f756e6460008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006130cf602183612a21565b91506130da82613073565b604082019050919050565b600060208201905081810360008301526130fe816130c2565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206d616e616760008201527f6572000000000000000000000000000000000000000000000000000000000000602082015250565b6000613161602283612a21565b915061316c82613105565b604082019050919050565b6000602082019050818103600083015261319081613154565b9050919050565b60006131a282612370565b91506131ad83612370565b92508282019050808211156131c5576131c4612de0565b5b92915050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00600082015250565b6000613201601f83612a21565b915061320c826131cb565b602082019050919050565b60006020820190508181036000830152613230816131f4565b9050919050565b600060408201905061324c60008301856123d6565b613259602083018461237a565b9392505050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000613296602083612a21565b91506132a182613260565b602082019050919050565b600060208201905081810360008301526132c581613289565b9050919050565b6000815190506132db81612478565b92915050565b6000602082840312156132f7576132f661240a565b5b6000613305848285016132cc565b91505092915050565b7f5361666545524332303a204552433230206f7065726174696f6e20646964206e60008201527f6f74207375636365656400000000000000000000000000000000000000000000602082015250565b600061336a602a83612a21565b91506133758261330e565b604082019050919050565b600060208201905081810360008301526133998161335d565b9050919050565b60006133ab82612370565b91506133b683612370565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156133ef576133ee612de0565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061343482612370565b915061343f83612370565b92508261344f5761344e6133fa565b5b828204905092915050565b7f416464726573733a20696e73756666696369656e742062616c616e636520666f60008201527f722063616c6c0000000000000000000000000000000000000000000000000000602082015250565b60006134b6602683612a21565b91506134c18261345a565b604082019050919050565b600060208201905081810360008301526134e5816134a9565b9050919050565b600081519050919050565b600081905092915050565b60005b83811015613520578082015181840152602081019050613505565b60008484015250505050565b6000613537826134ec565b61354181856134f7565b9350613551818560208601613502565b80840191505092915050565b6000613569828461352c565b915081905092915050565b7f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000600082015250565b60006135aa601d83612a21565b91506135b582613574565b602082019050919050565b600060208201905081810360008301526135d98161359d565b9050919050565b600081519050919050565b60006135f6826135e0565b6136008185612a21565b9350613610818560208601613502565b6136198161279d565b840191505092915050565b6000602082019050818103600083015261363e81846135eb565b90509291505056fea264697066735822122014313f7ca1a807fa4dabdfe5857789c1d95a3d76a7f7bf25fd441af9e6272f2864736f6c63430008100033000000000000000000000000b5d730d442e1d5b119fb4e5c843c48a64202ef92000000000000000000000000fab04bc83d53b5dcfe186437b48d438c9504c7f7

0x608060405234801561001057600080fd5b50600436106101425760003560e01c806390be10cc116100b8578063e3cf11521161007c578063e3cf115214610351578063ea1bb3d51461036d578063f2fde38b1461039d578063f51321d7146103b9578063f7c469f0146103e9578063f9079b371461041957610142565b806390be10cc146102ad5780639ef346b4146102cb578063b75c7dc6146102fb578063bb9356c614610317578063d50d57ab1461033357610142565b80635a7bb69a1161010a5780635a7bb69a146101d957806366afd8ef14610209578063715018a6146102255780637e913dc61461022f5780638af104da1461025f5780638da5cb5b1461028f57610142565b8063130836171461014757806321df0da71461016557806327a1567f146101835780632e1a7d4d1461019f57806348deb471146101bb575b600080fd5b61014f610449565b60405161015c9190612389565b60405180910390f35b61016d610456565b60405161017a91906123e5565b60405180910390f35b61019d600480360381019061019891906124a4565b61047e565b005b6101b960048036038101906101b49190612531565b61088b565b005b6101c36109a9565b6040516101d09190612389565b60405180910390f35b6101f360048036038101906101ee919061255e565b6109b3565b6040516102009190612389565b60405180910390f35b610223600480360381019061021e91906125c1565b6109fc565b005b61022d610d09565b005b6102496004803603810190610244919061255e565b610d1d565b60405161025691906126e5565b60405180910390f35b61027960048036038101906102749190612701565b610e78565b6040516102869190612750565b60405180910390f35b610297610eab565b6040516102a491906123e5565b60405180910390f35b6102b5610ed4565b6040516102c29190612389565b60405180910390f35b6102e560048036038101906102e0919061276b565b610f89565b6040516102f291906126e5565b60405180910390f35b6103156004803603810190610310919061276b565b611090565b005b610331600480360381019061032c919061255e565b6112d4565b005b61033b611359565b60405161034891906123e5565b60405180910390f35b61036b60048036038101906103669190612996565b61137f565b005b6103876004803603810190610382919061276b565b611985565b6040516103949190612389565b60405180910390f35b6103b760048036038101906103b2919061255e565b611afe565b005b6103d360048036038101906103ce9190612701565b611b81565b6040516103e091906126e5565b60405180910390f35b61040360048036038101906103fe919061255e565b611ba3565b6040516104109190612750565b60405180910390f35b610433600480360381019061042e9190612531565b611bf5565b6040516104409190612750565b60405180910390f35b6000600280549050905090565b60007f000000000000000000000000b5d730d442e1d5b119fb4e5c843c48a64202ef92905090565b610486611c66565b803073ffffffffffffffffffffffffffffffffffffffff166390be10cc6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104f691906129f4565b1015610537576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052e90612aca565b60405180910390fd5b6000831161057a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161057190612b5c565b60405180910390fd5b600081116105bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105b490612bc8565b60405180910390fd5b60003073ffffffffffffffffffffffffffffffffffffffff1663f7c469f0886040518263ffffffff1660e01b81526004016105f891906123e5565b602060405180830381865afa158015610615573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106399190612bfd565b905060006106508688611cff90919063ffffffff16565b90506040518061012001604052806001151581526020018973ffffffffffffffffffffffffffffffffffffffff168152602001828152602001888152602001868152602001851515815260200184815260200160008152602001600015158152506003600084815260200190815260200160002060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010155606082015181600201556080820151816003015560a08201518160040160006101000a81548160ff02191690831515021790555060c0820151816005015560e082015181600601556101008201518160070160006101000a81548160ff0219169083151502179055509050506107b683600454611cff90919063ffffffff16565b60048190555060028290806001815401808255809150506001900390600052602060002001600090919091909150556000600560008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905061083d600182611cff90919063ffffffff16565b600560008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505050505050505050565b610893611d15565b61089b611c66565b803073ffffffffffffffffffffffffffffffffffffffff166390be10cc6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108e7573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061090b91906129f4565b101561094c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094390612c9c565b60405180910390fd5b61099e610957610eab565b827f000000000000000000000000b5d730d442e1d5b119fb4e5c843c48a64202ef9273ffffffffffffffffffffffffffffffffffffffff16611d649092919063ffffffff16565b6109a6611dea565b50565b6000600454905090565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610a04611d15565b81600115156003600083815260200190815260200160002060000160009054906101000a900460ff16151514610a3957600080fd5b600015156003600083815260200190815260200160002060070160009054906101000a900460ff16151514610a6d57600080fd5b600060036000858152602001908152602001600020905060008160000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905080610b1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1290612d2e565b60405180910390fd5b6000610c0b83604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff161515151581525050611df3565b905084811015610c50576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4790612dc0565b60405180910390fd5b610c67858460060154611cff90919063ffffffff16565b8360060181905550610c8485600454611edf90919063ffffffff16565b600481905550610cf98360000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16867f000000000000000000000000b5d730d442e1d5b119fb4e5c843c48a64202ef9273ffffffffffffffffffffffffffffffffffffffff16611d649092919063ffffffff16565b50505050610d05611dea565b5050565b610d11611ef5565b610d1b6000611f73565b565b610d25612308565b60036000610d7e846001600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610d799190612e0f565b610e78565b8152602001908152602001600020604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff1615151515815250509050919050565b60008282604051602001610e8d929190612eac565b60405160208183030381529060405280519060200120905092915050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000610f846004547f000000000000000000000000b5d730d442e1d5b119fb4e5c843c48a64202ef9273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610f3591906123e5565b602060405180830381865afa158015610f52573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f7691906129f4565b611edf90919063ffffffff16565b905090565b610f91612308565b60036000838152602001908152602001600020604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff1615151515815250509050919050565b611098611c66565b80600115156003600083815260200190815260200160002060000160009054906101000a900460ff161515146110cd57600080fd5b600015156003600083815260200190815260200160002060070160009054906101000a900460ff1615151461110157600080fd5b6000600360008481526020019081526020016000209050600115158160040160009054906101000a900460ff16151514611170576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161116790612f4a565b60405180910390fd5b600061126082604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff161515151581525050611df3565b905060008111156112765761127584826109fc565b5b600061129383600601548460050154611edf90919063ffffffff16565b90506112aa81600454611edf90919063ffffffff16565b60048190555060018360070160006101000a81548160ff0219169083151502179055505050505050565b6112dc611ef5565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361131557600080fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611387611c66565b600080600090505b82518110156115505760008382815181106113ad576113ac612f6a565b5b602002602001015160600151116113f9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113f090612b5c565b60405180910390fd5b600083828151811061140e5761140d612f6a565b5b602002602001015160a001511161145a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161145190612bc8565b60405180910390fd5b61148b8382815181106114705761146f612f6a565b5b602002602001015160a0015183611cff90919063ffffffff16565b50813073ffffffffffffffffffffffffffffffffffffffff166390be10cc6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156114d8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114fc91906129f4565b101561153d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161153490612aca565b60405180910390fd5b808061154890612f99565b91505061138f565b5060005b82518110156119805760003073ffffffffffffffffffffffffffffffffffffffff1663f7c469f085848151811061158e5761158d612f6a565b5b6020026020010151600001516040518263ffffffff1660e01b81526004016115b691906123e5565b602060405180830381865afa1580156115d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115f79190612bfd565b9050600061164a85848151811061161157611610612f6a565b5b6020026020010151602001518685815181106116305761162f612f6a565b5b602002602001015160400151611cff90919063ffffffff16565b905060405180610120016040528060011515815260200186858151811061167457611673612f6a565b5b60200260200101516000015173ffffffffffffffffffffffffffffffffffffffff1681526020018281526020018685815181106116b4576116b3612f6a565b5b60200260200101516040015181526020018685815181106116d8576116d7612f6a565b5b60200260200101516060015181526020018685815181106116fc576116fb612f6a565b5b6020026020010151608001511515815260200186858151811061172257611721612f6a565b5b602002602001015160a00151815260200160008152602001600015158152506003600084815260200190815260200160002060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010155606082015181600201556080820151816003015560a08201518160040160006101000a81548160ff02191690831515021790555060c0820151816005015560e082015181600601556101008201518160070160006101000a81548160ff02191690831515021790555090505061186485848151811061184757611846612f6a565b5b602002602001015160a00151600454611cff90919063ffffffff16565b60048190555060028290806001815401808255809150506001900390600052602060002001600090919091909150556000600560008786815181106118ac576118ab612f6a565b5b60200260200101516000015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050611909600182611cff90919063ffffffff16565b600560008887815181106119205761191f612f6a565b5b60200260200101516000015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505050808061197890612f99565b915050611554565b505050565b600081600115156003600083815260200190815260200160002060000160009054906101000a900460ff161515146119bc57600080fd5b600015156003600083815260200190815260200160002060070160009054906101000a900460ff161515146119f057600080fd5b6000600360008581526020019081526020016000209050611af581604051806101200160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff1615151515815260200160058201548152602001600682015481526020016007820160009054906101000a900460ff161515151581525050611df3565b92505050919050565b611b06611ef5565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611b75576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b6c90613053565b60405180910390fd5b611b7e81611f73565b50565b611b89612308565b611b9b611b968484610e78565b610f89565b905092915050565b6000611bee82600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610e78565b9050919050565b6000611bff610449565b8210611c40576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c37906130e5565b60405180910390fd5b60028281548110611c5457611c53612f6a565b5b90600052602060002001549050919050565b611c6e612037565b73ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611cfd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cf490613177565b60405180910390fd5b565b60008183611d0d9190613197565b905092915050565b600260015403611d5a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d5190613217565b60405180910390fd5b6002600181905550565b611de58363a9059cbb60e01b8484604051602401611d83929190613237565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838183161783525050505061203f565b505050565b60018081905550565b600080611dfe612107565b90508260400151811080611e1b5750600115158361010001511515145b15611e2a576000915050611eda565b611e4583608001518460400151611cff90919063ffffffff16565b8110611e6e57611e668360e001518460c00151611edf90919063ffffffff16565b915050611eda565b6000611e87846040015183611edf90919063ffffffff16565b90506000611eb88560800151611eaa848860c0015161210f90919063ffffffff16565b61212590919063ffffffff16565b9050611ed18560e0015182611edf90919063ffffffff16565b90508093505050505b919050565b60008183611eed9190612e0f565b905092915050565b611efd612037565b73ffffffffffffffffffffffffffffffffffffffff16611f1b610eab565b73ffffffffffffffffffffffffffffffffffffffff1614611f71576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f68906132ac565b60405180910390fd5b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600033905090565b60006120a1826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65648152508573ffffffffffffffffffffffffffffffffffffffff1661213b9092919063ffffffff16565b90506000815114806120c35750808060200190518101906120c291906132e1565b5b612102576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120f990613380565b60405180910390fd5b505050565b600042905090565b6000818361211d91906133a0565b905092915050565b600081836121339190613429565b905092915050565b606061214a8484600085612153565b90509392505050565b606082471015612198576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161218f906134cc565b60405180910390fd5b6000808673ffffffffffffffffffffffffffffffffffffffff1685876040516121c1919061355d565b60006040518083038185875af1925050503d80600081146121fe576040519150601f19603f3d011682016040523d82523d6000602084013e612203565b606091505b509150915061221487838387612220565b92505050949350505050565b6060831561228257600083510361227a5761223a85612295565b612279576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612270906135c0565b60405180910390fd5b5b82905061228d565b61228c83836122b8565b5b949350505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b6000825111156122cb5781518083602001fd5b806040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122ff9190613624565b60405180910390fd5b604051806101200160405280600015158152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081526020016000815260200160001515815260200160008152602001600081526020016000151581525090565b6000819050919050565b61238381612370565b82525050565b600060208201905061239e600083018461237a565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006123cf826123a4565b9050919050565b6123df816123c4565b82525050565b60006020820190506123fa60008301846123d6565b92915050565b6000604051905090565b600080fd5b600080fd5b61241d816123c4565b811461242857600080fd5b50565b60008135905061243a81612414565b92915050565b61244981612370565b811461245457600080fd5b50565b60008135905061246681612440565b92915050565b60008115159050919050565b6124818161246c565b811461248c57600080fd5b50565b60008135905061249e81612478565b92915050565b60008060008060008060c087890312156124c1576124c061240a565b5b60006124cf89828a0161242b565b96505060206124e089828a01612457565b95505060406124f189828a01612457565b945050606061250289828a01612457565b935050608061251389828a0161248f565b92505060a061252489828a01612457565b9150509295509295509295565b6000602082840312156125475761254661240a565b5b600061255584828501612457565b91505092915050565b6000602082840312156125745761257361240a565b5b60006125828482850161242b565b91505092915050565b6000819050919050565b61259e8161258b565b81146125a957600080fd5b50565b6000813590506125bb81612595565b92915050565b600080604083850312156125d8576125d761240a565b5b60006125e6858286016125ac565b92505060206125f785828601612457565b9150509250929050565b61260a8161246c565b82525050565b612619816123c4565b82525050565b61262881612370565b82525050565b610120820160008201516126456000850182612601565b5060208201516126586020850182612610565b50604082015161266b604085018261261f565b50606082015161267e606085018261261f565b506080820151612691608085018261261f565b5060a08201516126a460a0850182612601565b5060c08201516126b760c085018261261f565b5060e08201516126ca60e085018261261f565b506101008201516126df610100850182612601565b50505050565b6000610120820190506126fb600083018461262e565b92915050565b600080604083850312156127185761271761240a565b5b60006127268582860161242b565b925050602061273785828601612457565b9150509250929050565b61274a8161258b565b82525050565b60006020820190506127656000830184612741565b92915050565b6000602082840312156127815761278061240a565b5b600061278f848285016125ac565b91505092915050565b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6127e68261279d565b810181811067ffffffffffffffff82111715612805576128046127ae565b5b80604052505050565b6000612818612400565b905061282482826127dd565b919050565b600067ffffffffffffffff821115612844576128436127ae565b5b602082029050602081019050919050565b600080fd5b600080fd5b600060c082840312156128755761287461285a565b5b61287f60c061280e565b9050600061288f8482850161242b565b60008301525060206128a384828501612457565b60208301525060406128b784828501612457565b60408301525060606128cb84828501612457565b60608301525060806128df8482850161248f565b60808301525060a06128f384828501612457565b60a08301525092915050565b600061291261290d84612829565b61280e565b90508083825260208201905060c0840283018581111561293557612934612855565b5b835b8181101561295e578061294a888261285f565b84526020840193505060c081019050612937565b5050509392505050565b600082601f83011261297d5761297c612798565b5b813561298d8482602086016128ff565b91505092915050565b6000602082840312156129ac576129ab61240a565b5b600082013567ffffffffffffffff8111156129ca576129c961240f565b5b6129d684828501612968565b91505092915050565b6000815190506129ee81612440565b92915050565b600060208284031215612a0a57612a0961240a565b5b6000612a18848285016129df565b91505092915050565b600082825260208201905092915050565b7f546f6b656e56657374696e673a2063616e6e6f7420637265617465207665737460008201527f696e67207363686564756c652062656361757365206e6f74207375666669636960208201527f656e7420746f6b656e7300000000000000000000000000000000000000000000604082015250565b6000612ab4604a83612a21565b9150612abf82612a32565b606082019050919050565b60006020820190508181036000830152612ae381612aa7565b9050919050565b7f546f6b656e56657374696e673a206475726174696f6e206d757374206265203e60008201527f2030000000000000000000000000000000000000000000000000000000000000602082015250565b6000612b46602283612a21565b9150612b5182612aea565b604082019050919050565b60006020820190508181036000830152612b7581612b39565b9050919050565b7f546f6b656e56657374696e673a20616d6f756e74206d757374206265203e2030600082015250565b6000612bb2602083612a21565b9150612bbd82612b7c565b602082019050919050565b60006020820190508181036000830152612be181612ba5565b9050919050565b600081519050612bf781612595565b92915050565b600060208284031215612c1357612c1261240a565b5b6000612c2184828501612be8565b91505092915050565b7f546f6b656e56657374696e673a206e6f7420656e6f756768207769746864726160008201527f7761626c652066756e6473000000000000000000000000000000000000000000602082015250565b6000612c86602b83612a21565b9150612c9182612c2a565b604082019050919050565b60006020820190508181036000830152612cb581612c79565b9050919050565b7f546f6b656e56657374696e673a206f6e6c792062656e6566696369617279206360008201527f616e2072656c656173652076657374656420746f6b656e730000000000000000602082015250565b6000612d18603883612a21565b9150612d2382612cbc565b604082019050919050565b60006020820190508181036000830152612d4781612d0b565b9050919050565b7f546f6b656e56657374696e673a2063616e6e6f742072656c6561736520746f6b60008201527f656e732c206e6f7420656e6f7567682076657374656420746f6b656e73000000602082015250565b6000612daa603d83612a21565b9150612db582612d4e565b604082019050919050565b60006020820190508181036000830152612dd981612d9d565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000612e1a82612370565b9150612e2583612370565b9250828203905081811115612e3d57612e3c612de0565b5b92915050565b60008160601b9050919050565b6000612e5b82612e43565b9050919050565b6000612e6d82612e50565b9050919050565b612e85612e80826123c4565b612e62565b82525050565b6000819050919050565b612ea6612ea182612370565b612e8b565b82525050565b6000612eb88285612e74565b601482019150612ec88284612e95565b6020820191508190509392505050565b7f546f6b656e56657374696e673a2076657374696e67206973206e6f742072657660008201527f6f6361626c650000000000000000000000000000000000000000000000000000602082015250565b6000612f34602683612a21565b9150612f3f82612ed8565b604082019050919050565b60006020820190508181036000830152612f6381612f27565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6000612fa482612370565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203612fd657612fd5612de0565b5b600182019050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061303d602683612a21565b915061304882612fe1565b604082019050919050565b6000602082019050818103600083015261306c81613030565b9050919050565b7f546f6b656e56657374696e673a20696e646578206f7574206f6620626f756e6460008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006130cf602183612a21565b91506130da82613073565b604082019050919050565b600060208201905081810360008301526130fe816130c2565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206d616e616760008201527f6572000000000000000000000000000000000000000000000000000000000000602082015250565b6000613161602283612a21565b915061316c82613105565b604082019050919050565b6000602082019050818103600083015261319081613154565b9050919050565b60006131a282612370565b91506131ad83612370565b92508282019050808211156131c5576131c4612de0565b5b92915050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00600082015250565b6000613201601f83612a21565b915061320c826131cb565b602082019050919050565b60006020820190508181036000830152613230816131f4565b9050919050565b600060408201905061324c60008301856123d6565b613259602083018461237a565b9392505050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000613296602083612a21565b91506132a182613260565b602082019050919050565b600060208201905081810360008301526132c581613289565b9050919050565b6000815190506132db81612478565b92915050565b6000602082840312156132f7576132f661240a565b5b6000613305848285016132cc565b91505092915050565b7f5361666545524332303a204552433230206f7065726174696f6e20646964206e60008201527f6f74207375636365656400000000000000000000000000000000000000000000602082015250565b600061336a602a83612a21565b91506133758261330e565b604082019050919050565b600060208201905081810360008301526133998161335d565b9050919050565b60006133ab82612370565b91506133b683612370565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156133ef576133ee612de0565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061343482612370565b915061343f83612370565b92508261344f5761344e6133fa565b5b828204905092915050565b7f416464726573733a20696e73756666696369656e742062616c616e636520666f60008201527f722063616c6c0000000000000000000000000000000000000000000000000000602082015250565b60006134b6602683612a21565b91506134c18261345a565b604082019050919050565b600060208201905081810360008301526134e5816134a9565b9050919050565b600081519050919050565b600081905092915050565b60005b83811015613520578082015181840152602081019050613505565b60008484015250505050565b6000613537826134ec565b61354181856134f7565b9350613551818560208601613502565b80840191505092915050565b6000613569828461352c565b915081905092915050565b7f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000600082015250565b60006135aa601d83612a21565b91506135b582613574565b602082019050919050565b600060208201905081810360008301526135d98161359d565b9050919050565b600081519050919050565b60006135f6826135e0565b6136008185612a21565b9350613610818560208601613502565b6136198161279d565b840191505092915050565b6000602082019050818103600083015261363e81846135eb565b90509291505056fea264697066735822122014313f7ca1a807fa4dabdfe5857789c1d95a3d76a7f7bf25fd441af9e6272f2864736f6c63430008100033

000000000000000000000000b5d730d442e1d5b119fb4e5c843c48a64202ef92000000000000000000000000fab04bc83d53b5dcfe186437b48d438c9504c7f7

-----Decoded View---------------
Arg [0] : token_ (address): 0xb5d730D442e1D5B119Fb4E5c843c48a64202ef92
Arg [1] : _managerAddress (address): 0xFaB04bC83d53b5DcfE186437B48D438C9504C7f7

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 000000000000000000000000b5d730d442e1d5b119fb4e5c843c48a64202ef92
Arg [1] : 000000000000000000000000fab04bc83d53b5dcfe186437b48d438c9504c7f7

250:14200:7:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11172:138;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4139:101;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4799:1213;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;9742:246;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3900:135;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2861:168;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10161:867;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1817:101:5;;;:::i;:::-;;12841:249:7;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13192:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1194:85:5;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12250:173:7;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11937:181;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8918:703;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2525:189;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1343:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7088:1681;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;11457:323;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2067:198:5;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3531:234:7;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12529:218;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3142:226;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11172:138;11252:7;11277:19;:26;;;;11270:33;;11172:138;:::o;4139:101::-;4193:7;4226:6;4211:22;;4139:101;:::o;4799:1213::-;2339:15;:13;:15::i;:::-;5088:7:::1;5056:4;:26;;;:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:39;;5035:160;;;;;;;;;;;;:::i;:::-;;;;;;;;;5225:1;5213:9;:13;5205:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;5293:1;5283:7;:11;5275:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;5341:25;5369:4;:42;;;5412:12;5369:56;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5341:84;;5435:13;5451:18;5462:6;5451;:10;;:18;;;;:::i;:::-;5435:34;;5517:210;;;;;;;;5546:4;5517:210;;;;;;5564:12;5517:210;;;;;;5590:5;5517:210;;;;5609:6;5517:210;;;;5629:9;5517:210;;;;5652:10;5517:210;;;;;;5676:7;5517:210;;;;5697:1;5517:210;;;;5712:5;5517:210;;;;::::0;5479:16:::1;:35;5496:17;5479:35;;;;;;;;;;;:248;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5767:40;5799:7;5767:27;;:31;;:40;;;;:::i;:::-;5737:27;:70;;;;5817:19;5842:17;5817:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5870:27;5900:19;:33;5920:12;5900:33;;;;;;;;;;;;;;;;5870:63;;5979:26;6003:1;5979:19;:23;;:26;;;;:::i;:::-;5943:19;:33;5963:12;5943:33;;;;;;;;;;;;;;;:62;;;;5025:987;;;4799:1213:::0;;;;;;:::o;9742:246::-;2261:21:6;:19;:21::i;:::-;2339:15:7::1;:13;:15::i;:::-;9881:6:::2;9849:4;:26;;;:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:38;;9841:94;;;;;;;;;;;;:::i;:::-;;;;;;;;;9945:36;9965:7;:5;:7::i;:::-;9974:6;9945;:19;;;;:36;;;;;:::i;:::-;2303:20:6::0;:18;:20::i;:::-;9742:246:7;:::o;3900:135::-;3976:7;4001:27;;3994:34;;3900:135;:::o;2861:168::-;2964:7;2989:19;:33;3009:12;2989:33;;;;;;;;;;;;;;;;2982:40;;2861:168;;;:::o;10161:867::-;2261:21:6;:19;:21::i;:::-;10319:17:7::1;1860:4;1809:55;;:16;:35;1826:17;1809:35;;;;;;;;;;;:47;;;;;;;;;;;;:55;;;1801:64;;;::::0;::::1;;1930:5;1883:52;;:16;:35;1900:17;1883:35;;;;;;;;;;;:43;;;;;;;;;;;;:52;;;1875:61;;;::::0;::::1;;10347:39:::2;10389:16;:35;10406:17;10389:35;;;;;;;;;;;10347:77;;10434:18;10469:15;:27;;;;;;;;;;;;10455:41;;:10;:41;;;10434:62;;10528:13;10507:116;;;;;;;;;;;;:::i;:::-;;;;;;;;;10633:20;10656:41;10681:15;10656:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;:24;:41::i;:::-;10633:64;;10731:6;10715:12;:22;;10707:96;;;;;;;;;;;;:::i;:::-;;;;;;;;;10840:36;10869:6;10840:15;:24;;;:28;;:36;;;;:::i;:::-;10813:15;:24;;:63;;;;10916:39;10948:6;10916:27;;:31;;:39;;;;:::i;:::-;10886:27;:69;;;;10965:56;10985:15;:27;;;;;;;;;;;;11014:6;10965;:19;;;;:56;;;;;:::i;:::-;10337:691;;;2292:1:6::1;2303:20:::0;:18;:20::i;:::-;10161:867:7;;:::o;1817:101:5:-;1087:13;:11;:13::i;:::-;1881:30:::1;1908:1;1881:18;:30::i;:::-;1817:101::o:0;12841:249:7:-;12942:22;;:::i;:::-;12982:16;:101;12999:83;13042:6;13080:1;13050:19;:27;13070:6;13050:27;;;;;;;;;;;;;;;;:31;;;;:::i;:::-;12999:42;:83::i;:::-;12982:101;;;;;;;;;;;12975:108;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12841:249;;;:::o;13192:201::-;13319:7;13371:6;13379:5;13354:31;;;;;;;;;:::i;:::-;;;;;;;;;;;;;13344:42;;;;;;13337:49;;13192:201;;;;:::o;1194:85:5:-;1240:7;1266:6;;;;;;;;;;;1259:13;;1194:85;:::o;12250:173:7:-;12327:7;12352:64;12388:27;;12352:6;:16;;;12377:4;12352:31;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:35;;:64;;;;:::i;:::-;12345:71;;12250:173;:::o;11937:181::-;12036:22;;:::i;:::-;12076:16;:35;12093:17;12076:35;;;;;;;;;;;12069:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11937:181;;;:::o;8918:703::-;2339:15;:13;:15::i;:::-;9036:17:::1;1860:4;1809:55;;:16;:35;1826:17;1809:35;;;;;;;;;;;:47;;;;;;;;;;;;:55;;;1801:64;;;::::0;::::1;;1930:5;1883:52;;:16;:35;1900:17;1883:35;;;;;;;;;;;:43;;;;;;;;;;;;:52;;;1875:61;;;::::0;::::1;;9064:39:::2;9106:16;:35;9123:17;9106:35;;;;;;;;;;;9064:77;;9188:4;9159:33;;:15;:25;;;;;;;;;;;;:33;;;9151:84;;;;;;;;;;;;:::i;:::-;;;;;;;;;9245:20;9268:41;9293:15;9268:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;:24;:41::i;:::-;9245:64;;9337:1;9322:12;:16;9319:85;;;9353:40;9361:17;9380:12;9353:7;:40::i;:::-;9319:85;9413:18;9434:57;9466:15;:24;;;9434:15;:27;;;:31;;:57;;;;:::i;:::-;9413:78;;9531:43;9563:10;9531:27;;:31;;:43;;;;:::i;:::-;9501:27;:73;;;;9610:4;9584:15;:23;;;:30;;;;;;;;;;;;;;;;;;9054:567;;;2364:1:::1;8918:703:::0;:::o;2525:189::-;1087:13:5;:11;:13::i;:::-;2657:3:7::1;2627:34;;:18;:34;;::::0;2619:43:::1;;;::::0;::::1;;2689:18;2672:14;;:35;;;;;;;;;;;;;;;;;;2525:189:::0;:::o;1343:29::-;;;;;;;;;;;;;:::o;7088:1681::-;2339:15;:13;:15::i;:::-;7209:27:::1;7256:9:::0;7266:1:::1;7256:11;;7251:495;7271:10;:17;7269:1;:19;7251:495;;;7342:1;7317:10;7328:1;7317:13;;;;;;;;:::i;:::-;;;;;;;;:22;;;:26;7309:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;7427:1;7404:10;7415:1;7404:13;;;;;;;;:::i;:::-;;;;;;;;:20;;;:24;7396:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;7492:45;7516:10;7527:1;7516:13;;;;;;;;:::i;:::-;;;;;;;;:20;;;7492:19;:23;;:45;;;;:::i;:::-;;7608:19;7576:4;:26;;;:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;;7551:184;;;;;;;;;;;;:::i;:::-;;;;;;;;;7290:3;;;;;:::i;:::-;;;;7251:495;;;;7760:9;7755:1008;7775:10;:17;7773:1;:19;7755:1008;;;7817:25;7845:4;:42;;;7888:10;7899:1;7888:13;;;;;;;;:::i;:::-;;;;;;;;:25;;;7845:69;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7817:97;;7932:13;7948:44;7972:10;7983:1;7972:13;;;;;;;;:::i;:::-;;;;;;;;:19;;;7948:10;7959:1;7948:13;;;;;;;;:::i;:::-;;;;;;;;:19;;;:23;;:44;;;;:::i;:::-;7932:60;;8048:355;;;;;;;;8085:4;8048:355;;;;;;8111:10;8122:1;8111:13;;;;;;;;:::i;:::-;;;;;;;;:25;;;8048:355;;;;;;8158:5;8048:355;;;;8185:10;8196:1;8185:13;;;;;;;;:::i;:::-;;;;;;;;:19;;;8048:355;;;;8226:10;8237:1;8226:13;;;;;;;;:::i;:::-;;;;;;;;:22;;;8048:355;;;;8270:10;8281:1;8270:13;;;;;;;;:::i;:::-;;;;;;;;:23;;;8048:355;;;;;;8315:10;8326:1;8315:13;;;;;;;;:::i;:::-;;;;;;;;:20;;;8048:355;;;;8357:1;8048:355;;;;8380:5;8048:355;;;;::::0;8010:16:::1;:35;8027:17;8010:35;;;;;;;;;;;:393;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8451:53;8483:10;8494:1;8483:13;;;;;;;;:::i;:::-;;;;;;;;:20;;;8451:27;;:31;;:53;;;;:::i;:::-;8421:27;:83;;;;8522:19;8547:17;8522:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8583:27;8613:19;:46;8633:10;8644:1;8633:13;;;;;;;;:::i;:::-;;;;;;;;:25;;;8613:46;;;;;;;;;;;;;;;;8583:76;;8726:26;8750:1;8726:19;:23;;:26;;;;:::i;:::-;8677:19;:46;8697:10;8708:1;8697:13;;;;;;;;:::i;:::-;;;;;;;;:25;;;8677:46;;;;;;;;;;;;;;;:75;;;;7799:964;;;7794:3;;;;;:::i;:::-;;;;7755:1008;;;;7198:1571;7088:1681:::0;:::o;11457:323::-;11620:7;11572:17;1860:4;1809:55;;:16;:35;1826:17;1809:35;;;;;;;;;;;:47;;;;;;;;;;;;:55;;;1801:64;;;;;;1930:5;1883:52;;:16;:35;1900:17;1883:35;;;;;;;;;;;:43;;;;;;;;;;;;:52;;;1875:61;;;;;;11638:39:::1;11680:16;:35;11697:17;11680:35;;;;;;;;;;;11638:77;;11732:41;11757:15;11732:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;:24;:41::i;:::-;11725:48;;;11457:323:::0;;;;:::o;2067:198:5:-;1087:13;:11;:13::i;:::-;2175:1:::1;2155:22;;:8;:22;;::::0;2147:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;2230:28;2249:8;2230:18;:28::i;:::-;2067:198:::0;:::o;3531:234:7:-;3641:22;;:::i;:::-;3681:77;3700:57;3743:6;3751:5;3700:42;:57::i;:::-;3681:18;:77::i;:::-;3674:84;;3531:234;;;;:::o;12529:218::-;12636:7;12661:79;12704:6;12712:19;:27;12732:6;12712:27;;;;;;;;;;;;;;;;12661:42;:79::i;:::-;12654:86;;12529:218;;;:::o;3142:226::-;3220:7;3254:26;:24;:26::i;:::-;3246:5;:34;3238:80;;;;;;;;;;;;:::i;:::-;;;;;;;;;3335:19;3355:5;3335:26;;;;;;;;:::i;:::-;;;;;;;;;;3328:33;;3142:226;;;:::o;2378:141::-;2461:12;:10;:12::i;:::-;2443:30;;:14;;;;;;;;;;;:30;;;2435:77;;;;;;;;;;;;:::i;:::-;;;;;;;;;2378:141::o;2755:96:9:-;2813:7;2843:1;2839;:5;;;;:::i;:::-;2832:12;;2755:96;;;;:::o;2336:287:6:-;1759:1;2468:7;;:19;2460:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;1759:1;2598:7;:18;;;;2336:287::o;915:175:8:-;997:86;1017:5;1047:23;;;1072:2;1076:5;1024:58;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;997:19;:86::i;:::-;915:175;;;:::o;2629:209:6:-;1716:1;2809:7;:22;;;;2629:209::o;13536:770:7:-;13644:7;13662:19;13684:16;:14;:16::i;:::-;13662:38;;13729:15;:21;;;13715:11;:35;13714:72;;;;13782:4;13755:31;;:15;:23;;;:31;;;13714:72;13710:590;;;13809:1;13802:8;;;;;13710:590;13846:51;13872:15;:24;;;13846:15;:21;;;:25;;:51;;;;:::i;:::-;13831:11;:66;13827:473;;13920:57;13952:15;:24;;;13920:15;:27;;;:31;;:57;;;;:::i;:::-;13913:64;;;;;13827:473;14008:22;14033:38;14049:15;:21;;;14033:11;:15;;:38;;;;:::i;:::-;14008:63;;14085:20;14108:77;14160:15;:24;;;14108:47;14140:14;14108:15;:27;;;:31;;:47;;;;:::i;:::-;:51;;:77;;;;:::i;:::-;14085:100;;14214:42;14231:15;:24;;;14214:12;:16;;:42;;;;:::i;:::-;14199:57;;14277:12;14270:19;;;;;13536:770;;;;:::o;3122:96:9:-;3180:7;3210:1;3206;:5;;;;:::i;:::-;3199:12;;3122:96;;;;:::o;1352:130:5:-;1426:12;:10;:12::i;:::-;1415:23;;:7;:5;:7::i;:::-;:23;;;1407:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;1352:130::o;2419:187::-;2492:16;2511:6;;;;;;;;;;;2492:25;;2536:8;2527:6;;:17;;;;;;;;;;;;;;;;;;2590:8;2559:40;;2580:8;2559:40;;;;;;;;;;;;2482:124;2419:187;:::o;640:96:1:-;693:7;719:10;712:17;;640:96;:::o;5147:642:8:-;5566:23;5592:69;5620:4;5592:69;;;;;;;;;;;;;;;;;5600:5;5592:27;;;;:69;;;;;:::i;:::-;5566:95;;5700:1;5679:10;:17;:22;:56;;;;5716:10;5705:30;;;;;;;;;;;;:::i;:::-;5679:56;5671:111;;;;;;;;;;;;:::i;:::-;;;;;;;;;5217:572;5147:642;;:::o;14312:135:7:-;14400:7;14425:15;14418:22;;14312:135;:::o;3465:96:9:-;3523:7;3553:1;3549;:5;;;;:::i;:::-;3542:12;;3465:96;;;;:::o;3850:::-;3908:7;3938:1;3934;:5;;;;:::i;:::-;3927:12;;3850:96;;;;:::o;4108:223:0:-;4241:12;4272:52;4294:6;4302:4;4308:1;4311:12;4272:21;:52::i;:::-;4265:59;;4108:223;;;;;:::o;5165:446::-;5330:12;5387:5;5362:21;:30;;5354:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;5446:12;5460:23;5487:6;:11;;5506:5;5513:4;5487:31;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5445:73;;;;5535:69;5562:6;5570:7;5579:10;5591:12;5535:26;:69::i;:::-;5528:76;;;;5165:446;;;;;;:::o;7671:628::-;7851:12;7879:7;7875:418;;;7927:1;7906:10;:17;:22;7902:286;;8121:18;8132:6;8121:10;:18::i;:::-;8113:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;7902:286;8208:10;8201:17;;;;7875:418;8249:33;8257:10;8269:12;8249:7;:33::i;:::-;7671:628;;;;;;;:::o;1412:320::-;1472:4;1724:1;1702:7;:19;;;:23;1695:30;;1412:320;;;:::o;8821:540::-;9000:1;8980:10;:17;:21;8976:379;;;9208:10;9202:17;9264:15;9251:10;9247:2;9243:19;9236:44;8976:379;9331:12;9324:20;;;;;;;;;;;:::i;:::-;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7:77:10:-;44:7;73:5;62:16;;7:77;;;:::o;90:118::-;177:24;195:5;177:24;:::i;:::-;172:3;165:37;90:118;;:::o;214:222::-;307:4;345:2;334:9;330:18;322:26;;358:71;426:1;415:9;411:17;402:6;358:71;:::i;:::-;214:222;;;;:::o;442:126::-;479:7;519:42;512:5;508:54;497:65;;442:126;;;:::o;574:96::-;611:7;640:24;658:5;640:24;:::i;:::-;629:35;;574:96;;;:::o;676:118::-;763:24;781:5;763:24;:::i;:::-;758:3;751:37;676:118;;:::o;800:222::-;893:4;931:2;920:9;916:18;908:26;;944:71;1012:1;1001:9;997:17;988:6;944:71;:::i;:::-;800:222;;;;:::o;1028:75::-;1061:6;1094:2;1088:9;1078:19;;1028:75;:::o;1109:117::-;1218:1;1215;1208:12;1232:117;1341:1;1338;1331:12;1355:122;1428:24;1446:5;1428:24;:::i;:::-;1421:5;1418:35;1408:63;;1467:1;1464;1457:12;1408:63;1355:122;:::o;1483:139::-;1529:5;1567:6;1554:20;1545:29;;1583:33;1610:5;1583:33;:::i;:::-;1483:139;;;;:::o;1628:122::-;1701:24;1719:5;1701:24;:::i;:::-;1694:5;1691:35;1681:63;;1740:1;1737;1730:12;1681:63;1628:122;:::o;1756:139::-;1802:5;1840:6;1827:20;1818:29;;1856:33;1883:5;1856:33;:::i;:::-;1756:139;;;;:::o;1901:90::-;1935:7;1978:5;1971:13;1964:21;1953:32;;1901:90;;;:::o;1997:116::-;2067:21;2082:5;2067:21;:::i;:::-;2060:5;2057:32;2047:60;;2103:1;2100;2093:12;2047:60;1997:116;:::o;2119:133::-;2162:5;2200:6;2187:20;2178:29;;2216:30;2240:5;2216:30;:::i;:::-;2119:133;;;;:::o;2258:1051::-;2359:6;2367;2375;2383;2391;2399;2448:3;2436:9;2427:7;2423:23;2419:33;2416:120;;;2455:79;;:::i;:::-;2416:120;2575:1;2600:53;2645:7;2636:6;2625:9;2621:22;2600:53;:::i;:::-;2590:63;;2546:117;2702:2;2728:53;2773:7;2764:6;2753:9;2749:22;2728:53;:::i;:::-;2718:63;;2673:118;2830:2;2856:53;2901:7;2892:6;2881:9;2877:22;2856:53;:::i;:::-;2846:63;;2801:118;2958:2;2984:53;3029:7;3020:6;3009:9;3005:22;2984:53;:::i;:::-;2974:63;;2929:118;3086:3;3113:50;3155:7;3146:6;3135:9;3131:22;3113:50;:::i;:::-;3103:60;;3057:116;3212:3;3239:53;3284:7;3275:6;3264:9;3260:22;3239:53;:::i;:::-;3229:63;;3183:119;2258:1051;;;;;;;;:::o;3315:329::-;3374:6;3423:2;3411:9;3402:7;3398:23;3394:32;3391:119;;;3429:79;;:::i;:::-;3391:119;3549:1;3574:53;3619:7;3610:6;3599:9;3595:22;3574:53;:::i;:::-;3564:63;;3520:117;3315:329;;;;:::o;3650:::-;3709:6;3758:2;3746:9;3737:7;3733:23;3729:32;3726:119;;;3764:79;;:::i;:::-;3726:119;3884:1;3909:53;3954:7;3945:6;3934:9;3930:22;3909:53;:::i;:::-;3899:63;;3855:117;3650:329;;;;:::o;3985:77::-;4022:7;4051:5;4040:16;;3985:77;;;:::o;4068:122::-;4141:24;4159:5;4141:24;:::i;:::-;4134:5;4131:35;4121:63;;4180:1;4177;4170:12;4121:63;4068:122;:::o;4196:139::-;4242:5;4280:6;4267:20;4258:29;;4296:33;4323:5;4296:33;:::i;:::-;4196:139;;;;:::o;4341:474::-;4409:6;4417;4466:2;4454:9;4445:7;4441:23;4437:32;4434:119;;;4472:79;;:::i;:::-;4434:119;4592:1;4617:53;4662:7;4653:6;4642:9;4638:22;4617:53;:::i;:::-;4607:63;;4563:117;4719:2;4745:53;4790:7;4781:6;4770:9;4766:22;4745:53;:::i;:::-;4735:63;;4690:118;4341:474;;;;;:::o;4821:99::-;4892:21;4907:5;4892:21;:::i;:::-;4887:3;4880:34;4821:99;;:::o;4926:108::-;5003:24;5021:5;5003:24;:::i;:::-;4998:3;4991:37;4926:108;;:::o;5040:::-;5117:24;5135:5;5117:24;:::i;:::-;5112:3;5105:37;5040:108;;:::o;5236:1768::-;5399:6;5394:3;5390:16;5495:4;5488:5;5484:16;5478:23;5514:57;5565:4;5560:3;5556:14;5542:12;5514:57;:::i;:::-;5416:165;5670:4;5663:5;5659:16;5653:23;5689:63;5746:4;5741:3;5737:14;5723:12;5689:63;:::i;:::-;5591:171;5845:4;5838:5;5834:16;5828:23;5864:63;5921:4;5916:3;5912:14;5898:12;5864:63;:::i;:::-;5772:165;6020:4;6013:5;6009:16;6003:23;6039:63;6096:4;6091:3;6087:14;6073:12;6039:63;:::i;:::-;5947:165;6198:4;6191:5;6187:16;6181:23;6217:63;6274:4;6269:3;6265:14;6251:12;6217:63;:::i;:::-;6122:168;6377:4;6370:5;6366:16;6360:23;6396:57;6447:4;6442:3;6438:14;6424:12;6396:57;:::i;:::-;6300:163;6552:4;6545:5;6541:16;6535:23;6571:63;6628:4;6623:3;6619:14;6605:12;6571:63;:::i;:::-;6473:171;6730:4;6723:5;6719:16;6713:23;6749:63;6806:4;6801:3;6797:14;6783:12;6749:63;:::i;:::-;6654:168;6907:6;6900:5;6896:18;6890:25;6928:59;6979:6;6974:3;6970:16;6956:12;6928:59;:::i;:::-;6832:165;5368:1636;5236:1768;;:::o;7010:355::-;7169:4;7207:3;7196:9;7192:19;7184:27;;7221:137;7355:1;7344:9;7340:17;7331:6;7221:137;:::i;:::-;7010:355;;;;:::o;7371:474::-;7439:6;7447;7496:2;7484:9;7475:7;7471:23;7467:32;7464:119;;;7502:79;;:::i;:::-;7464:119;7622:1;7647:53;7692:7;7683:6;7672:9;7668:22;7647:53;:::i;:::-;7637:63;;7593:117;7749:2;7775:53;7820:7;7811:6;7800:9;7796:22;7775:53;:::i;:::-;7765:63;;7720:118;7371:474;;;;;:::o;7851:118::-;7938:24;7956:5;7938:24;:::i;:::-;7933:3;7926:37;7851:118;;:::o;7975:222::-;8068:4;8106:2;8095:9;8091:18;8083:26;;8119:71;8187:1;8176:9;8172:17;8163:6;8119:71;:::i;:::-;7975:222;;;;:::o;8203:329::-;8262:6;8311:2;8299:9;8290:7;8286:23;8282:32;8279:119;;;8317:79;;:::i;:::-;8279:119;8437:1;8462:53;8507:7;8498:6;8487:9;8483:22;8462:53;:::i;:::-;8452:63;;8408:117;8203:329;;;;:::o;8538:117::-;8647:1;8644;8637:12;8661:102;8702:6;8753:2;8749:7;8744:2;8737:5;8733:14;8729:28;8719:38;;8661:102;;;:::o;8769:180::-;8817:77;8814:1;8807:88;8914:4;8911:1;8904:15;8938:4;8935:1;8928:15;8955:281;9038:27;9060:4;9038:27;:::i;:::-;9030:6;9026:40;9168:6;9156:10;9153:22;9132:18;9120:10;9117:34;9114:62;9111:88;;;9179:18;;:::i;:::-;9111:88;9219:10;9215:2;9208:22;8998:238;8955:281;;:::o;9242:129::-;9276:6;9303:20;;:::i;:::-;9293:30;;9332:33;9360:4;9352:6;9332:33;:::i;:::-;9242:129;;;:::o;9377:348::-;9491:4;9581:18;9573:6;9570:30;9567:56;;;9603:18;;:::i;:::-;9567:56;9653:4;9645:6;9641:17;9633:25;;9713:4;9707;9703:15;9695:23;;9377:348;;;:::o;9731:117::-;9840:1;9837;9830:12;9854:117;9963:1;9960;9953:12;10147:1249;10233:5;10277:4;10265:9;10260:3;10256:19;10252:30;10249:117;;;10285:79;;:::i;:::-;10249:117;10384:21;10400:4;10384:21;:::i;:::-;10375:30;;10471:1;10511:49;10556:3;10547:6;10536:9;10532:22;10511:49;:::i;:::-;10504:4;10497:5;10493:16;10486:75;10415:157;10632:2;10673:49;10718:3;10709:6;10698:9;10694:22;10673:49;:::i;:::-;10666:4;10659:5;10655:16;10648:75;10582:152;10794:2;10835:49;10880:3;10871:6;10860:9;10856:22;10835:49;:::i;:::-;10828:4;10821:5;10817:16;10810:75;10744:152;10959:2;11000:49;11045:3;11036:6;11025:9;11021:22;11000:49;:::i;:::-;10993:4;10986:5;10982:16;10975:75;10906:155;11125:3;11167:46;11209:3;11200:6;11189:9;11185:22;11167:46;:::i;:::-;11160:4;11153:5;11149:16;11142:72;11071:154;11286:3;11328:49;11373:3;11364:6;11353:9;11349:22;11328:49;:::i;:::-;11321:4;11314:5;11310:16;11303:75;11235:154;10147:1249;;;;:::o;11451:821::-;11584:5;11609:118;11625:101;11719:6;11625:101;:::i;:::-;11609:118;:::i;:::-;11600:127;;11747:5;11776:6;11769:5;11762:21;11810:4;11803:5;11799:16;11792:23;;11863:4;11855:6;11851:17;11843:6;11839:30;11892:3;11884:6;11881:15;11878:122;;;11911:79;;:::i;:::-;11878:122;12026:6;12009:257;12043:6;12038:3;12035:15;12009:257;;;12118:3;12147:74;12217:3;12205:10;12147:74;:::i;:::-;12142:3;12135:87;12251:4;12246:3;12242:14;12235:21;;12085:181;12069:4;12064:3;12060:14;12053:21;;12009:257;;;12013:21;11590:682;;11451:821;;;;;:::o;12327:444::-;12435:5;12484:3;12477:4;12469:6;12465:17;12461:27;12451:122;;12492:79;;:::i;:::-;12451:122;12609:6;12596:20;12634:131;12761:3;12753:6;12746:4;12738:6;12734:17;12634:131;:::i;:::-;12625:140;;12441:330;12327:444;;;;:::o;12777:613::-;12898:6;12947:2;12935:9;12926:7;12922:23;12918:32;12915:119;;;12953:79;;:::i;:::-;12915:119;13101:1;13090:9;13086:17;13073:31;13131:18;13123:6;13120:30;13117:117;;;13153:79;;:::i;:::-;13117:117;13258:115;13365:7;13356:6;13345:9;13341:22;13258:115;:::i;:::-;13248:125;;13044:339;12777:613;;;;:::o;13396:143::-;13453:5;13484:6;13478:13;13469:22;;13500:33;13527:5;13500:33;:::i;:::-;13396:143;;;;:::o;13545:351::-;13615:6;13664:2;13652:9;13643:7;13639:23;13635:32;13632:119;;;13670:79;;:::i;:::-;13632:119;13790:1;13815:64;13871:7;13862:6;13851:9;13847:22;13815:64;:::i;:::-;13805:74;;13761:128;13545:351;;;;:::o;13902:169::-;13986:11;14020:6;14015:3;14008:19;14060:4;14055:3;14051:14;14036:29;;13902:169;;;;:::o;14077:298::-;14217:34;14213:1;14205:6;14201:14;14194:58;14286:34;14281:2;14273:6;14269:15;14262:59;14355:12;14350:2;14342:6;14338:15;14331:37;14077:298;:::o;14381:366::-;14523:3;14544:67;14608:2;14603:3;14544:67;:::i;:::-;14537:74;;14620:93;14709:3;14620:93;:::i;:::-;14738:2;14733:3;14729:12;14722:19;;14381:366;;;:::o;14753:419::-;14919:4;14957:2;14946:9;14942:18;14934:26;;15006:9;15000:4;14996:20;14992:1;14981:9;14977:17;14970:47;15034:131;15160:4;15034:131;:::i;:::-;15026:139;;14753:419;;;:::o;15178:221::-;15318:34;15314:1;15306:6;15302:14;15295:58;15387:4;15382:2;15374:6;15370:15;15363:29;15178:221;:::o;15405:366::-;15547:3;15568:67;15632:2;15627:3;15568:67;:::i;:::-;15561:74;;15644:93;15733:3;15644:93;:::i;:::-;15762:2;15757:3;15753:12;15746:19;;15405:366;;;:::o;15777:419::-;15943:4;15981:2;15970:9;15966:18;15958:26;;16030:9;16024:4;16020:20;16016:1;16005:9;16001:17;15994:47;16058:131;16184:4;16058:131;:::i;:::-;16050:139;;15777:419;;;:::o;16202:182::-;16342:34;16338:1;16330:6;16326:14;16319:58;16202:182;:::o;16390:366::-;16532:3;16553:67;16617:2;16612:3;16553:67;:::i;:::-;16546:74;;16629:93;16718:3;16629:93;:::i;:::-;16747:2;16742:3;16738:12;16731:19;;16390:366;;;:::o;16762:419::-;16928:4;16966:2;16955:9;16951:18;16943:26;;17015:9;17009:4;17005:20;17001:1;16990:9;16986:17;16979:47;17043:131;17169:4;17043:131;:::i;:::-;17035:139;;16762:419;;;:::o;17187:143::-;17244:5;17275:6;17269:13;17260:22;;17291:33;17318:5;17291:33;:::i;:::-;17187:143;;;;:::o;17336:351::-;17406:6;17455:2;17443:9;17434:7;17430:23;17426:32;17423:119;;;17461:79;;:::i;:::-;17423:119;17581:1;17606:64;17662:7;17653:6;17642:9;17638:22;17606:64;:::i;:::-;17596:74;;17552:128;17336:351;;;;:::o;17693:230::-;17833:34;17829:1;17821:6;17817:14;17810:58;17902:13;17897:2;17889:6;17885:15;17878:38;17693:230;:::o;17929:366::-;18071:3;18092:67;18156:2;18151:3;18092:67;:::i;:::-;18085:74;;18168:93;18257:3;18168:93;:::i;:::-;18286:2;18281:3;18277:12;18270:19;;17929:366;;;:::o;18301:419::-;18467:4;18505:2;18494:9;18490:18;18482:26;;18554:9;18548:4;18544:20;18540:1;18529:9;18525:17;18518:47;18582:131;18708:4;18582:131;:::i;:::-;18574:139;;18301:419;;;:::o;18726:243::-;18866:34;18862:1;18854:6;18850:14;18843:58;18935:26;18930:2;18922:6;18918:15;18911:51;18726:243;:::o;18975:366::-;19117:3;19138:67;19202:2;19197:3;19138:67;:::i;:::-;19131:74;;19214:93;19303:3;19214:93;:::i;:::-;19332:2;19327:3;19323:12;19316:19;;18975:366;;;:::o;19347:419::-;19513:4;19551:2;19540:9;19536:18;19528:26;;19600:9;19594:4;19590:20;19586:1;19575:9;19571:17;19564:47;19628:131;19754:4;19628:131;:::i;:::-;19620:139;;19347:419;;;:::o;19772:248::-;19912:34;19908:1;19900:6;19896:14;19889:58;19981:31;19976:2;19968:6;19964:15;19957:56;19772:248;:::o;20026:366::-;20168:3;20189:67;20253:2;20248:3;20189:67;:::i;:::-;20182:74;;20265:93;20354:3;20265:93;:::i;:::-;20383:2;20378:3;20374:12;20367:19;;20026:366;;;:::o;20398:419::-;20564:4;20602:2;20591:9;20587:18;20579:26;;20651:9;20645:4;20641:20;20637:1;20626:9;20622:17;20615:47;20679:131;20805:4;20679:131;:::i;:::-;20671:139;;20398:419;;;:::o;20823:180::-;20871:77;20868:1;20861:88;20968:4;20965:1;20958:15;20992:4;20989:1;20982:15;21009:194;21049:4;21069:20;21087:1;21069:20;:::i;:::-;21064:25;;21103:20;21121:1;21103:20;:::i;:::-;21098:25;;21147:1;21144;21140:9;21132:17;;21171:1;21165:4;21162:11;21159:37;;;21176:18;;:::i;:::-;21159:37;21009:194;;;;:::o;21209:94::-;21242:8;21290:5;21286:2;21282:14;21261:35;;21209:94;;;:::o;21309:::-;21348:7;21377:20;21391:5;21377:20;:::i;:::-;21366:31;;21309:94;;;:::o;21409:100::-;21448:7;21477:26;21497:5;21477:26;:::i;:::-;21466:37;;21409:100;;;:::o;21515:157::-;21620:45;21640:24;21658:5;21640:24;:::i;:::-;21620:45;:::i;:::-;21615:3;21608:58;21515:157;;:::o;21678:79::-;21717:7;21746:5;21735:16;;21678:79;;;:::o;21763:157::-;21868:45;21888:24;21906:5;21888:24;:::i;:::-;21868:45;:::i;:::-;21863:3;21856:58;21763:157;;:::o;21926:397::-;22066:3;22081:75;22152:3;22143:6;22081:75;:::i;:::-;22181:2;22176:3;22172:12;22165:19;;22194:75;22265:3;22256:6;22194:75;:::i;:::-;22294:2;22289:3;22285:12;22278:19;;22314:3;22307:10;;21926:397;;;;;:::o;22329:225::-;22469:34;22465:1;22457:6;22453:14;22446:58;22538:8;22533:2;22525:6;22521:15;22514:33;22329:225;:::o;22560:366::-;22702:3;22723:67;22787:2;22782:3;22723:67;:::i;:::-;22716:74;;22799:93;22888:3;22799:93;:::i;:::-;22917:2;22912:3;22908:12;22901:19;;22560:366;;;:::o;22932:419::-;23098:4;23136:2;23125:9;23121:18;23113:26;;23185:9;23179:4;23175:20;23171:1;23160:9;23156:17;23149:47;23213:131;23339:4;23213:131;:::i;:::-;23205:139;;22932:419;;;:::o;23357:180::-;23405:77;23402:1;23395:88;23502:4;23499:1;23492:15;23526:4;23523:1;23516:15;23543:233;23582:3;23605:24;23623:5;23605:24;:::i;:::-;23596:33;;23651:66;23644:5;23641:77;23638:103;;23721:18;;:::i;:::-;23638:103;23768:1;23761:5;23757:13;23750:20;;23543:233;;;:::o;23782:225::-;23922:34;23918:1;23910:6;23906:14;23899:58;23991:8;23986:2;23978:6;23974:15;23967:33;23782:225;:::o;24013:366::-;24155:3;24176:67;24240:2;24235:3;24176:67;:::i;:::-;24169:74;;24252:93;24341:3;24252:93;:::i;:::-;24370:2;24365:3;24361:12;24354:19;;24013:366;;;:::o;24385:419::-;24551:4;24589:2;24578:9;24574:18;24566:26;;24638:9;24632:4;24628:20;24624:1;24613:9;24609:17;24602:47;24666:131;24792:4;24666:131;:::i;:::-;24658:139;;24385:419;;;:::o;24810:220::-;24950:34;24946:1;24938:6;24934:14;24927:58;25019:3;25014:2;25006:6;25002:15;24995:28;24810:220;:::o;25036:366::-;25178:3;25199:67;25263:2;25258:3;25199:67;:::i;:::-;25192:74;;25275:93;25364:3;25275:93;:::i;:::-;25393:2;25388:3;25384:12;25377:19;;25036:366;;;:::o;25408:419::-;25574:4;25612:2;25601:9;25597:18;25589:26;;25661:9;25655:4;25651:20;25647:1;25636:9;25632:17;25625:47;25689:131;25815:4;25689:131;:::i;:::-;25681:139;;25408:419;;;:::o;25833:221::-;25973:34;25969:1;25961:6;25957:14;25950:58;26042:4;26037:2;26029:6;26025:15;26018:29;25833:221;:::o;26060:366::-;26202:3;26223:67;26287:2;26282:3;26223:67;:::i;:::-;26216:74;;26299:93;26388:3;26299:93;:::i;:::-;26417:2;26412:3;26408:12;26401:19;;26060:366;;;:::o;26432:419::-;26598:4;26636:2;26625:9;26621:18;26613:26;;26685:9;26679:4;26675:20;26671:1;26660:9;26656:17;26649:47;26713:131;26839:4;26713:131;:::i;:::-;26705:139;;26432:419;;;:::o;26857:191::-;26897:3;26916:20;26934:1;26916:20;:::i;:::-;26911:25;;26950:20;26968:1;26950:20;:::i;:::-;26945:25;;26993:1;26990;26986:9;26979:16;;27014:3;27011:1;27008:10;27005:36;;;27021:18;;:::i;:::-;27005:36;26857:191;;;;:::o;27054:181::-;27194:33;27190:1;27182:6;27178:14;27171:57;27054:181;:::o;27241:366::-;27383:3;27404:67;27468:2;27463:3;27404:67;:::i;:::-;27397:74;;27480:93;27569:3;27480:93;:::i;:::-;27598:2;27593:3;27589:12;27582:19;;27241:366;;;:::o;27613:419::-;27779:4;27817:2;27806:9;27802:18;27794:26;;27866:9;27860:4;27856:20;27852:1;27841:9;27837:17;27830:47;27894:131;28020:4;27894:131;:::i;:::-;27886:139;;27613:419;;;:::o;28038:332::-;28159:4;28197:2;28186:9;28182:18;28174:26;;28210:71;28278:1;28267:9;28263:17;28254:6;28210:71;:::i;:::-;28291:72;28359:2;28348:9;28344:18;28335:6;28291:72;:::i;:::-;28038:332;;;;;:::o;28376:182::-;28516:34;28512:1;28504:6;28500:14;28493:58;28376:182;:::o;28564:366::-;28706:3;28727:67;28791:2;28786:3;28727:67;:::i;:::-;28720:74;;28803:93;28892:3;28803:93;:::i;:::-;28921:2;28916:3;28912:12;28905:19;;28564:366;;;:::o;28936:419::-;29102:4;29140:2;29129:9;29125:18;29117:26;;29189:9;29183:4;29179:20;29175:1;29164:9;29160:17;29153:47;29217:131;29343:4;29217:131;:::i;:::-;29209:139;;28936:419;;;:::o;29361:137::-;29415:5;29446:6;29440:13;29431:22;;29462:30;29486:5;29462:30;:::i;:::-;29361:137;;;;:::o;29504:345::-;29571:6;29620:2;29608:9;29599:7;29595:23;29591:32;29588:119;;;29626:79;;:::i;:::-;29588:119;29746:1;29771:61;29824:7;29815:6;29804:9;29800:22;29771:61;:::i;:::-;29761:71;;29717:125;29504:345;;;;:::o;29855:229::-;29995:34;29991:1;29983:6;29979:14;29972:58;30064:12;30059:2;30051:6;30047:15;30040:37;29855:229;:::o;30090:366::-;30232:3;30253:67;30317:2;30312:3;30253:67;:::i;:::-;30246:74;;30329:93;30418:3;30329:93;:::i;:::-;30447:2;30442:3;30438:12;30431:19;;30090:366;;;:::o;30462:419::-;30628:4;30666:2;30655:9;30651:18;30643:26;;30715:9;30709:4;30705:20;30701:1;30690:9;30686:17;30679:47;30743:131;30869:4;30743:131;:::i;:::-;30735:139;;30462:419;;;:::o;30887:348::-;30927:7;30950:20;30968:1;30950:20;:::i;:::-;30945:25;;30984:20;31002:1;30984:20;:::i;:::-;30979:25;;31172:1;31104:66;31100:74;31097:1;31094:81;31089:1;31082:9;31075:17;31071:105;31068:131;;;31179:18;;:::i;:::-;31068:131;31227:1;31224;31220:9;31209:20;;30887:348;;;;:::o;31241:180::-;31289:77;31286:1;31279:88;31386:4;31383:1;31376:15;31410:4;31407:1;31400:15;31427:185;31467:1;31484:20;31502:1;31484:20;:::i;:::-;31479:25;;31518:20;31536:1;31518:20;:::i;:::-;31513:25;;31557:1;31547:35;;31562:18;;:::i;:::-;31547:35;31604:1;31601;31597:9;31592:14;;31427:185;;;;:::o;31618:225::-;31758:34;31754:1;31746:6;31742:14;31735:58;31827:8;31822:2;31814:6;31810:15;31803:33;31618:225;:::o;31849:366::-;31991:3;32012:67;32076:2;32071:3;32012:67;:::i;:::-;32005:74;;32088:93;32177:3;32088:93;:::i;:::-;32206:2;32201:3;32197:12;32190:19;;31849:366;;;:::o;32221:419::-;32387:4;32425:2;32414:9;32410:18;32402:26;;32474:9;32468:4;32464:20;32460:1;32449:9;32445:17;32438:47;32502:131;32628:4;32502:131;:::i;:::-;32494:139;;32221:419;;;:::o;32646:98::-;32697:6;32731:5;32725:12;32715:22;;32646:98;;;:::o;32750:147::-;32851:11;32888:3;32873:18;;32750:147;;;;:::o;32903:246::-;32984:1;32994:113;33008:6;33005:1;33002:13;32994:113;;;33093:1;33088:3;33084:11;33078:18;33074:1;33069:3;33065:11;33058:39;33030:2;33027:1;33023:10;33018:15;;32994:113;;;33141:1;33132:6;33127:3;33123:16;33116:27;32965:184;32903:246;;;:::o;33155:386::-;33259:3;33287:38;33319:5;33287:38;:::i;:::-;33341:88;33422:6;33417:3;33341:88;:::i;:::-;33334:95;;33438:65;33496:6;33491:3;33484:4;33477:5;33473:16;33438:65;:::i;:::-;33528:6;33523:3;33519:16;33512:23;;33263:278;33155:386;;;;:::o;33547:271::-;33677:3;33699:93;33788:3;33779:6;33699:93;:::i;:::-;33692:100;;33809:3;33802:10;;33547:271;;;;:::o;33824:179::-;33964:31;33960:1;33952:6;33948:14;33941:55;33824:179;:::o;34009:366::-;34151:3;34172:67;34236:2;34231:3;34172:67;:::i;:::-;34165:74;;34248:93;34337:3;34248:93;:::i;:::-;34366:2;34361:3;34357:12;34350:19;;34009:366;;;:::o;34381:419::-;34547:4;34585:2;34574:9;34570:18;34562:26;;34634:9;34628:4;34624:20;34620:1;34609:9;34605:17;34598:47;34662:131;34788:4;34662:131;:::i;:::-;34654:139;;34381:419;;;:::o;34806:99::-;34858:6;34892:5;34886:12;34876:22;;34806:99;;;:::o;34911:377::-;34999:3;35027:39;35060:5;35027:39;:::i;:::-;35082:71;35146:6;35141:3;35082:71;:::i;:::-;35075:78;;35162:65;35220:6;35215:3;35208:4;35201:5;35197:16;35162:65;:::i;:::-;35252:29;35274:6;35252:29;:::i;:::-;35247:3;35243:39;35236:46;;35003:285;34911:377;;;;:::o;35294:313::-;35407:4;35445:2;35434:9;35430:18;35422:26;;35494:9;35488:4;35484:20;35480:1;35469:9;35465:17;35458:47;35522:78;35595:4;35586:6;35522:78;:::i;:::-;35514:86;;35294:313;;;;:::o

ipfs://14313f7ca1a807fa4dabdfe5857789c1d95a3d76a7f7bf25fd441af9e6272f28