Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function tryAdd(uint256 a, uint256 b)    - function trySub(uint256 a, uint256 b)    - function tryMul(uint256 a, uint256 b)    - function tryDiv(uint256 a, uint256 b)    - function tryMod(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function sub(    - function div(    - function mod( library Address    - function isContract(address account)    - function sendValue(address payable re ...    - function functionCall(address target, ...    - function functionCall(    - function functionCallWithValue(    - function functionCallWithValue(    - function functionStaticCall(address t ...    - function functionStaticCall(    - function functionDelegateCall(address ...    - function functionDelegateCall(    - function verifyCallResult(    - function _msgSender()    - function _msgData() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( library SafeERC20    - function safeTransfer(    - function safeTransferFrom(    - function safeApprove(    - function safeIncreaseAllowance(    - function safeDecreaseAllowance(    - function _callOptionalReturn(IERC20 t ... interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _spendAllowance(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract HedronToken    - function approve(address spender, uin ...    - function transfer(address recipient, ...    - function mintNative(uint256 stakeInde ...    - function claimNative(uint256 stakeInd ...    - function currentDay()  contract HEXToken    - function currentDay()    - function stakeStart(uint256 newStaked ...    - function approve(address spender, uin ...    - function transfer(address recipient, ...    - function stakeEnd(uint256 stakeIndex, ...    - function stakeCount(address stakerAdd ...  contract Maximus is ERC20, ERC20Bu ... *    - function decimals()    - function getMintingPhaseStartDay()    - function getMintingPhaseEndDay()    - function getStakeStartDay()    - function getStakeEndDay()    - function getHEXRedemptionRate()    - function getHedronRedemptionRate()    - function getHexDay()    - function getHedronDay()    - function getEndStaker()    - function mint(uint256 amount)    - function pledgeHEX(uint256 amount)    - function redeemHEX(uint256 amount_MAX ...    - function stakeHEX()    - function _stakeHEX(uint256 amount)    - function _endStakeHEX(uint256 stakeIn ...    - function endStakeHEX(uint256 stakeInd ...    - function calculate_redemption_rate(ui ...    - function mintHedron(uint256 stakeInde ...    - function _mintHedron(uint256 stakeInd ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-04-16
*/

// File: @openzeppelin/contracts/security/ReentrancyGuard.sol


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

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


// OpenZeppelin Contracts v4.4.1 (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 substraction 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;
        }
    }
}

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


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

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


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

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


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

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

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

// File: @openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol


// OpenZeppelin Contracts v4.4.1 (token/ERC20/utils/SafeERC20.sol)

pragma solidity ^0.8.0;



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

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


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

pragma solidity ^0.8.0;


/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

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


// OpenZeppelin Contracts (last updated v4.5.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0;




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

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

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

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

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

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address to, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual override returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, amount);
        _transfer(from, to, amount);
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, _allowances[owner][spender] + addedValue);
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        address owner = _msgSender();
        uint256 currentAllowance = _allowances[owner][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `sender` to `recipient`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     */
    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
        }
        _balances[to] += amount;

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

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

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

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

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

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

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

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

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

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

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

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

    /**
     * @dev Spend `amount` form the allowance of `owner` toward `spender`.
     *
     * Does not update the allowance amount in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Might emit an {Approval} event.
     */
    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

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


// OpenZeppelin Contracts (last updated v4.5.0) (token/ERC20/extensions/ERC20Burnable.sol)

pragma solidity ^0.8.0;



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

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

// File: contracts/maximus.sol

//SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.2;






contract HedronToken {
  function approve(address spender, uint256 amount) external returns (bool) {}
  function transfer(address recipient, uint256 amount) external returns (bool) {}
  function mintNative(uint256 stakeIndex, uint40 stakeId) external returns (uint256) {}
  function claimNative(uint256 stakeIndex, uint40 stakeId) external returns (uint256) {}
  function currentDay() external view returns (uint256) {}
}

contract HEXToken {
  function currentDay() external view returns (uint256){}
  function stakeStart(uint256 newStakedHearts, uint256 newStakedDays) external {}
  function approve(address spender, uint256 amount) external returns (bool) {}
  function transfer(address recipient, uint256 amount) public returns (bool) {}
  function stakeEnd(uint256 stakeIndex, uint40 stakeIdParam) public {}
  function stakeCount(address stakerAddr) external view returns (uint256) {}
}
/*
────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
─██████──────────██████────██████████████────████████──████████────██████████────██████──────────██████────██████──██████────██████████████─
─██░░██████████████░░██────██░░░░░░░░░░██────██░░░░██──██░░░░██────██░░░░░░██────██░░██████████████░░██────██░░██──██░░██────██░░░░░░░░░░██─
─██░░░░░░░░░░░░░░░░░░██────██░░██████░░██────████░░██──██░░████────████░░████────██░░░░░░░░░░░░░░░░░░██────██░░██──██░░██────██░░██████████─
─██░░██████░░██████░░██────██░░██──██░░██──────██░░░░██░░░░██────────██░░██──────██░░██████░░██████░░██────██░░██──██░░██────██░░██─────────
─██░░██──██░░██──██░░██────██░░██████░░██──────████░░░░░░████────────██░░██──────██░░██──██░░██──██░░██────██░░██──██░░██────██░░██████████─
─██░░██──██░░██──██░░██────██░░░░░░░░░░██────────██░░░░░░██──────────██░░██──────██░░██──██░░██──██░░██────██░░██──██░░██────██░░░░░░░░░░██─
─██░░██──██████──██░░██────██░░██████░░██──────████░░░░░░████────────██░░██──────██░░██──██████──██░░██────██░░██──██░░██────██████████░░██─
─██░░██──────────██░░██────██░░██──██░░██──────██░░░░██░░░░██────────██░░██──────██░░██──────────██░░██────██░░██──██░░██────────────██░░██─
─██░░██──────────██░░██────██░░██──██░░██────████░░██──██░░████────████░░████────██░░██──────────██░░██────██░░██████░░██────██████████░░██─
─██░░██──────────██░░██────██░░██──██░░██────██░░░░██──██░░░░██────██░░░░░░██────██░░██──────────██░░██────██░░░░░░░░░░██────██░░░░░░░░░░██─
─██████──────────██████────██████──██████────████████──████████────██████████────██████──────────██████────██████████████────██████████████─
────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

                                    █▀ ▀█▀ █▀█ █▀▀ █▄░█ █▀▀ ▀█▀ █░█   ▄▀█ █▄░█ █▀▄   █░█ █▀█ █▄░█ █▀█ █▀█
                                    ▄█ ░█░ █▀▄ ██▄ █░▀█ █▄█ ░█░ █▀█   █▀█ █░▀█ █▄▀   █▀█ █▄█ █░▀█ █▄█ █▀▄

// Maximus is a contract for trustlessly pooling a single max length hex stake.
// Anyone may choose to mint 1 MAXI per HEX deposited into the Maximus Contract Address during the minting phase.
// Anyone may choose to pay for the gas to start and end the stake on behalf of the Maximus Contract.
// Anyone may choose to pay for the gas to mint Hedron the stake earns on behalf of the Maximus Contract.
// MAXI is a standard ERC20 token, only minted upon HEX deposit and burnt upon HEX redemption with no pre-mine or contract fee.
// MAXI holders may choose to burn MAXI to redeem HEX principal and yield (Including HEDRON) pro-rata from the Maximus Contract Address during the redemption phase.
//
// |--- Minting Phase---|---------- 5555 Day Stake Phase ------------...-----|------ Redemption Phase ---------->


THE MAXIMUS CONTRACT, SUPPORTING WEBSITES, AND ALL OTHER INTERFACES (THE SOFTWARE) IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

BY INTERACTING WITH THE SOFTWARE YOU ARE ASSERTING THAT YOU BEAR ALL THE RISKS ASSOCIATED WITH DOING SO. AN INFINITE NUMBER OF UNPREDICTABLE THINGS MAY GO WRONG WHICH COULD POTENTIALLY RESULT IN CRITICAL FAILURE AND FINANCIAL LOSS. BY INTERACTING WITH THE SOFTWARE YOU ARE ASSERTING THAT YOU AGREE THERE IS NO RECOURSE AVAILABLE AND YOU WILL NOT SEEK IT.

INTERACTING WITH THE SOFTWARE SHALL NOT BE CONSIDERED AN INVESTMENT OR A COMMON ENTERPRISE. INSTEAD, INTERACTING WITH THE SOFTWARE IS EQUIVALENT TO CARPOOLING WITH FRIENDS TO SAVE ON GAS AND EXPERIENCE THE BENEFITS OF THE H.O.V. LANE. 

YOU SHALL HAVE NO EXPECTATION OF PROFIT OR ANY TYPE OF GAIN FROM THE WORK OF OTHER PEOPLE.

*/


contract Maximus is ERC20, ERC20Burnable, ReentrancyGuard {
    // all days are measured in terms of the HEX contract day number
    uint256 MINTING_PHASE_START;
    uint256 MINTING_PHASE_END;
    uint256 STAKE_START_DAY;
    uint256 STAKE_END_DAY;
    uint256 STAKE_LENGTH;
    uint256 HEX_REDEMPTION_RATE; // Number of HEX units redeemable per MAXI
    uint256 HEDRON_REDEMPTION_RATE; // Number of HEDRON units redeemable per MAXI
    bool HAS_STAKE_STARTED;
    bool HAS_STAKE_ENDED;
    bool HAS_HEDRON_MINTED;
    address END_STAKER; 
    
    constructor(uint256 mint_duration, uint256 stake_duration) ERC20("Maximus", "MAXI") ReentrancyGuard() {
        uint256 start_day=hex_token.currentDay();
        MINTING_PHASE_START = start_day;
        MINTING_PHASE_END = start_day+mint_duration;
        STAKE_LENGTH=stake_duration; 
        HAS_STAKE_STARTED=false;
        HAS_STAKE_ENDED = false;
        HAS_HEDRON_MINTED=false;
        HEX_REDEMPTION_RATE=100000000; // HEX and MAXI are 1:1 convertible up until the stake is initiated
        HEDRON_REDEMPTION_RATE=0; //no hedron is redeemable until minting has occurred
        
        
    }
    
    /**
    * @dev View number of decimal places the MAXI token is divisible to. Manually overwritten from default 18 to 8 to match that of HEX. 1 MAXI = 10^8 mini
    */
    
    function decimals() public view virtual override returns (uint8) {
        return 8;
	}
    address MAXI_ADDRESS =address(this);
    address constant HEX_ADDRESS = 0x2b591e99afE9f32eAA6214f7B7629768c40Eeb39; // "2b, 5 9 1e? that is the question..."
    address constant HEDRON_ADDRESS=0x3819f64f282bf135d62168C1e513280dAF905e06; 

    IERC20 hex_contract = IERC20(HEX_ADDRESS);
    IERC20 hedron_contract=IERC20(HEDRON_ADDRESS);
    HEXToken hex_token = HEXToken(HEX_ADDRESS);
    HedronToken hedron_token = HedronToken(HEDRON_ADDRESS);
    // public function
    /**
    * @dev Returns the HEX Day that the Minting Phase started.
    * @return HEX Day that the Minting Phase started.
    */
    function getMintingPhaseStartDay() external view returns (uint256) {return MINTING_PHASE_START;}
    /**
    * @dev Returns the HEX Day that the Minting Phase ends.
    * @return HEX Day that the Minting Phase ends.
    */
    function getMintingPhaseEndDay() external view returns (uint256) {return MINTING_PHASE_END;}
    /**
    * @dev Returns the HEX Day that the Maximus HEX Stake started.
    * @return HEX Day that the Maximus HEX Stake started.
    */
    function getStakeStartDay() external view returns (uint256) {return STAKE_START_DAY;}
    /**
    * @dev Returns the HEX Day that the Maximus HEX Stake ends.
    * @return HEX Day that the Maximus HEX Stake ends.
    */
    function getStakeEndDay() external view returns (uint256) {return STAKE_END_DAY;}
    /**
    * @dev Returns the rate at which MAXI may be redeemed for HEX. "Number of HEX hearts per 1 MAXI redeemed."
    * @return Rate at which MAXI may be redeemed for HEX. "Number of HEX hearts per 1 MAXI redeemed."
    */
    function getHEXRedemptionRate() external view returns (uint256) {return HEX_REDEMPTION_RATE;}
    /**
    * @dev Returns the rate at which MAXI may be redeemed for HEDRON.
    * @return Rate at which MAXI may be redeemed for HDRN.
    */
    function getHedronRedemptionRate() external view returns (uint256) {return HEDRON_REDEMPTION_RATE;}

    /**
    * @dev Returns the current HEX day."
    * @return Current HEX Day
    */
    function getHexDay() external view returns (uint256){
        uint256 day = hex_token.currentDay();
        return day;
    }
     /**
    * @dev Returns the current HEDRON day."
    * @return day Current HEDRON Day
    */
    function getHedronDay() external view returns (uint day) {return hedron_token.currentDay();}

     /**
    * @dev Returns the address of the person who ends stake. May be used by external gas pooling contracts. If stake has not been ended yet will return 0x000...000"
    * @return end_staker_address This person should be honored and celebrated as a hero.
    */
    function getEndStaker() external view returns (address end_staker_address) {return END_STAKER;}

    // MAXI Issuance and Redemption Functions
    /**
     * @dev Mints MAXI.
     * @param amount of MAXI to mint, measured in minis
     */
    function mint(uint256 amount) private {
        _mint(msg.sender, amount);
    }
     /**
     * @dev Ensures that MAXI Minting Phase is ongoing and that the user has allowed the Maximus Contract address to spend the amount of HEX the user intends to pledge to Maximus. Then sends the designated HEX from the user to the Maximus Contract address and mints 1 MAXI per HEX pledged.
     * @param amount of HEX user chose to pledge, measured in hearts
     */
    function pledgeHEX(uint256 amount) nonReentrant external {
        require(hex_token.currentDay()<=MINTING_PHASE_END, "Minting Phase is Done");
        require(hex_contract.allowance(msg.sender, MAXI_ADDRESS)>=amount, "Please approve contract address as allowed spender in the hex contract.");
        address from = msg.sender;
        hex_contract.transferFrom(from, MAXI_ADDRESS, amount);
        mint(amount);
    }
     /**
     * @dev Ensures that it is currently a redemption period (before stake starts or after stake ends) and that the user has at least the number of maxi they entered. Then it calculates how much hex may be redeemed, burns the MAXI, and transfers them the hex.
     * @param amount_MAXI number of MAXI that the user is redeeming, measured in mini
     */
    function redeemHEX(uint256 amount_MAXI) nonReentrant external {
        require(HAS_STAKE_STARTED==false || HAS_STAKE_ENDED==true , "Redemption can only happen before stake starts or after stake ends.");
        uint256 yourMAXI = balanceOf(msg.sender);
        require(yourMAXI>=amount_MAXI, "You do not have that much MAXI.");
        uint256 raw_redeemable_amount = amount_MAXI*HEX_REDEMPTION_RATE;
        uint256 redeemable_amount = raw_redeemable_amount/100000000; //scaled back down to handle integer rounding
        burn(amount_MAXI);
        hex_token.transfer(msg.sender, redeemable_amount);
        if (HAS_HEDRON_MINTED==true) {
            uint256 raw_redeemable_hedron = amount_MAXI*HEDRON_REDEMPTION_RATE;
            uint256 redeemable_hedron = raw_redeemable_hedron/100000000; //scaled back down to handle integer rounding
            hedron_token.transfer(msg.sender, redeemable_hedron);
        }
    }
    //Staking Functions
    // Anyone may run these functions during the allowed time, so long as they pay the gas.
    // While nothing is forcing you to, gracious Maximus members will tip the sender some ETH for paying gas to end your stake.

    /**
     * @dev Ensures that the stake has not started yet and that the minting phase is over. Then it stakes all the hex in the contract and schedules the STAKE_END_DAY.
     * @notice This will trigger the start of the HEX stake. If you run this, you will pay the gas on behalf of the contract and you should not expect reimbursement.
     
     */
    function stakeHEX() nonReentrant external {
        require(HAS_STAKE_STARTED==false, "Stake has already been started.");
        uint256 current_day = hex_token.currentDay();
        require(current_day>MINTING_PHASE_END, "Minting Phase is still ongoing - see MINTING_PHASE_END day.");
        uint256 amount = hex_contract.balanceOf(address(this)); 
        _stakeHEX(amount);
        HAS_STAKE_STARTED=true;
        STAKE_START_DAY=current_day;
        STAKE_END_DAY=current_day+STAKE_LENGTH;
    }
    function _stakeHEX(uint256 amount) private  {
        hex_token.stakeStart(amount,STAKE_LENGTH);
        }
    
    function _endStakeHEX(uint256 stakeIndex,uint40 stakeIdParam ) private  {
        hex_token.stakeEnd(stakeIndex, stakeIdParam);
        }
    /**
     * @dev Ensures that the stake is fully complete and that it has not already been ended. Then it ends the hex stake and updates the redemption rate.
     * @notice This will trigger the ending of the HEX stake and calculate the new redemption rate. This may be very expensive. If you run this, you will pay the gas on behalf of the contract and you should not expect reimbursement.
     * @param stakeIndex index of stake found in stakeLists[contract_address] in hex contract.
     * @param stakeIdParam stake identifier found in stakeLists[contract_address] in hex contract.
     */
    function endStakeHEX(uint256 stakeIndex,uint40 stakeIdParam ) nonReentrant external {
        require(hex_token.currentDay()>STAKE_END_DAY, "Stake is not complete yet.");
        require(HAS_STAKE_STARTED==true && HAS_STAKE_ENDED==false, "Stake has already been started.");
        _endStakeHEX(stakeIndex, stakeIdParam);
        HAS_STAKE_ENDED=true;
        uint256 hex_balance = hex_contract.balanceOf(address(this));
        uint256 total_maxi_supply = IERC20(address(this)).totalSupply();
        HEX_REDEMPTION_RATE  = calculate_redemption_rate(hex_balance, total_maxi_supply);
        END_STAKER=msg.sender;
    }
    /**
     * @dev Calculates the pro-rata redemption rate of any coin per maxi. Scales value by 10^8 to handle integer rounding.
     * @param treasury_balance The balance of coins in the maximus contract address (either HEX or HEDRON)
     * @param maxi_supply total maxi supply
     * @return redemption_rate Number of units redeemable per 10^8 decimal units of MAXI. Is scaled back down by 10^8 on redemption transaction.
     */
    function calculate_redemption_rate(uint treasury_balance, uint maxi_supply) private view returns (uint redemption_rate) {
        uint256 scalar = 10**8;
        uint256 scaled = (treasury_balance * scalar) / maxi_supply; // scale value to calculate redemption amount per maxi and then divide by same scalar after multiplication
        return scaled;
    }
    
    /**
     * @dev Public function which calls the private function which is used for minting available HDRN accumulated by the contract stake. 
     * @notice This will trigger the minting of the mintable Hedron earned by the stake. If you run this, you will pay the gas on behalf of the contract and you should not expect reimbursement. If check to make sure this has not been run yet already or the transaction will fail.
     * @param stakeIndex index of stake found in stakeLists[contract_address] in hex contract.
     * @param stakeId stake identifier found in stakeLists[contract_address] in hex contract.
     */
  function mintHedron(uint256 stakeIndex,uint40 stakeId ) external  {
      _mintHedron(stakeIndex, stakeId);
        }
   /**
     * @dev Private function used for minting available HDRN accumulated by the contract stake and updating the HDRON redemption rate.
     * @param stakeIndex index of stake found in stakeLists[contract_address] in hex contract.
     * @param stakeId stake identifier found in stakeLists[contract_address] in hex contract.
     */
  function _mintHedron(uint256 stakeIndex,uint40 stakeId ) private  {
        hedron_token.mintNative(stakeIndex, stakeId);
        uint256 total_hedron= hedron_contract.balanceOf(address(this));
        uint256 total_maxi = IERC20(address(this)).totalSupply();
        
        HEDRON_REDEMPTION_RATE = calculate_redemption_rate(total_hedron, total_maxi);
        HAS_HEDRON_MINTED = true;
        }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"mint_duration","type":"uint256"},{"internalType":"uint256","name":"stake_duration","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"stakeIndex","type":"uint256"},{"internalType":"uint40","name":"stakeIdParam","type":"uint40"}],"name":"endStakeHEX","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getEndStaker","outputs":[{"internalType":"address","name":"end_staker_address","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getHEXRedemptionRate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getHedronDay","outputs":[{"internalType":"uint256","name":"day","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getHedronRedemptionRate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getHexDay","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getMintingPhaseEndDay","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getMintingPhaseStartDay","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getStakeEndDay","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getStakeStartDay","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"stakeIndex","type":"uint256"},{"internalType":"uint40","name":"stakeId","type":"uint40"}],"name":"mintHedron","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"pledgeHEX","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount_MAXI","type":"uint256"}],"name":"redeemHEX","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"stakeHEX","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405230600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550732b591e99afe9f32eaa6214f7b7629768c40eeb39600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550733819f64f282bf135d62168c1e513280daf905e06601060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550732b591e99afe9f32eaa6214f7b7629768c40eeb39601160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550733819f64f282bf135d62168c1e513280daf905e06601260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015620001a657600080fd5b50604051620038c8380380620038c88339818101604052810190620001cc91906200048b565b6040518060400160405280600781526020017f4d6178696d7573000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f4d415849000000000000000000000000000000000000000000000000000000008152508160039080519060200190620002509291906200039b565b508060049080519060200190620002699291906200039b565b50505060016005819055506000601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa158015620002e4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200030a9190620004d2565b905080600681905550828162000321919062000533565b60078190555081600a819055506000600d60006101000a81548160ff0219169083151502179055506000600d60016101000a81548160ff0219169083151502179055506000600d60026101000a81548160ff0219169083151502179055506305f5e100600b819055506000600c81905550505050620005f4565b828054620003a990620005bf565b90600052602060002090601f016020900481019282620003cd576000855562000419565b82601f10620003e857805160ff191683800117855562000419565b8280016001018555821562000419579182015b8281111562000418578251825591602001919060010190620003fb565b5b5090506200042891906200042c565b5090565b5b80821115620004475760008160009055506001016200042d565b5090565b600080fd5b6000819050919050565b620004658162000450565b81146200047157600080fd5b50565b60008151905062000485816200045a565b92915050565b60008060408385031215620004a557620004a46200044b565b5b6000620004b58582860162000474565b9250506020620004c88582860162000474565b9150509250929050565b600060208284031215620004eb57620004ea6200044b565b5b6000620004fb8482850162000474565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000620005408262000450565b91506200054d8362000450565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111562000585576200058462000504565b5b828201905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620005d857607f821691505b602082108103620005ee57620005ed62000590565b5b50919050565b6132c480620006046000396000f3fe608060405234801561001057600080fd5b50600436106101a95760003560e01c80634953a509116100f9578063a457c2d711610097578063db14122211610071578063db141222146104ae578063dd62ed3e146104cc578063e7644fb9146104fc578063e9ffdf0b14610518576101a9565b8063a457c2d714610444578063a9059cbb14610474578063ba777bcc146104a4576101a9565b806379cc6790116100d357806379cc6790146103d057806383a9bafa146103ec5780638412d89b1461040a57806395d89b4114610426576101a9565b80634953a5091461036657806370a0823114610382578063751279b9146103b2576101a9565b80631f09a77111610166578063395093511161014057806339509351146102e057806342966c68146103105780634537523c1461032c578063488b478314610348576101a9565b80631f09a7711461027457806323b872dd14610292578063313ce567146102c2576101a9565b8063037c3f5d146101ae57806306fdde03146101cc578063095ea7b3146101ea5780630a19d9331461021a57806318160ddd1461023857806318edf0dd14610256575b600080fd5b6101b6610536565b6040516101c3919061220a565b60405180910390f35b6101d4610540565b6040516101e191906122be565b60405180910390f35b61020460048036038101906101ff919061236f565b6105d2565b60405161021191906123ca565b60405180910390f35b6102226105f5565b60405161022f91906123f4565b60405180910390f35b61024061061f565b60405161024d919061220a565b60405180910390f35b61025e610629565b60405161026b919061220a565b60405180910390f35b61027c6106c6565b604051610289919061220a565b60405180910390f35b6102ac60048036038101906102a7919061240f565b6106d0565b6040516102b991906123ca565b60405180910390f35b6102ca6106ff565b6040516102d7919061247e565b60405180910390f35b6102fa60048036038101906102f5919061236f565b610708565b60405161030791906123ca565b60405180910390f35b61032a60048036038101906103259190612499565b6107b2565b005b61034660048036038101906103419190612499565b6107c6565b005b610350610ac9565b60405161035d919061220a565b60405180910390f35b610380600480360381019061037b9190612503565b610ad3565b005b61039c60048036038101906103979190612543565b610e00565b6040516103a9919061220a565b60405180910390f35b6103ba610e48565b6040516103c7919061220a565b60405180910390f35b6103ea60048036038101906103e5919061236f565b610e52565b005b6103f4610e72565b604051610401919061220a565b60405180910390f35b610424600480360381019061041f9190612503565b610f0a565b005b61042e610f18565b60405161043b91906122be565b60405180910390f35b61045e6004803603810190610459919061236f565b610faa565b60405161046b91906123ca565b60405180910390f35b61048e6004803603810190610489919061236f565b611094565b60405161049b91906123ca565b60405180910390f35b6104ac6110b7565b005b6104b661131e565b6040516104c3919061220a565b60405180910390f35b6104e660048036038101906104e19190612570565b611328565b6040516104f3919061220a565b60405180910390f35b61051660048036038101906105119190612499565b6113af565b005b610520611683565b60405161052d919061220a565b60405180910390f35b6000600754905090565b60606003805461054f906125df565b80601f016020809104026020016040519081016040528092919081815260200182805461057b906125df565b80156105c85780601f1061059d576101008083540402835291602001916105c8565b820191906000526020600020905b8154815290600101906020018083116105ab57829003601f168201915b5050505050905090565b6000806105dd61168d565b90506105ea818585611695565b600191505092915050565b6000600d60039054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600254905090565b600080601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa158015610699573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106bd9190612625565b90508091505090565b6000600c54905090565b6000806106db61168d565b90506106e885828561185e565b6106f38585856118ea565b60019150509392505050565b60006008905090565b60008061071361168d565b90506107a7818585600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546107a29190612681565b611695565b600191505092915050565b6107c36107bd61168d565b82611b69565b50565b60026005540361080b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080290612723565b60405180910390fd5b6002600581905550600754601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa158015610883573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108a79190612625565b11156108e8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108df9061278f565b60405180910390fd5b80600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e33600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040518363ffffffff1660e01b81526004016109689291906127af565b602060405180830381865afa158015610985573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109a99190612625565b10156109ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e190612870565b60405180910390fd5b6000339050600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd82600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16856040518463ffffffff1660e01b8152600401610a7093929190612890565b6020604051808303816000875af1158015610a8f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ab391906128f3565b50610abd82611d3f565b50600160058190555050565b6000600654905090565b600260055403610b18576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0f90612723565b60405180910390fd5b6002600581905550600954601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b90573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bb49190612625565b11610bf4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610beb9061296c565b60405180910390fd5b60011515600d60009054906101000a900460ff161515148015610c2a575060001515600d60019054906101000a900460ff161515145b610c69576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c60906129d8565b60405180910390fd5b610c738282611d4c565b6001600d60016101000a81548160ff0219169083151502179055506000600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610ceb91906123f4565b602060405180830381865afa158015610d08573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d2c9190612625565b905060003073ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d7b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d9f9190612625565b9050610dab8282611ddf565b600b8190555033600d60036101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505060016005819055505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600954905090565b610e6482610e5e61168d565b8361185e565b610e6e8282611b69565b5050565b6000601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa158015610ee1573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f059190612625565b905090565b610f148282611e0f565b5050565b606060048054610f27906125df565b80601f0160208091040260200160405190810160405280929190818152602001828054610f53906125df565b8015610fa05780601f10610f7557610100808354040283529160200191610fa0565b820191906000526020600020905b815481529060010190602001808311610f8357829003601f168201915b5050505050905090565b600080610fb561168d565b90506000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508381101561107b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161107290612a6a565b60405180910390fd5b6110888286868403611695565b60019250505092915050565b60008061109f61168d565b90506110ac8185856118ea565b600191505092915050565b6002600554036110fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110f390612723565b60405180910390fd5b600260058190555060001515600d60009054906101000a900460ff1615151461115a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611151906129d8565b60405180910390fd5b6000601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111c9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111ed9190612625565b90506007548111611233576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161122a90612afc565b60405180910390fd5b6000600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161129091906123f4565b602060405180830381865afa1580156112ad573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112d19190612625565b90506112dc81611ff4565b6001600d60006101000a81548160ff02191690831515021790555081600881905550600a548261130c9190612681565b60098190555050506001600581905550565b6000600854905090565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6002600554036113f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113eb90612723565b60405180910390fd5b600260058190555060001515600d60009054906101000a900460ff1615151480611431575060011515600d60019054906101000a900460ff161515145b611470576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161146790612bb4565b60405180910390fd5b600061147b33610e00565b9050818110156114c0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114b790612c20565b60405180910390fd5b6000600b54836114d09190612c40565b905060006305f5e100826114e49190612cc9565b90506114ef846107b2565b601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b815260040161154c929190612cfa565b6020604051808303816000875af115801561156b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061158f91906128f3565b5060011515600d60029054906101000a900460ff16151503611675576000600c54856115bb9190612c40565b905060006305f5e100826115cf9190612cc9565b9050601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b815260040161162e929190612cfa565b6020604051808303816000875af115801561164d573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061167191906128f3565b5050505b505050600160058190555050565b6000600b54905090565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611704576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116fb90612d95565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611773576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161176a90612e27565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611851919061220a565b60405180910390a3505050565b600061186a8484611328565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146118e457818110156118d6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118cd90612e93565b60405180910390fd5b6118e38484848403611695565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611959576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161195090612f25565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036119c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119bf90612fb7565b60405180910390fd5b6119d3838383612088565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611a59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a5090613049565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611aec9190612681565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611b50919061220a565b60405180910390a3611b6384848461208d565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611bd8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611bcf906130db565b60405180910390fd5b611be482600083612088565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611c6a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c619061316d565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160026000828254611cc1919061318d565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611d26919061220a565b60405180910390a3611d3a8360008461208d565b505050565b611d493382612092565b50565b601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663343009a283836040518363ffffffff1660e01b8152600401611da99291906131d0565b600060405180830381600087803b158015611dc357600080fd5b505af1158015611dd7573d6000803e3d6000fd5b505050505050565b6000806305f5e10090506000838286611df89190612c40565b611e029190612cc9565b9050809250505092915050565b601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f812b9a483836040518363ffffffff1660e01b8152600401611e6c9291906131d0565b6020604051808303816000875af1158015611e8b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611eaf9190612625565b506000601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611f0d91906123f4565b602060405180830381865afa158015611f2a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611f4e9190612625565b905060003073ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611f9d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611fc19190612625565b9050611fcd8282611ddf565b600c819055506001600d60026101000a81548160ff02191690831515021790555050505050565b601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166352a438b882600a546040518363ffffffff1660e01b81526004016120539291906131f9565b600060405180830381600087803b15801561206d57600080fd5b505af1158015612081573d6000803e3d6000fd5b5050505050565b505050565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612101576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120f89061326e565b60405180910390fd5b61210d60008383612088565b806002600082825461211f9190612681565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546121749190612681565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516121d9919061220a565b60405180910390a36121ed6000838361208d565b5050565b6000819050919050565b612204816121f1565b82525050565b600060208201905061221f60008301846121fb565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561225f578082015181840152602081019050612244565b8381111561226e576000848401525b50505050565b6000601f19601f8301169050919050565b600061229082612225565b61229a8185612230565b93506122aa818560208601612241565b6122b381612274565b840191505092915050565b600060208201905081810360008301526122d88184612285565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000612310826122e5565b9050919050565b61232081612305565b811461232b57600080fd5b50565b60008135905061233d81612317565b92915050565b61234c816121f1565b811461235757600080fd5b50565b60008135905061236981612343565b92915050565b60008060408385031215612386576123856122e0565b5b60006123948582860161232e565b92505060206123a58582860161235a565b9150509250929050565b60008115159050919050565b6123c4816123af565b82525050565b60006020820190506123df60008301846123bb565b92915050565b6123ee81612305565b82525050565b600060208201905061240960008301846123e5565b92915050565b600080600060608486031215612428576124276122e0565b5b60006124368682870161232e565b93505060206124478682870161232e565b92505060406124588682870161235a565b9150509250925092565b600060ff82169050919050565b61247881612462565b82525050565b6000602082019050612493600083018461246f565b92915050565b6000602082840312156124af576124ae6122e0565b5b60006124bd8482850161235a565b91505092915050565b600064ffffffffff82169050919050565b6124e0816124c6565b81146124eb57600080fd5b50565b6000813590506124fd816124d7565b92915050565b6000806040838503121561251a576125196122e0565b5b60006125288582860161235a565b9250506020612539858286016124ee565b9150509250929050565b600060208284031215612559576125586122e0565b5b60006125678482850161232e565b91505092915050565b60008060408385031215612587576125866122e0565b5b60006125958582860161232e565b92505060206125a68582860161232e565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806125f757607f821691505b60208210810361260a576126096125b0565b5b50919050565b60008151905061261f81612343565b92915050565b60006020828403121561263b5761263a6122e0565b5b600061264984828501612610565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061268c826121f1565b9150612697836121f1565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156126cc576126cb612652565b5b828201905092915050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00600082015250565b600061270d601f83612230565b9150612718826126d7565b602082019050919050565b6000602082019050818103600083015261273c81612700565b9050919050565b7f4d696e74696e6720506861736520697320446f6e650000000000000000000000600082015250565b6000612779601583612230565b915061278482612743565b602082019050919050565b600060208201905081810360008301526127a88161276c565b9050919050565b60006040820190506127c460008301856123e5565b6127d160208301846123e5565b9392505050565b7f506c6561736520617070726f766520636f6e747261637420616464726573732060008201527f617320616c6c6f776564207370656e64657220696e207468652068657820636f60208201527f6e74726163742e00000000000000000000000000000000000000000000000000604082015250565b600061285a604783612230565b9150612865826127d8565b606082019050919050565b600060208201905081810360008301526128898161284d565b9050919050565b60006060820190506128a560008301866123e5565b6128b260208301856123e5565b6128bf60408301846121fb565b949350505050565b6128d0816123af565b81146128db57600080fd5b50565b6000815190506128ed816128c7565b92915050565b600060208284031215612909576129086122e0565b5b6000612917848285016128de565b91505092915050565b7f5374616b65206973206e6f7420636f6d706c657465207965742e000000000000600082015250565b6000612956601a83612230565b915061296182612920565b602082019050919050565b6000602082019050818103600083015261298581612949565b9050919050565b7f5374616b652068617320616c7265616479206265656e20737461727465642e00600082015250565b60006129c2601f83612230565b91506129cd8261298c565b602082019050919050565b600060208201905081810360008301526129f1816129b5565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000612a54602583612230565b9150612a5f826129f8565b604082019050919050565b60006020820190508181036000830152612a8381612a47565b9050919050565b7f4d696e74696e67205068617365206973207374696c6c206f6e676f696e67202d60008201527f20736565204d494e54494e475f50484153455f454e44206461792e0000000000602082015250565b6000612ae6603b83612230565b9150612af182612a8a565b604082019050919050565b60006020820190508181036000830152612b1581612ad9565b9050919050565b7f526564656d7074696f6e2063616e206f6e6c792068617070656e206265666f7260008201527f65207374616b6520737461727473206f72206166746572207374616b6520656e60208201527f64732e0000000000000000000000000000000000000000000000000000000000604082015250565b6000612b9e604383612230565b9150612ba982612b1c565b606082019050919050565b60006020820190508181036000830152612bcd81612b91565b9050919050565b7f596f7520646f206e6f7420686176652074686174206d756368204d4158492e00600082015250565b6000612c0a601f83612230565b9150612c1582612bd4565b602082019050919050565b60006020820190508181036000830152612c3981612bfd565b9050919050565b6000612c4b826121f1565b9150612c56836121f1565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615612c8f57612c8e612652565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000612cd4826121f1565b9150612cdf836121f1565b925082612cef57612cee612c9a565b5b828204905092915050565b6000604082019050612d0f60008301856123e5565b612d1c60208301846121fb565b9392505050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612d7f602483612230565b9150612d8a82612d23565b604082019050919050565b60006020820190508181036000830152612dae81612d72565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000612e11602283612230565b9150612e1c82612db5565b604082019050919050565b60006020820190508181036000830152612e4081612e04565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000612e7d601d83612230565b9150612e8882612e47565b602082019050919050565b60006020820190508181036000830152612eac81612e70565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000612f0f602583612230565b9150612f1a82612eb3565b604082019050919050565b60006020820190508181036000830152612f3e81612f02565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000612fa1602383612230565b9150612fac82612f45565b604082019050919050565b60006020820190508181036000830152612fd081612f94565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000613033602683612230565b915061303e82612fd7565b604082019050919050565b6000602082019050818103600083015261306281613026565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006130c5602183612230565b91506130d082613069565b604082019050919050565b600060208201905081810360008301526130f4816130b8565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000613157602283612230565b9150613162826130fb565b604082019050919050565b600060208201905081810360008301526131868161314a565b9050919050565b6000613198826121f1565b91506131a3836121f1565b9250828210156131b6576131b5612652565b5b828203905092915050565b6131ca816124c6565b82525050565b60006040820190506131e560008301856121fb565b6131f260208301846131c1565b9392505050565b600060408201905061320e60008301856121fb565b61321b60208301846121fb565b9392505050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000613258601f83612230565b915061326382613222565b602082019050919050565b600060208201905081810360008301526132878161324b565b905091905056fea26469706673582212202ee8f58cb87e4676b1436935441467d6c8d2f12dec58e0784cd3c2922838189864736f6c634300080d0033000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000015b3

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80634953a509116100f9578063a457c2d711610097578063db14122211610071578063db141222146104ae578063dd62ed3e146104cc578063e7644fb9146104fc578063e9ffdf0b14610518576101a9565b8063a457c2d714610444578063a9059cbb14610474578063ba777bcc146104a4576101a9565b806379cc6790116100d357806379cc6790146103d057806383a9bafa146103ec5780638412d89b1461040a57806395d89b4114610426576101a9565b80634953a5091461036657806370a0823114610382578063751279b9146103b2576101a9565b80631f09a77111610166578063395093511161014057806339509351146102e057806342966c68146103105780634537523c1461032c578063488b478314610348576101a9565b80631f09a7711461027457806323b872dd14610292578063313ce567146102c2576101a9565b8063037c3f5d146101ae57806306fdde03146101cc578063095ea7b3146101ea5780630a19d9331461021a57806318160ddd1461023857806318edf0dd14610256575b600080fd5b6101b6610536565b6040516101c3919061220a565b60405180910390f35b6101d4610540565b6040516101e191906122be565b60405180910390f35b61020460048036038101906101ff919061236f565b6105d2565b60405161021191906123ca565b60405180910390f35b6102226105f5565b60405161022f91906123f4565b60405180910390f35b61024061061f565b60405161024d919061220a565b60405180910390f35b61025e610629565b60405161026b919061220a565b60405180910390f35b61027c6106c6565b604051610289919061220a565b60405180910390f35b6102ac60048036038101906102a7919061240f565b6106d0565b6040516102b991906123ca565b60405180910390f35b6102ca6106ff565b6040516102d7919061247e565b60405180910390f35b6102fa60048036038101906102f5919061236f565b610708565b60405161030791906123ca565b60405180910390f35b61032a60048036038101906103259190612499565b6107b2565b005b61034660048036038101906103419190612499565b6107c6565b005b610350610ac9565b60405161035d919061220a565b60405180910390f35b610380600480360381019061037b9190612503565b610ad3565b005b61039c60048036038101906103979190612543565b610e00565b6040516103a9919061220a565b60405180910390f35b6103ba610e48565b6040516103c7919061220a565b60405180910390f35b6103ea60048036038101906103e5919061236f565b610e52565b005b6103f4610e72565b604051610401919061220a565b60405180910390f35b610424600480360381019061041f9190612503565b610f0a565b005b61042e610f18565b60405161043b91906122be565b60405180910390f35b61045e6004803603810190610459919061236f565b610faa565b60405161046b91906123ca565b60405180910390f35b61048e6004803603810190610489919061236f565b611094565b60405161049b91906123ca565b60405180910390f35b6104ac6110b7565b005b6104b661131e565b6040516104c3919061220a565b60405180910390f35b6104e660048036038101906104e19190612570565b611328565b6040516104f3919061220a565b60405180910390f35b61051660048036038101906105119190612499565b6113af565b005b610520611683565b60405161052d919061220a565b60405180910390f35b6000600754905090565b60606003805461054f906125df565b80601f016020809104026020016040519081016040528092919081815260200182805461057b906125df565b80156105c85780601f1061059d576101008083540402835291602001916105c8565b820191906000526020600020905b8154815290600101906020018083116105ab57829003601f168201915b5050505050905090565b6000806105dd61168d565b90506105ea818585611695565b600191505092915050565b6000600d60039054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600254905090565b600080601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa158015610699573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106bd9190612625565b90508091505090565b6000600c54905090565b6000806106db61168d565b90506106e885828561185e565b6106f38585856118ea565b60019150509392505050565b60006008905090565b60008061071361168d565b90506107a7818585600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546107a29190612681565b611695565b600191505092915050565b6107c36107bd61168d565b82611b69565b50565b60026005540361080b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080290612723565b60405180910390fd5b6002600581905550600754601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa158015610883573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108a79190612625565b11156108e8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108df9061278f565b60405180910390fd5b80600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e33600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040518363ffffffff1660e01b81526004016109689291906127af565b602060405180830381865afa158015610985573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109a99190612625565b10156109ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e190612870565b60405180910390fd5b6000339050600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd82600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16856040518463ffffffff1660e01b8152600401610a7093929190612890565b6020604051808303816000875af1158015610a8f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ab391906128f3565b50610abd82611d3f565b50600160058190555050565b6000600654905090565b600260055403610b18576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0f90612723565b60405180910390fd5b6002600581905550600954601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b90573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bb49190612625565b11610bf4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610beb9061296c565b60405180910390fd5b60011515600d60009054906101000a900460ff161515148015610c2a575060001515600d60019054906101000a900460ff161515145b610c69576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c60906129d8565b60405180910390fd5b610c738282611d4c565b6001600d60016101000a81548160ff0219169083151502179055506000600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610ceb91906123f4565b602060405180830381865afa158015610d08573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d2c9190612625565b905060003073ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d7b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d9f9190612625565b9050610dab8282611ddf565b600b8190555033600d60036101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505060016005819055505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600954905090565b610e6482610e5e61168d565b8361185e565b610e6e8282611b69565b5050565b6000601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa158015610ee1573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f059190612625565b905090565b610f148282611e0f565b5050565b606060048054610f27906125df565b80601f0160208091040260200160405190810160405280929190818152602001828054610f53906125df565b8015610fa05780601f10610f7557610100808354040283529160200191610fa0565b820191906000526020600020905b815481529060010190602001808311610f8357829003601f168201915b5050505050905090565b600080610fb561168d565b90506000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508381101561107b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161107290612a6a565b60405180910390fd5b6110888286868403611695565b60019250505092915050565b60008061109f61168d565b90506110ac8185856118ea565b600191505092915050565b6002600554036110fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110f390612723565b60405180910390fd5b600260058190555060001515600d60009054906101000a900460ff1615151461115a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611151906129d8565b60405180910390fd5b6000601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635c9302c96040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111c9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111ed9190612625565b90506007548111611233576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161122a90612afc565b60405180910390fd5b6000600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161129091906123f4565b602060405180830381865afa1580156112ad573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112d19190612625565b90506112dc81611ff4565b6001600d60006101000a81548160ff02191690831515021790555081600881905550600a548261130c9190612681565b60098190555050506001600581905550565b6000600854905090565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6002600554036113f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113eb90612723565b60405180910390fd5b600260058190555060001515600d60009054906101000a900460ff1615151480611431575060011515600d60019054906101000a900460ff161515145b611470576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161146790612bb4565b60405180910390fd5b600061147b33610e00565b9050818110156114c0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114b790612c20565b60405180910390fd5b6000600b54836114d09190612c40565b905060006305f5e100826114e49190612cc9565b90506114ef846107b2565b601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b815260040161154c929190612cfa565b6020604051808303816000875af115801561156b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061158f91906128f3565b5060011515600d60029054906101000a900460ff16151503611675576000600c54856115bb9190612c40565b905060006305f5e100826115cf9190612cc9565b9050601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b815260040161162e929190612cfa565b6020604051808303816000875af115801561164d573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061167191906128f3565b5050505b505050600160058190555050565b6000600b54905090565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611704576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116fb90612d95565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611773576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161176a90612e27565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611851919061220a565b60405180910390a3505050565b600061186a8484611328565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146118e457818110156118d6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118cd90612e93565b60405180910390fd5b6118e38484848403611695565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611959576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161195090612f25565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036119c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119bf90612fb7565b60405180910390fd5b6119d3838383612088565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611a59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a5090613049565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611aec9190612681565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611b50919061220a565b60405180910390a3611b6384848461208d565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611bd8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611bcf906130db565b60405180910390fd5b611be482600083612088565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611c6a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c619061316d565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160026000828254611cc1919061318d565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611d26919061220a565b60405180910390a3611d3a8360008461208d565b505050565b611d493382612092565b50565b601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663343009a283836040518363ffffffff1660e01b8152600401611da99291906131d0565b600060405180830381600087803b158015611dc357600080fd5b505af1158015611dd7573d6000803e3d6000fd5b505050505050565b6000806305f5e10090506000838286611df89190612c40565b611e029190612cc9565b9050809250505092915050565b601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f812b9a483836040518363ffffffff1660e01b8152600401611e6c9291906131d0565b6020604051808303816000875af1158015611e8b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611eaf9190612625565b506000601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611f0d91906123f4565b602060405180830381865afa158015611f2a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611f4e9190612625565b905060003073ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611f9d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611fc19190612625565b9050611fcd8282611ddf565b600c819055506001600d60026101000a81548160ff02191690831515021790555050505050565b601160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166352a438b882600a546040518363ffffffff1660e01b81526004016120539291906131f9565b600060405180830381600087803b15801561206d57600080fd5b505af1158015612081573d6000803e3d6000fd5b5050505050565b505050565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612101576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120f89061326e565b60405180910390fd5b61210d60008383612088565b806002600082825461211f9190612681565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546121749190612681565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516121d9919061220a565b60405180910390a36121ed6000838361208d565b5050565b6000819050919050565b612204816121f1565b82525050565b600060208201905061221f60008301846121fb565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561225f578082015181840152602081019050612244565b8381111561226e576000848401525b50505050565b6000601f19601f8301169050919050565b600061229082612225565b61229a8185612230565b93506122aa818560208601612241565b6122b381612274565b840191505092915050565b600060208201905081810360008301526122d88184612285565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000612310826122e5565b9050919050565b61232081612305565b811461232b57600080fd5b50565b60008135905061233d81612317565b92915050565b61234c816121f1565b811461235757600080fd5b50565b60008135905061236981612343565b92915050565b60008060408385031215612386576123856122e0565b5b60006123948582860161232e565b92505060206123a58582860161235a565b9150509250929050565b60008115159050919050565b6123c4816123af565b82525050565b60006020820190506123df60008301846123bb565b92915050565b6123ee81612305565b82525050565b600060208201905061240960008301846123e5565b92915050565b600080600060608486031215612428576124276122e0565b5b60006124368682870161232e565b93505060206124478682870161232e565b92505060406124588682870161235a565b9150509250925092565b600060ff82169050919050565b61247881612462565b82525050565b6000602082019050612493600083018461246f565b92915050565b6000602082840312156124af576124ae6122e0565b5b60006124bd8482850161235a565b91505092915050565b600064ffffffffff82169050919050565b6124e0816124c6565b81146124eb57600080fd5b50565b6000813590506124fd816124d7565b92915050565b6000806040838503121561251a576125196122e0565b5b60006125288582860161235a565b9250506020612539858286016124ee565b9150509250929050565b600060208284031215612559576125586122e0565b5b60006125678482850161232e565b91505092915050565b60008060408385031215612587576125866122e0565b5b60006125958582860161232e565b92505060206125a68582860161232e565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806125f757607f821691505b60208210810361260a576126096125b0565b5b50919050565b60008151905061261f81612343565b92915050565b60006020828403121561263b5761263a6122e0565b5b600061264984828501612610565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061268c826121f1565b9150612697836121f1565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156126cc576126cb612652565b5b828201905092915050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00600082015250565b600061270d601f83612230565b9150612718826126d7565b602082019050919050565b6000602082019050818103600083015261273c81612700565b9050919050565b7f4d696e74696e6720506861736520697320446f6e650000000000000000000000600082015250565b6000612779601583612230565b915061278482612743565b602082019050919050565b600060208201905081810360008301526127a88161276c565b9050919050565b60006040820190506127c460008301856123e5565b6127d160208301846123e5565b9392505050565b7f506c6561736520617070726f766520636f6e747261637420616464726573732060008201527f617320616c6c6f776564207370656e64657220696e207468652068657820636f60208201527f6e74726163742e00000000000000000000000000000000000000000000000000604082015250565b600061285a604783612230565b9150612865826127d8565b606082019050919050565b600060208201905081810360008301526128898161284d565b9050919050565b60006060820190506128a560008301866123e5565b6128b260208301856123e5565b6128bf60408301846121fb565b949350505050565b6128d0816123af565b81146128db57600080fd5b50565b6000815190506128ed816128c7565b92915050565b600060208284031215612909576129086122e0565b5b6000612917848285016128de565b91505092915050565b7f5374616b65206973206e6f7420636f6d706c657465207965742e000000000000600082015250565b6000612956601a83612230565b915061296182612920565b602082019050919050565b6000602082019050818103600083015261298581612949565b9050919050565b7f5374616b652068617320616c7265616479206265656e20737461727465642e00600082015250565b60006129c2601f83612230565b91506129cd8261298c565b602082019050919050565b600060208201905081810360008301526129f1816129b5565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000612a54602583612230565b9150612a5f826129f8565b604082019050919050565b60006020820190508181036000830152612a8381612a47565b9050919050565b7f4d696e74696e67205068617365206973207374696c6c206f6e676f696e67202d60008201527f20736565204d494e54494e475f50484153455f454e44206461792e0000000000602082015250565b6000612ae6603b83612230565b9150612af182612a8a565b604082019050919050565b60006020820190508181036000830152612b1581612ad9565b9050919050565b7f526564656d7074696f6e2063616e206f6e6c792068617070656e206265666f7260008201527f65207374616b6520737461727473206f72206166746572207374616b6520656e60208201527f64732e0000000000000000000000000000000000000000000000000000000000604082015250565b6000612b9e604383612230565b9150612ba982612b1c565b606082019050919050565b60006020820190508181036000830152612bcd81612b91565b9050919050565b7f596f7520646f206e6f7420686176652074686174206d756368204d4158492e00600082015250565b6000612c0a601f83612230565b9150612c1582612bd4565b602082019050919050565b60006020820190508181036000830152612c3981612bfd565b9050919050565b6000612c4b826121f1565b9150612c56836121f1565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615612c8f57612c8e612652565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000612cd4826121f1565b9150612cdf836121f1565b925082612cef57612cee612c9a565b5b828204905092915050565b6000604082019050612d0f60008301856123e5565b612d1c60208301846121fb565b9392505050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612d7f602483612230565b9150612d8a82612d23565b604082019050919050565b60006020820190508181036000830152612dae81612d72565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000612e11602283612230565b9150612e1c82612db5565b604082019050919050565b60006020820190508181036000830152612e4081612e04565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000612e7d601d83612230565b9150612e8882612e47565b602082019050919050565b60006020820190508181036000830152612eac81612e70565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000612f0f602583612230565b9150612f1a82612eb3565b604082019050919050565b60006020820190508181036000830152612f3e81612f02565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000612fa1602383612230565b9150612fac82612f45565b604082019050919050565b60006020820190508181036000830152612fd081612f94565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000613033602683612230565b915061303e82612fd7565b604082019050919050565b6000602082019050818103600083015261306281613026565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006130c5602183612230565b91506130d082613069565b604082019050919050565b600060208201905081810360008301526130f4816130b8565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000613157602283612230565b9150613162826130fb565b604082019050919050565b600060208201905081810360008301526131868161314a565b9050919050565b6000613198826121f1565b91506131a3836121f1565b9250828210156131b6576131b5612652565b5b828203905092915050565b6131ca816124c6565b82525050565b60006040820190506131e560008301856121fb565b6131f260208301846131c1565b9392505050565b600060408201905061320e60008301856121fb565b61321b60208301846121fb565b9392505050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000613258601f83612230565b915061326382613222565b602082019050919050565b600060208201905081810360008301526132878161324b565b905091905056fea26469706673582212202ee8f58cb87e4676b1436935441467d6c8d2f12dec58e0784cd3c2922838189864736f6c634300080d0033

000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000015b3

-----Decoded View---------------
Arg [0] : mint_duration (uint256): 14
Arg [1] : stake_duration (uint256): 5555

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 000000000000000000000000000000000000000000000000000000000000000e
Arg [1] : 00000000000000000000000000000000000000000000000000000000000015b3

49971:11558:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;52284:92;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28935:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31286:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;54127:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;30055:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53518:128;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53321:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32067:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51340:89;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32771:240;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;40313:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;54845:425;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;52052:96;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58576:629;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;30226:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52755:81;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;40723:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;53753:92;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;60652:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;29154:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33514:438;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;30559:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;57193:510;;;:::i;:::-;;52526:85;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;30815:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;55643:935;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;53074:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52284:92;52340:7;52357:17;;52350:24;;52284:92;:::o;28935:100::-;28989:13;29022:5;29015:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28935:100;:::o;31286:201::-;31369:4;31386:13;31402:12;:10;:12::i;:::-;31386:28;;31425:32;31434:5;31441:7;31450:6;31425:8;:32::i;:::-;31475:4;31468:11;;;31286:201;;;;:::o;54127:95::-;54174:26;54210:10;;;;;;;;;;;54203:17;;54127:95;:::o;30055:108::-;30116:7;30143:12;;30136:19;;30055:108;:::o;53518:128::-;53562:7;53581:11;53595:9;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;53581:36;;53635:3;53628:10;;;53518:128;:::o;53321:99::-;53379:7;53396:22;;53389:29;;53321:99;:::o;32067:295::-;32198:4;32215:15;32233:12;:10;:12::i;:::-;32215:30;;32256:38;32272:4;32278:7;32287:6;32256:15;:38::i;:::-;32305:27;32315:4;32321:2;32325:6;32305:9;:27::i;:::-;32350:4;32343:11;;;32067:295;;;;;:::o;51340:89::-;51398:5;51423:1;51416:8;;51340:89;:::o;32771:240::-;32859:4;32876:13;32892:12;:10;:12::i;:::-;32876:28;;32915:66;32924:5;32931:7;32970:10;32940:11;:18;32952:5;32940:18;;;;;;;;;;;;;;;:27;32959:7;32940:27;;;;;;;;;;;;;;;;:40;;;;:::i;:::-;32915:8;:66::i;:::-;32999:4;32992:11;;;32771:240;;;;:::o;40313:91::-;40369:27;40375:12;:10;:12::i;:::-;40389:6;40369:5;:27::i;:::-;40313:91;:::o;54845:425::-;1812:1;2410:7;;:19;2402:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;1812:1;2543:7;:18;;;;54945:17:::1;;54921:9;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:41;;54913:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;55057:6;55007:12;;;;;;;;;;;:22;;;55030:10;55042:12;;;;;;;;;;;55007:48;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:56;;54999:140;;;;;;;;;;;;:::i;:::-;;;;;;;;;55150:12;55165:10;55150:25;;55186:12;;;;;;;;;;;:25;;;55212:4;55218:12;;;;;;;;;;;55232:6;55186:53;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;55250:12;55255:6;55250:4;:12::i;:::-;54902:368;1768:1:::0;2722:7;:22;;;;54845:425;:::o;52052:96::-;52110:7;52127:19;;52120:26;;52052:96;:::o;58576:629::-;1812:1;2410:7;;:19;2402:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;1812:1;2543:7;:18;;;;58702:13:::1;;58679:9;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:36;58671:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;58784:4;58765:23;;:17;;;;;;;;;;;:23;;;:49;;;;;58809:5;58792:22;;:15;;;;;;;;;;;:22;;;58765:49;58757:93;;;;;;;;;;;;:::i;:::-;;;;;;;;;58861:38;58874:10;58886:12;58861;:38::i;:::-;58926:4;58910:15;;:20;;;;;;;;;;;;;;;;;;58941:19;58963:12;;;;;;;;;;;:22;;;58994:4;58963:37;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;58941:59;;59011:25;59054:4;59039:33;;;:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;59011:63;;59108:57;59134:11;59147:17;59108:25;:57::i;:::-;59085:19;:80;;;;59187:10;59176;;:21;;;;;;;;;;;;;;;;;;58660:545;;1768:1:::0;2722:7;:22;;;;58576:629;;:::o;30226:127::-;30300:7;30327:9;:18;30337:7;30327:18;;;;;;;;;;;;;;;;30320:25;;30226:127;;;:::o;52755:81::-;52804:7;52821:13;;52814:20;;52755:81;:::o;40723:164::-;40800:46;40816:7;40825:12;:10;:12::i;:::-;40839:6;40800:15;:46::i;:::-;40857:22;40863:7;40872:6;40857:5;:22::i;:::-;40723:164;;:::o;53753:92::-;53800:8;53818:12;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;53811:32;;53753:92;:::o;60652:119::-;60727:32;60739:10;60751:7;60727:11;:32::i;:::-;60652:119;;:::o;29154:104::-;29210:13;29243:7;29236:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29154:104;:::o;33514:438::-;33607:4;33624:13;33640:12;:10;:12::i;:::-;33624:28;;33663:24;33690:11;:18;33702:5;33690:18;;;;;;;;;;;;;;;:27;33709:7;33690:27;;;;;;;;;;;;;;;;33663:54;;33756:15;33736:16;:35;;33728:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;33849:60;33858:5;33865:7;33893:15;33874:16;:34;33849:8;:60::i;:::-;33940:4;33933:11;;;;33514:438;;;;:::o;30559:193::-;30638:4;30655:13;30671:12;:10;:12::i;:::-;30655:28;;30694;30704:5;30711:2;30715:6;30694:9;:28::i;:::-;30740:4;30733:11;;;30559:193;;;;:::o;57193:510::-;1812:1;2410:7;;:19;2402:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;1812:1;2543:7;:18;;;;57273:5:::1;57254:24;;:17;;;;;;;;;;;:24;;;57246:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;57325:19;57347:9;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;57325:44;;57400:17;;57388:11;:29;57380:101;;;;;;;;;;;;:::i;:::-;;;;;;;;;57492:14;57509:12;;;;;;;;;;;:22;;;57540:4;57509:37;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;57492:54;;57558:17;57568:6;57558:9;:17::i;:::-;57604:4;57586:17;;:22;;;;;;;;;;;;;;;;;;57635:11;57619:15;:27;;;;57683:12;;57671:11;:24;;;;:::i;:::-;57657:13;:38;;;;57235:468;;1768:1:::0;2722:7;:22;;;;57193:510::o;52526:85::-;52577:7;52594:15;;52587:22;;52526:85;:::o;30815:151::-;30904:7;30931:11;:18;30943:5;30931:18;;;;;;;;;;;;;;;:27;30950:7;30931:27;;;;;;;;;;;;;;;;30924:34;;30815:151;;;;:::o;55643:935::-;1812:1;2410:7;;:19;2402:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;1812:1;2543:7;:18;;;;55743:5:::1;55724:24;;:17;;;;;;;;;;;:24;;;:49;;;;55769:4;55752:21;;:15;;;;;;;;;;;:21;;;55724:49;55716:130;;;;;;;;;;;;:::i;:::-;;;;;;;;;55857:16;55876:21;55886:10;55876:9;:21::i;:::-;55857:40;;55926:11;55916:8;:21;;55908:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;55984:29;56028:19;;56016:11;:31;;;;:::i;:::-;55984:63;;56058:25;56108:9;56086:21;:31;;;;:::i;:::-;56058:59;;56174:17;56179:11;56174:4;:17::i;:::-;56202:9;;;;;;;;;;;:18;;;56221:10;56233:17;56202:49;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;56285:4;56266:23;;:17;;;;;;;;;;;:23;;::::0;56262:309:::1;;56306:29;56350:22;;56338:11;:34;;;;:::i;:::-;56306:66;;56387:25;56437:9;56415:21;:31;;;;:::i;:::-;56387:59;;56507:12;;;;;;;;;;;:21;;;56529:10;56541:17;56507:52;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;56291:280;;56262:309;55705:873;;;1768:1:::0;2722:7;:22;;;;55643:935;:::o;53074:93::-;53129:7;53146:19;;53139:26;;53074:93;:::o;18968:98::-;19021:7;19048:10;19041:17;;18968:98;:::o;37150:380::-;37303:1;37286:19;;:5;:19;;;37278:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;37384:1;37365:21;;:7;:21;;;37357:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;37468:6;37438:11;:18;37450:5;37438:18;;;;;;;;;;;;;;;:27;37457:7;37438:27;;;;;;;;;;;;;;;:36;;;;37506:7;37490:32;;37499:5;37490:32;;;37515:6;37490:32;;;;;;:::i;:::-;;;;;;;;37150:380;;;:::o;37817:453::-;37952:24;37979:25;37989:5;37996:7;37979:9;:25::i;:::-;37952:52;;38039:17;38019:16;:37;38015:248;;38101:6;38081:16;:26;;38073:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;38185:51;38194:5;38201:7;38229:6;38210:16;:25;38185:8;:51::i;:::-;38015:248;37941:329;37817:453;;;:::o;34431:671::-;34578:1;34562:18;;:4;:18;;;34554:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;34655:1;34641:16;;:2;:16;;;34633:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;34710:38;34731:4;34737:2;34741:6;34710:20;:38::i;:::-;34761:19;34783:9;:15;34793:4;34783:15;;;;;;;;;;;;;;;;34761:37;;34832:6;34817:11;:21;;34809:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;34949:6;34935:11;:20;34917:9;:15;34927:4;34917:15;;;;;;;;;;;;;;;:38;;;;34994:6;34977:9;:13;34987:2;34977:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;35033:2;35018:26;;35027:4;35018:26;;;35037:6;35018:26;;;;;;:::i;:::-;;;;;;;;35057:37;35077:4;35083:2;35087:6;35057:19;:37::i;:::-;34543:559;34431:671;;;:::o;36121:591::-;36224:1;36205:21;;:7;:21;;;36197:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;36277:49;36298:7;36315:1;36319:6;36277:20;:49::i;:::-;36339:22;36364:9;:18;36374:7;36364:18;;;;;;;;;;;;;;;;36339:43;;36419:6;36401:14;:24;;36393:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;36538:6;36521:14;:23;36500:9;:18;36510:7;36500:18;;;;;;;;;;;;;;;:44;;;;36582:6;36566:12;;:22;;;;;;;:::i;:::-;;;;;;;;36632:1;36606:37;;36615:7;36606:37;;;36636:6;36606:37;;;;;;:::i;:::-;;;;;;;;36656:48;36676:7;36693:1;36697:6;36656:19;:48::i;:::-;36186:526;36121:591;;:::o;54377:82::-;54426:25;54432:10;54444:6;54426:5;:25::i;:::-;54377:82;:::o;57829:139::-;57912:9;;;;;;;;;;;:18;;;57931:10;57943:12;57912:44;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;57829:139;;:::o;59652:361::-;59750:20;59783:14;59800:5;59783:22;;59816:14;59863:11;59853:6;59834:16;:25;;;;:::i;:::-;59833:41;;;;:::i;:::-;59816:58;;59999:6;59992:13;;;;59652:361;;;;:::o;61119:405::-;61196:12;;;;;;;;;;;:23;;;61220:10;61232:7;61196:44;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;61251:20;61273:15;;;;;;;;;;;:25;;;61307:4;61273:40;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;61251:62;;61324:18;61360:4;61345:33;;;:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;61324:56;;61426:51;61452:12;61466:10;61426:25;:51::i;:::-;61401:22;:76;;;;61508:4;61488:17;;:24;;;;;;;;;;;;;;;;;;61185:339;;61119:405;;:::o;57709:108::-;57764:9;;;;;;;;;;;:20;;;57785:6;57792:12;;57764:41;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;57709:108;:::o;38870:125::-;;;;:::o;39599:124::-;;;;:::o;35389:399::-;35492:1;35473:21;;:7;:21;;;35465:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;35543:49;35572:1;35576:7;35585:6;35543:20;:49::i;:::-;35621:6;35605:12;;:22;;;;;;;:::i;:::-;;;;;;;;35660:6;35638:9;:18;35648:7;35638:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;35703:7;35682:37;;35699:1;35682:37;;;35712:6;35682:37;;;;;;:::i;:::-;;;;;;;;35732:48;35760:1;35764:7;35773:6;35732:19;:48::i;:::-;35389:399;;:::o;7:77:1:-;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:99::-;494:6;528:5;522:12;512:22;;442:99;;;:::o;547:169::-;631:11;665:6;660:3;653:19;705:4;700:3;696:14;681:29;;547:169;;;;:::o;722:307::-;790:1;800:113;814:6;811:1;808:13;800:113;;;899:1;894:3;890:11;884:18;880:1;875:3;871:11;864:39;836:2;833:1;829:10;824:15;;800:113;;;931:6;928:1;925:13;922:101;;;1011:1;1002:6;997:3;993:16;986:27;922:101;771:258;722:307;;;:::o;1035:102::-;1076:6;1127:2;1123:7;1118:2;1111:5;1107:14;1103:28;1093:38;;1035:102;;;:::o;1143:364::-;1231:3;1259:39;1292:5;1259:39;:::i;:::-;1314:71;1378:6;1373:3;1314:71;:::i;:::-;1307:78;;1394:52;1439:6;1434:3;1427:4;1420:5;1416:16;1394:52;:::i;:::-;1471:29;1493:6;1471:29;:::i;:::-;1466:3;1462:39;1455:46;;1235:272;1143:364;;;;:::o;1513:313::-;1626:4;1664:2;1653:9;1649:18;1641:26;;1713:9;1707:4;1703:20;1699:1;1688:9;1684:17;1677:47;1741:78;1814:4;1805:6;1741:78;:::i;:::-;1733:86;;1513:313;;;;:::o;1913:117::-;2022:1;2019;2012:12;2159:126;2196:7;2236:42;2229:5;2225:54;2214:65;;2159:126;;;:::o;2291:96::-;2328:7;2357:24;2375:5;2357:24;:::i;:::-;2346:35;;2291:96;;;:::o;2393:122::-;2466:24;2484:5;2466:24;:::i;:::-;2459:5;2456:35;2446:63;;2505:1;2502;2495:12;2446:63;2393:122;:::o;2521:139::-;2567:5;2605:6;2592:20;2583:29;;2621:33;2648:5;2621:33;:::i;:::-;2521:139;;;;:::o;2666:122::-;2739:24;2757:5;2739:24;:::i;:::-;2732:5;2729:35;2719:63;;2778:1;2775;2768:12;2719:63;2666:122;:::o;2794:139::-;2840:5;2878:6;2865:20;2856:29;;2894:33;2921:5;2894:33;:::i;:::-;2794:139;;;;:::o;2939:474::-;3007:6;3015;3064:2;3052:9;3043:7;3039:23;3035:32;3032:119;;;3070:79;;:::i;:::-;3032:119;3190:1;3215:53;3260:7;3251:6;3240:9;3236:22;3215:53;:::i;:::-;3205:63;;3161:117;3317:2;3343:53;3388:7;3379:6;3368:9;3364:22;3343:53;:::i;:::-;3333:63;;3288:118;2939:474;;;;;:::o;3419:90::-;3453:7;3496:5;3489:13;3482:21;3471:32;;3419:90;;;:::o;3515:109::-;3596:21;3611:5;3596:21;:::i;:::-;3591:3;3584:34;3515:109;;:::o;3630:210::-;3717:4;3755:2;3744:9;3740:18;3732:26;;3768:65;3830:1;3819:9;3815:17;3806:6;3768:65;:::i;:::-;3630:210;;;;:::o;3846:118::-;3933:24;3951:5;3933:24;:::i;:::-;3928:3;3921:37;3846:118;;:::o;3970:222::-;4063:4;4101:2;4090:9;4086:18;4078:26;;4114:71;4182:1;4171:9;4167:17;4158:6;4114:71;:::i;:::-;3970:222;;;;:::o;4198:619::-;4275:6;4283;4291;4340:2;4328:9;4319:7;4315:23;4311:32;4308:119;;;4346:79;;:::i;:::-;4308:119;4466:1;4491:53;4536:7;4527:6;4516:9;4512:22;4491:53;:::i;:::-;4481:63;;4437:117;4593:2;4619:53;4664:7;4655:6;4644:9;4640:22;4619:53;:::i;:::-;4609:63;;4564:118;4721:2;4747:53;4792:7;4783:6;4772:9;4768:22;4747:53;:::i;:::-;4737:63;;4692:118;4198:619;;;;;:::o;4823:86::-;4858:7;4898:4;4891:5;4887:16;4876:27;;4823:86;;;:::o;4915:112::-;4998:22;5014:5;4998:22;:::i;:::-;4993:3;4986:35;4915:112;;:::o;5033:214::-;5122:4;5160:2;5149:9;5145:18;5137:26;;5173:67;5237:1;5226:9;5222:17;5213:6;5173:67;:::i;:::-;5033:214;;;;:::o;5253:329::-;5312:6;5361:2;5349:9;5340:7;5336:23;5332:32;5329:119;;;5367:79;;:::i;:::-;5329:119;5487:1;5512:53;5557:7;5548:6;5537:9;5533:22;5512:53;:::i;:::-;5502:63;;5458:117;5253:329;;;;:::o;5588:95::-;5624:7;5664:12;5657:5;5653:24;5642:35;;5588:95;;;:::o;5689:120::-;5761:23;5778:5;5761:23;:::i;:::-;5754:5;5751:34;5741:62;;5799:1;5796;5789:12;5741:62;5689:120;:::o;5815:137::-;5860:5;5898:6;5885:20;5876:29;;5914:32;5940:5;5914:32;:::i;:::-;5815:137;;;;:::o;5958:472::-;6025:6;6033;6082:2;6070:9;6061:7;6057:23;6053:32;6050:119;;;6088:79;;:::i;:::-;6050:119;6208:1;6233:53;6278:7;6269:6;6258:9;6254:22;6233:53;:::i;:::-;6223:63;;6179:117;6335:2;6361:52;6405:7;6396:6;6385:9;6381:22;6361:52;:::i;:::-;6351:62;;6306:117;5958:472;;;;;:::o;6436:329::-;6495:6;6544:2;6532:9;6523:7;6519:23;6515:32;6512:119;;;6550:79;;:::i;:::-;6512:119;6670:1;6695:53;6740:7;6731:6;6720:9;6716:22;6695:53;:::i;:::-;6685:63;;6641:117;6436:329;;;;:::o;6771:474::-;6839:6;6847;6896:2;6884:9;6875:7;6871:23;6867:32;6864:119;;;6902:79;;:::i;:::-;6864:119;7022:1;7047:53;7092:7;7083:6;7072:9;7068:22;7047:53;:::i;:::-;7037:63;;6993:117;7149:2;7175:53;7220:7;7211:6;7200:9;7196:22;7175:53;:::i;:::-;7165:63;;7120:118;6771:474;;;;;:::o;7251:180::-;7299:77;7296:1;7289:88;7396:4;7393:1;7386:15;7420:4;7417:1;7410:15;7437:320;7481:6;7518:1;7512:4;7508:12;7498:22;;7565:1;7559:4;7555:12;7586:18;7576:81;;7642:4;7634:6;7630:17;7620:27;;7576:81;7704:2;7696:6;7693:14;7673:18;7670:38;7667:84;;7723:18;;:::i;:::-;7667:84;7488:269;7437:320;;;:::o;7763:143::-;7820:5;7851:6;7845:13;7836:22;;7867:33;7894:5;7867:33;:::i;:::-;7763:143;;;;:::o;7912:351::-;7982:6;8031:2;8019:9;8010:7;8006:23;8002:32;7999:119;;;8037:79;;:::i;:::-;7999:119;8157:1;8182:64;8238:7;8229:6;8218:9;8214:22;8182:64;:::i;:::-;8172:74;;8128:128;7912:351;;;;:::o;8269:180::-;8317:77;8314:1;8307:88;8414:4;8411:1;8404:15;8438:4;8435:1;8428:15;8455:305;8495:3;8514:20;8532:1;8514:20;:::i;:::-;8509:25;;8548:20;8566:1;8548:20;:::i;:::-;8543:25;;8702:1;8634:66;8630:74;8627:1;8624:81;8621:107;;;8708:18;;:::i;:::-;8621:107;8752:1;8749;8745:9;8738:16;;8455:305;;;;:::o;8766:181::-;8906:33;8902:1;8894:6;8890:14;8883:57;8766:181;:::o;8953:366::-;9095:3;9116:67;9180:2;9175:3;9116:67;:::i;:::-;9109:74;;9192:93;9281:3;9192:93;:::i;:::-;9310:2;9305:3;9301:12;9294:19;;8953:366;;;:::o;9325:419::-;9491:4;9529:2;9518:9;9514:18;9506:26;;9578:9;9572:4;9568:20;9564:1;9553:9;9549:17;9542:47;9606:131;9732:4;9606:131;:::i;:::-;9598:139;;9325:419;;;:::o;9750:171::-;9890:23;9886:1;9878:6;9874:14;9867:47;9750:171;:::o;9927:366::-;10069:3;10090:67;10154:2;10149:3;10090:67;:::i;:::-;10083:74;;10166:93;10255:3;10166:93;:::i;:::-;10284:2;10279:3;10275:12;10268:19;;9927:366;;;:::o;10299:419::-;10465:4;10503:2;10492:9;10488:18;10480:26;;10552:9;10546:4;10542:20;10538:1;10527:9;10523:17;10516:47;10580:131;10706:4;10580:131;:::i;:::-;10572:139;;10299:419;;;:::o;10724:332::-;10845:4;10883:2;10872:9;10868:18;10860:26;;10896:71;10964:1;10953:9;10949:17;10940:6;10896:71;:::i;:::-;10977:72;11045:2;11034:9;11030:18;11021:6;10977:72;:::i;:::-;10724:332;;;;;:::o;11062:295::-;11202:34;11198:1;11190:6;11186:14;11179:58;11271:34;11266:2;11258:6;11254:15;11247:59;11340:9;11335:2;11327:6;11323:15;11316:34;11062:295;:::o;11363:366::-;11505:3;11526:67;11590:2;11585:3;11526:67;:::i;:::-;11519:74;;11602:93;11691:3;11602:93;:::i;:::-;11720:2;11715:3;11711:12;11704:19;;11363:366;;;:::o;11735:419::-;11901:4;11939:2;11928:9;11924:18;11916:26;;11988:9;11982:4;11978:20;11974:1;11963:9;11959:17;11952:47;12016:131;12142:4;12016:131;:::i;:::-;12008:139;;11735:419;;;:::o;12160:442::-;12309:4;12347:2;12336:9;12332:18;12324:26;;12360:71;12428:1;12417:9;12413:17;12404:6;12360:71;:::i;:::-;12441:72;12509:2;12498:9;12494:18;12485:6;12441:72;:::i;:::-;12523;12591:2;12580:9;12576:18;12567:6;12523:72;:::i;:::-;12160:442;;;;;;:::o;12608:116::-;12678:21;12693:5;12678:21;:::i;:::-;12671:5;12668:32;12658:60;;12714:1;12711;12704:12;12658:60;12608:116;:::o;12730:137::-;12784:5;12815:6;12809:13;12800:22;;12831:30;12855:5;12831:30;:::i;:::-;12730:137;;;;:::o;12873:345::-;12940:6;12989:2;12977:9;12968:7;12964:23;12960:32;12957:119;;;12995:79;;:::i;:::-;12957:119;13115:1;13140:61;13193:7;13184:6;13173:9;13169:22;13140:61;:::i;:::-;13130:71;;13086:125;12873:345;;;;:::o;13224:176::-;13364:28;13360:1;13352:6;13348:14;13341:52;13224:176;:::o;13406:366::-;13548:3;13569:67;13633:2;13628:3;13569:67;:::i;:::-;13562:74;;13645:93;13734:3;13645:93;:::i;:::-;13763:2;13758:3;13754:12;13747:19;;13406:366;;;:::o;13778:419::-;13944:4;13982:2;13971:9;13967:18;13959:26;;14031:9;14025:4;14021:20;14017:1;14006:9;14002:17;13995:47;14059:131;14185:4;14059:131;:::i;:::-;14051:139;;13778:419;;;:::o;14203:181::-;14343:33;14339:1;14331:6;14327:14;14320:57;14203:181;:::o;14390:366::-;14532:3;14553:67;14617:2;14612:3;14553:67;:::i;:::-;14546:74;;14629:93;14718:3;14629:93;:::i;:::-;14747:2;14742:3;14738:12;14731:19;;14390:366;;;:::o;14762:419::-;14928:4;14966:2;14955:9;14951:18;14943:26;;15015:9;15009:4;15005:20;15001:1;14990:9;14986:17;14979:47;15043:131;15169:4;15043:131;:::i;:::-;15035:139;;14762:419;;;:::o;15187:224::-;15327:34;15323:1;15315:6;15311:14;15304:58;15396:7;15391:2;15383:6;15379:15;15372:32;15187:224;:::o;15417:366::-;15559:3;15580:67;15644:2;15639:3;15580:67;:::i;:::-;15573:74;;15656:93;15745:3;15656:93;:::i;:::-;15774:2;15769:3;15765:12;15758:19;;15417:366;;;:::o;15789:419::-;15955:4;15993:2;15982:9;15978:18;15970:26;;16042:9;16036:4;16032:20;16028:1;16017:9;16013:17;16006:47;16070:131;16196:4;16070:131;:::i;:::-;16062:139;;15789:419;;;:::o;16214:246::-;16354:34;16350:1;16342:6;16338:14;16331:58;16423:29;16418:2;16410:6;16406:15;16399:54;16214:246;:::o;16466:366::-;16608:3;16629:67;16693:2;16688:3;16629:67;:::i;:::-;16622:74;;16705:93;16794:3;16705:93;:::i;:::-;16823:2;16818:3;16814:12;16807:19;;16466:366;;;:::o;16838:419::-;17004:4;17042:2;17031:9;17027:18;17019:26;;17091:9;17085:4;17081:20;17077:1;17066:9;17062:17;17055:47;17119:131;17245:4;17119:131;:::i;:::-;17111:139;;16838:419;;;:::o;17263:291::-;17403:34;17399:1;17391:6;17387:14;17380:58;17472:34;17467:2;17459:6;17455:15;17448:59;17541:5;17536:2;17528:6;17524:15;17517:30;17263:291;:::o;17560:366::-;17702:3;17723:67;17787:2;17782:3;17723:67;:::i;:::-;17716:74;;17799:93;17888:3;17799:93;:::i;:::-;17917:2;17912:3;17908:12;17901:19;;17560:366;;;:::o;17932:419::-;18098:4;18136:2;18125:9;18121:18;18113:26;;18185:9;18179:4;18175:20;18171:1;18160:9;18156:17;18149:47;18213:131;18339:4;18213:131;:::i;:::-;18205:139;;17932:419;;;:::o;18357:181::-;18497:33;18493:1;18485:6;18481:14;18474:57;18357:181;:::o;18544:366::-;18686:3;18707:67;18771:2;18766:3;18707:67;:::i;:::-;18700:74;;18783:93;18872:3;18783:93;:::i;:::-;18901:2;18896:3;18892:12;18885:19;;18544:366;;;:::o;18916:419::-;19082:4;19120:2;19109:9;19105:18;19097:26;;19169:9;19163:4;19159:20;19155:1;19144:9;19140:17;19133:47;19197:131;19323:4;19197:131;:::i;:::-;19189:139;;18916:419;;;:::o;19341:348::-;19381:7;19404:20;19422:1;19404:20;:::i;:::-;19399:25;;19438:20;19456:1;19438:20;:::i;:::-;19433:25;;19626:1;19558:66;19554:74;19551:1;19548:81;19543:1;19536:9;19529:17;19525:105;19522:131;;;19633:18;;:::i;:::-;19522:131;19681:1;19678;19674:9;19663:20;;19341:348;;;;:::o;19695:180::-;19743:77;19740:1;19733:88;19840:4;19837:1;19830:15;19864:4;19861:1;19854:15;19881:185;19921:1;19938:20;19956:1;19938:20;:::i;:::-;19933:25;;19972:20;19990:1;19972:20;:::i;:::-;19967:25;;20011:1;20001:35;;20016:18;;:::i;:::-;20001:35;20058:1;20055;20051:9;20046:14;;19881:185;;;;:::o;20072:332::-;20193:4;20231:2;20220:9;20216:18;20208:26;;20244:71;20312:1;20301:9;20297:17;20288:6;20244:71;:::i;:::-;20325:72;20393:2;20382:9;20378:18;20369:6;20325:72;:::i;:::-;20072:332;;;;;:::o;20410:223::-;20550:34;20546:1;20538:6;20534:14;20527:58;20619:6;20614:2;20606:6;20602:15;20595:31;20410:223;:::o;20639:366::-;20781:3;20802:67;20866:2;20861:3;20802:67;:::i;:::-;20795:74;;20878:93;20967:3;20878:93;:::i;:::-;20996:2;20991:3;20987:12;20980:19;;20639:366;;;:::o;21011:419::-;21177:4;21215:2;21204:9;21200:18;21192:26;;21264:9;21258:4;21254:20;21250:1;21239:9;21235:17;21228:47;21292:131;21418:4;21292:131;:::i;:::-;21284:139;;21011:419;;;:::o;21436:221::-;21576:34;21572:1;21564:6;21560:14;21553:58;21645:4;21640:2;21632:6;21628:15;21621:29;21436:221;:::o;21663:366::-;21805:3;21826:67;21890:2;21885:3;21826:67;:::i;:::-;21819:74;;21902:93;21991:3;21902:93;:::i;:::-;22020:2;22015:3;22011:12;22004:19;;21663:366;;;:::o;22035:419::-;22201:4;22239:2;22228:9;22224:18;22216:26;;22288:9;22282:4;22278:20;22274:1;22263:9;22259:17;22252:47;22316:131;22442:4;22316:131;:::i;:::-;22308:139;;22035:419;;;:::o;22460:179::-;22600:31;22596:1;22588:6;22584:14;22577:55;22460:179;:::o;22645:366::-;22787:3;22808:67;22872:2;22867:3;22808:67;:::i;:::-;22801:74;;22884:93;22973:3;22884:93;:::i;:::-;23002:2;22997:3;22993:12;22986:19;;22645:366;;;:::o;23017:419::-;23183:4;23221:2;23210:9;23206:18;23198:26;;23270:9;23264:4;23260:20;23256:1;23245:9;23241:17;23234:47;23298:131;23424:4;23298:131;:::i;:::-;23290:139;;23017:419;;;:::o;23442:224::-;23582:34;23578:1;23570:6;23566:14;23559:58;23651:7;23646:2;23638:6;23634:15;23627:32;23442:224;:::o;23672:366::-;23814:3;23835:67;23899:2;23894:3;23835:67;:::i;:::-;23828:74;;23911:93;24000:3;23911:93;:::i;:::-;24029:2;24024:3;24020:12;24013:19;;23672:366;;;:::o;24044:419::-;24210:4;24248:2;24237:9;24233:18;24225:26;;24297:9;24291:4;24287:20;24283:1;24272:9;24268:17;24261:47;24325:131;24451:4;24325:131;:::i;:::-;24317:139;;24044:419;;;:::o;24469:222::-;24609:34;24605:1;24597:6;24593:14;24586:58;24678:5;24673:2;24665:6;24661:15;24654:30;24469:222;:::o;24697:366::-;24839:3;24860:67;24924:2;24919:3;24860:67;:::i;:::-;24853:74;;24936:93;25025:3;24936:93;:::i;:::-;25054:2;25049:3;25045:12;25038:19;;24697:366;;;:::o;25069:419::-;25235:4;25273:2;25262:9;25258:18;25250:26;;25322:9;25316:4;25312:20;25308:1;25297:9;25293:17;25286:47;25350:131;25476:4;25350:131;:::i;:::-;25342:139;;25069:419;;;:::o;25494:225::-;25634:34;25630:1;25622:6;25618:14;25611:58;25703:8;25698:2;25690:6;25686:15;25679:33;25494:225;:::o;25725:366::-;25867:3;25888:67;25952:2;25947:3;25888:67;:::i;:::-;25881:74;;25964:93;26053:3;25964:93;:::i;:::-;26082:2;26077:3;26073:12;26066:19;;25725:366;;;:::o;26097:419::-;26263:4;26301:2;26290:9;26286:18;26278:26;;26350:9;26344:4;26340:20;26336:1;26325:9;26321:17;26314:47;26378:131;26504:4;26378:131;:::i;:::-;26370:139;;26097:419;;;:::o;26522:220::-;26662:34;26658:1;26650:6;26646:14;26639:58;26731:3;26726:2;26718:6;26714:15;26707:28;26522:220;:::o;26748:366::-;26890:3;26911:67;26975:2;26970:3;26911:67;:::i;:::-;26904:74;;26987:93;27076:3;26987:93;:::i;:::-;27105:2;27100:3;27096:12;27089:19;;26748:366;;;:::o;27120:419::-;27286:4;27324:2;27313:9;27309:18;27301:26;;27373:9;27367:4;27363:20;27359:1;27348:9;27344:17;27337:47;27401:131;27527:4;27401:131;:::i;:::-;27393:139;;27120:419;;;:::o;27545:221::-;27685:34;27681:1;27673:6;27669:14;27662:58;27754:4;27749:2;27741:6;27737:15;27730:29;27545:221;:::o;27772:366::-;27914:3;27935:67;27999:2;27994:3;27935:67;:::i;:::-;27928:74;;28011:93;28100:3;28011:93;:::i;:::-;28129:2;28124:3;28120:12;28113:19;;27772:366;;;:::o;28144:419::-;28310:4;28348:2;28337:9;28333:18;28325:26;;28397:9;28391:4;28387:20;28383:1;28372:9;28368:17;28361:47;28425:131;28551:4;28425:131;:::i;:::-;28417:139;;28144:419;;;:::o;28569:191::-;28609:4;28629:20;28647:1;28629:20;:::i;:::-;28624:25;;28663:20;28681:1;28663:20;:::i;:::-;28658:25;;28702:1;28699;28696:8;28693:34;;;28707:18;;:::i;:::-;28693:34;28752:1;28749;28745:9;28737:17;;28569:191;;;;:::o;28766:115::-;28851:23;28868:5;28851:23;:::i;:::-;28846:3;28839:36;28766:115;;:::o;28887:328::-;29006:4;29044:2;29033:9;29029:18;29021:26;;29057:71;29125:1;29114:9;29110:17;29101:6;29057:71;:::i;:::-;29138:70;29204:2;29193:9;29189:18;29180:6;29138:70;:::i;:::-;28887:328;;;;;:::o;29221:332::-;29342:4;29380:2;29369:9;29365:18;29357:26;;29393:71;29461:1;29450:9;29446:17;29437:6;29393:71;:::i;:::-;29474:72;29542:2;29531:9;29527:18;29518:6;29474:72;:::i;:::-;29221:332;;;;;:::o;29559:181::-;29699:33;29695:1;29687:6;29683:14;29676:57;29559:181;:::o;29746:366::-;29888:3;29909:67;29973:2;29968:3;29909:67;:::i;:::-;29902:74;;29985:93;30074:3;29985:93;:::i;:::-;30103:2;30098:3;30094:12;30087:19;;29746:366;;;:::o;30118:419::-;30284:4;30322:2;30311:9;30307:18;30299:26;;30371:9;30365:4;30361:20;30357:1;30346:9;30342:17;30335:47;30399:131;30525:4;30399:131;:::i;:::-;30391:139;;30118:419;;;:::o

ipfs://2ee8f58cb87e4676b1436935441467d6c8d2f12dec58e0784cd3c29228381898