Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity 0.8.7;
//@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@//
//@@@@@@@@&    (@@@@@@@@@@@@@    /@@@@@@@@@//
//@@@@@@          /@@@@@@@          /@@@@@@//
//@@@@@            (@@@@@            (@@@@@//
//@@@@@(            @@@@@(           &@@@@@//
//@@@@@@@           &@@@@@@         @@@@@@@//
//@@@@@@@@@@@@@@%    /@@@@@@@@@@@@@@@@@@@@@//
//@@@@@@@@@@@@@@@@@@@   @@@@@@@@@@@@@@@@@@@//
//@@@@@@@@@@@@@@@@@@@@@      (&@@@@@@@@@@@@//
//@@@@@@#         @@@@@@#           @@@@@@@//
//@@@@@/           %@@@@@            %@@@@@//
//@@@@@            #@@@@@            %@@@@@//
//@@@@@@          #@@@@@@@/         #@@@@@@//
//@@@@@@@@@&/ (@@@@@@@@@@@@@@&/ (&@@@@@@@@@//
//@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@//
import "./ReentrancyGuard.sol";
import "./Ownable.sol";
import "./SafeERC20.sol";
import {IveSPA} from "./IveSPA.sol";

contract RewardDistributor_v2 is Ownable, ReentrancyGuard {
    using SafeERC20 for IERC20;
    uint256 public constant WEEK = 7 days;
    uint256 public constant REWARD_CHECKPOINT_DEADLINE = 1 days;
    address public immutable EMERGENCY_RETURN;
    address public immutable veSPA;
    address public immutable SPA;

    uint256 public startTime; // Start time for reward distribution
    uint256 public lastRewardCheckpointTime; // Last time when reward was checkpointed
    uint256 public lastRewardBalance = 0; // Last reward balance of the contract
    uint256 public maxIterations = 50; // Max number of weeks a user can claim rewards in a transaction

    mapping(uint256 => uint256) public rewardsPerWeek; // Reward distributed per week
    mapping(address => uint256) public timeCursorOf; // Timestamp of last user checkpoint
    mapping(uint256 => uint256) public veSPASupply; // Store the veSPA supply per week

    bool public canCheckpointReward; // Checkpoint reward flag
    bool public isKilled = false;

    event Claimed(
        address indexed _recipient,
        bool _staked,
        uint256 _amount,
        uint256 _lastRewardClaimTime,
        uint256 _rewardClaimedTill
    );
    event RewardsCheckpointed(uint256 _amount);
    event CheckpointAllowed(bool _allowed);
    event Killed();
    event RecoveredERC20(address _token, uint256 _amount);
    event MaxIterationsUpdated(uint256 _oldNo, uint256 _newNo);

    constructor(
        address _veSPA,
        address _spa,
        address _emergencyRet,
        uint256 _startTime
    ) public {
        veSPA = _veSPA;
        SPA = _spa;
        EMERGENCY_RETURN = _emergencyRet;
        uint256 t = (_startTime / WEEK) * WEEK;
        // All time initialization is rounded to the week
        startTime = t; // Decides the start time for reward distibution
        lastRewardCheckpointTime = t; //reward checkpoint timestamp
    }

    /// @notice Function to add rewards in the contract for distribution
    /// @param value The amount of SPA to add
    /// @dev This function is only for sending in SPA.
    function addRewards(uint256 value) external nonReentrant {
        require(!isKilled);
        require(value > 0, "Reward amount must be > 0");
        IERC20(SPA).safeTransferFrom(_msgSender(), address(this), value);
        if (
            canCheckpointReward &&
            (block.timestamp >
                lastRewardCheckpointTime + REWARD_CHECKPOINT_DEADLINE)
        ) {
            _checkpointReward();
        }
    }

    /// @notice Update the reward checkpoint
    /// @dev Calculates the total number of tokens to be distributed in a given week.
    ///     During setup for the initial distribution this function is only callable
    ///     by the contract owner. Beyond initial distro, it can be enabled for anyone
    ///     to call.
    function checkpointReward() external nonReentrant {
        require(
            _msgSender() == owner() ||
                (canCheckpointReward &&
                    block.timestamp >
                    (lastRewardCheckpointTime + REWARD_CHECKPOINT_DEADLINE)),
            "Checkpointing not allowed"
        );
        _checkpointReward();
    }

    /// @notice Function to enable / disable checkpointing of tokens
    /// @dev To be called by the owner only
    function toggleAllowCheckpointReward() external onlyOwner {
        canCheckpointReward = !canCheckpointReward;
        emit CheckpointAllowed(canCheckpointReward);
    }

    /*****************************
     *  Emergency Control
     ******************************/

    /// @notice Function to update the maximum iterations for the claim function.
    /// @param newIterationNum  The new maximum iterations for the claim function.
    /// @dev To be called by the owner only.
    function updateMaxIterations(uint256 newIterationNum) external onlyOwner {
        require(newIterationNum > 0, "Max iterations must be > 0");
        uint256 oldIterationNum = maxIterations;
        maxIterations = newIterationNum;
        emit MaxIterationsUpdated(oldIterationNum, newIterationNum);
    }

    /// @notice Function to kill the contract.
    /// @dev Killing transfers the entire SPA balance to the emergency return address
    ///      and blocks the ability to claim or addRewards.
    /// @dev The contract can't be unkilled.
    function killMe() external onlyOwner {
        require(!isKilled);
        isKilled = true;
        IERC20(SPA).safeTransfer(
            EMERGENCY_RETURN,
            IERC20(SPA).balanceOf(address(this))
        );
        emit Killed();
    }

    /// @notice Recover ERC20 tokens from this contract
    /// @dev Tokens are sent to the emergency return address
    /// @param _coin token address
    function recoverERC20(address _coin) external onlyOwner {
        // Only the owner address can ever receive the recovery withdrawal
        require(_coin != SPA, "Can't recover SPA tokens");
        uint256 amount = IERC20(_coin).balanceOf(address(this));
        IERC20(_coin).safeTransfer(EMERGENCY_RETURN, amount);
        emit RecoveredERC20(_coin, amount);
    }

    /// @notice Claim fees for the address
    /// @return The amount of tokens claimed
    function claim(bool restake) external nonReentrant returns (uint256) {
        address addr = msg.sender;
        require(!isKilled);
        // Get the last token time
        uint256 _lastRewardCheckpointTime = lastRewardCheckpointTime;
        if (
            canCheckpointReward &&
            (block.timestamp >
                _lastRewardCheckpointTime + REWARD_CHECKPOINT_DEADLINE)
        ) {
            // Checkpoint the rewards till the current week
            _checkpointReward();
            _lastRewardCheckpointTime = block.timestamp;
        }

        // Compute the rounded last token time
        _lastRewardCheckpointTime = (_lastRewardCheckpointTime / WEEK) * WEEK;

        // Calculate the entitled reward amount for the user
        (uint256 weekCursor, uint256 amount) = _computeRewards(
            addr,
            _lastRewardCheckpointTime
        );

        uint256 lastRewardCollectionTime = timeCursorOf[addr];
        if (lastRewardCollectionTime == 0) {
            lastRewardCollectionTime = startTime;
        }
        // update time cursor for the user
        timeCursorOf[addr] = weekCursor;

        if (amount > 0) {
            lastRewardBalance -= amount;
            if (restake) {
                // If restake == True, add the rewards to user's deposit
                IERC20(SPA).safeApprove(veSPA, amount);
                IveSPA(veSPA).depositFor(addr, uint128(amount));
            } else {
                IERC20(SPA).safeTransfer(addr, amount);
            }
        }

        emit Claimed(
            addr,
            restake,
            amount,
            lastRewardCollectionTime,
            weekCursor
        );

        return amount;
    }

    /// @notice Function to get the user earnings at a given timestamp.
    /// @param addr The address of the user
    /// @dev This function gets only for 50 days worth of rewards.
    /// @return total rewards earned by user, lastRewardCollectionTime, rewardsTill
    /// @dev lastRewardCollectionTime, rewardsTill are in terms of WEEK Cursor.
    function computeRewards(address addr)
        external
        view
        returns (
            uint256, // total rewards earned by user
            uint256, // lastRewardCollectionTime
            uint256 // rewardsTill
        )
    {
        uint256 _lastRewardCheckpointTime = lastRewardCheckpointTime;
        // Compute the rounded last token time
        _lastRewardCheckpointTime = (_lastRewardCheckpointTime / WEEK) * WEEK;
        (uint256 rewardsTill, uint256 totalRewards) = _computeRewards(
            addr,
            _lastRewardCheckpointTime
        );
        uint256 lastRewardCollectionTime = timeCursorOf[addr];
        if (lastRewardCollectionTime == 0) {
            lastRewardCollectionTime = startTime;
        }
        return (totalRewards, lastRewardCollectionTime, rewardsTill);
    }

    /// @notice Checkpoint reward
    /// @dev Checkpoint rewards for at most 20 weeks at a time
    function _checkpointReward() internal {
        // Calculate the amount to distribute
        uint256 tokenBalance = IERC20(SPA).balanceOf(address(this));
        uint256 toDistribute = tokenBalance - lastRewardBalance;
        lastRewardBalance = tokenBalance;

        uint256 t = lastRewardCheckpointTime;
        // Store the period of the last checkpoint
        uint256 sinceLast = block.timestamp - t;
        lastRewardCheckpointTime = block.timestamp;
        uint256 thisWeek = (t / WEEK) * WEEK;
        uint256 nextWeek = 0;

        for (uint256 i = 0; i < 20; i++) {
            nextWeek = thisWeek + WEEK;
            veSPASupply[thisWeek] = IveSPA(veSPA).totalSupply(thisWeek);
            // Calculate share for the ongoing week
            if (block.timestamp < nextWeek) {
                if (sinceLast == 0) {
                    rewardsPerWeek[thisWeek] += toDistribute;
                } else {
                    // In case of a gap in time of the distribution
                    // Reward is divided across the remainder of the week
                    rewardsPerWeek[thisWeek] +=
                        (toDistribute * (block.timestamp - t)) /
                        sinceLast;
                }
                break;
                // Calculate share for all the past weeks
            } else {
                rewardsPerWeek[thisWeek] +=
                    (toDistribute * (nextWeek - t)) /
                    sinceLast;
            }
            t = nextWeek;
            thisWeek = nextWeek;
        }

        emit RewardsCheckpointed(toDistribute);
    }

    /// @notice Get the nearest user epoch for a given timestamp
    /// @param addr The address of the user
    /// @param ts The timestamp
    /// @param maxEpoch The maximum possible epoch for the user.
    function _findUserTimestampEpoch(
        address addr,
        uint256 ts,
        uint256 maxEpoch
    ) internal view returns (uint256) {
        uint256 min = 0;
        uint256 max = maxEpoch;

        // Binary search
        for (uint256 i = 0; i < 128; i++) {
            if (min >= max) {
                break;
            }
            uint256 mid = (min + max + 1) / 2;
            if (IveSPA(veSPA).getUserPointHistoryTS(addr, mid) <= ts) {
                min = mid;
            } else {
                max = mid - 1;
            }
        }
        return min;
    }

    /// @notice Function to initialize user's reward weekCursor
    /// @param addr The address of the user
    /// @return weekCursor The weekCursor of the user
    function _initializeUser(address addr)
        internal
        view
        returns (uint256 weekCursor)
    {
        uint256 userEpoch = 0;
        // Get the user's max epoch
        uint256 maxUserEpoch = IveSPA(veSPA).userPointEpoch(addr);

        require(maxUserEpoch > 0, "User has no deposit");

        // Find the Timestamp curresponding to reward distribution start time
        userEpoch = _findUserTimestampEpoch(addr, startTime, maxUserEpoch);

        // In case the User deposits after the startTime
        // binary search returns userEpoch as 0
        if (userEpoch == 0) {
            userEpoch = 1;
        }
        // Get the user deposit timestamp
        uint256 userPointTs = IveSPA(veSPA).getUserPointHistoryTS(
            addr,
            userEpoch
        );
        // Compute the initial week cursor for the user for claiming the reward.
        weekCursor = ((userPointTs + WEEK - 1) / WEEK) * WEEK;
        // If the week cursor is less than the reward start time
        // Update it to the reward start time.
        if (weekCursor < startTime) {
            weekCursor = startTime;
        }
        return weekCursor;
    }

    /// @notice Function to get the total rewards for the user.
    /// @param addr The address of the user
    /// @param _lastRewardCheckpointTime The last reward checkpoint
    /// @return WeekCursor of User, TotalRewards
    function _computeRewards(address addr, uint256 _lastRewardCheckpointTime)
        internal
        view
        returns (
            uint256, // WeekCursor
            uint256 // TotalRewards
        )
    {
        uint256 toDistrbute = 0;
        // Get the user's reward time cursor.
        uint256 weekCursor = timeCursorOf[addr];

        if (weekCursor == 0) {
            weekCursor = _initializeUser(addr);
        }

        // Iterate over the weeks
        for (uint256 i = 0; i < maxIterations; i++) {
            // Users can't claim the reward for the ongoing week.
            if (weekCursor >= _lastRewardCheckpointTime) {
                break;
            }

            // Get the week's balance for the user
            uint256 balance = IveSPA(veSPA).balanceOf(addr, weekCursor);
            if (balance > 0) {
                // Compute the user's share for the week.
                toDistrbute +=
                    (balance * rewardsPerWeek[weekCursor]) /
                    veSPASupply[weekCursor];
            }

            weekCursor += WEEK;
        }

        return (weekCursor, toDistrbute);
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.5.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
     * ====
     *
     * [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://diligence.consensys.net/posts/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.5.11/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 functionCall(target, data, "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");
        require(isContract(target), "Address: call to non-contract");

        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResult(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) {
        require(isContract(target), "Address: static call to non-contract");

        (bool success, bytes memory returndata) = target.staticcall(data);
        return verifyCallResult(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) {
        require(isContract(target), "Address: delegate call to non-contract");

        (bool success, bytes memory returndata) = target.delegatecall(data);
        return verifyCallResult(success, returndata, errorMessage);
    }

    /**
     * @dev Tool to verifies that a low level call was successful, and revert if it wasn't, either by bubbling the
     * revert reason 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 {
            // 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

                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.5.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);
}

pragma solidity 0.8.7;

interface IveSPA {
    function getLastUserSlope(address addr) external view returns (int128);

    function getUserPointHistoryTS(address addr, uint256 idx)
        external
        view
        returns (uint256);

    function userPointEpoch(address addr) external view returns (uint256);

    function checkpoint() external;

    function lockedEnd(address addr) external view returns (uint256);

    function depositFor(address addr, uint128 value) external;

    function createLock(
        uint128 value,
        uint256 unlockTime,
        bool autoCooldown
    ) external;

    function increaseAmount(uint128 value) external;

    function increaseUnlockTime(uint256 unlockTime) external;

    function initiateCooldown() external;

    function withdraw() external;

    function balanceOf(address addr, uint256 ts)
        external
        view
        returns (uint256);

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

    function balanceOfAt(address, uint256 blockNumber)
        external
        view
        returns (uint256);

    function totalSupply(uint256 ts) external view returns (uint256);

    function totalSupply() external view returns (uint256);

    function totalSupplyAt(uint256 blockNumber) external view returns (uint256);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (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 Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (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() {
        // On the first call to nonReentrant, _notEntered will be true
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

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

        _;

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

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

pragma solidity ^0.8.0;

import "./IERC20.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;

    function safeTransfer(
        IERC20 token,
        address to,
        uint256 value
    ) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    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));
    }

    function safeIncreaseAllowance(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        uint256 newAllowance = token.allowance(address(this), spender) + value;
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    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");
            uint256 newAllowance = oldAllowance - value;
            _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
        }
    }

    /**
     * @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");
        if (returndata.length > 0) {
            // Return data is optional
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_veSPA","type":"address"},{"internalType":"address","name":"_spa","type":"address"},{"internalType":"address","name":"_emergencyRet","type":"address"},{"internalType":"uint256","name":"_startTime","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"_allowed","type":"bool"}],"name":"CheckpointAllowed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_recipient","type":"address"},{"indexed":false,"internalType":"bool","name":"_staked","type":"bool"},{"indexed":false,"internalType":"uint256","name":"_amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_lastRewardClaimTime","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_rewardClaimedTill","type":"uint256"}],"name":"Claimed","type":"event"},{"anonymous":false,"inputs":[],"name":"Killed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_oldNo","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_newNo","type":"uint256"}],"name":"MaxIterationsUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_token","type":"address"},{"indexed":false,"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"RecoveredERC20","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"RewardsCheckpointed","type":"event"},{"inputs":[],"name":"EMERGENCY_RETURN","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"REWARD_CHECKPOINT_DEADLINE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SPA","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"WEEK","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"addRewards","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"canCheckpointReward","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"checkpointReward","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"restake","type":"bool"}],"name":"claim","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"computeRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isKilled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"killMe","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"lastRewardBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lastRewardCheckpointTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxIterations","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":"address","name":"_coin","type":"address"}],"name":"recoverERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"rewardsPerWeek","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"startTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"timeCursorOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"toggleAllowCheckpointReward","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newIterationNum","type":"uint256"}],"name":"updateMaxIterations","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"veSPA","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"veSPASupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

60e0604052600060045560326005556009805461ff00191690553480156200002657600080fd5b5060405162001d9b38038062001d9b833981016040819052620000499162000119565b6200005433620000ac565b600180556001600160601b0319606085811b821660a05284811b821660c05283901b16608052600062093a806200008c81846200016b565b6200009891906200018e565b600281905560035550620001bc9350505050565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b80516001600160a01b03811681146200011457600080fd5b919050565b600080600080608085870312156200013057600080fd5b6200013b85620000fc565b93506200014b60208601620000fc565b92506200015b60408601620000fc565b6060959095015193969295505050565b6000826200018957634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615620001b757634e487b7160e01b600052601160045260246000fd5b500290565b60805160601c60a05160601c60c05160601c611b36620002656000396000818161023e015281816104b30152818161059f0152818161070201528181610971015281816109f501528181610ad90152610d60015260008181610265015281816104d50152818161053101528181610e600152818161106a015281816113970152818161149d015261169f0152600081816101ec0152818161080d01526109470152611b366000f3fe608060405234801561001057600080fd5b50600436106101735760003560e01c80638da5cb5b116100de578063beceed3911610097578063eb2d334311610071578063eb2d334314610366578063f2fde38b14610379578063f4359ce51461038c578063fa4caa741461039657600080fd5b8063beceed391461032b578063c7f1ec501461033e578063da9c5cb51461035e57600080fd5b80638da5cb5b146102b55780638fe8a101146102c65780639e8c708e146102d8578063a67cfcf1146102eb578063b48ea725146102f5578063b603cd801461032357600080fd5b806350869e8d1161013057806350869e8d1461022f578063538daac4146102395780635810f90d1461026057806366bb74bf14610287578063715018a6146102a457806378e97925146102ac57600080fd5b806301dbaaf514610178578063172427e5146101ab5780632d81a78e146101cb578063387f504a146101de57806341a4651f146101e75780634671338914610226575b600080fd5b610198610186366004611938565b60086020526000908152604090205481565b6040519081526020015b60405180910390f35b6101986101b9366004611938565b60066020526000908152604090205481565b6101986101d93660046118fe565b61039f565b61019860055481565b61020e7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016101a2565b61019860035481565b610237610629565b005b61020e7f000000000000000000000000000000000000000000000000000000000000000081565b61020e7f000000000000000000000000000000000000000000000000000000000000000081565b6009546102949060ff1681565b60405190151581526020016101a2565b6102376106a0565b61019860025481565b6000546001600160a01b031661020e565b60095461029490610100900460ff1681565b6102376102e63660046118d5565b6106d6565b6101986201518081565b6103086103033660046118d5565b610879565b604080519384526020840192909252908201526060016101a2565b6102376108e0565b610237610339366004611938565b610a47565b61019861034c3660046118d5565b60076020526000908152604090205481565b610237610b3e565b610237610374366004611938565b610bf5565b6102376103873660046118d5565b610cad565b61019862093a8081565b61019860045481565b6000600260015414156103cd5760405162461bcd60e51b81526004016103c4906119ee565b60405180910390fd5b60026001556009543390610100900460ff16156103e957600080fd5b60035460095460ff16801561040957506104066201518082611a25565b42115b1561041957610416610d48565b50425b62093a806104278183611a3d565b6104319190611a5f565b90506000806104408484610ffb565b6001600160a01b03861660009081526007602052604090205491935091508061046857506002545b6001600160a01b038516600090815260076020526040902083905581156105c657816004600082825461049b9190611a7e565b90915550508615610592576104fa6001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000167f000000000000000000000000000000000000000000000000000000000000000084611157565b604051639a3f14f760e01b81526001600160a01b0386811660048301526fffffffffffffffffffffffffffffffff841660248301527f00000000000000000000000000000000000000000000000000000000000000001690639a3f14f790604401600060405180830381600087803b15801561057557600080fd5b505af1158015610589573d6000803e3d6000fd5b505050506105c6565b6105c66001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001686846112b3565b60408051881515815260208101849052908101829052606081018490526001600160a01b038616907fd6cd0af7b93015e7049c48eb4510c3ad263c3336a6bf332886e9e7f152d49a2d9060800160405180910390a2506001805595945050505050565b6000546001600160a01b031633146106535760405162461bcd60e51b81526004016103c4906119b9565b6009805460ff8082161560ff1990921682179092556040519116151581527f9c7a57981f4afa45b46f857e5731c0a7702ce03d88a918144ad4446d064bca8a9060200160405180910390a1565b6000546001600160a01b031633146106ca5760405162461bcd60e51b81526004016103c4906119b9565b6106d460006112e3565b565b6000546001600160a01b031633146107005760405162461bcd60e51b81526004016103c4906119b9565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316816001600160a01b031614156107825760405162461bcd60e51b815260206004820152601860248201527f43616e2774207265636f7665722053504120746f6b656e73000000000000000060448201526064016103c4565b6040516370a0823160e01b81523060048201526000906001600160a01b038316906370a082319060240160206040518083038186803b1580156107c457600080fd5b505afa1580156107d8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fc9190611951565b90506108326001600160a01b0383167f0000000000000000000000000000000000000000000000000000000000000000836112b3565b604080516001600160a01b0384168152602081018390527f55350610fe57096d8c0ffa30beede987326bccfcb0b4415804164d0dd50ce8b191015b60405180910390a15050565b6003546000908190819062093a806108918183611a3d565b61089b9190611a5f565b90506000806108aa8784610ffb565b6001600160a01b0389166000908152600760205260409020549193509150806108d257506002545b909790965090945092505050565b6000546001600160a01b0316331461090a5760405162461bcd60e51b81526004016103c4906119b9565b600954610100900460ff161561091f57600080fd5b6009805461ff0019166101001790556040516370a0823160e01b8152306004820152610a1c907f0000000000000000000000000000000000000000000000000000000000000000906001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016906370a082319060240160206040518083038186803b1580156109b357600080fd5b505afa1580156109c7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109eb9190611951565b6001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001691906112b3565b6040517f0f8eeedbc400fd6686703559f58d1e6143fdaed533f19a86c93d67a2fe4fb33190600090a1565b60026001541415610a6a5760405162461bcd60e51b81526004016103c4906119ee565b6002600155600954610100900460ff1615610a8457600080fd5b60008111610ad45760405162461bcd60e51b815260206004820152601960248201527f52657761726420616d6f756e74206d757374206265203e20300000000000000060448201526064016103c4565b610b097f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316333084611333565b60095460ff168015610b2a575062015180600354610b279190611a25565b42115b15610b3757610b37610d48565b5060018055565b60026001541415610b615760405162461bcd60e51b81526004016103c4906119ee565b60026001556000546001600160a01b0316331480610b9b575060095460ff168015610b9b575062015180600354610b989190611a25565b42115b610be75760405162461bcd60e51b815260206004820152601960248201527f436865636b706f696e74696e67206e6f7420616c6c6f7765640000000000000060448201526064016103c4565b610bef610d48565b60018055565b6000546001600160a01b03163314610c1f5760405162461bcd60e51b81526004016103c4906119b9565b60008111610c6f5760405162461bcd60e51b815260206004820152601a60248201527f4d617820697465726174696f6e73206d757374206265203e203000000000000060448201526064016103c4565b600580549082905560408051828152602081018490527f3ed485b111cf66a1700cedca9ce1a71fce7bd4aa06bb996cca1de90cc77e49db910161086d565b6000546001600160a01b03163314610cd75760405162461bcd60e51b81526004016103c4906119b9565b6001600160a01b038116610d3c5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016103c4565b610d45816112e3565b50565b6040516370a0823160e01b81523060048201526000907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a082319060240160206040518083038186803b158015610daa57600080fd5b505afa158015610dbe573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610de29190611951565b9050600060045482610df49190611a7e565b60048390556003549091506000610e0b8242611a7e565b426003559050600062093a80610e218185611a3d565b610e2b9190611a5f565b90506000805b6014811015610fbf57610e4762093a8084611a25565b60405163bd85b03960e01b8152600481018590529092507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063bd85b0399060240160206040518083038186803b158015610eaa57600080fd5b505afa158015610ebe573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ee29190611951565b60008481526008602052604090205542821115610f645783610f275760008381526006602052604081208054889290610f1c908490611a25565b90915550610fbf9050565b83610f328642611a7e565b610f3c9088611a5f565b610f469190611a3d565b60008481526006602052604081208054909190610f1c908490611a25565b83610f6f8684611a7e565b610f799088611a5f565b610f839190611a3d565b60008481526006602052604081208054909190610fa1908490611a25565b90915550508194508192508080610fb790611ac1565b915050610e31565b506040518581527fa100e4a2ee2ede145017e6458fc0646fdd8570cbdd2091cdacfb24a9dee172439060200160405180910390a1505050505050565b6001600160a01b03821660009081526007602052604081205481908190806110295761102686611371565b90505b60005b60055481101561114c578582106110425761114c565b604051627eeac760e11b81526001600160a01b038881166004830152602482018490526000917f00000000000000000000000000000000000000000000000000000000000000009091169062fdd58e9060440160206040518083038186803b1580156110ad57600080fd5b505afa1580156110c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110e59190611951565b90508015611129576000838152600860209081526040808320546006909252909120546111129083611a5f565b61111c9190611a3d565b6111269085611a25565b93505b61113662093a8084611a25565b925050808061114490611ac1565b91505061102c565b509590945092505050565b8015806111e05750604051636eb1769f60e11b81523060048201526001600160a01b03838116602483015284169063dd62ed3e9060440160206040518083038186803b1580156111a657600080fd5b505afa1580156111ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111de9190611951565b155b61124b5760405162461bcd60e51b815260206004820152603660248201527f5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f60448201527520746f206e6f6e2d7a65726f20616c6c6f77616e636560501b60648201526084016103c4565b6040516001600160a01b0383166024820152604481018290526112ae90849063095ea7b360e01b906064015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b031990931692909217909152611564565b505050565b6040516001600160a01b0383166024820152604481018290526112ae90849063a9059cbb60e01b90606401611277565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6040516001600160a01b038085166024830152831660448201526064810182905261136b9085906323b872dd60e01b90608401611277565b50505050565b6040516381fc83bb60e01b81526001600160a01b038281166004830152600091829182917f0000000000000000000000000000000000000000000000000000000000000000909116906381fc83bb9060240160206040518083038186803b1580156113db57600080fd5b505afa1580156113ef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114139190611951565b90506000811161145b5760405162461bcd60e51b8152602060048201526013602482015272155cd95c881a185cc81b9bc819195c1bdcda5d606a1b60448201526064016103c4565b6114688460025483611636565b91508161147457600191505b604051637162da6960e11b81526001600160a01b038581166004830152602482018490526000917f00000000000000000000000000000000000000000000000000000000000000009091169063e2c5b4d29060440160206040518083038186803b1580156114e157600080fd5b505afa1580156114f5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115199190611951565b905062093a8080600161152c8285611a25565b6115369190611a7e565b6115409190611a3d565b61154a9190611a5f565b935060025484101561155c5760025493505b505050919050565b60006115b9826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b03166117549092919063ffffffff16565b8051909150156112ae57808060200190518101906115d7919061191b565b6112ae5760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b60648201526084016103c4565b60008082815b60808110156117475781831061165157611747565b6000600261165f8486611a25565b61166a906001611a25565b6116749190611a3d565b604051637162da6960e11b81526001600160a01b038a811660048301526024820183905291925088917f0000000000000000000000000000000000000000000000000000000000000000169063e2c5b4d29060440160206040518083038186803b1580156116e157600080fd5b505afa1580156116f5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117199190611951565b1161172657809350611734565b611731600182611a7e565b92505b508061173f81611ac1565b91505061163c565b50909150505b9392505050565b6060611763848460008561176b565b949350505050565b6060824710156117cc5760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b60648201526084016103c4565b6001600160a01b0385163b6118235760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000060448201526064016103c4565b600080866001600160a01b0316858760405161183f919061196a565b60006040518083038185875af1925050503d806000811461187c576040519150601f19603f3d011682016040523d82523d6000602084013e611881565b606091505b509150915061189182828661189c565b979650505050505050565b606083156118ab57508161174d565b8251156118bb5782518084602001fd5b8160405162461bcd60e51b81526004016103c49190611986565b6000602082840312156118e757600080fd5b81356001600160a01b038116811461174d57600080fd5b60006020828403121561191057600080fd5b813561174d81611af2565b60006020828403121561192d57600080fd5b815161174d81611af2565b60006020828403121561194a57600080fd5b5035919050565b60006020828403121561196357600080fd5b5051919050565b6000825161197c818460208701611a95565b9190910192915050565b60208152600082518060208401526119a5816040850160208701611a95565b601f01601f19169190910160400192915050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6020808252601f908201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604082015260600190565b60008219821115611a3857611a38611adc565b500190565b600082611a5a57634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615611a7957611a79611adc565b500290565b600082821015611a9057611a90611adc565b500390565b60005b83811015611ab0578181015183820152602001611a98565b8381111561136b5750506000910152565b6000600019821415611ad557611ad5611adc565b5060010190565b634e487b7160e01b600052601160045260246000fd5b8015158114610d4557600080fdfea2646970667358221220b925558705f657e36b8713e9033c83476b2d850523d8c644210b983a39b6670964736f6c63430008070033000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f403000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d59008000000000000000000000000cd1b1ce6ce877a9315e73e2e4ba3137228068a590000000000000000000000000000000000000000000000000000000063232bb5

0x608060405234801561001057600080fd5b50600436106101735760003560e01c80638da5cb5b116100de578063beceed3911610097578063eb2d334311610071578063eb2d334314610366578063f2fde38b14610379578063f4359ce51461038c578063fa4caa741461039657600080fd5b8063beceed391461032b578063c7f1ec501461033e578063da9c5cb51461035e57600080fd5b80638da5cb5b146102b55780638fe8a101146102c65780639e8c708e146102d8578063a67cfcf1146102eb578063b48ea725146102f5578063b603cd801461032357600080fd5b806350869e8d1161013057806350869e8d1461022f578063538daac4146102395780635810f90d1461026057806366bb74bf14610287578063715018a6146102a457806378e97925146102ac57600080fd5b806301dbaaf514610178578063172427e5146101ab5780632d81a78e146101cb578063387f504a146101de57806341a4651f146101e75780634671338914610226575b600080fd5b610198610186366004611938565b60086020526000908152604090205481565b6040519081526020015b60405180910390f35b6101986101b9366004611938565b60066020526000908152604090205481565b6101986101d93660046118fe565b61039f565b61019860055481565b61020e7f000000000000000000000000cd1b1ce6ce877a9315e73e2e4ba3137228068a5981565b6040516001600160a01b0390911681526020016101a2565b61019860035481565b610237610629565b005b61020e7f000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d5900881565b61020e7f000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f40381565b6009546102949060ff1681565b60405190151581526020016101a2565b6102376106a0565b61019860025481565b6000546001600160a01b031661020e565b60095461029490610100900460ff1681565b6102376102e63660046118d5565b6106d6565b6101986201518081565b6103086103033660046118d5565b610879565b604080519384526020840192909252908201526060016101a2565b6102376108e0565b610237610339366004611938565b610a47565b61019861034c3660046118d5565b60076020526000908152604090205481565b610237610b3e565b610237610374366004611938565b610bf5565b6102376103873660046118d5565b610cad565b61019862093a8081565b61019860045481565b6000600260015414156103cd5760405162461bcd60e51b81526004016103c4906119ee565b60405180910390fd5b60026001556009543390610100900460ff16156103e957600080fd5b60035460095460ff16801561040957506104066201518082611a25565b42115b1561041957610416610d48565b50425b62093a806104278183611a3d565b6104319190611a5f565b90506000806104408484610ffb565b6001600160a01b03861660009081526007602052604090205491935091508061046857506002545b6001600160a01b038516600090815260076020526040902083905581156105c657816004600082825461049b9190611a7e565b90915550508615610592576104fa6001600160a01b037f000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d59008167f000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f40384611157565b604051639a3f14f760e01b81526001600160a01b0386811660048301526fffffffffffffffffffffffffffffffff841660248301527f000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f4031690639a3f14f790604401600060405180830381600087803b15801561057557600080fd5b505af1158015610589573d6000803e3d6000fd5b505050506105c6565b6105c66001600160a01b037f000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d590081686846112b3565b60408051881515815260208101849052908101829052606081018490526001600160a01b038616907fd6cd0af7b93015e7049c48eb4510c3ad263c3336a6bf332886e9e7f152d49a2d9060800160405180910390a2506001805595945050505050565b6000546001600160a01b031633146106535760405162461bcd60e51b81526004016103c4906119b9565b6009805460ff8082161560ff1990921682179092556040519116151581527f9c7a57981f4afa45b46f857e5731c0a7702ce03d88a918144ad4446d064bca8a9060200160405180910390a1565b6000546001600160a01b031633146106ca5760405162461bcd60e51b81526004016103c4906119b9565b6106d460006112e3565b565b6000546001600160a01b031633146107005760405162461bcd60e51b81526004016103c4906119b9565b7f000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d590086001600160a01b0316816001600160a01b031614156107825760405162461bcd60e51b815260206004820152601860248201527f43616e2774207265636f7665722053504120746f6b656e73000000000000000060448201526064016103c4565b6040516370a0823160e01b81523060048201526000906001600160a01b038316906370a082319060240160206040518083038186803b1580156107c457600080fd5b505afa1580156107d8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fc9190611951565b90506108326001600160a01b0383167f000000000000000000000000cd1b1ce6ce877a9315e73e2e4ba3137228068a59836112b3565b604080516001600160a01b0384168152602081018390527f55350610fe57096d8c0ffa30beede987326bccfcb0b4415804164d0dd50ce8b191015b60405180910390a15050565b6003546000908190819062093a806108918183611a3d565b61089b9190611a5f565b90506000806108aa8784610ffb565b6001600160a01b0389166000908152600760205260409020549193509150806108d257506002545b909790965090945092505050565b6000546001600160a01b0316331461090a5760405162461bcd60e51b81526004016103c4906119b9565b600954610100900460ff161561091f57600080fd5b6009805461ff0019166101001790556040516370a0823160e01b8152306004820152610a1c907f000000000000000000000000cd1b1ce6ce877a9315e73e2e4ba3137228068a59906001600160a01b037f000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d5900816906370a082319060240160206040518083038186803b1580156109b357600080fd5b505afa1580156109c7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109eb9190611951565b6001600160a01b037f000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d590081691906112b3565b6040517f0f8eeedbc400fd6686703559f58d1e6143fdaed533f19a86c93d67a2fe4fb33190600090a1565b60026001541415610a6a5760405162461bcd60e51b81526004016103c4906119ee565b6002600155600954610100900460ff1615610a8457600080fd5b60008111610ad45760405162461bcd60e51b815260206004820152601960248201527f52657761726420616d6f756e74206d757374206265203e20300000000000000060448201526064016103c4565b610b097f000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d590086001600160a01b0316333084611333565b60095460ff168015610b2a575062015180600354610b279190611a25565b42115b15610b3757610b37610d48565b5060018055565b60026001541415610b615760405162461bcd60e51b81526004016103c4906119ee565b60026001556000546001600160a01b0316331480610b9b575060095460ff168015610b9b575062015180600354610b989190611a25565b42115b610be75760405162461bcd60e51b815260206004820152601960248201527f436865636b706f696e74696e67206e6f7420616c6c6f7765640000000000000060448201526064016103c4565b610bef610d48565b60018055565b6000546001600160a01b03163314610c1f5760405162461bcd60e51b81526004016103c4906119b9565b60008111610c6f5760405162461bcd60e51b815260206004820152601a60248201527f4d617820697465726174696f6e73206d757374206265203e203000000000000060448201526064016103c4565b600580549082905560408051828152602081018490527f3ed485b111cf66a1700cedca9ce1a71fce7bd4aa06bb996cca1de90cc77e49db910161086d565b6000546001600160a01b03163314610cd75760405162461bcd60e51b81526004016103c4906119b9565b6001600160a01b038116610d3c5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016103c4565b610d45816112e3565b50565b6040516370a0823160e01b81523060048201526000907f000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d590086001600160a01b0316906370a082319060240160206040518083038186803b158015610daa57600080fd5b505afa158015610dbe573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610de29190611951565b9050600060045482610df49190611a7e565b60048390556003549091506000610e0b8242611a7e565b426003559050600062093a80610e218185611a3d565b610e2b9190611a5f565b90506000805b6014811015610fbf57610e4762093a8084611a25565b60405163bd85b03960e01b8152600481018590529092507f000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f4036001600160a01b03169063bd85b0399060240160206040518083038186803b158015610eaa57600080fd5b505afa158015610ebe573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ee29190611951565b60008481526008602052604090205542821115610f645783610f275760008381526006602052604081208054889290610f1c908490611a25565b90915550610fbf9050565b83610f328642611a7e565b610f3c9088611a5f565b610f469190611a3d565b60008481526006602052604081208054909190610f1c908490611a25565b83610f6f8684611a7e565b610f799088611a5f565b610f839190611a3d565b60008481526006602052604081208054909190610fa1908490611a25565b90915550508194508192508080610fb790611ac1565b915050610e31565b506040518581527fa100e4a2ee2ede145017e6458fc0646fdd8570cbdd2091cdacfb24a9dee172439060200160405180910390a1505050505050565b6001600160a01b03821660009081526007602052604081205481908190806110295761102686611371565b90505b60005b60055481101561114c578582106110425761114c565b604051627eeac760e11b81526001600160a01b038881166004830152602482018490526000917f000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f4039091169062fdd58e9060440160206040518083038186803b1580156110ad57600080fd5b505afa1580156110c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110e59190611951565b90508015611129576000838152600860209081526040808320546006909252909120546111129083611a5f565b61111c9190611a3d565b6111269085611a25565b93505b61113662093a8084611a25565b925050808061114490611ac1565b91505061102c565b509590945092505050565b8015806111e05750604051636eb1769f60e11b81523060048201526001600160a01b03838116602483015284169063dd62ed3e9060440160206040518083038186803b1580156111a657600080fd5b505afa1580156111ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111de9190611951565b155b61124b5760405162461bcd60e51b815260206004820152603660248201527f5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f60448201527520746f206e6f6e2d7a65726f20616c6c6f77616e636560501b60648201526084016103c4565b6040516001600160a01b0383166024820152604481018290526112ae90849063095ea7b360e01b906064015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b031990931692909217909152611564565b505050565b6040516001600160a01b0383166024820152604481018290526112ae90849063a9059cbb60e01b90606401611277565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6040516001600160a01b038085166024830152831660448201526064810182905261136b9085906323b872dd60e01b90608401611277565b50505050565b6040516381fc83bb60e01b81526001600160a01b038281166004830152600091829182917f000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f403909116906381fc83bb9060240160206040518083038186803b1580156113db57600080fd5b505afa1580156113ef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114139190611951565b90506000811161145b5760405162461bcd60e51b8152602060048201526013602482015272155cd95c881a185cc81b9bc819195c1bdcda5d606a1b60448201526064016103c4565b6114688460025483611636565b91508161147457600191505b604051637162da6960e11b81526001600160a01b038581166004830152602482018490526000917f000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f4039091169063e2c5b4d29060440160206040518083038186803b1580156114e157600080fd5b505afa1580156114f5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115199190611951565b905062093a8080600161152c8285611a25565b6115369190611a7e565b6115409190611a3d565b61154a9190611a5f565b935060025484101561155c5760025493505b505050919050565b60006115b9826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b03166117549092919063ffffffff16565b8051909150156112ae57808060200190518101906115d7919061191b565b6112ae5760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b60648201526084016103c4565b60008082815b60808110156117475781831061165157611747565b6000600261165f8486611a25565b61166a906001611a25565b6116749190611a3d565b604051637162da6960e11b81526001600160a01b038a811660048301526024820183905291925088917f000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f403169063e2c5b4d29060440160206040518083038186803b1580156116e157600080fd5b505afa1580156116f5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117199190611951565b1161172657809350611734565b611731600182611a7e565b92505b508061173f81611ac1565b91505061163c565b50909150505b9392505050565b6060611763848460008561176b565b949350505050565b6060824710156117cc5760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b60648201526084016103c4565b6001600160a01b0385163b6118235760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000060448201526064016103c4565b600080866001600160a01b0316858760405161183f919061196a565b60006040518083038185875af1925050503d806000811461187c576040519150601f19603f3d011682016040523d82523d6000602084013e611881565b606091505b509150915061189182828661189c565b979650505050505050565b606083156118ab57508161174d565b8251156118bb5782518084602001fd5b8160405162461bcd60e51b81526004016103c49190611986565b6000602082840312156118e757600080fd5b81356001600160a01b038116811461174d57600080fd5b60006020828403121561191057600080fd5b813561174d81611af2565b60006020828403121561192d57600080fd5b815161174d81611af2565b60006020828403121561194a57600080fd5b5035919050565b60006020828403121561196357600080fd5b5051919050565b6000825161197c818460208701611a95565b9190910192915050565b60208152600082518060208401526119a5816040850160208701611a95565b601f01601f19169190910160400192915050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6020808252601f908201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604082015260600190565b60008219821115611a3857611a38611adc565b500190565b600082611a5a57634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615611a7957611a79611adc565b500290565b600082821015611a9057611a90611adc565b500390565b60005b83811015611ab0578181015183820152602001611a98565b8381111561136b5750506000910152565b6000600019821415611ad557611ad5611adc565b5060010190565b634e487b7160e01b600052601160045260246000fd5b8015158114610d4557600080fdfea2646970667358221220b925558705f657e36b8713e9033c83476b2d850523d8c644210b983a39b6670964736f6c63430008070033

000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f403000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d59008000000000000000000000000cd1b1ce6ce877a9315e73e2e4ba3137228068a590000000000000000000000000000000000000000000000000000000063232bb5

-----Decoded View---------------
Arg [0] : _veSPA (address): 0xbF82a3212e13b2d407D10f5107b5C8404dE7F403
Arg [1] : _spa (address): 0xB4A3B0Faf0Ab53df58001804DdA5Bfc6a3D59008
Arg [2] : _emergencyRet (address): 0xCD1B1ce6ce877a9315E73E2E4Ba3137228068A59
Arg [3] : _startTime (uint256): 1663249333

-----Encoded View---------------
4 Constructor Arguments found :
Arg [0] : 000000000000000000000000bf82a3212e13b2d407d10f5107b5c8404de7f403
Arg [1] : 000000000000000000000000b4a3b0faf0ab53df58001804dda5bfc6a3d59008
Arg [2] : 000000000000000000000000cd1b1ce6ce877a9315e73e2e4ba3137228068a59
Arg [3] : 0000000000000000000000000000000000000000000000000000000063232bb5

833:13285:6:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1672:46;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;8573:25:8;;;8561:2;8546:18;1672:46:6;;;;;;;;1496:49;;;;;;:::i;:::-;;;;;;;;;;;;;;6051:1708;;;;;;:::i;:::-;;:::i;1391:33::-;;;;;;1037:41;;;;;;;;-1:-1:-1;;;;;1618:32:8;;;1600:51;;1588:2;1573:18;1037:41:6;1454:203:8;1223:39:6;;;;;;4151:170;;;:::i;:::-;;1120:28;;;;;1084:30;;;;;1760:31;;;;;;;;;;;;3115:14:8;;3108:22;3090:41;;3078:2;3063:18;1760:31:6;2950:187:8;1661:101:4;;;:::i;1155:24:6:-;;;;;;1029:85:4;1075:7;1101:6;-1:-1:-1;;;;;1101:6:4;1029:85;;1823:28:6;;;;;;;;;;;;5589:368;;;;;;:::i;:::-;;:::i;972:59::-;;1025:6;972:59;;8112:816;;;;;;:::i;:::-;;:::i;:::-;;;;9064:25:8;;;9120:2;9105:18;;9098:34;;;;9148:18;;;9141:34;9052:2;9037:18;8112:816:6;8862:319:8;5187:244:6;;;:::i;2925:428::-;;;;;;:::i;:::-;;:::i;1582:47::-;;;;;;:::i;:::-;;;;;;;;;;;;;;3683:349;;;:::i;4636:307::-;;;;;;:::i;:::-;;:::i;1911:198:4:-;;;;;;:::i;:::-;;:::i;929:37:6:-;;960:6;929:37;;1310:36;;;;;;6051:1708;6111:7;1744:1:5;2325:7;;:19;;2317:63;;;;-1:-1:-1;;;2317:63:5;;;;;;;:::i;:::-;;;;;;;;;1744:1;2455:7;:18;6174:8:6::1;::::0;6145:10:::1;::::0;6174:8:::1;::::0;::::1;;;6173:9;6165:18;;;::::0;::::1;;6264:24;::::0;6315:19:::1;::::0;::::1;;:125:::0;::::1;;;-1:-1:-1::0;6385:54:6::1;1025:6;6385:25:::0;:54:::1;:::i;:::-;6351:15;:88;6315:125;6298:314;;;6525:19;:17;:19::i;:::-;-1:-1:-1::0;6586:15:6::1;6298:314;960:6;6698:32;960:6:::0;6698:25;:32:::1;:::i;:::-;6697:41;;;;:::i;:::-;6669:69;;6811:18;6831:14:::0;6849:82:::1;6878:4;6896:25;6849:15;:82::i;:::-;-1:-1:-1::0;;;;;6977:18:6;::::1;6942:32;6977:18:::0;;;:12:::1;:18;::::0;;;;;6810:121;;-1:-1:-1;6810:121:6;-1:-1:-1;7009:29:6;7005:96:::1;;-1:-1:-1::0;7081:9:6::1;::::0;7005:96:::1;-1:-1:-1::0;;;;;7153:18:6;::::1;;::::0;;;:12:::1;:18;::::0;;;;:31;;;7199:10;;7195:380:::1;;7246:6;7225:17;;:27;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;7266:299:6;::::1;;;7370:38;-1:-1:-1::0;;;;;7377:3:6::1;7370:23;7394:5;7401:6:::0;7370:23:::1;:38::i;:::-;7426:47;::::0;-1:-1:-1;;;7426:47:6;;-1:-1:-1;;;;;2543:32:8;;;7426:47:6::1;::::0;::::1;2525:51:8::0;2624:34;2612:47;;2592:18;;;2585:75;7433:5:6::1;7426:24;::::0;::::1;::::0;2498:18:8;;7426:47:6::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;7266:299;;;7512:38;-1:-1:-1::0;;;;;7519:3:6::1;7512:24;7537:4:::0;7543:6;7512:24:::1;:38::i;:::-;7590:138;::::0;;3392:14:8;;3385:22;3367:41;;3439:2;3424:18;;3417:34;;;3467:18;;;3460:34;;;3525:2;3510:18;;3503:34;;;-1:-1:-1;;;;;7590:138:6;::::1;::::0;::::1;::::0;3354:3:8;3339:19;7590:138:6::1;;;;;;;-1:-1:-1::0;1701:1:5;2628:22;;7746:6:6;6051:1708;-1:-1:-1;;;;;6051:1708:6:o;4151:170::-;1075:7:4;1101:6;-1:-1:-1;;;;;1101:6:4;719:10:1;1241:23:4;1233:68;;;;-1:-1:-1;;;1233:68:4;;;;;;;:::i;:::-;4242:19:6::1;::::0;;::::1;::::0;;::::1;4241:20;-1:-1:-1::0;;4219:42:6;;::::1;::::0;::::1;::::0;;;4276:38:::1;::::0;4294:19;;3115:14:8;3108:22;3090:41;;4276:38:6::1;::::0;3078:2:8;3063:18;4276:38:6::1;;;;;;;4151:170::o:0;1661:101:4:-;1075:7;1101:6;-1:-1:-1;;;;;1101:6:4;719:10:1;1241:23:4;1233:68;;;;-1:-1:-1;;;1233:68:4;;;;;;;:::i;:::-;1725:30:::1;1752:1;1725:18;:30::i;:::-;1661:101::o:0;5589:368:6:-;1075:7:4;1101:6;-1:-1:-1;;;;;1101:6:4;719:10:1;1241:23:4;1233:68;;;;-1:-1:-1;;;1233:68:4;;;;;;;:::i;:::-;5747:3:6::1;-1:-1:-1::0;;;;;5738:12:6::1;:5;-1:-1:-1::0;;;;;5738:12:6::1;;;5730:49;;;::::0;-1:-1:-1;;;5730:49:6;;4952:2:8;5730:49:6::1;::::0;::::1;4934:21:8::0;4991:2;4971:18;;;4964:30;5030:26;5010:18;;;5003:54;5074:18;;5730:49:6::1;4750:348:8::0;5730:49:6::1;5806:38;::::0;-1:-1:-1;;;5806:38:6;;5838:4:::1;5806:38;::::0;::::1;1600:51:8::0;5789:14:6::1;::::0;-1:-1:-1;;;;;5806:23:6;::::1;::::0;::::1;::::0;1573:18:8;;5806:38:6::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5789:55:::0;-1:-1:-1;5854:52:6::1;-1:-1:-1::0;;;;;5854:26:6;::::1;5881:16;5789:55:::0;5854:26:::1;:52::i;:::-;5921:29;::::0;;-1:-1:-1;;;;;2863:32:8;;2845:51;;2927:2;2912:18;;2905:34;;;5921:29:6::1;::::0;2818:18:8;5921:29:6::1;;;;;;;;5645:312;5589:368:::0;:::o;8112:816::-;8395:24;;8210:7;;;;;;960:6;8505:32;960:6;8395:24;8505:32;:::i;:::-;8504:41;;;;:::i;:::-;8476:69;;8556:19;8577:20;8601:82;8630:4;8648:25;8601:15;:82::i;:::-;-1:-1:-1;;;;;8728:18:6;;8693:32;8728:18;;;:12;:18;;;;;;8555:128;;-1:-1:-1;8555:128:6;-1:-1:-1;8760:29:6;8756:96;;-1:-1:-1;8832:9:6;;8756:96;8869:12;;;;-1:-1:-1;8909:11:6;;-1:-1:-1;8112:816:6;-1:-1:-1;;;8112:816:6:o;5187:244::-;1075:7:4;1101:6;-1:-1:-1;;;;;1101:6:4;719:10:1;1241:23:4;1233:68;;;;-1:-1:-1;;;1233:68:4;;;;;;;:::i;:::-;5243:8:6::1;::::0;::::1;::::0;::::1;;;5242:9;5234:18;;;::::0;::::1;;5262:8;:15:::0;;-1:-1:-1;;5262:15:6::1;;;::::0;;5355:36:::1;::::0;-1:-1:-1;;;5355:36:6;;5385:4:::1;5355:36;::::0;::::1;1600:51:8::0;5287:114:6::1;::::0;5325:16:::1;::::0;-1:-1:-1;;;;;5362:3:6::1;5355:21;::::0;::::1;::::0;1573:18:8;;5355:36:6::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5294:3:6::1;5287:24;::::0;:114;:24:::1;:114::i;:::-;5416:8;::::0;::::1;::::0;;;::::1;5187:244::o:0;2925:428::-;1744:1:5;2325:7;;:19;;2317:63;;;;-1:-1:-1;;;2317:63:5;;;;;;;:::i;:::-;1744:1;2455:7;:18;3001:8:6::1;::::0;::::1;::::0;::::1;;;3000:9;2992:18;;;::::0;::::1;;3036:1;3028:5;:9;3020:47;;;::::0;-1:-1:-1;;;3020:47:6;;7920:2:8;3020:47:6::1;::::0;::::1;7902:21:8::0;7959:2;7939:18;;;7932:30;7998:27;7978:18;;;7971:55;8043:18;;3020:47:6::1;7718:349:8::0;3020:47:6::1;3077:64;3084:3;-1:-1:-1::0;;;;;3077:28:6::1;719:10:1::0;3128:4:6::1;3135:5:::0;3077:28:::1;:64::i;:::-;3168:19;::::0;::::1;;:124:::0;::::1;;;;1025:6;3238:24;;:53;;;;:::i;:::-;3204:15;:87;3168:124;3151:196;;;3317:19;:17;:19::i;:::-;-1:-1:-1::0;1701:1:5;2628:22;;2925:428:6:o;3683:349::-;1744:1:5;2325:7;;:19;;2317:63;;;;-1:-1:-1;;;2317:63:5;;;;;;;:::i;:::-;1744:1;2455:7;:18;1075:7:4;1101:6;-1:-1:-1;;;;;1101:6:4;719:10:1;3764:23:6::1;::::0;:181:::1;;-1:-1:-1::0;3808:19:6::1;::::0;::::1;;:136:::0;::::1;;;;1025:6;3890:24;;:53;;;;:::i;:::-;3851:15;:93;3808:136;3743:253;;;::::0;-1:-1:-1;;;3743:253:6;;5305:2:8;3743:253:6::1;::::0;::::1;5287:21:8::0;5344:2;5324:18;;;5317:30;5383:27;5363:18;;;5356:55;5428:18;;3743:253:6::1;5103:349:8::0;3743:253:6::1;4006:19;:17;:19::i;:::-;1701:1:5::0;2628:22;;3683:349:6:o;4636:307::-;1075:7:4;1101:6;-1:-1:-1;;;;;1101:6:4;719:10:1;1241:23:4;1233:68;;;;-1:-1:-1;;;1233:68:4;;;;;;;:::i;:::-;4745:1:6::1;4727:15;:19;4719:58;;;::::0;-1:-1:-1;;;4719:58:6;;8274:2:8;4719:58:6::1;::::0;::::1;8256:21:8::0;8313:2;8293:18;;;8286:30;8352:28;8332:18;;;8325:56;8398:18;;4719:58:6::1;8072:350:8::0;4719:58:6::1;4813:13;::::0;;4836:31;;;;4882:54:::1;::::0;;8783:25:8;;;8839:2;8824:18;;8817:34;;;4882:54:6::1;::::0;8756:18:8;4882:54:6::1;8609:248:8::0;1911:198:4;1075:7;1101:6;-1:-1:-1;;;;;1101:6:4;719:10:1;1241:23:4;1233:68;;;;-1:-1:-1;;;1233:68:4;;;;;;;:::i;:::-;-1:-1:-1;;;;;1999:22:4;::::1;1991:73;;;::::0;-1:-1:-1;;;1991:73:4;;4138:2:8;1991:73:4::1;::::0;::::1;4120:21:8::0;4177:2;4157:18;;;4150:30;4216:34;4196:18;;;4189:62;-1:-1:-1;;;4267:18:8;;;4260:36;4313:19;;1991:73:4::1;3936:402:8::0;1991:73:4::1;2074:28;2093:8;2074:18;:28::i;:::-;1911:198:::0;:::o;9031:1593:6:-;9148:36;;-1:-1:-1;;;9148:36:6;;9178:4;9148:36;;;1600:51:8;9125:20:6;;9155:3;-1:-1:-1;;;;;9148:21:6;;;;1573:18:8;;9148:36:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9125:59;;9194:20;9232:17;;9217:12;:32;;;;:::i;:::-;9259:17;:32;;;9314:24;;9194:55;;-1:-1:-1;9302:9:6;9419:19;9314:24;9419:15;:19;:::i;:::-;9475:15;9448:24;:42;9399:39;-1:-1:-1;9500:16:6;960:6;9520:8;960:6;9520:1;:8;:::i;:::-;9519:17;;;;:::i;:::-;9500:36;;9546:16;9582:9;9577:992;9601:2;9597:1;:6;9577:992;;;9635:15;960:6;9635:8;:15;:::i;:::-;9688:35;;-1:-1:-1;;;9688:35:6;;;;;8573:25:8;;;9624:26:6;;-1:-1:-1;9695:5:6;-1:-1:-1;;;;;9688:25:6;;;;8546:18:8;;9688:35:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9664:21;;;;:11;:21;;;;;:59;9793:15;:26;-1:-1:-1;9789:711:6;;;9843:14;9839:416;;9881:24;;;;:14;:24;;;;;:40;;9909:12;;9881:24;:40;;9909:12;;9881:40;:::i;:::-;;;;-1:-1:-1;10272:5:6;;-1:-1:-1;10272:5:6;9839:416;10227:9;10179:19;10197:1;10179:15;:19;:::i;:::-;10163:36;;:12;:36;:::i;:::-;10162:74;;;;:::i;:::-;10110:24;;;;:14;:24;;;;;:126;;:24;;;:126;;;;;:::i;9789:711::-;10476:9;10439:12;10450:1;10439:8;:12;:::i;:::-;10423:29;;:12;:29;:::i;:::-;10422:63;;;;:::i;:::-;10374:24;;;;:14;:24;;;;;:111;;:24;;;:111;;;;;:::i;:::-;;;;-1:-1:-1;;10517:8:6;10513:12;;10550:8;10539:19;;9605:3;;;;;:::i;:::-;;;;9577:992;;;-1:-1:-1;10584:33:6;;8573:25:8;;;10584:33:6;;8561:2:8;8546:18;10584:33:6;;;;;;;9069:1555;;;;;;9031:1593::o;12982:1134::-;-1:-1:-1;;;;;13299:18:6;;13116:7;13299:18;;;:12;:18;;;;;;13116:7;;;;13332:15;13328:80;;13376:21;13392:4;13376:15;:21::i;:::-;13363:34;;13328:80;13457:9;13452:615;13476:13;;13472:1;:17;13452:615;;;13594:25;13580:10;:39;13576:83;;13639:5;;13576:83;13742:41;;-1:-1:-1;;;13742:41:6;;-1:-1:-1;;;;;2863:32:8;;;13742:41:6;;;2845:51:8;2912:18;;;2905:34;;;13724:15:6;;13749:5;13742:23;;;;;;2818:18:8;;13742:41:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13724:59;-1:-1:-1;13801:11:6;;13797:227;;13986:23;;;;:11;:23;;;;;;;;;13936:14;:26;;;;;;;13926:36;;:7;:36;:::i;:::-;13925:84;;;;:::i;:::-;13890:119;;;;:::i;:::-;;;13797:227;14038:18;960:6;14038:18;;:::i;:::-;;;13496:571;13491:3;;;;;:::i;:::-;;;;13452:615;;;-1:-1:-1;14085:10:6;14097:11;;-1:-1:-1;12982:1134:6;-1:-1:-1;;;12982:1134:6:o;1399:603:7:-;1754:10;;;1753:62;;-1:-1:-1;1770:39:7;;-1:-1:-1;;;1770:39:7;;1794:4;1770:39;;;1874:34:8;-1:-1:-1;;;;;1944:15:8;;;1924:18;;;1917:43;1770:15:7;;;;;1809:18:8;;1770:39:7;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:44;1753:62;1732:163;;;;-1:-1:-1;;;1732:163:7;;7497:2:8;1732:163:7;;;7479:21:8;7536:2;7516:18;;;7509:30;7575:34;7555:18;;;7548:62;-1:-1:-1;;;7626:18:8;;;7619:52;7688:19;;1732:163:7;7295:418:8;1732:163:7;1932:62;;-1:-1:-1;;;;;2863:32:8;;1932:62:7;;;2845:51:8;2912:18;;;2905:34;;;1905:90:7;;1925:5;;-1:-1:-1;;;1955:22:7;2818:18:8;;1932:62:7;;;;-1:-1:-1;;1932:62:7;;;;;;;;;;;;;;-1:-1:-1;;;;;1932:62:7;-1:-1:-1;;;;;;1932:62:7;;;;;;;;;;1905:19;:90::i;:::-;1399:603;;;:::o;687:205::-;826:58;;-1:-1:-1;;;;;2863:32:8;;826:58:7;;;2845:51:8;2912:18;;;2905:34;;;799:86:7;;819:5;;-1:-1:-1;;;849:23:7;2818:18:8;;826:58:7;2671:274:8;2263:187:4;2336:16;2355:6;;-1:-1:-1;;;;;2371:17:4;;;-1:-1:-1;;;;;;2371:17:4;;;;;;2403:40;;2355:6;;;;;;;2403:40;;2336:16;2403:40;2326:124;2263:187;:::o;898:241:7:-;1063:68;;-1:-1:-1;;;;;2229:15:8;;;1063:68:7;;;2211:34:8;2281:15;;2261:18;;;2254:43;2313:18;;;2306:34;;;1036:96:7;;1056:5;;-1:-1:-1;;;1086:27:7;2146:18:8;;1063:68:7;1971:375:8;1036:96:7;898:241;;;;:::o;11586:1165:6:-;11796:34;;-1:-1:-1;;;11796:34:6;;-1:-1:-1;;;;;1618:32:8;;;11796:34:6;;;1600:51:8;11672:18:6;;;;;;11803:5;11796:28;;;;;;1573:18:8;;11796:34:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11773:57;;11864:1;11849:12;:16;11841:48;;;;-1:-1:-1;;;11841:48:6;;6789:2:8;11841:48:6;;;6771:21:8;6828:2;6808:18;;;6801:30;-1:-1:-1;;;6847:18:8;;;6840:49;6906:18;;11841:48:6;6587:343:8;11841:48:6;11990:54;12014:4;12020:9;;12031:12;11990:23;:54::i;:::-;11978:66;-1:-1:-1;12164:14:6;12160:58;;12206:1;12194:13;;12160:58;12291:86;;-1:-1:-1;;;12291:86:6;;-1:-1:-1;;;;;2863:32:8;;;12291:86:6;;;2845:51:8;2912:18;;;2905:34;;;12269:19:6;;12298:5;12291:35;;;;;;2818:18:8;;12291:86:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12269:108;-1:-1:-1;960:6:6;;12504:1;12483:18;960:6;12269:108;12483:18;:::i;:::-;:22;;;;:::i;:::-;12482:31;;;;:::i;:::-;12481:40;;;;:::i;:::-;12468:53;;12660:9;;12647:10;:22;12643:75;;;12698:9;;12685:22;;12643:75;12727:17;;;11586:1165;;;:::o;3193:706:7:-;3612:23;3638:69;3666:4;3638:69;;;;;;;;;;;;;;;;;3646:5;-1:-1:-1;;;;;3638:27:7;;;:69;;;;;:::i;:::-;3721:17;;3612:95;;-1:-1:-1;3721:21:7;3717:176;;3816:10;3805:30;;;;;;;;;;;;:::i;:::-;3797:85;;;;-1:-1:-1;;;3797:85:7;;6378:2:8;3797:85:7;;;6360:21:8;6417:2;6397:18;;;6390:30;6456:34;6436:18;;;6429:62;-1:-1:-1;;;6507:18:8;;;6500:40;6557:19;;3797:85:7;6176:406:8;10836:582:6;10966:7;;11024:8;10966:7;11068:324;11092:3;11088:1;:7;11068:324;;;11127:3;11120;:10;11116:54;;11150:5;;11116:54;11183:11;11215:1;11198:9;11204:3;11198;:9;:::i;:::-;:13;;11210:1;11198:13;:::i;:::-;11197:19;;;;:::i;:::-;11234:46;;-1:-1:-1;;;11234:46:6;;-1:-1:-1;;;;;2863:32:8;;;11234:46:6;;;2845:51:8;2912:18;;;2905:34;;;11183:33:6;;-1:-1:-1;11284:2:6;;11241:5;11234:35;;;;2818:18:8;;11234:46:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:52;11230:152;;11312:3;11306:9;;11230:152;;;11360:7;11366:1;11360:3;:7;:::i;:::-;11354:13;;11230:152;-1:-1:-1;11097:3:6;;;;:::i;:::-;;;;11068:324;;;-1:-1:-1;11408:3:6;;-1:-1:-1;;10836:582:6;;;;;;:::o;3861:223:0:-;3994:12;4025:52;4047:6;4055:4;4061:1;4064:12;4025:21;:52::i;:::-;4018:59;3861:223;-1:-1:-1;;;;3861:223:0:o;4948:499::-;5113:12;5170:5;5145:21;:30;;5137:81;;;;-1:-1:-1;;;5137:81:0;;4545:2:8;5137:81:0;;;4527:21:8;4584:2;4564:18;;;4557:30;4623:34;4603:18;;;4596:62;-1:-1:-1;;;4674:18:8;;;4667:36;4720:19;;5137:81:0;4343:402:8;5137:81:0;-1:-1:-1;;;;;1465:19:0;;;5228:60;;;;-1:-1:-1;;;5228:60:0;;6020:2:8;5228:60:0;;;6002:21:8;6059:2;6039:18;;;6032:30;6098:31;6078:18;;;6071:59;6147:18;;5228:60:0;5818:353:8;5228:60:0;5300:12;5314:23;5341:6;-1:-1:-1;;;;;5341:11:0;5360:5;5367:4;5341:31;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5299:73;;;;5389:51;5406:7;5415:10;5427:12;5389:16;:51::i;:::-;5382:58;4948:499;-1:-1:-1;;;;;;;4948:499:0:o;7561:692::-;7707:12;7735:7;7731:516;;;-1:-1:-1;7765:10:0;7758:17;;7731:516;7876:17;;:21;7872:365;;8070:10;8064:17;8130:15;8117:10;8113:2;8109:19;8102:44;7872:365;8209:12;8202:20;;-1:-1:-1;;;8202:20:0;;;;;;;;:::i;14:286:8:-;73:6;126:2;114:9;105:7;101:23;97:32;94:52;;;142:1;139;132:12;94:52;168:23;;-1:-1:-1;;;;;220:31:8;;210:42;;200:70;;266:1;263;256:12;305:241;361:6;414:2;402:9;393:7;389:23;385:32;382:52;;;430:1;427;420:12;382:52;469:9;456:23;488:28;510:5;488:28;:::i;551:245::-;618:6;671:2;659:9;650:7;646:23;642:32;639:52;;;687:1;684;677:12;639:52;719:9;713:16;738:28;760:5;738:28;:::i;801:180::-;860:6;913:2;901:9;892:7;888:23;884:32;881:52;;;929:1;926;919:12;881:52;-1:-1:-1;952:23:8;;801:180;-1:-1:-1;801:180:8:o;986:184::-;1056:6;1109:2;1097:9;1088:7;1084:23;1080:32;1077:52;;;1125:1;1122;1115:12;1077:52;-1:-1:-1;1148:16:8;;986:184;-1:-1:-1;986:184:8:o;1175:274::-;1304:3;1342:6;1336:13;1358:53;1404:6;1399:3;1392:4;1384:6;1380:17;1358:53;:::i;:::-;1427:16;;;;;1175:274;-1:-1:-1;;1175:274:8:o;3548:383::-;3697:2;3686:9;3679:21;3660:4;3729:6;3723:13;3772:6;3767:2;3756:9;3752:18;3745:34;3788:66;3847:6;3842:2;3831:9;3827:18;3822:2;3814:6;3810:15;3788:66;:::i;:::-;3915:2;3894:15;-1:-1:-1;;3890:29:8;3875:45;;;;3922:2;3871:54;;3548:383;-1:-1:-1;;3548:383:8:o;5457:356::-;5659:2;5641:21;;;5678:18;;;5671:30;5737:34;5732:2;5717:18;;5710:62;5804:2;5789:18;;5457:356::o;6935:355::-;7137:2;7119:21;;;7176:2;7156:18;;;7149:30;7215:33;7210:2;7195:18;;7188:61;7281:2;7266:18;;6935:355::o;9186:128::-;9226:3;9257:1;9253:6;9250:1;9247:13;9244:39;;;9263:18;;:::i;:::-;-1:-1:-1;9299:9:8;;9186:128::o;9319:217::-;9359:1;9385;9375:132;;9429:10;9424:3;9420:20;9417:1;9410:31;9464:4;9461:1;9454:15;9492:4;9489:1;9482:15;9375:132;-1:-1:-1;9521:9:8;;9319:217::o;9541:168::-;9581:7;9647:1;9643;9639:6;9635:14;9632:1;9629:21;9624:1;9617:9;9610:17;9606:45;9603:71;;;9654:18;;:::i;:::-;-1:-1:-1;9694:9:8;;9541:168::o;9714:125::-;9754:4;9782:1;9779;9776:8;9773:34;;;9787:18;;:::i;:::-;-1:-1:-1;9824:9:8;;9714:125::o;9844:258::-;9916:1;9926:113;9940:6;9937:1;9934:13;9926:113;;;10016:11;;;10010:18;9997:11;;;9990:39;9962:2;9955:10;9926:113;;;10057:6;10054:1;10051:13;10048:48;;;-1:-1:-1;;10092:1:8;10074:16;;10067:27;9844:258::o;10107:135::-;10146:3;-1:-1:-1;;10167:17:8;;10164:43;;;10187:18;;:::i;:::-;-1:-1:-1;10234:1:8;10223:13;;10107:135::o;10247:127::-;10308:10;10303:3;10299:20;10296:1;10289:31;10339:4;10336:1;10329:15;10363:4;10360:1;10353:15;10379:118;10465:5;10458:13;10451:21;10444:5;10441:32;10431:60;;10487:1;10484;10477:12

ipfs://b925558705f657e36b8713e9033c83476b2d850523d8c644210b983a39b66709