Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE

More Options

• Is this a proxy?
• Similar
• Submit Audit
• Compare

// SPDX-License-Identifier: GPL-3.0-only
pragma solidity 0.8.28;

import "contracts/token/ERC20/utils/SafeERC20.sol";
import "contracts/proxies/UpgradeableAccessControl.sol";
import "contracts/tokens/VSophTokenState.sol";
import "contracts/s/IwSoph.sol";

/**
 * @title vSophToken
 * @dev This contract manages multiple vesting schedules.
 * Beneficiaries can have multiple schedules and release tokens according to their schedules.
 * The contract is upgradeable and uses role-based access control.
 */
contract VSophToken is UpgradeableAccessControl, VSophTokenState {
    using SafeERC20 for IERC20;
    using SafeERC20 for IwSoph;

    // Roles
    bytes32 public constant ADMIN_ROLE = keccak256("ADMIN_ROLE");
    bytes32 public constant SCHEDULE_MANAGER_ROLE = keccak256("SCHEDULE_MANAGER_ROLE");
    bytes32 public constant TRANSFERER_ROLE = keccak256("TRANSFERER_ROLE");

    // Wrapped Sophon address
    IwSoph public immutable wSophToken;

    // Events
    event TokensReleased(address indexed beneficiary, uint256 amount);
    event VestingScheduleAdded(address indexed beneficiary, uint256 totalAmount, uint256 duration, uint256 startDate);
    event VestingStartDateUpdated(uint256 newVestingStartDate);
    event SophonVaultUpdated(address newSophonVault);

    // Custom Errors
    error InvalidInput();
    error TotalAmountMustBeGreaterThanZero();
    error DurationMustBeGreaterThanZero();
    error VestingHasNotStartedYet();
    error VestingStartDateAlreadySet();
    error VestingStartDateCannotBeInThePast();
    error InvalidScheduleIndex();
    error InvalidRange();
    error InvalidRecipientAddress();
    error MismatchedArrayLengths();
    error NoTokensToRelease();
    error NoVestingSchedule();
    error SophonSent();
    error MustTransferFullBalance(uint256 fullBalance);
    error SophonTransferFailed(address receiver, uint256 transferAmount);
    error InsufficientSophonSent(uint256 expected, uint256 actual);
    error ZeroAddress();

    /**
     * @notice Constructor to initialize the contract
     * @param wSophTokenAddress The address of Wrapped Sophon.
     */
    constructor(address wSophTokenAddress)
        UpgradeableAccessControl(msg.sender)
        ERC20(name(), symbol())
    {
        if (wSophTokenAddress == address(0)) revert InvalidInput();
        wSophToken = IwSoph(wSophTokenAddress);

        _setInitialized();
    }

    /**
     * @notice Returns the name of the token
     */
    function name() public pure override returns (string memory) {
        return "Vesting Sophon";
    }

    /**
     * @notice Returns the symbol of the token
     */
    function symbol() public pure override returns (string memory) {
        return "vSOPH";
    }

    /**
     * @dev Initializes the contract with an admin and the Sophon Vault.
     * @param adminAddress The initial admin for the contract.
     * @param initialSophonVault The initial Sophon Vault address (0 means this contract).
     */
    function initialize(address adminAddress, address initialSophonVault) external notInitialized {
        if (adminAddress == address(0)) {
            revert ZeroAddress();
        }

        if (initialSophonVault == address(0)) {
            initialSophonVault = address(this);
        }
        sophonVault = initialSophonVault;

        _grantRole(ADMIN_ROLE, adminAddress);
        _grantRole(SCHEDULE_MANAGER_ROLE, adminAddress);
        _grantRole(TRANSFERER_ROLE, adminAddress);
    }

    /**
     * @dev Sets the Sophon Vault address (0 means this contract).
     * Only callable by DEFAULT_ADMIN_ROLE.
     */
    function setSophonVault(address newSophonVault) external onlyRole(DEFAULT_ADMIN_ROLE) {
        if (newSophonVault == address(0)) {
            newSophonVault = address(this);
        }
        sophonVault = newSophonVault;
        emit SophonVaultUpdated(newSophonVault);
    }

    /**
     * @dev Sets the global vesting start date.
     */
    function setVestingStartDate(uint256 newVestingStartDate) external onlyRole(ADMIN_ROLE) {
        if (vestingStartDate != 0) revert VestingStartDateAlreadySet();
        if (newVestingStartDate < block.timestamp) {
            revert VestingStartDateCannotBeInThePast();
        }
        vestingStartDate = newVestingStartDate;
        emit VestingStartDateUpdated(newVestingStartDate);
    }

    //--------------------------------------------------------------------------
    // Adding Vesting Schedules
    //--------------------------------------------------------------------------

    /**
     * @dev Adds a vesting schedule for a single beneficiary, transferring wSoph
     *      from the vault (if not this contract) and unwrapping it.
     */
    function addVestingSchedule(address beneficiary, uint256 amount, uint256 duration, uint256 startDate)
        external
        onlyRole(SCHEDULE_MANAGER_ROLE)
    {
        // Transfer & unwrap wSoph
        address localVault = sophonVault;
        if (localVault != address(this)) {
            wSophToken.safeTransferFrom(localVault, address(this), amount);
        }
        wSophToken.withdraw(amount);

        _addVestingSchedule(beneficiary, amount, duration, startDate);
    }

    /**
     * @dev Adds multiple vesting schedules at once.
     * @dev Wrapped Sophon will be transfered to cover the full amount of vesting amounts.
     * @param beneficiaries The addresses of the beneficiaries.
     * @param amounts The total amounts to be vested.
     * @param durations The durations of the vesting schedules in seconds.
     * @param startDates The start dates of the vesting schedules.
     */
    function addMultipleVestingSchedules(
        address[] calldata beneficiaries,
        uint256[] calldata amounts,
        uint256[] calldata durations,
        uint256[] calldata startDates
    ) external onlyRole(SCHEDULE_MANAGER_ROLE) {
        uint256 len = beneficiaries.length;
        if (len != amounts.length || len != durations.length || len != startDates.length) {
            revert MismatchedArrayLengths();
        }

        uint256 totalAmount;
        for (uint256 i = 0; i < len; i++) {
            _addVestingSchedule(beneficiaries[i], amounts[i], durations[i], startDates[i]);
            totalAmount += amounts[i];
        }

        // Transfer & unwrap wSoph once
        address localVault = sophonVault;
        if (localVault != address(this)) {
            wSophToken.safeTransferFrom(localVault, address(this), totalAmount);
        }
        wSophToken.withdraw(totalAmount);
    }

    /**
     * @dev Internal helper: adds a new VestingSchedule and mints vSOPH.
     */
    function _addVestingSchedule(address beneficiary, uint256 amount, uint256 duration, uint256 startDate) internal {
        if (beneficiary == address(0)) revert InvalidRecipientAddress();
        if (amount == 0) revert TotalAmountMustBeGreaterThanZero();
        if (duration == 0) revert DurationMustBeGreaterThanZero();

        uint256 scheduleStartDate = startDate;
        // If vestingStartDate is set, and given start <= it, adopt vestingStartDate
        if (vestingStartDate != 0 && scheduleStartDate <= vestingStartDate) {
            scheduleStartDate = vestingStartDate;
        }

        VestingSchedule memory schedule =
            VestingSchedule({totalAmount: amount, released: 0, duration: duration, startDate: scheduleStartDate});

        vestingSchedules[beneficiary].push(schedule);
        _mint(beneficiary, amount);

        emit VestingScheduleAdded(beneficiary, amount, duration, scheduleStartDate);
    }

    //--------------------------------------------------------------------------
    // Releasing Vested Tokens
    //--------------------------------------------------------------------------

    /**
     * @dev Checks if vesting has actually started for a schedule.
     */
    function _hasVestingStarted(VestingSchedule storage schedule) internal view returns (bool) {
        if (vestingStartDate == 0 || schedule.startDate == 0) {
            return false;
        }

        uint256 effectiveStartDate = schedule.startDate > vestingStartDate
            ? schedule.startDate
            : vestingStartDate;

        return block.timestamp >= effectiveStartDate;
    }

    /**
     * @dev Releases vested tokens from specific schedules provided as an array.
     * @param scheduleIndices The indices of the vesting schedules.
     */
    function releaseSpecificSchedules(uint256[] calldata scheduleIndices) external {
        VestingSchedule[] storage schedules = vestingSchedules[msg.sender];
        if (schedules.length == 0) revert NoVestingSchedule();

        uint256 totalAmountToRelease = 0;

        uint256 vestingStartDate_ = vestingStartDate;

        for (uint256 i = 0; i < scheduleIndices.length; i++) {
            uint256 scheduleIndex = scheduleIndices[i];
            if (scheduleIndex >= schedules.length) revert InvalidScheduleIndex();

            VestingSchedule storage schedule = schedules[scheduleIndex];

            uint256 released = _processSchedule(schedule, vestingStartDate_);
            totalAmountToRelease += released;
        }

        if (totalAmountToRelease == 0) revert NoTokensToRelease();
    }

    /**
     * @dev Releases vested tokens from a range of schedules.
     * @param startIndex The starting index.
     * @param endIndex The ending index (exclusive).
     */
    function releaseSchedulesInRange(uint256 startIndex, uint256 endIndex) external {
        VestingSchedule[] storage schedules = vestingSchedules[msg.sender];
        _releaseSchedulesInRange(schedules, startIndex, endIndex);
    }

    /**
     * @dev Releases vested tokens for all schedules.
     */
    function releaseAllSchedules() external {
        VestingSchedule[] storage schedules = vestingSchedules[msg.sender];
        _releaseSchedulesInRange(schedules, 0, schedules.length);
    }

    /**
     * @dev Internal function that releases vested tokens from a range of schedules.
     * @param startIndex The starting index.
     * @param endIndex The ending index (exclusive).
     */
    function _releaseSchedulesInRange(VestingSchedule[] storage schedules, uint256 startIndex, uint256 endIndex)
        internal
    {
        if (schedules.length == 0) revert NoVestingSchedule();
        if (startIndex >= endIndex || endIndex > schedules.length) revert InvalidRange();

        uint256 totalAmountToRelease = 0;

        uint256 vestingStartDate_ = vestingStartDate;

        for (uint256 i = startIndex; i < endIndex; i++) {
            uint256 released = _processSchedule(schedules[i], vestingStartDate_);
            totalAmountToRelease += released;
        }

        if (totalAmountToRelease == 0) revert NoTokensToRelease();
    }

    /**
     * @dev Internal function to process and release tokens from a vesting schedule.
     * @param schedule The vesting schedule to process and release tokens from.
     * @param vestingStartDate_ The global vesting start date used to initialize schedule.startDate if zero.
     * @return releasedAmount The amount of tokens released.
     */
    function _processSchedule(VestingSchedule storage schedule, uint256 vestingStartDate_)
        internal
        returns (uint256 releasedAmount)
    {
        // this is critical part. set startDate if schedule.startDate was zero
        if (vestingStartDate_ != 0 && block.timestamp >= vestingStartDate_ && schedule.startDate == 0) {
            schedule.startDate = vestingStartDate_;
        }

        if (!_hasVestingStarted(schedule)) {
            return 0;
        }

        uint256 amountToRelease = _releasableAmount(schedule);
        if (amountToRelease == 0) {
            return 0;
        }

        schedule.released += amountToRelease;

        _burn(msg.sender, amountToRelease);
        releasedAmount = amountToRelease;

        (bool success,) = msg.sender.call{value: amountToRelease}("");
        if (!success) {
            revert SophonTransferFailed(msg.sender, amountToRelease);
        }

        emit TokensReleased(msg.sender, amountToRelease);
    }

    /**
     * @dev Calculates the vested amount for a vesting schedule.
     */
    function _vestedAmount(VestingSchedule storage schedule) internal view returns (uint256) {
        if (!_hasVestingStarted(schedule)) {
            return 0;
        }

        uint256 effectiveStartDate = schedule.startDate > vestingStartDate
            ? schedule.startDate
            : vestingStartDate;

        uint256 elapsed = block.timestamp - effectiveStartDate;
        if (elapsed >= schedule.duration) {
            return schedule.totalAmount;
        } else {
            return (schedule.totalAmount * elapsed) / schedule.duration;
        }
    }

    /**
     * @dev Calculates how many tokens are currently releasable in a schedule.
     */
    function _releasableAmount(VestingSchedule storage schedule) internal view returns (uint256) {
        return _vestedAmount(schedule) - schedule.released;
    }

    //--------------------------------------------------------------------------
    // View Functions (Aggregated)
    //--------------------------------------------------------------------------

    /**
     * @dev Returns the total vested amount for a beneficiary across all schedules.
     * @param beneficiary The address of the beneficiary.
     * @return totalVestedAmount total vested amount.
     */
    function vestedAmount(address beneficiary) external view returns (uint256 totalVestedAmount) {
        VestingSchedule[] storage schedules = vestingSchedules[beneficiary];

        for (uint256 i = 0; i < schedules.length; i++) {
            totalVestedAmount += _vestedAmount(schedules[i]);
        }
    }

    /**
     * @dev Returns the total releasable amount for a beneficiary across all schedules.
     * @param beneficiary The address of the beneficiary.
     * @return totalReleasableAmount total releasable amount.
     */
    function releasableAmount(address beneficiary) external view returns (uint256 totalReleasableAmount) {
        VestingSchedule[] storage schedules = vestingSchedules[beneficiary];

        for (uint256 i = 0; i < schedules.length; i++) {
            totalReleasableAmount += _releasableAmount(schedules[i]);
        }
    }

    /**
     * @dev Returns the total released (claimed) amount for a beneficiary across all schedules.
     * @param beneficiary The address of the beneficiary.
     * @return totalReleasedAmount total released amount.
     */
    function releasedAmount(address beneficiary) external view returns (uint256 totalReleasedAmount) {
        VestingSchedule[] storage schedules = vestingSchedules[beneficiary];

        for (uint256 i = 0; i < schedules.length; i++) {
            totalReleasedAmount += schedules[i].released;
        }
    }

    //--------------------------------------------------------------------------
    // View Functions (Schedules)
    //--------------------------------------------------------------------------

    /**
     * @dev Returns all vesting schedules for a beneficiary.
     * @param beneficiary The address of the beneficiary.
     * @return An array of VestingSchedule structs.
     */
    function getVestingSchedules(address beneficiary) external view returns (VestingSchedule[] memory) {
        return vestingSchedules[beneficiary];
    }

    /**
     * @dev Returns a range of vesting schedules for a beneficiary.
     * @param beneficiary The address of the beneficiary.
     * @param start The starting index.
     * @param end The ending index (exclusive).
     * @return An array of VestingSchedule structs.
     */
    function getVestingSchedulesInRange(address beneficiary, uint256 start, uint256 end)
        external
        view
        returns (VestingSchedule[] memory)
    {
        VestingSchedule[] storage schedules = vestingSchedules[beneficiary];
        if (start >= end || end > schedules.length) revert InvalidRange();

        uint256 length;
        unchecked {
            length = end - start;
        }
        VestingSchedule[] memory rangeSchedules = new VestingSchedule[](length);

        for (uint256 i = 0; i < length; i++) {
            rangeSchedules[i] = schedules[start + i];
        }

        return rangeSchedules;
    }

    /**
     * @dev Returns the list of unclaimed vesting schedule indexes for the beneficiary within a specified range and their respective releasable amounts.
     * @param beneficiary The address of the beneficiary to check unclaimed schedules for.
     * @param start The starting index of the range (inclusive).
     * @param end The ending index of the range (exclusive).
     * @return indexes An array of indexes for schedules with unclaimed tokens within the specified range.
     * @return amounts An array of unclaimed amounts corresponding to each index within the specified range.
     */
    function getUnclaimedSchedulesInRange(address beneficiary, uint256 start, uint256 end)
        external
        view
        returns (uint256[] memory indexes, uint256[] memory amounts)
    {
        uint256 scheduleCount = vestingSchedules[beneficiary].length;
        require(start < end && end <= scheduleCount, "Invalid range");

        // Create temporary arrays with a fixed maximum size (end - start)
        uint256[] memory tempIndexes = new uint256[](end - start);
        uint256[] memory tempAmounts = new uint256[](end - start);
        uint256 unclaimedCount = 0;

        // Single loop to collect unclaimed schedules within the range
        for (uint256 i = start; i < end; i++) {
            VestingSchedule storage schedule = vestingSchedules[beneficiary][i];
            uint256 releasable = _releasableAmount(schedule);

            if (releasable > 0) {
                tempIndexes[unclaimedCount] = i;
                tempAmounts[unclaimedCount] = releasable;
                unclaimedCount++;
            }
        }

        // Create result arrays with exact size of unclaimed schedules
        indexes = new uint256[](unclaimedCount);
        amounts = new uint256[](unclaimedCount);

        // Copy collected data to result arrays
        for (uint256 j = 0; j < unclaimedCount; j++) {
            indexes[j] = tempIndexes[j];
            amounts[j] = tempAmounts[j];
        }

        return (indexes, amounts);
    }

    //--------------------------------------------------------------------------
    // Transfer of Schedules
    //--------------------------------------------------------------------------

    /**
     * @dev Transfers ALL vesting schedules (and the underlying vSOPH balance)
     *      from `from` to `to`.
     */
    function transferAllVestingSchedules(address from, address to) external onlyRole(ADMIN_ROLE) {
        _transferAllVestingSchedules(from, to);
    }

    /**
     * @dev Transfers a SINGLE schedule by index from `from` to `to`.
     */
    function transferVestingSchedule(address from, address to, uint256 scheduleIndex) external onlyRole(ADMIN_ROLE) {
        if (to == address(0) || from == address(0) || from == to) revert InvalidRecipientAddress();
        if (vestingSchedules[from].length == 0) revert NoVestingSchedule();
        if (scheduleIndex >= vestingSchedules[from].length) revert InvalidScheduleIndex();

        VestingSchedule memory schedule = vestingSchedules[from][scheduleIndex];

        // Move the vesting schedule to the new beneficiary
        vestingSchedules[to].push(schedule);

        // Transfer the associated token balance
        uint256 scheduleBalance = schedule.totalAmount - schedule.released;
        if (scheduleBalance != 0) {
            _transfer(from, to, scheduleBalance);
        }

        // Remove the transferred schedule from the original beneficiary
        vestingSchedules[from][scheduleIndex] = vestingSchedules[from][vestingSchedules[from].length - 1]; // Move last element to the deleted spot
        vestingSchedules[from].pop(); // Remove last element to maintain array integrity
    }

    /**
     * @dev Internal function that transfers all vesting schedules and underlying balances from one beneficiary to another.
     * @param from The address of the current beneficiary.
     * @param to The address of the new beneficiary.
     */
    function _transferAllVestingSchedules(address from, address to) internal {
        if (to == address(0) || from == address(0) || from == to) revert InvalidRecipientAddress();
        if (vestingSchedules[from].length == 0) revert NoVestingSchedule();

        VestingSchedule[] storage fromSchedules = vestingSchedules[from];

        // Move vesting schedules
        for (uint256 i = 0; i < fromSchedules.length; i++) {
            vestingSchedules[to].push(fromSchedules[i]);
        }

        // Transfer the underlying token balance
        uint256 fromBalance = balanceOf(from);
        if (fromBalance != 0) {
            _transfer(from, to, fromBalance);
        }

        // Clear sender's vesting schedule
        delete vestingSchedules[from];
    }

    //--------------------------------------------------------------------------
    // Rescue & Overrides
    //--------------------------------------------------------------------------

    /**
     * @notice Allows the rescue of ERC20 tokens held by this contract.
     */
    function rescue(IERC20 token) external onlyRole(DEFAULT_ADMIN_ROLE) {
        uint256 balance = token.balanceOf(address(this));
        token.safeTransfer(msg.sender, balance);
    }

    /**
     * @dev Overridden `transfer`: must transfer FULL balance if called by TRANSFERER_ROLE.
     */
    function transfer(address recipient, uint256 value) public override onlyRole(TRANSFERER_ROLE) returns (bool) {
        uint256 senderBalanceOf = balanceOf(msg.sender);
        if (value != senderBalanceOf) {
            revert MustTransferFullBalance(senderBalanceOf);
        }
        _transferAllVestingSchedules(msg.sender, recipient);
        return true;
    }

    /**
     * @dev Overridden `transferFrom`: must transfer FULL balance if called by TRANSFERER_ROLE.
     */
    function transferFrom(address sender, address recipient, uint256 value)
        public
        override
        onlyRole(TRANSFERER_ROLE)
        returns (bool)
    {
        uint256 senderBalanceOf = balanceOf(sender);
        if (value != senderBalanceOf) {
            revert MustTransferFullBalance(senderBalanceOf);
        }
        _spendAllowance(sender, msg.sender, senderBalanceOf);
        _transferAllVestingSchedules(sender, recipient);
        return true;
    }

    /**
     * @notice Fallback function that receives Sophon from `wSophToken.withdraw()`.
     * @dev Reverts if called from anywhere else.
     */
    receive() external payable {
        if (msg.sender != address(wSophToken)) {
            revert SophonSent();
        }
    }
}

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

pragma solidity ^0.8.20;

import {IERC20} from "contracts/token/ERC20/IERC20.sol";
import {IERC20Permit} from "contracts/token/ERC20/extensions/IERC20Permit.sol";
import {Address} from "contracts/utils/Address.sol";

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

    /**
     * @dev An operation with an ERC20 token failed.
     */
    error SafeERC20FailedOperation(address token);

    /**
     * @dev Indicates a failed `decreaseAllowance` request.
     */
    error SafeERC20FailedDecreaseAllowance(address spender, uint256 currentAllowance, uint256 requestedDecrease);

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

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

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

    /**
     * @dev Decrease the calling contract's allowance toward `spender` by `requestedDecrease`. If `token` returns no
     * value, non-reverting calls are assumed to be successful.
     */
    function safeDecreaseAllowance(IERC20 token, address spender, uint256 requestedDecrease) internal {
        unchecked {
            uint256 currentAllowance = token.allowance(address(this), spender);
            if (currentAllowance < requestedDecrease) {
                revert SafeERC20FailedDecreaseAllowance(spender, currentAllowance, requestedDecrease);
            }
            forceApprove(token, spender, currentAllowance - requestedDecrease);
        }
    }

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

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

    /**
     * @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);
        if (returndata.length != 0 && !abi.decode(returndata, (bool))) {
            revert SafeERC20FailedOperation(address(token));
        }
    }

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

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

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

pragma solidity ^0.8.20;

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

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

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

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

    /**
     * @dev Moves a `value` amount of 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 value) 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 a `value` amount of tokens 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 value) external returns (bool);

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to` using the
     * allowance mechanism. `value` 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 value) external returns (bool);
}

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

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 *
 * ==== Security Considerations
 *
 * There are two important considerations concerning the use of `permit`. The first is that a valid permit signature
 * expresses an allowance, and it should not be assumed to convey additional meaning. In particular, it should not be
 * considered as an intention to spend the allowance in any specific way. The second is that because permits have
 * built-in replay protection and can be submitted by anyone, they can be frontrun. A protocol that uses permits should
 * take this into consideration and allow a `permit` call to fail. Combining these two aspects, a pattern that may be
 * generally recommended is:
 *
 * ```solidity
 * function doThingWithPermit(..., uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s) public {
 *     try token.permit(msg.sender, address(this), value, deadline, v, r, s) {} catch {}
 *     doThing(..., value);
 * }
 *
 * function doThing(..., uint256 value) public {
 *     token.safeTransferFrom(msg.sender, address(this), value);
 *     ...
 * }
 * ```
 *
 * Observe that: 1) `msg.sender` is used as the owner, leaving no ambiguity as to the signer intent, and 2) the use of
 * `try/catch` allows the permit to fail and makes the code tolerant to frontrunning. (See also
 * {SafeERC20-safeTransferFrom}).
 *
 * Additionally, note that smart contract wallets (such as Argent or Safe) are not able to produce permit signatures, so
 * contracts should have entry points that don't rely on permit.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     *
     * CAUTION: See Security Considerations above.
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

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

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

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

pragma solidity ^0.8.20;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev The ETH balance of the account is not enough to perform the operation.
     */
    error AddressInsufficientBalance(address account);

    /**
     * @dev There's no code at `target` (it is not a contract).
     */
    error AddressEmptyCode(address target);

    /**
     * @dev A call to an address target failed. The target may have reverted.
     */
    error FailedInnerCall();

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

        (bool success, ) = recipient.call{value: amount}("");
        if (!success) {
            revert FailedInnerCall();
        }
    }

    /**
     * @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 or custom error, it is bubbled
     * up by this function (like regular Solidity function calls). However, if
     * the call reverted with no returned reason, this function reverts with a
     * {FailedInnerCall} error.
     *
     * 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.
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0);
    }

    /**
     * @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`.
     */
    function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
        if (address(this).balance < value) {
            revert AddressInsufficientBalance(address(this));
        }
        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResultFromTarget(target, success, returndata);
    }

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

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

    /**
     * @dev Tool to verify that a low level call to smart-contract was successful, and reverts if the target
     * was not a contract or bubbling up the revert reason (falling back to {FailedInnerCall}) in case of an
     * unsuccessful call.
     */
    function verifyCallResultFromTarget(
        address target,
        bool success,
        bytes memory returndata
    ) internal view returns (bytes memory) {
        if (!success) {
            _revert(returndata);
        } else {
            // only check if target is a contract if the call was successful and the return data is empty
            // otherwise we already know that it was a contract
            if (returndata.length == 0 && target.code.length == 0) {
                revert AddressEmptyCode(target);
            }
            return returndata;
        }
    }

    /**
     * @dev Tool to verify that a low level call was successful, and reverts if it wasn't, either by bubbling the
     * revert reason or with a default {FailedInnerCall} error.
     */
    function verifyCallResult(bool success, bytes memory returndata) internal pure returns (bytes memory) {
        if (!success) {
            _revert(returndata);
        } else {
            return returndata;
        }
    }

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

// SPDX-License-Identifier: GPL-3.0-only
pragma solidity 0.8.28;

import "contracts/access/extensions/AccessControlDefaultAdminRules.sol";
import "contracts/common/Initializable.sol";

/**
 * @title UpgradeableAccessControl
 * @notice This contract extends AccessControlDefaultAdminRules to provide role-based access control with an upgradeable implementation.
 * @dev Allows the default admin to replace the implementation address with a new one and optionally initialize it. The admin role changes are subject to a delay defined in the constructor.
 */
contract UpgradeableAccessControl is AccessControlDefaultAdminRules, Initializable {
    /// @notice The slot containing the address of the current implementation contract.
    bytes32 public constant IMPLEMENTATION_SLOT = keccak256("IMPLEMENTATION_SLOT");

    /**
     * @notice Constructs the UpgradeableAccessControl contract.
     * @dev Initializes the AccessControlDefaultAdminRules with a delay of 3 days and sets the initial default admin.
     */
    constructor(address initialOwner) AccessControlDefaultAdminRules(3 days, initialOwner) {}

    /**
     * @notice Replaces the current implementation with a new one and optionally initializes it.
     * @dev Can only be called by an account with the DEFAULT_ADMIN_ROLE. If `initData_` is provided, a delegatecall is made to the new implementation with that data.
     * @param impl_ The address of the new implementation contract.
     * @param initData_ Optional initialization data to delegatecall to the new implementation.
     */
    function replaceImplementation(address impl_, bytes memory initData_) public onlyRole(DEFAULT_ADMIN_ROLE) {
        _replaceImplementation(impl_, initData_);
    }

    /**
     * @notice Internal function that replaces the current implementation with a new one and optionally initializes it.
     * @dev Can only be called by an account with the DEFAULT_ADMIN_ROLE. If `initData_` is provided, a delegatecall is made to the new implementation with that data.
     * @param impl_ The address of the new implementation contract.
     * @param initData_ Optional initialization data to delegatecall to the new implementation.
     */
    function _replaceImplementation(address impl_, bytes memory initData_) internal {
        require(impl_ != address(0), "impl_ is zero address");
        bytes32 slot = IMPLEMENTATION_SLOT;
        assembly {
            sstore(slot, impl_)
        }
        if (initData_.length != 0) {
            (bool success,) = impl_.delegatecall(initData_);
            require(success, "init failed");
        }
    }

    /**
     * @notice Checks if the contract implements an interface.
     * @dev Overrides supportsInterface from AccessControlDefaultAdminRules.
     * @param interfaceId The interface identifier, as specified in ERC-165.
     * @return True if the contract implements `interfaceId`, false otherwise.
     */
    function supportsInterface(bytes4 interfaceId)
        public
        view
        virtual
        override(AccessControlDefaultAdminRules)
        returns (bool)
    {
        return super.supportsInterface(interfaceId);
    }

    /**
     * @notice Returns the current implementation address
     * @return The current implementation address
     */
    function implementation() public view returns (address) {
        address implementation_;
        bytes32 slot = IMPLEMENTATION_SLOT;
        assembly {
            implementation_ := sload(slot)
        }
        return implementation_;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (access/extensions/AccessControlDefaultAdminRules.sol)

pragma solidity ^0.8.20;

import {IAccessControlDefaultAdminRules} from "contracts/access/extensions/IAccessControlDefaultAdminRules.sol";
import {AccessControl, IAccessControl} from "contracts/access/AccessControl.sol";
import {SafeCast} from "contracts/utils/math/SafeCast.sol";
import {Math} from "contracts/utils/math/Math.sol";
import {IERC5313} from "contracts/interfaces/IERC5313.sol";

/**
 * @dev Extension of {AccessControl} that allows specifying special rules to manage
 * the `DEFAULT_ADMIN_ROLE` holder, which is a sensitive role with special permissions
 * over other roles that may potentially have privileged rights in the system.
 *
 * If a specific role doesn't have an admin role assigned, the holder of the
 * `DEFAULT_ADMIN_ROLE` will have the ability to grant it and revoke it.
 *
 * This contract implements the following risk mitigations on top of {AccessControl}:
 *
 * * Only one account holds the `DEFAULT_ADMIN_ROLE` since deployment until it's potentially renounced.
 * * Enforces a 2-step process to transfer the `DEFAULT_ADMIN_ROLE` to another account.
 * * Enforces a configurable delay between the two steps, with the ability to cancel before the transfer is accepted.
 * * The delay can be changed by scheduling, see {changeDefaultAdminDelay}.
 * * It is not possible to use another role to manage the `DEFAULT_ADMIN_ROLE`.
 *
 * Example usage:
 *
 * ```solidity
 * contract MyToken is AccessControlDefaultAdminRules {
 *   constructor() AccessControlDefaultAdminRules(
 *     3 days,
 *     msg.sender // Explicit initial `DEFAULT_ADMIN_ROLE` holder
 *    ) {}
 * }
 * ```
 */
abstract contract AccessControlDefaultAdminRules is IAccessControlDefaultAdminRules, IERC5313, AccessControl {
    // pending admin pair read/written together frequently
    address private _pendingDefaultAdmin;
    uint48 private _pendingDefaultAdminSchedule; // 0 == unset

    uint48 private _currentDelay;
    address private _currentDefaultAdmin;

    // pending delay pair read/written together frequently
    uint48 private _pendingDelay;
    uint48 private _pendingDelaySchedule; // 0 == unset

    /**
     * @dev Sets the initial values for {defaultAdminDelay} and {defaultAdmin} address.
     */
    constructor(uint48 initialDelay, address initialDefaultAdmin) {
        if (initialDefaultAdmin == address(0)) {
            revert AccessControlInvalidDefaultAdmin(address(0));
        }
        _currentDelay = initialDelay;
        _grantRole(DEFAULT_ADMIN_ROLE, initialDefaultAdmin);
    }

    /**
     * @dev See {IERC165-supportsInterface}.
     */
    function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
        return interfaceId == type(IAccessControlDefaultAdminRules).interfaceId || super.supportsInterface(interfaceId);
    }

    /**
     * @dev See {IERC5313-owner}.
     */
    function owner() public view virtual returns (address) {
        return defaultAdmin();
    }

    ///
    /// Override AccessControl role management
    ///

    /**
     * @dev See {AccessControl-grantRole}. Reverts for `DEFAULT_ADMIN_ROLE`.
     */
    function grantRole(bytes32 role, address account) public virtual override(AccessControl, IAccessControl) {
        if (role == DEFAULT_ADMIN_ROLE) {
            revert AccessControlEnforcedDefaultAdminRules();
        }
        super.grantRole(role, account);
    }

    /**
     * @dev See {AccessControl-revokeRole}. Reverts for `DEFAULT_ADMIN_ROLE`.
     */
    function revokeRole(bytes32 role, address account) public virtual override(AccessControl, IAccessControl) {
        if (role == DEFAULT_ADMIN_ROLE) {
            revert AccessControlEnforcedDefaultAdminRules();
        }
        super.revokeRole(role, account);
    }

    /**
     * @dev See {AccessControl-renounceRole}.
     *
     * For the `DEFAULT_ADMIN_ROLE`, it only allows renouncing in two steps by first calling
     * {beginDefaultAdminTransfer} to the `address(0)`, so it's required that the {pendingDefaultAdmin} schedule
     * has also passed when calling this function.
     *
     * After its execution, it will not be possible to call `onlyRole(DEFAULT_ADMIN_ROLE)` functions.
     *
     * NOTE: Renouncing `DEFAULT_ADMIN_ROLE` will leave the contract without a {defaultAdmin},
     * thereby disabling any functionality that is only available for it, and the possibility of reassigning a
     * non-administrated role.
     */
    function renounceRole(bytes32 role, address account) public virtual override(AccessControl, IAccessControl) {
        if (role == DEFAULT_ADMIN_ROLE && account == defaultAdmin()) {
            (address newDefaultAdmin, uint48 schedule) = pendingDefaultAdmin();
            if (newDefaultAdmin != address(0) || !_isScheduleSet(schedule) || !_hasSchedulePassed(schedule)) {
                revert AccessControlEnforcedDefaultAdminDelay(schedule);
            }
            delete _pendingDefaultAdminSchedule;
        }
        super.renounceRole(role, account);
    }

    /**
     * @dev See {AccessControl-_grantRole}.
     *
     * For `DEFAULT_ADMIN_ROLE`, it only allows granting if there isn't already a {defaultAdmin} or if the
     * role has been previously renounced.
     *
     * NOTE: Exposing this function through another mechanism may make the `DEFAULT_ADMIN_ROLE`
     * assignable again. Make sure to guarantee this is the expected behavior in your implementation.
     */
    function _grantRole(bytes32 role, address account) internal virtual override returns (bool) {
        if (role == DEFAULT_ADMIN_ROLE) {
            if (defaultAdmin() != address(0)) {
                revert AccessControlEnforcedDefaultAdminRules();
            }
            _currentDefaultAdmin = account;
        }
        return super._grantRole(role, account);
    }

    /**
     * @dev See {AccessControl-_revokeRole}.
     */
    function _revokeRole(bytes32 role, address account) internal virtual override returns (bool) {
        if (role == DEFAULT_ADMIN_ROLE && account == defaultAdmin()) {
            delete _currentDefaultAdmin;
        }
        return super._revokeRole(role, account);
    }

    /**
     * @dev See {AccessControl-_setRoleAdmin}. Reverts for `DEFAULT_ADMIN_ROLE`.
     */
    function _setRoleAdmin(bytes32 role, bytes32 adminRole) internal virtual override {
        if (role == DEFAULT_ADMIN_ROLE) {
            revert AccessControlEnforcedDefaultAdminRules();
        }
        super._setRoleAdmin(role, adminRole);
    }

    ///
    /// AccessControlDefaultAdminRules accessors
    ///

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function defaultAdmin() public view virtual returns (address) {
        return _currentDefaultAdmin;
    }

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function pendingDefaultAdmin() public view virtual returns (address newAdmin, uint48 schedule) {
        return (_pendingDefaultAdmin, _pendingDefaultAdminSchedule);
    }

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function defaultAdminDelay() public view virtual returns (uint48) {
        uint48 schedule = _pendingDelaySchedule;
        return (_isScheduleSet(schedule) && _hasSchedulePassed(schedule)) ? _pendingDelay : _currentDelay;
    }

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function pendingDefaultAdminDelay() public view virtual returns (uint48 newDelay, uint48 schedule) {
        schedule = _pendingDelaySchedule;
        return (_isScheduleSet(schedule) && !_hasSchedulePassed(schedule)) ? (_pendingDelay, schedule) : (0, 0);
    }

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function defaultAdminDelayIncreaseWait() public view virtual returns (uint48) {
        return 5 days;
    }

    ///
    /// AccessControlDefaultAdminRules public and internal setters for defaultAdmin/pendingDefaultAdmin
    ///

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function beginDefaultAdminTransfer(address newAdmin) public virtual onlyRole(DEFAULT_ADMIN_ROLE) {
        _beginDefaultAdminTransfer(newAdmin);
    }

    /**
     * @dev See {beginDefaultAdminTransfer}.
     *
     * Internal function without access restriction.
     */
    function _beginDefaultAdminTransfer(address newAdmin) internal virtual {
        uint48 newSchedule = SafeCast.toUint48(block.timestamp) + defaultAdminDelay();
        _setPendingDefaultAdmin(newAdmin, newSchedule);
        emit DefaultAdminTransferScheduled(newAdmin, newSchedule);
    }

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function cancelDefaultAdminTransfer() public virtual onlyRole(DEFAULT_ADMIN_ROLE) {
        _cancelDefaultAdminTransfer();
    }

    /**
     * @dev See {cancelDefaultAdminTransfer}.
     *
     * Internal function without access restriction.
     */
    function _cancelDefaultAdminTransfer() internal virtual {
        _setPendingDefaultAdmin(address(0), 0);
    }

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function acceptDefaultAdminTransfer() public virtual {
        (address newDefaultAdmin, ) = pendingDefaultAdmin();
        if (_msgSender() != newDefaultAdmin) {
            // Enforce newDefaultAdmin explicit acceptance.
            revert AccessControlInvalidDefaultAdmin(_msgSender());
        }
        _acceptDefaultAdminTransfer();
    }

    /**
     * @dev See {acceptDefaultAdminTransfer}.
     *
     * Internal function without access restriction.
     */
    function _acceptDefaultAdminTransfer() internal virtual {
        (address newAdmin, uint48 schedule) = pendingDefaultAdmin();
        if (!_isScheduleSet(schedule) || !_hasSchedulePassed(schedule)) {
            revert AccessControlEnforcedDefaultAdminDelay(schedule);
        }
        _revokeRole(DEFAULT_ADMIN_ROLE, defaultAdmin());
        _grantRole(DEFAULT_ADMIN_ROLE, newAdmin);
        delete _pendingDefaultAdmin;
        delete _pendingDefaultAdminSchedule;
    }

    ///
    /// AccessControlDefaultAdminRules public and internal setters for defaultAdminDelay/pendingDefaultAdminDelay
    ///

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function changeDefaultAdminDelay(uint48 newDelay) public virtual onlyRole(DEFAULT_ADMIN_ROLE) {
        _changeDefaultAdminDelay(newDelay);
    }

    /**
     * @dev See {changeDefaultAdminDelay}.
     *
     * Internal function without access restriction.
     */
    function _changeDefaultAdminDelay(uint48 newDelay) internal virtual {
        uint48 newSchedule = SafeCast.toUint48(block.timestamp) + _delayChangeWait(newDelay);
        _setPendingDelay(newDelay, newSchedule);
        emit DefaultAdminDelayChangeScheduled(newDelay, newSchedule);
    }

    /**
     * @inheritdoc IAccessControlDefaultAdminRules
     */
    function rollbackDefaultAdminDelay() public virtual onlyRole(DEFAULT_ADMIN_ROLE) {
        _rollbackDefaultAdminDelay();
    }

    /**
     * @dev See {rollbackDefaultAdminDelay}.
     *
     * Internal function without access restriction.
     */
    function _rollbackDefaultAdminDelay() internal virtual {
        _setPendingDelay(0, 0);
    }

    /**
     * @dev Returns the amount of seconds to wait after the `newDelay` will
     * become the new {defaultAdminDelay}.
     *
     * The value returned guarantees that if the delay is reduced, it will go into effect
     * after a wait that honors the previously set delay.
     *
     * See {defaultAdminDelayIncreaseWait}.
     */
    function _delayChangeWait(uint48 newDelay) internal view virtual returns (uint48) {
        uint48 currentDelay = defaultAdminDelay();

        // When increasing the delay, we schedule the delay change to occur after a period of "new delay" has passed, up
        // to a maximum given by defaultAdminDelayIncreaseWait, by default 5 days. For example, if increasing from 1 day
        // to 3 days, the new delay will come into effect after 3 days. If increasing from 1 day to 10 days, the new
        // delay will come into effect after 5 days. The 5 day wait period is intended to be able to fix an error like
        // using milliseconds instead of seconds.
        //
        // When decreasing the delay, we wait the difference between "current delay" and "new delay". This guarantees
        // that an admin transfer cannot be made faster than "current delay" at the time the delay change is scheduled.
        // For example, if decreasing from 10 days to 3 days, the new delay will come into effect after 7 days.
        return
            newDelay > currentDelay
                ? uint48(Math.min(newDelay, defaultAdminDelayIncreaseWait())) // no need to safecast, both inputs are uint48
                : currentDelay - newDelay;
    }

    ///
    /// Private setters
    ///

    /**
     * @dev Setter of the tuple for pending admin and its schedule.
     *
     * May emit a DefaultAdminTransferCanceled event.
     */
    function _setPendingDefaultAdmin(address newAdmin, uint48 newSchedule) private {
        (, uint48 oldSchedule) = pendingDefaultAdmin();

        _pendingDefaultAdmin = newAdmin;
        _pendingDefaultAdminSchedule = newSchedule;

        // An `oldSchedule` from `pendingDefaultAdmin()` is only set if it hasn't been accepted.
        if (_isScheduleSet(oldSchedule)) {
            // Emit for implicit cancellations when another default admin was scheduled.
            emit DefaultAdminTransferCanceled();
        }
    }

    /**
     * @dev Setter of the tuple for pending delay and its schedule.
     *
     * May emit a DefaultAdminDelayChangeCanceled event.
     */
    function _setPendingDelay(uint48 newDelay, uint48 newSchedule) private {
        uint48 oldSchedule = _pendingDelaySchedule;

        if (_isScheduleSet(oldSchedule)) {
            if (_hasSchedulePassed(oldSchedule)) {
                // Materialize a virtual delay
                _currentDelay = _pendingDelay;
            } else {
                // Emit for implicit cancellations when another delay was scheduled.
                emit DefaultAdminDelayChangeCanceled();
            }
        }

        _pendingDelay = newDelay;
        _pendingDelaySchedule = newSchedule;
    }

    ///
    /// Private helpers
    ///

    /**
     * @dev Defines if an `schedule` is considered set. For consistency purposes.
     */
    function _isScheduleSet(uint48 schedule) private pure returns (bool) {
        return schedule != 0;
    }

    /**
     * @dev Defines if an `schedule` is considered passed. For consistency purposes.
     */
    function _hasSchedulePassed(uint48 schedule) private view returns (bool) {
        return schedule < block.timestamp;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (access/extensions/IAccessControlDefaultAdminRules.sol)

pragma solidity ^0.8.20;

import {IAccessControl} from "contracts/access/IAccessControl.sol";

/**
 * @dev External interface of AccessControlDefaultAdminRules declared to support ERC165 detection.
 */
interface IAccessControlDefaultAdminRules is IAccessControl {
    /**
     * @dev The new default admin is not a valid default admin.
     */
    error AccessControlInvalidDefaultAdmin(address defaultAdmin);

    /**
     * @dev At least one of the following rules was violated:
     *
     * - The `DEFAULT_ADMIN_ROLE` must only be managed by itself.
     * - The `DEFAULT_ADMIN_ROLE` must only be held by one account at the time.
     * - Any `DEFAULT_ADMIN_ROLE` transfer must be in two delayed steps.
     */
    error AccessControlEnforcedDefaultAdminRules();

    /**
     * @dev The delay for transferring the default admin delay is enforced and
     * the operation must wait until `schedule`.
     *
     * NOTE: `schedule` can be 0 indicating there's no transfer scheduled.
     */
    error AccessControlEnforcedDefaultAdminDelay(uint48 schedule);

    /**
     * @dev Emitted when a {defaultAdmin} transfer is started, setting `newAdmin` as the next
     * address to become the {defaultAdmin} by calling {acceptDefaultAdminTransfer} only after `acceptSchedule`
     * passes.
     */
    event DefaultAdminTransferScheduled(address indexed newAdmin, uint48 acceptSchedule);

    /**
     * @dev Emitted when a {pendingDefaultAdmin} is reset if it was never accepted, regardless of its schedule.
     */
    event DefaultAdminTransferCanceled();

    /**
     * @dev Emitted when a {defaultAdminDelay} change is started, setting `newDelay` as the next
     * delay to be applied between default admin transfer after `effectSchedule` has passed.
     */
    event DefaultAdminDelayChangeScheduled(uint48 newDelay, uint48 effectSchedule);

    /**
     * @dev Emitted when a {pendingDefaultAdminDelay} is reset if its schedule didn't pass.
     */
    event DefaultAdminDelayChangeCanceled();

    /**
     * @dev Returns the address of the current `DEFAULT_ADMIN_ROLE` holder.
     */
    function defaultAdmin() external view returns (address);

    /**
     * @dev Returns a tuple of a `newAdmin` and an accept schedule.
     *
     * After the `schedule` passes, the `newAdmin` will be able to accept the {defaultAdmin} role
     * by calling {acceptDefaultAdminTransfer}, completing the role transfer.
     *
     * A zero value only in `acceptSchedule` indicates no pending admin transfer.
     *
     * NOTE: A zero address `newAdmin` means that {defaultAdmin} is being renounced.
     */
    function pendingDefaultAdmin() external view returns (address newAdmin, uint48 acceptSchedule);

    /**
     * @dev Returns the delay required to schedule the acceptance of a {defaultAdmin} transfer started.
     *
     * This delay will be added to the current timestamp when calling {beginDefaultAdminTransfer} to set
     * the acceptance schedule.
     *
     * NOTE: If a delay change has been scheduled, it will take effect as soon as the schedule passes, making this
     * function returns the new delay. See {changeDefaultAdminDelay}.
     */
    function defaultAdminDelay() external view returns (uint48);

    /**
     * @dev Returns a tuple of `newDelay` and an effect schedule.
     *
     * After the `schedule` passes, the `newDelay` will get into effect immediately for every
     * new {defaultAdmin} transfer started with {beginDefaultAdminTransfer}.
     *
     * A zero value only in `effectSchedule` indicates no pending delay change.
     *
     * NOTE: A zero value only for `newDelay` means that the next {defaultAdminDelay}
     * will be zero after the effect schedule.
     */
    function pendingDefaultAdminDelay() external view returns (uint48 newDelay, uint48 effectSchedule);

    /**
     * @dev Starts a {defaultAdmin} transfer by setting a {pendingDefaultAdmin} scheduled for acceptance
     * after the current timestamp plus a {defaultAdminDelay}.
     *
     * Requirements:
     *
     * - Only can be called by the current {defaultAdmin}.
     *
     * Emits a DefaultAdminRoleChangeStarted event.
     */
    function beginDefaultAdminTransfer(address newAdmin) external;

    /**
     * @dev Cancels a {defaultAdmin} transfer previously started with {beginDefaultAdminTransfer}.
     *
     * A {pendingDefaultAdmin} not yet accepted can also be cancelled with this function.
     *
     * Requirements:
     *
     * - Only can be called by the current {defaultAdmin}.
     *
     * May emit a DefaultAdminTransferCanceled event.
     */
    function cancelDefaultAdminTransfer() external;

    /**
     * @dev Completes a {defaultAdmin} transfer previously started with {beginDefaultAdminTransfer}.
     *
     * After calling the function:
     *
     * - `DEFAULT_ADMIN_ROLE` should be granted to the caller.
     * - `DEFAULT_ADMIN_ROLE` should be revoked from the previous holder.
     * - {pendingDefaultAdmin} should be reset to zero values.
     *
     * Requirements:
     *
     * - Only can be called by the {pendingDefaultAdmin}'s `newAdmin`.
     * - The {pendingDefaultAdmin}'s `acceptSchedule` should've passed.
     */
    function acceptDefaultAdminTransfer() external;

    /**
     * @dev Initiates a {defaultAdminDelay} update by setting a {pendingDefaultAdminDelay} scheduled for getting
     * into effect after the current timestamp plus a {defaultAdminDelay}.
     *
     * This function guarantees that any call to {beginDefaultAdminTransfer} done between the timestamp this
     * method is called and the {pendingDefaultAdminDelay} effect schedule will use the current {defaultAdminDelay}
     * set before calling.
     *
     * The {pendingDefaultAdminDelay}'s effect schedule is defined in a way that waiting until the schedule and then
     * calling {beginDefaultAdminTransfer} with the new delay will take at least the same as another {defaultAdmin}
     * complete transfer (including acceptance).
     *
     * The schedule is designed for two scenarios:
     *
     * - When the delay is changed for a larger one the schedule is `block.timestamp + newDelay` capped by
     * {defaultAdminDelayIncreaseWait}.
     * - When the delay is changed for a shorter one, the schedule is `block.timestamp + (current delay - new delay)`.
     *
     * A {pendingDefaultAdminDelay} that never got into effect will be canceled in favor of a new scheduled change.
     *
     * Requirements:
     *
     * - Only can be called by the current {defaultAdmin}.
     *
     * Emits a DefaultAdminDelayChangeScheduled event and may emit a DefaultAdminDelayChangeCanceled event.
     */
    function changeDefaultAdminDelay(uint48 newDelay) external;

    /**
     * @dev Cancels a scheduled {defaultAdminDelay} change.
     *
     * Requirements:
     *
     * - Only can be called by the current {defaultAdmin}.
     *
     * May emit a DefaultAdminDelayChangeCanceled event.
     */
    function rollbackDefaultAdminDelay() external;

    /**
     * @dev Maximum time in seconds for an increase to {defaultAdminDelay} (that is scheduled using {changeDefaultAdminDelay})
     * to take effect. Default to 5 days.
     *
     * When the {defaultAdminDelay} is scheduled to be increased, it goes into effect after the new delay has passed with
     * the purpose of giving enough time for reverting any accidental change (i.e. using milliseconds instead of seconds)
     * that may lock the contract. However, to avoid excessive schedules, the wait is capped by this function and it can
     * be overrode for a custom {defaultAdminDelay} increase scheduling.
     *
     * IMPORTANT: Make sure to add a reasonable amount of time while overriding this value, otherwise,
     * there's a risk of setting a high new delay that goes into effect almost immediately without the
     * possibility of human intervention in the case of an input error (eg. set milliseconds instead of seconds).
     */
    function defaultAdminDelayIncreaseWait() external view returns (uint48);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (access/IAccessControl.sol)

pragma solidity ^0.8.20;

/**
 * @dev External interface of AccessControl declared to support ERC165 detection.
 */
interface IAccessControl {
    /**
     * @dev The `account` is missing a role.
     */
    error AccessControlUnauthorizedAccount(address account, bytes32 neededRole);

    /**
     * @dev The caller of a function is not the expected one.
     *
     * NOTE: Don't confuse with {AccessControlUnauthorizedAccount}.
     */
    error AccessControlBadConfirmation();

    /**
     * @dev Emitted when `newAdminRole` is set as ``role``'s admin role, replacing `previousAdminRole`
     *
     * `DEFAULT_ADMIN_ROLE` is the starting admin for all roles, despite
     * {RoleAdminChanged} not being emitted signaling this.
     */
    event RoleAdminChanged(bytes32 indexed role, bytes32 indexed previousAdminRole, bytes32 indexed newAdminRole);

    /**
     * @dev Emitted when `account` is granted `role`.
     *
     * `sender` is the account that originated the contract call, an admin role
     * bearer except when using {AccessControl-_setupRole}.
     */
    event RoleGranted(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Emitted when `account` is revoked `role`.
     *
     * `sender` is the account that originated the contract call:
     *   - if using `revokeRole`, it is the admin role bearer
     *   - if using `renounceRole`, it is the role bearer (i.e. `account`)
     */
    event RoleRevoked(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Returns `true` if `account` has been granted `role`.
     */
    function hasRole(bytes32 role, address account) external view returns (bool);

    /**
     * @dev Returns the admin role that controls `role`. See {grantRole} and
     * {revokeRole}.
     *
     * To change a role's admin, use {AccessControl-_setRoleAdmin}.
     */
    function getRoleAdmin(bytes32 role) external view returns (bytes32);

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function grantRole(bytes32 role, address account) external;

    /**
     * @dev Revokes `role` from `account`.
     *
     * If `account` had been granted `role`, emits a {RoleRevoked} event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function revokeRole(bytes32 role, address account) external;

    /**
     * @dev Revokes `role` from the calling account.
     *
     * Roles are often managed via {grantRole} and {revokeRole}: this function's
     * purpose is to provide a mechanism for accounts to lose their privileges
     * if they are compromised (such as when a trusted device is misplaced).
     *
     * If the calling account had been granted `role`, emits a {RoleRevoked}
     * event.
     *
     * Requirements:
     *
     * - the caller must be `callerConfirmation`.
     */
    function renounceRole(bytes32 role, address callerConfirmation) external;
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (access/AccessControl.sol)

pragma solidity ^0.8.20;

import {IAccessControl} from "contracts/access/IAccessControl.sol";
import {Context} from "contracts/utils/Context.sol";
import {ERC165} from "contracts/utils/introspection/ERC165.sol";

/**
 * @dev Contract module that allows children to implement role-based access
 * control mechanisms. This is a lightweight version that doesn't allow enumerating role
 * members except through off-chain means by accessing the contract event logs. Some
 * applications may benefit from on-chain enumerability, for those cases see
 * {AccessControlEnumerable}.
 *
 * Roles are referred to by their `bytes32` identifier. These should be exposed
 * in the external API and be unique. The best way to achieve this is by
 * using `public constant` hash digests:
 *
 * ```solidity
 * bytes32 public constant MY_ROLE = keccak256("MY_ROLE");
 * ```
 *
 * Roles can be used to represent a set of permissions. To restrict access to a
 * function call, use {hasRole}:
 *
 * ```solidity
 * function foo() public {
 *     require(hasRole(MY_ROLE, msg.sender));
 *     ...
 * }
 * ```
 *
 * Roles can be granted and revoked dynamically via the {grantRole} and
 * {revokeRole} functions. Each role has an associated admin role, and only
 * accounts that have a role's admin role can call {grantRole} and {revokeRole}.
 *
 * By default, the admin role for all roles is `DEFAULT_ADMIN_ROLE`, which means
 * that only accounts with this role will be able to grant or revoke other
 * roles. More complex role relationships can be created by using
 * {_setRoleAdmin}.
 *
 * WARNING: The `DEFAULT_ADMIN_ROLE` is also its own admin: it has permission to
 * grant and revoke this role. Extra precautions should be taken to secure
 * accounts that have been granted it. We recommend using {AccessControlDefaultAdminRules}
 * to enforce additional security measures for this role.
 */
abstract contract AccessControl is Context, IAccessControl, ERC165 {
    struct RoleData {
        mapping(address account => bool) hasRole;
        bytes32 adminRole;
    }

    mapping(bytes32 role => RoleData) private _roles;

    bytes32 public constant DEFAULT_ADMIN_ROLE = 0x00;

    /**
     * @dev Modifier that checks that an account has a specific role. Reverts
     * with an {AccessControlUnauthorizedAccount} error including the required role.
     */
    modifier onlyRole(bytes32 role) {
        _checkRole(role);
        _;
    }

    /**
     * @dev See {IERC165-supportsInterface}.
     */
    function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
        return interfaceId == type(IAccessControl).interfaceId || super.supportsInterface(interfaceId);
    }

    /**
     * @dev Returns `true` if `account` has been granted `role`.
     */
    function hasRole(bytes32 role, address account) public view virtual returns (bool) {
        return _roles[role].hasRole[account];
    }

    /**
     * @dev Reverts with an {AccessControlUnauthorizedAccount} error if `_msgSender()`
     * is missing `role`. Overriding this function changes the behavior of the {onlyRole} modifier.
     */
    function _checkRole(bytes32 role) internal view virtual {
        _checkRole(role, _msgSender());
    }

    /**
     * @dev Reverts with an {AccessControlUnauthorizedAccount} error if `account`
     * is missing `role`.
     */
    function _checkRole(bytes32 role, address account) internal view virtual {
        if (!hasRole(role, account)) {
            revert AccessControlUnauthorizedAccount(account, role);
        }
    }

    /**
     * @dev Returns the admin role that controls `role`. See {grantRole} and
     * {revokeRole}.
     *
     * To change a role's admin, use {_setRoleAdmin}.
     */
    function getRoleAdmin(bytes32 role) public view virtual returns (bytes32) {
        return _roles[role].adminRole;
    }

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     *
     * May emit a {RoleGranted} event.
     */
    function grantRole(bytes32 role, address account) public virtual onlyRole(getRoleAdmin(role)) {
        _grantRole(role, account);
    }

    /**
     * @dev Revokes `role` from `account`.
     *
     * If `account` had been granted `role`, emits a {RoleRevoked} event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     *
     * May emit a {RoleRevoked} event.
     */
    function revokeRole(bytes32 role, address account) public virtual onlyRole(getRoleAdmin(role)) {
        _revokeRole(role, account);
    }

    /**
     * @dev Revokes `role` from the calling account.
     *
     * Roles are often managed via {grantRole} and {revokeRole}: this function's
     * purpose is to provide a mechanism for accounts to lose their privileges
     * if they are compromised (such as when a trusted device is misplaced).
     *
     * If the calling account had been revoked `role`, emits a {RoleRevoked}
     * event.
     *
     * Requirements:
     *
     * - the caller must be `callerConfirmation`.
     *
     * May emit a {RoleRevoked} event.
     */
    function renounceRole(bytes32 role, address callerConfirmation) public virtual {
        if (callerConfirmation != _msgSender()) {
            revert AccessControlBadConfirmation();
        }

        _revokeRole(role, callerConfirmation);
    }

    /**
     * @dev Sets `adminRole` as ``role``'s admin role.
     *
     * Emits a {RoleAdminChanged} event.
     */
    function _setRoleAdmin(bytes32 role, bytes32 adminRole) internal virtual {
        bytes32 previousAdminRole = getRoleAdmin(role);
        _roles[role].adminRole = adminRole;
        emit RoleAdminChanged(role, previousAdminRole, adminRole);
    }

    /**
     * @dev Attempts to grant `role` to `account` and returns a boolean indicating if `role` was granted.
     *
     * Internal function without access restriction.
     *
     * May emit a {RoleGranted} event.
     */
    function _grantRole(bytes32 role, address account) internal virtual returns (bool) {
        if (!hasRole(role, account)) {
            _roles[role].hasRole[account] = true;
            emit RoleGranted(role, account, _msgSender());
            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Attempts to revoke `role` to `account` and returns a boolean indicating if `role` was revoked.
     *
     * Internal function without access restriction.
     *
     * May emit a {RoleRevoked} event.
     */
    function _revokeRole(bytes32 role, address account) internal virtual returns (bool) {
        if (hasRole(role, account)) {
            _roles[role].hasRole[account] = false;
            emit RoleRevoked(role, account, _msgSender());
            return true;
        } else {
            return false;
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.1) (utils/Context.sol)

pragma solidity ^0.8.20;

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

    function _contextSuffixLength() internal view virtual returns (uint256) {
        return 0;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/introspection/ERC165.sol)

pragma solidity ^0.8.20;

import {IERC165} from "contracts/utils/introspection/IERC165.sol";

/**
 * @dev Implementation of the {IERC165} interface.
 *
 * Contracts that want to implement ERC165 should inherit from this contract and override {supportsInterface} to check
 * for the additional interface id that will be supported. For example:
 *
 * ```solidity
 * function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
 *     return interfaceId == type(MyInterface).interfaceId || super.supportsInterface(interfaceId);
 * }
 * ```
 */
abstract contract ERC165 is IERC165 {
    /**
     * @dev See {IERC165-supportsInterface}.
     */
    function supportsInterface(bytes4 interfaceId) public view virtual returns (bool) {
        return interfaceId == type(IERC165).interfaceId;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/introspection/IERC165.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC165 standard, as defined in the
 * https://eips.ethereum.org/EIPS/eip-165[EIP].
 *
 * Implementers can declare support of contract interfaces, which can then be
 * queried by others ({ERC165Checker}).
 *
 * For an implementation, see {ERC165}.
 */
interface IERC165 {
    /**
     * @dev Returns true if this contract implements the interface defined by
     * `interfaceId`. See the corresponding
     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section]
     * to learn more about how these ids are created.
     *
     * This function call must use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) external view returns (bool);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/math/SafeCast.sol)
// This file was procedurally generated from scripts/generate/templates/SafeCast.js.

pragma solidity ^0.8.20;

/**
 * @dev Wrappers over Solidity's uintXX/intXX casting operators with added overflow
 * checks.
 *
 * Downcasting from uint256/int256 in Solidity does not revert on overflow. This can
 * easily result in undesired exploitation or bugs, since developers usually
 * assume that overflows raise errors. `SafeCast` restores this intuition by
 * reverting the transaction when such an operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeCast {
    /**
     * @dev Value doesn't fit in an uint of `bits` size.
     */
    error SafeCastOverflowedUintDowncast(uint8 bits, uint256 value);

    /**
     * @dev An int value doesn't fit in an uint of `bits` size.
     */
    error SafeCastOverflowedIntToUint(int256 value);

    /**
     * @dev Value doesn't fit in an int of `bits` size.
     */
    error SafeCastOverflowedIntDowncast(uint8 bits, int256 value);

    /**
     * @dev An uint value doesn't fit in an int of `bits` size.
     */
    error SafeCastOverflowedUintToInt(uint256 value);

    /**
     * @dev Returns the downcasted uint248 from uint256, reverting on
     * overflow (when the input is greater than largest uint248).
     *
     * Counterpart to Solidity's `uint248` operator.
     *
     * Requirements:
     *
     * - input must fit into 248 bits
     */
    function toUint248(uint256 value) internal pure returns (uint248) {
        if (value > type(uint248).max) {
            revert SafeCastOverflowedUintDowncast(248, value);
        }
        return uint248(value);
    }

    /**
     * @dev Returns the downcasted uint240 from uint256, reverting on
     * overflow (when the input is greater than largest uint240).
     *
     * Counterpart to Solidity's `uint240` operator.
     *
     * Requirements:
     *
     * - input must fit into 240 bits
     */
    function toUint240(uint256 value) internal pure returns (uint240) {
        if (value > type(uint240).max) {
            revert SafeCastOverflowedUintDowncast(240, value);
        }
        return uint240(value);
    }

    /**
     * @dev Returns the downcasted uint232 from uint256, reverting on
     * overflow (when the input is greater than largest uint232).
     *
     * Counterpart to Solidity's `uint232` operator.
     *
     * Requirements:
     *
     * - input must fit into 232 bits
     */
    function toUint232(uint256 value) internal pure returns (uint232) {
        if (value > type(uint232).max) {
            revert SafeCastOverflowedUintDowncast(232, value);
        }
        return uint232(value);
    }

    /**
     * @dev Returns the downcasted uint224 from uint256, reverting on
     * overflow (when the input is greater than largest uint224).
     *
     * Counterpart to Solidity's `uint224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     */
    function toUint224(uint256 value) internal pure returns (uint224) {
        if (value > type(uint224).max) {
            revert SafeCastOverflowedUintDowncast(224, value);
        }
        return uint224(value);
    }

    /**
     * @dev Returns the downcasted uint216 from uint256, reverting on
     * overflow (when the input is greater than largest uint216).
     *
     * Counterpart to Solidity's `uint216` operator.
     *
     * Requirements:
     *
     * - input must fit into 216 bits
     */
    function toUint216(uint256 value) internal pure returns (uint216) {
        if (value > type(uint216).max) {
            revert SafeCastOverflowedUintDowncast(216, value);
        }
        return uint216(value);
    }

    /**
     * @dev Returns the downcasted uint208 from uint256, reverting on
     * overflow (when the input is greater than largest uint208).
     *
     * Counterpart to Solidity's `uint208` operator.
     *
     * Requirements:
     *
     * - input must fit into 208 bits
     */
    function toUint208(uint256 value) internal pure returns (uint208) {
        if (value > type(uint208).max) {
            revert SafeCastOverflowedUintDowncast(208, value);
        }
        return uint208(value);
    }

    /**
     * @dev Returns the downcasted uint200 from uint256, reverting on
     * overflow (when the input is greater than largest uint200).
     *
     * Counterpart to Solidity's `uint200` operator.
     *
     * Requirements:
     *
     * - input must fit into 200 bits
     */
    function toUint200(uint256 value) internal pure returns (uint200) {
        if (value > type(uint200).max) {
            revert SafeCastOverflowedUintDowncast(200, value);
        }
        return uint200(value);
    }

    /**
     * @dev Returns the downcasted uint192 from uint256, reverting on
     * overflow (when the input is greater than largest uint192).
     *
     * Counterpart to Solidity's `uint192` operator.
     *
     * Requirements:
     *
     * - input must fit into 192 bits
     */
    function toUint192(uint256 value) internal pure returns (uint192) {
        if (value > type(uint192).max) {
            revert SafeCastOverflowedUintDowncast(192, value);
        }
        return uint192(value);
    }

    /**
     * @dev Returns the downcasted uint184 from uint256, reverting on
     * overflow (when the input is greater than largest uint184).
     *
     * Counterpart to Solidity's `uint184` operator.
     *
     * Requirements:
     *
     * - input must fit into 184 bits
     */
    function toUint184(uint256 value) internal pure returns (uint184) {
        if (value > type(uint184).max) {
            revert SafeCastOverflowedUintDowncast(184, value);
        }
        return uint184(value);
    }

    /**
     * @dev Returns the downcasted uint176 from uint256, reverting on
     * overflow (when the input is greater than largest uint176).
     *
     * Counterpart to Solidity's `uint176` operator.
     *
     * Requirements:
     *
     * - input must fit into 176 bits
     */
    function toUint176(uint256 value) internal pure returns (uint176) {
        if (value > type(uint176).max) {
            revert SafeCastOverflowedUintDowncast(176, value);
        }
        return uint176(value);
    }

    /**
     * @dev Returns the downcasted uint168 from uint256, reverting on
     * overflow (when the input is greater than largest uint168).
     *
     * Counterpart to Solidity's `uint168` operator.
     *
     * Requirements:
     *
     * - input must fit into 168 bits
     */
    function toUint168(uint256 value) internal pure returns (uint168) {
        if (value > type(uint168).max) {
            revert SafeCastOverflowedUintDowncast(168, value);
        }
        return uint168(value);
    }

    /**
     * @dev Returns the downcasted uint160 from uint256, reverting on
     * overflow (when the input is greater than largest uint160).
     *
     * Counterpart to Solidity's `uint160` operator.
     *
     * Requirements:
     *
     * - input must fit into 160 bits
     */
    function toUint160(uint256 value) internal pure returns (uint160) {
        if (value > type(uint160).max) {
            revert SafeCastOverflowedUintDowncast(160, value);
        }
        return uint160(value);
    }

    /**
     * @dev Returns the downcasted uint152 from uint256, reverting on
     * overflow (when the input is greater than largest uint152).
     *
     * Counterpart to Solidity's `uint152` operator.
     *
     * Requirements:
     *
     * - input must fit into 152 bits
     */
    function toUint152(uint256 value) internal pure returns (uint152) {
        if (value > type(uint152).max) {
            revert SafeCastOverflowedUintDowncast(152, value);
        }
        return uint152(value);
    }

    /**
     * @dev Returns the downcasted uint144 from uint256, reverting on
     * overflow (when the input is greater than largest uint144).
     *
     * Counterpart to Solidity's `uint144` operator.
     *
     * Requirements:
     *
     * - input must fit into 144 bits
     */
    function toUint144(uint256 value) internal pure returns (uint144) {
        if (value > type(uint144).max) {
            revert SafeCastOverflowedUintDowncast(144, value);
        }
        return uint144(value);
    }

    /**
     * @dev Returns the downcasted uint136 from uint256, reverting on
     * overflow (when the input is greater than largest uint136).
     *
     * Counterpart to Solidity's `uint136` operator.
     *
     * Requirements:
     *
     * - input must fit into 136 bits
     */
    function toUint136(uint256 value) internal pure returns (uint136) {
        if (value > type(uint136).max) {
            revert SafeCastOverflowedUintDowncast(136, value);
        }
        return uint136(value);
    }

    /**
     * @dev Returns the downcasted uint128 from uint256, reverting on
     * overflow (when the input is greater than largest uint128).
     *
     * Counterpart to Solidity's `uint128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     */
    function toUint128(uint256 value) internal pure returns (uint128) {
        if (value > type(uint128).max) {
            revert SafeCastOverflowedUintDowncast(128, value);
        }
        return uint128(value);
    }

    /**
     * @dev Returns the downcasted uint120 from uint256, reverting on
     * overflow (when the input is greater than largest uint120).
     *
     * Counterpart to Solidity's `uint120` operator.
     *
     * Requirements:
     *
     * - input must fit into 120 bits
     */
    function toUint120(uint256 value) internal pure returns (uint120) {
        if (value > type(uint120).max) {
            revert SafeCastOverflowedUintDowncast(120, value);
        }
        return uint120(value);
    }

    /**
     * @dev Returns the downcasted uint112 from uint256, reverting on
     * overflow (when the input is greater than largest uint112).
     *
     * Counterpart to Solidity's `uint112` operator.
     *
     * Requirements:
     *
     * - input must fit into 112 bits
     */
    function toUint112(uint256 value) internal pure returns (uint112) {
        if (value > type(uint112).max) {
            revert SafeCastOverflowedUintDowncast(112, value);
        }
        return uint112(value);
    }

    /**
     * @dev Returns the downcasted uint104 from uint256, reverting on
     * overflow (when the input is greater than largest uint104).
     *
     * Counterpart to Solidity's `uint104` operator.
     *
     * Requirements:
     *
     * - input must fit into 104 bits
     */
    function toUint104(uint256 value) internal pure returns (uint104) {
        if (value > type(uint104).max) {
            revert SafeCastOverflowedUintDowncast(104, value);
        }
        return uint104(value);
    }

    /**
     * @dev Returns the downcasted uint96 from uint256, reverting on
     * overflow (when the input is greater than largest uint96).
     *
     * Counterpart to Solidity's `uint96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     */
    function toUint96(uint256 value) internal pure returns (uint96) {
        if (value > type(uint96).max) {
            revert SafeCastOverflowedUintDowncast(96, value);
        }
        return uint96(value);
    }

    /**
     * @dev Returns the downcasted uint88 from uint256, reverting on
     * overflow (when the input is greater than largest uint88).
     *
     * Counterpart to Solidity's `uint88` operator.
     *
     * Requirements:
     *
     * - input must fit into 88 bits
     */
    function toUint88(uint256 value) internal pure returns (uint88) {
        if (value > type(uint88).max) {
            revert SafeCastOverflowedUintDowncast(88, value);
        }
        return uint88(value);
    }

    /**
     * @dev Returns the downcasted uint80 from uint256, reverting on
     * overflow (when the input is greater than largest uint80).
     *
     * Counterpart to Solidity's `uint80` operator.
     *
     * Requirements:
     *
     * - input must fit into 80 bits
     */
    function toUint80(uint256 value) internal pure returns (uint80) {
        if (value > type(uint80).max) {
            revert SafeCastOverflowedUintDowncast(80, value);
        }
        return uint80(value);
    }

    /**
     * @dev Returns the downcasted uint72 from uint256, reverting on
     * overflow (when the input is greater than largest uint72).
     *
     * Counterpart to Solidity's `uint72` operator.
     *
     * Requirements:
     *
     * - input must fit into 72 bits
     */
    function toUint72(uint256 value) internal pure returns (uint72) {
        if (value > type(uint72).max) {
            revert SafeCastOverflowedUintDowncast(72, value);
        }
        return uint72(value);
    }

    /**
     * @dev Returns the downcasted uint64 from uint256, reverting on
     * overflow (when the input is greater than largest uint64).
     *
     * Counterpart to Solidity's `uint64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     */
    function toUint64(uint256 value) internal pure returns (uint64) {
        if (value > type(uint64).max) {
            revert SafeCastOverflowedUintDowncast(64, value);
        }
        return uint64(value);
    }

    /**
     * @dev Returns the downcasted uint56 from uint256, reverting on
     * overflow (when the input is greater than largest uint56).
     *
     * Counterpart to Solidity's `uint56` operator.
     *
     * Requirements:
     *
     * - input must fit into 56 bits
     */
    function toUint56(uint256 value) internal pure returns (uint56) {
        if (value > type(uint56).max) {
            revert SafeCastOverflowedUintDowncast(56, value);
        }
        return uint56(value);
    }

    /**
     * @dev Returns the downcasted uint48 from uint256, reverting on
     * overflow (when the input is greater than largest uint48).
     *
     * Counterpart to Solidity's `uint48` operator.
     *
     * Requirements:
     *
     * - input must fit into 48 bits
     */
    function toUint48(uint256 value) internal pure returns (uint48) {
        if (value > type(uint48).max) {
            revert SafeCastOverflowedUintDowncast(48, value);
        }
        return uint48(value);
    }

    /**
     * @dev Returns the downcasted uint40 from uint256, reverting on
     * overflow (when the input is greater than largest uint40).
     *
     * Counterpart to Solidity's `uint40` operator.
     *
     * Requirements:
     *
     * - input must fit into 40 bits
     */
    function toUint40(uint256 value) internal pure returns (uint40) {
        if (value > type(uint40).max) {
            revert SafeCastOverflowedUintDowncast(40, value);
        }
        return uint40(value);
    }

    /**
     * @dev Returns the downcasted uint32 from uint256, reverting on
     * overflow (when the input is greater than largest uint32).
     *
     * Counterpart to Solidity's `uint32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     */
    function toUint32(uint256 value) internal pure returns (uint32) {
        if (value > type(uint32).max) {
            revert SafeCastOverflowedUintDowncast(32, value);
        }
        return uint32(value);
    }

    /**
     * @dev Returns the downcasted uint24 from uint256, reverting on
     * overflow (when the input is greater than largest uint24).
     *
     * Counterpart to Solidity's `uint24` operator.
     *
     * Requirements:
     *
     * - input must fit into 24 bits
     */
    function toUint24(uint256 value) internal pure returns (uint24) {
        if (value > type(uint24).max) {
            revert SafeCastOverflowedUintDowncast(24, value);
        }
        return uint24(value);
    }

    /**
     * @dev Returns the downcasted uint16 from uint256, reverting on
     * overflow (when the input is greater than largest uint16).
     *
     * Counterpart to Solidity's `uint16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     */
    function toUint16(uint256 value) internal pure returns (uint16) {
        if (value > type(uint16).max) {
            revert SafeCastOverflowedUintDowncast(16, value);
        }
        return uint16(value);
    }

    /**
     * @dev Returns the downcasted uint8 from uint256, reverting on
     * overflow (when the input is greater than largest uint8).
     *
     * Counterpart to Solidity's `uint8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits
     */
    function toUint8(uint256 value) internal pure returns (uint8) {
        if (value > type(uint8).max) {
            revert SafeCastOverflowedUintDowncast(8, value);
        }
        return uint8(value);
    }

    /**
     * @dev Converts a signed int256 into an unsigned uint256.
     *
     * Requirements:
     *
     * - input must be greater than or equal to 0.
     */
    function toUint256(int256 value) internal pure returns (uint256) {
        if (value < 0) {
            revert SafeCastOverflowedIntToUint(value);
        }
        return uint256(value);
    }

    /**
     * @dev Returns the downcasted int248 from int256, reverting on
     * overflow (when the input is less than smallest int248 or
     * greater than largest int248).
     *
     * Counterpart to Solidity's `int248` operator.
     *
     * Requirements:
     *
     * - input must fit into 248 bits
     */
    function toInt248(int256 value) internal pure returns (int248 downcasted) {
        downcasted = int248(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(248, value);
        }
    }

    /**
     * @dev Returns the downcasted int240 from int256, reverting on
     * overflow (when the input is less than smallest int240 or
     * greater than largest int240).
     *
     * Counterpart to Solidity's `int240` operator.
     *
     * Requirements:
     *
     * - input must fit into 240 bits
     */
    function toInt240(int256 value) internal pure returns (int240 downcasted) {
        downcasted = int240(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(240, value);
        }
    }

    /**
     * @dev Returns the downcasted int232 from int256, reverting on
     * overflow (when the input is less than smallest int232 or
     * greater than largest int232).
     *
     * Counterpart to Solidity's `int232` operator.
     *
     * Requirements:
     *
     * - input must fit into 232 bits
     */
    function toInt232(int256 value) internal pure returns (int232 downcasted) {
        downcasted = int232(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(232, value);
        }
    }

    /**
     * @dev Returns the downcasted int224 from int256, reverting on
     * overflow (when the input is less than smallest int224 or
     * greater than largest int224).
     *
     * Counterpart to Solidity's `int224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     */
    function toInt224(int256 value) internal pure returns (int224 downcasted) {
        downcasted = int224(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(224, value);
        }
    }

    /**
     * @dev Returns the downcasted int216 from int256, reverting on
     * overflow (when the input is less than smallest int216 or
     * greater than largest int216).
     *
     * Counterpart to Solidity's `int216` operator.
     *
     * Requirements:
     *
     * - input must fit into 216 bits
     */
    function toInt216(int256 value) internal pure returns (int216 downcasted) {
        downcasted = int216(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(216, value);
        }
    }

    /**
     * @dev Returns the downcasted int208 from int256, reverting on
     * overflow (when the input is less than smallest int208 or
     * greater than largest int208).
     *
     * Counterpart to Solidity's `int208` operator.
     *
     * Requirements:
     *
     * - input must fit into 208 bits
     */
    function toInt208(int256 value) internal pure returns (int208 downcasted) {
        downcasted = int208(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(208, value);
        }
    }

    /**
     * @dev Returns the downcasted int200 from int256, reverting on
     * overflow (when the input is less than smallest int200 or
     * greater than largest int200).
     *
     * Counterpart to Solidity's `int200` operator.
     *
     * Requirements:
     *
     * - input must fit into 200 bits
     */
    function toInt200(int256 value) internal pure returns (int200 downcasted) {
        downcasted = int200(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(200, value);
        }
    }

    /**
     * @dev Returns the downcasted int192 from int256, reverting on
     * overflow (when the input is less than smallest int192 or
     * greater than largest int192).
     *
     * Counterpart to Solidity's `int192` operator.
     *
     * Requirements:
     *
     * - input must fit into 192 bits
     */
    function toInt192(int256 value) internal pure returns (int192 downcasted) {
        downcasted = int192(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(192, value);
        }
    }

    /**
     * @dev Returns the downcasted int184 from int256, reverting on
     * overflow (when the input is less than smallest int184 or
     * greater than largest int184).
     *
     * Counterpart to Solidity's `int184` operator.
     *
     * Requirements:
     *
     * - input must fit into 184 bits
     */
    function toInt184(int256 value) internal pure returns (int184 downcasted) {
        downcasted = int184(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(184, value);
        }
    }

    /**
     * @dev Returns the downcasted int176 from int256, reverting on
     * overflow (when the input is less than smallest int176 or
     * greater than largest int176).
     *
     * Counterpart to Solidity's `int176` operator.
     *
     * Requirements:
     *
     * - input must fit into 176 bits
     */
    function toInt176(int256 value) internal pure returns (int176 downcasted) {
        downcasted = int176(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(176, value);
        }
    }

    /**
     * @dev Returns the downcasted int168 from int256, reverting on
     * overflow (when the input is less than smallest int168 or
     * greater than largest int168).
     *
     * Counterpart to Solidity's `int168` operator.
     *
     * Requirements:
     *
     * - input must fit into 168 bits
     */
    function toInt168(int256 value) internal pure returns (int168 downcasted) {
        downcasted = int168(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(168, value);
        }
    }

    /**
     * @dev Returns the downcasted int160 from int256, reverting on
     * overflow (when the input is less than smallest int160 or
     * greater than largest int160).
     *
     * Counterpart to Solidity's `int160` operator.
     *
     * Requirements:
     *
     * - input must fit into 160 bits
     */
    function toInt160(int256 value) internal pure returns (int160 downcasted) {
        downcasted = int160(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(160, value);
        }
    }

    /**
     * @dev Returns the downcasted int152 from int256, reverting on
     * overflow (when the input is less than smallest int152 or
     * greater than largest int152).
     *
     * Counterpart to Solidity's `int152` operator.
     *
     * Requirements:
     *
     * - input must fit into 152 bits
     */
    function toInt152(int256 value) internal pure returns (int152 downcasted) {
        downcasted = int152(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(152, value);
        }
    }

    /**
     * @dev Returns the downcasted int144 from int256, reverting on
     * overflow (when the input is less than smallest int144 or
     * greater than largest int144).
     *
     * Counterpart to Solidity's `int144` operator.
     *
     * Requirements:
     *
     * - input must fit into 144 bits
     */
    function toInt144(int256 value) internal pure returns (int144 downcasted) {
        downcasted = int144(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(144, value);
        }
    }

    /**
     * @dev Returns the downcasted int136 from int256, reverting on
     * overflow (when the input is less than smallest int136 or
     * greater than largest int136).
     *
     * Counterpart to Solidity's `int136` operator.
     *
     * Requirements:
     *
     * - input must fit into 136 bits
     */
    function toInt136(int256 value) internal pure returns (int136 downcasted) {
        downcasted = int136(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(136, value);
        }
    }

    /**
     * @dev Returns the downcasted int128 from int256, reverting on
     * overflow (when the input is less than smallest int128 or
     * greater than largest int128).
     *
     * Counterpart to Solidity's `int128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     */
    function toInt128(int256 value) internal pure returns (int128 downcasted) {
        downcasted = int128(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(128, value);
        }
    }

    /**
     * @dev Returns the downcasted int120 from int256, reverting on
     * overflow (when the input is less than smallest int120 or
     * greater than largest int120).
     *
     * Counterpart to Solidity's `int120` operator.
     *
     * Requirements:
     *
     * - input must fit into 120 bits
     */
    function toInt120(int256 value) internal pure returns (int120 downcasted) {
        downcasted = int120(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(120, value);
        }
    }

    /**
     * @dev Returns the downcasted int112 from int256, reverting on
     * overflow (when the input is less than smallest int112 or
     * greater than largest int112).
     *
     * Counterpart to Solidity's `int112` operator.
     *
     * Requirements:
     *
     * - input must fit into 112 bits
     */
    function toInt112(int256 value) internal pure returns (int112 downcasted) {
        downcasted = int112(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(112, value);
        }
    }

    /**
     * @dev Returns the downcasted int104 from int256, reverting on
     * overflow (when the input is less than smallest int104 or
     * greater than largest int104).
     *
     * Counterpart to Solidity's `int104` operator.
     *
     * Requirements:
     *
     * - input must fit into 104 bits
     */
    function toInt104(int256 value) internal pure returns (int104 downcasted) {
        downcasted = int104(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(104, value);
        }
    }

    /**
     * @dev Returns the downcasted int96 from int256, reverting on
     * overflow (when the input is less than smallest int96 or
     * greater than largest int96).
     *
     * Counterpart to Solidity's `int96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     */
    function toInt96(int256 value) internal pure returns (int96 downcasted) {
        downcasted = int96(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(96, value);
        }
    }

    /**
     * @dev Returns the downcasted int88 from int256, reverting on
     * overflow (when the input is less than smallest int88 or
     * greater than largest int88).
     *
     * Counterpart to Solidity's `int88` operator.
     *
     * Requirements:
     *
     * - input must fit into 88 bits
     */
    function toInt88(int256 value) internal pure returns (int88 downcasted) {
        downcasted = int88(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(88, value);
        }
    }

    /**
     * @dev Returns the downcasted int80 from int256, reverting on
     * overflow (when the input is less than smallest int80 or
     * greater than largest int80).
     *
     * Counterpart to Solidity's `int80` operator.
     *
     * Requirements:
     *
     * - input must fit into 80 bits
     */
    function toInt80(int256 value) internal pure returns (int80 downcasted) {
        downcasted = int80(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(80, value);
        }
    }

    /**
     * @dev Returns the downcasted int72 from int256, reverting on
     * overflow (when the input is less than smallest int72 or
     * greater than largest int72).
     *
     * Counterpart to Solidity's `int72` operator.
     *
     * Requirements:
     *
     * - input must fit into 72 bits
     */
    function toInt72(int256 value) internal pure returns (int72 downcasted) {
        downcasted = int72(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(72, value);
        }
    }

    /**
     * @dev Returns the downcasted int64 from int256, reverting on
     * overflow (when the input is less than smallest int64 or
     * greater than largest int64).
     *
     * Counterpart to Solidity's `int64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     */
    function toInt64(int256 value) internal pure returns (int64 downcasted) {
        downcasted = int64(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(64, value);
        }
    }

    /**
     * @dev Returns the downcasted int56 from int256, reverting on
     * overflow (when the input is less than smallest int56 or
     * greater than largest int56).
     *
     * Counterpart to Solidity's `int56` operator.
     *
     * Requirements:
     *
     * - input must fit into 56 bits
     */
    function toInt56(int256 value) internal pure returns (int56 downcasted) {
        downcasted = int56(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(56, value);
        }
    }

    /**
     * @dev Returns the downcasted int48 from int256, reverting on
     * overflow (when the input is less than smallest int48 or
     * greater than largest int48).
     *
     * Counterpart to Solidity's `int48` operator.
     *
     * Requirements:
     *
     * - input must fit into 48 bits
     */
    function toInt48(int256 value) internal pure returns (int48 downcasted) {
        downcasted = int48(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(48, value);
        }
    }

    /**
     * @dev Returns the downcasted int40 from int256, reverting on
     * overflow (when the input is less than smallest int40 or
     * greater than largest int40).
     *
     * Counterpart to Solidity's `int40` operator.
     *
     * Requirements:
     *
     * - input must fit into 40 bits
     */
    function toInt40(int256 value) internal pure returns (int40 downcasted) {
        downcasted = int40(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(40, value);
        }
    }

    /**
     * @dev Returns the downcasted int32 from int256, reverting on
     * overflow (when the input is less than smallest int32 or
     * greater than largest int32).
     *
     * Counterpart to Solidity's `int32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     */
    function toInt32(int256 value) internal pure returns (int32 downcasted) {
        downcasted = int32(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(32, value);
        }
    }

    /**
     * @dev Returns the downcasted int24 from int256, reverting on
     * overflow (when the input is less than smallest int24 or
     * greater than largest int24).
     *
     * Counterpart to Solidity's `int24` operator.
     *
     * Requirements:
     *
     * - input must fit into 24 bits
     */
    function toInt24(int256 value) internal pure returns (int24 downcasted) {
        downcasted = int24(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(24, value);
        }
    }

    /**
     * @dev Returns the downcasted int16 from int256, reverting on
     * overflow (when the input is less than smallest int16 or
     * greater than largest int16).
     *
     * Counterpart to Solidity's `int16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     */
    function toInt16(int256 value) internal pure returns (int16 downcasted) {
        downcasted = int16(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(16, value);
        }
    }

    /**
     * @dev Returns the downcasted int8 from int256, reverting on
     * overflow (when the input is less than smallest int8 or
     * greater than largest int8).
     *
     * Counterpart to Solidity's `int8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits
     */
    function toInt8(int256 value) internal pure returns (int8 downcasted) {
        downcasted = int8(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(8, value);
        }
    }

    /**
     * @dev Converts an unsigned uint256 into a signed int256.
     *
     * Requirements:
     *
     * - input must be less than or equal to maxInt256.
     */
    function toInt256(uint256 value) internal pure returns (int256) {
        // Note: Unsafe cast below is okay because `type(int256).max` is guaranteed to be positive
        if (value > uint256(type(int256).max)) {
            revert SafeCastOverflowedUintToInt(value);
        }
        return int256(value);
    }
}

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

pragma solidity ^0.8.20;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**
     * @dev Muldiv operation overflow.
     */
    error MathOverflowedMulDiv();

    enum Rounding {
        Floor, // Toward negative infinity
        Ceil, // Toward positive infinity
        Trunc, // Toward zero
        Expand // Away from zero
    }

    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, with an overflow flag.
     */
    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.
     */
    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.
     */
    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.
     */
    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 largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a > b ? a : b;
    }

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

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

    /**
     * @dev Returns the ceiling of the division of two numbers.
     *
     * This differs from standard division with `/` in that it rounds towards infinity instead
     * of rounding towards zero.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        if (b == 0) {
            // Guarantee the same behavior as in a regular Solidity division.
            return a / b;
        }

        // (a + b - 1) / b can overflow on addition, so we distribute.
        return a == 0 ? 0 : (a - 1) / b + 1;
    }

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

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

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            if (denominator <= prod1) {
                revert MathOverflowedMulDiv();
            }

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

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

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

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

            uint256 twos = denominator & (0 - denominator);
            assembly {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    /**
     * @dev Returns whether a provided rounding mode is considered rounding up for unsigned integers.
     */
    function unsignedRoundsUp(Rounding rounding) internal pure returns (bool) {
        return uint8(rounding) % 2 == 1;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/IERC5313.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface for the Light Contract Ownership Standard.
 *
 * A standardized minimal interface required to identify an account that controls a contract
 */
interface IERC5313 {
    /**
     * @dev Gets the address of the owner.
     */
    function owner() external view returns (address);
}

// SPDX-License-Identifier: MIT
pragma solidity 0.8.28;

contract Initializable {
    error AlreadyInitialized();

    uint256 private constant NOT_INITIALIZED = 1;
    uint256 private constant INITIALIZED = 2;

    uint256 private _status;

    modifier notInitialized() {
        if (_status == INITIALIZED) {
            revert AlreadyInitialized();
        }

        _status = INITIALIZED;

        _;
    }

    constructor() {
        _status = NOT_INITIALIZED;
    }

    function _setInitialized() internal notInitialized {}
}

// SPDX-License-Identifier: GPL-3.0-only
pragma solidity 0.8.28;

import "contracts/token/ERC20/ERC20.sol";

/**
 * @title VSophTokenState
 * @dev Stores shared state for the vSophToken contract.
 */
abstract contract VSophTokenState is ERC20 {
    struct VestingSchedule {
        uint256 totalAmount; // Total tokens to be vested
        uint256 released; // Amount of tokens released so far
        uint256 duration; // Duration of the vesting schedule in seconds
        uint256 startDate; // Start date of the vesting schedule
    }

    // Address holding Wrapped Sophon (wSoph) before it's added to a vesting schedule.
    // If set to this contract's address, wSoph is already here for vesting.
    address public sophonVault;

    // Global vesting start date (if set, vesting cannot start before this time).
    uint256 public vestingStartDate;

    // Mapping of beneficiary addresses to arrays of their vesting schedules.
    mapping(address => VestingSchedule[]) public vestingSchedules;
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.20;

import {IERC20} from "contracts/token/ERC20/IERC20.sol";
import {IERC20Metadata} from "contracts/token/ERC20/extensions/IERC20Metadata.sol";
import {Context} from "contracts/utils/Context.sol";
import {IERC20Errors} from "contracts/interfaces/draft-IERC6093.sol";

/**
 * @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}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * 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.
 */
abstract contract ERC20 is Context, IERC20, IERC20Metadata, IERC20Errors {
    mapping(address account => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * 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 returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual 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 default value returned by this function, unless
     * it's 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 returns (uint8) {
        return 18;
    }

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

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual 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 `value`.
     */
    function transfer(address to, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, value);
        return true;
    }

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

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `value` 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 value) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, value);
        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 `value`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `value`.
     */
    function transferFrom(address from, address to, uint256 value) public virtual returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, value);
        _transfer(from, to, value);
        return true;
    }

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to`.
     *
     * 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.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _transfer(address from, address to, uint256 value) internal {
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        if (to == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(from, to, value);
    }

    /**
     * @dev Transfers a `value` amount of tokens from `from` to `to`, or alternatively mints (or burns) if `from`
     * (or `to`) is the zero address. All customizations to transfers, mints, and burns should be done by overriding
     * this function.
     *
     * Emits a {Transfer} event.
     */
    function _update(address from, address to, uint256 value) internal virtual {
        if (from == address(0)) {
            // Overflow check required: The rest of the code assumes that totalSupply never overflows
            _totalSupply += value;
        } else {
            uint256 fromBalance = _balances[from];
            if (fromBalance < value) {
                revert ERC20InsufficientBalance(from, fromBalance, value);
            }
            unchecked {
                // Overflow not possible: value <= fromBalance <= totalSupply.
                _balances[from] = fromBalance - value;
            }
        }

        if (to == address(0)) {
            unchecked {
                // Overflow not possible: value <= totalSupply or value <= fromBalance <= totalSupply.
                _totalSupply -= value;
            }
        } else {
            unchecked {
                // Overflow not possible: balance + value is at most totalSupply, which we know fits into a uint256.
                _balances[to] += value;
            }
        }

        emit Transfer(from, to, value);
    }

    /**
     * @dev Creates a `value` amount of tokens and assigns them to `account`, by transferring it from address(0).
     * Relies on the `_update` mechanism
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _mint(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(address(0), account, value);
    }

    /**
     * @dev Destroys a `value` amount of tokens from `account`, lowering the total supply.
     * Relies on the `_update` mechanism.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead
     */
    function _burn(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        _update(account, address(0), value);
    }

    /**
     * @dev Sets `value` 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.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

    /**
     * @dev Variant of {_approve} with an optional flag to enable or disable the {Approval} event.
     *
     * By default (when calling {_approve}) the flag is set to true. On the other hand, approval changes made by
     * `_spendAllowance` during the `transferFrom` operation set the flag to false. This saves gas by not emitting any
     * `Approval` event during `transferFrom` operations.
     *
     * Anyone who wishes to continue emitting `Approval` events on the`transferFrom` operation can force the flag to
     * true using the following override:
     * ```
     * function _approve(address owner, address spender, uint256 value, bool) internal virtual override {
     *     super._approve(owner, spender, value, true);
     * }
     * ```
     *
     * Requirements are the same as {_approve}.
     */
    function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual {
        if (owner == address(0)) {
            revert ERC20InvalidApprover(address(0));
        }
        if (spender == address(0)) {
            revert ERC20InvalidSpender(address(0));
        }
        _allowances[owner][spender] = value;
        if (emitEvent) {
            emit Approval(owner, spender, value);
        }
    }

    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `value`.
     *
     * Does not update the allowance value in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Does not emit an {Approval} event.
     */
    function _spendAllowance(address owner, address spender, uint256 value) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            if (currentAllowance < value) {
                revert ERC20InsufficientAllowance(spender, currentAllowance, value);
            }
            unchecked {
                _approve(owner, spender, currentAllowance - value, false);
            }
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.20;

import {IERC20} from "contracts/token/ERC20/IERC20.sol";

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 */
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);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

/**
 * @dev Standard ERC20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC20 tokens.
 */
interface IERC20Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC20InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC20InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `spender`’s `allowance`. Used in transfers.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     * @param allowance Amount of tokens a `spender` is allowed to operate with.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC20InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `spender` to be approved. Used in approvals.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC20InvalidSpender(address spender);
}

/**
 * @dev Standard ERC721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in EIP-20.
     * Used in balance queries.
     * @param owner Address of the current owner of a token.
     */
    error ERC721InvalidOwner(address owner);

    /**
     * @dev Indicates a `tokenId` whose `owner` is the zero address.
     * @param tokenId Identifier number of a token.
     */
    error ERC721NonexistentToken(uint256 tokenId);

    /**
     * @dev Indicates an error related to the ownership over a particular token. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param tokenId Identifier number of a token.
     * @param owner Address of the current owner of a token.
     */
    error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC721InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC721InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param tokenId Identifier number of a token.
     */
    error ERC721InsufficientApproval(address operator, uint256 tokenId);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC721InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC721InvalidOperator(address operator);
}

/**
 * @dev Standard ERC1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC1155 tokens.
 */
interface IERC1155Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     * @param tokenId Identifier number of a token.
     */
    error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC1155InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC1155InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param owner Address of the current owner of a token.
     */
    error ERC1155MissingApprovalForAll(address operator, address owner);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC1155InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC1155InvalidOperator(address operator);

    /**
     * @dev Indicates an array length mismatch between ids and values in a safeBatchTransferFrom operation.
     * Used in batch transfers.
     * @param idsLength Length of the array of token identifiers
     * @param valuesLength Length of the array of token amounts
     */
    error ERC1155InvalidArrayLength(uint256 idsLength, uint256 valuesLength);
}

// SPDX-License-Identifier: MIT

pragma solidity 0.8.28;

import "contracts/token/ERC20/IERC20.sol";
import "contracts/s/IL2WETH.sol";
import "contracts/s/IL2StandardToken.sol";

interface IwSoph is IERC20, IL2WETH, IL2StandardToken {}

// SPDX-License-Identifier: MIT

pragma solidity 0.8.28;

interface IL2WETH {
    event Initialize(string name, string symbol, uint8 decimals);

    function deposit() external payable;

    function withdraw(uint256 _amount) external;

    function depositTo(address _to) external payable;

    function withdrawTo(address _to, uint256 _amount) external;
}

// SPDX-License-Identifier: MIT

pragma solidity 0.8.28;

interface IL2StandardToken {
    event BridgeInitialize(address indexed l1Token, string name, string symbol, uint8 decimals);

    event BridgeMint(address indexed _account, uint256 _amount);

    event BridgeBurn(address indexed _account, uint256 _amount);

    function bridgeMint(address _account, uint256 _amount) external;

    function bridgeBurn(address _account, uint256 _amount) external;

    function l1Address() external view returns (address);

    function l2Bridge() external view returns (address);
}

{
  "evmVersion": "shanghai",
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "libraries": {
    "VSophToken.sol": {}
  },
  "metadata": {
    "appendCBOR": false,
    "bytecodeHash": "none"
  },
  "outputSelection": {
    "*": {
      "*": [
        "abi",
        "metadata"
      ],
      "": [
        "ast"
      ]
    }
  }
}

[{"inputs":[{"internalType":"address","name":"wSophTokenAddress","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"AccessControlBadConfirmation","type":"error"},{"inputs":[{"internalType":"uint48","name":"schedule","type":"uint48"}],"name":"AccessControlEnforcedDefaultAdminDelay","type":"error"},{"inputs":[],"name":"AccessControlEnforcedDefaultAdminRules","type":"error"},{"inputs":[{"internalType":"address","name":"defaultAdmin","type":"address"}],"name":"AccessControlInvalidDefaultAdmin","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bytes32","name":"neededRole","type":"bytes32"}],"name":"AccessControlUnauthorizedAccount","type":"error"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"AddressEmptyCode","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"AddressInsufficientBalance","type":"error"},{"inputs":[],"name":"AlreadyInitialized","type":"error"},{"inputs":[],"name":"DurationMustBeGreaterThanZero","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"inputs":[],"name":"FailedInnerCall","type":"error"},{"inputs":[{"internalType":"uint256","name":"expected","type":"uint256"},{"internalType":"uint256","name":"actual","type":"uint256"}],"name":"InsufficientSophonSent","type":"error"},{"inputs":[],"name":"InvalidInput","type":"error"},{"inputs":[],"name":"InvalidRange","type":"error"},{"inputs":[],"name":"InvalidRecipientAddress","type":"error"},{"inputs":[],"name":"InvalidScheduleIndex","type":"error"},{"inputs":[],"name":"MismatchedArrayLengths","type":"error"},{"inputs":[{"internalType":"uint256","name":"fullBalance","type":"uint256"}],"name":"MustTransferFullBalance","type":"error"},{"inputs":[],"name":"NoTokensToRelease","type":"error"},{"inputs":[],"name":"NoVestingSchedule","type":"error"},{"inputs":[{"internalType":"uint8","name":"bits","type":"uint8"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"SafeCastOverflowedUintDowncast","type":"error"},{"inputs":[{"internalType":"address","name":"token","type":"address"}],"name":"SafeERC20FailedOperation","type":"error"},{"inputs":[],"name":"SophonSent","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"transferAmount","type":"uint256"}],"name":"SophonTransferFailed","type":"error"},{"inputs":[],"name":"TotalAmountMustBeGreaterThanZero","type":"error"},{"inputs":[],"name":"VestingHasNotStartedYet","type":"error"},{"inputs":[],"name":"VestingStartDateAlreadySet","type":"error"},{"inputs":[],"name":"VestingStartDateCannotBeInThePast","type":"error"},{"inputs":[],"name":"ZeroAddress","type":"error"},{"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":[],"name":"DefaultAdminDelayChangeCanceled","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint48","name":"newDelay","type":"uint48"},{"indexed":false,"internalType":"uint48","name":"effectSchedule","type":"uint48"}],"name":"DefaultAdminDelayChangeScheduled","type":"event"},{"anonymous":false,"inputs":[],"name":"DefaultAdminTransferCanceled","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"newAdmin","type":"address"},{"indexed":false,"internalType":"uint48","name":"acceptSchedule","type":"uint48"}],"name":"DefaultAdminTransferScheduled","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"previousAdminRole","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"newAdminRole","type":"bytes32"}],"name":"RoleAdminChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleGranted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleRevoked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"newSophonVault","type":"address"}],"name":"SophonVaultUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"beneficiary","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"TokensReleased","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"beneficiary","type":"address"},{"indexed":false,"internalType":"uint256","name":"totalAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"duration","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"startDate","type":"uint256"}],"name":"VestingScheduleAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"newVestingStartDate","type":"uint256"}],"name":"VestingStartDateUpdated","type":"event"},{"inputs":[],"name":"ADMIN_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DEFAULT_ADMIN_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"IMPLEMENTATION_SLOT","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SCHEDULE_MANAGER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TRANSFERER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"acceptDefaultAdminTransfer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"beneficiaries","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"},{"internalType":"uint256[]","name":"durations","type":"uint256[]"},{"internalType":"uint256[]","name":"startDates","type":"uint256[]"}],"name":"addMultipleVestingSchedules","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"beneficiary","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"uint256","name":"startDate","type":"uint256"}],"name":"addVestingSchedule","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newAdmin","type":"address"}],"name":"beginDefaultAdminTransfer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"cancelDefaultAdminTransfer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint48","name":"newDelay","type":"uint48"}],"name":"changeDefaultAdminDelay","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"defaultAdmin","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"defaultAdminDelay","outputs":[{"internalType":"uint48","name":"","type":"uint48"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"defaultAdminDelayIncreaseWait","outputs":[{"internalType":"uint48","name":"","type":"uint48"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"}],"name":"getRoleAdmin","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"beneficiary","type":"address"},{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"}],"name":"getUnclaimedSchedulesInRange","outputs":[{"internalType":"uint256[]","name":"indexes","type":"uint256[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"beneficiary","type":"address"}],"name":"getVestingSchedules","outputs":[{"components":[{"internalType":"uint256","name":"totalAmount","type":"uint256"},{"internalType":"uint256","name":"released","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"uint256","name":"startDate","type":"uint256"}],"internalType":"struct VSophTokenState.VestingSchedule[]","name":"","type":"tuple[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"beneficiary","type":"address"},{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"}],"name":"getVestingSchedulesInRange","outputs":[{"components":[{"internalType":"uint256","name":"totalAmount","type":"uint256"},{"internalType":"uint256","name":"released","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"uint256","name":"startDate","type":"uint256"}],"internalType":"struct VSophTokenState.VestingSchedule[]","name":"","type":"tuple[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"grantRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"hasRole","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"implementation","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"adminAddress","type":"address"},{"internalType":"address","name":"initialSophonVault","type":"address"}],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pendingDefaultAdmin","outputs":[{"internalType":"address","name":"newAdmin","type":"address"},{"internalType":"uint48","name":"schedule","type":"uint48"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pendingDefaultAdminDelay","outputs":[{"internalType":"uint48","name":"newDelay","type":"uint48"},{"internalType":"uint48","name":"schedule","type":"uint48"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"beneficiary","type":"address"}],"name":"releasableAmount","outputs":[{"internalType":"uint256","name":"totalReleasableAmount","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"releaseAllSchedules","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"startIndex","type":"uint256"},{"internalType":"uint256","name":"endIndex","type":"uint256"}],"name":"releaseSchedulesInRange","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"scheduleIndices","type":"uint256[]"}],"name":"releaseSpecificSchedules","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"beneficiary","type":"address"}],"name":"releasedAmount","outputs":[{"internalType":"uint256","name":"totalReleasedAmount","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"renounceRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"impl_","type":"address"},{"internalType":"bytes","name":"initData_","type":"bytes"}],"name":"replaceImplementation","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"contract IERC20","name":"token","type":"address"}],"name":"rescue","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"revokeRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rollbackDefaultAdminDelay","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newSophonVault","type":"address"}],"name":"setSophonVault","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newVestingStartDate","type":"uint256"}],"name":"setVestingStartDate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sophonVault","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"value","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"}],"name":"transferAllVestingSchedules","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","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":"scheduleIndex","type":"uint256"}],"name":"transferVestingSchedule","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"beneficiary","type":"address"}],"name":"vestedAmount","outputs":[{"internalType":"uint256","name":"totalVestedAmount","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"vestingSchedules","outputs":[{"internalType":"uint256","name":"totalAmount","type":"uint256"},{"internalType":"uint256","name":"released","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"uint256","name":"startDate","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"vestingStartDate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"wSophToken","outputs":[{"internalType":"contract IwSoph","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

9c4d535b00000000000000000000000000000000000000000000000000000000000000000100077b4412941a49640953a46a6db72189dde49df0f8faccac3ba5c8314512000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000200000000000000000000000009b7ea63ef5062661570afe548e3ad691d5652527

0x000400000000000200130000000000020000006004100270000006b80340019700030000003103550002000000010355000006b80040019d0000000100200190000000240000c13d0000008002000039000000400020043f000000040030008c0000005a0000413d000000000201043b000000e002200270000006d50020009c000000710000213d000006fb0020009c000000830000a13d000006fc0020009c000000cd0000213d000007060020009c0000042f0000a13d000007070020009c000005050000213d0000070a0020009c00000bd60000613d0000070b0020009c000012700000c13d0000000001000416000000000001004b000012700000c13d0000001201000039000000800010043f000007290100004100001adc0001042e000000a004000039000000400040043f0000000002000416000000000002004b000012700000c13d0000001f02300039000006b902200197000000a002200039000000400020043f0000001f0530018f000006ba06300198000000a002600039000000360000613d000000000701034f000000007807043c0000000004840436000000000024004b000000320000c13d000000000005004b000000430000613d000000000161034f0000000304500210000000000502043300000000054501cf000000000545022f000000000101043b0000010004400089000000000141022f00000000014101cf000000000151019f0000000000120435000000200030008c000012700000413d000000a00300043d000006bb0030009c000012700000213d000000400600043d000006bc0060009c000000540000213d0000004001600039000000400010043f0000000e010000390000000007160436000006bd010000410000000000170435000000400400043d000006bc0040009c0000028d0000a13d000006cf01000041000000000010043f0000004101000039000000040010043f000006d00100004100001add00010430000000000003004b000012700000c13d000006d20100004100000000001004430000000001000412000000040010044300000024000004430000000001000414000006b80010009c000006b801008041000000c001100210000006d3011001c700008005020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b000006bb011001970000000002000411000000000012004b000002370000c13d000000000100001900001adc0001042e000006d60020009c000000c20000a13d000006d70020009c0000020b0000213d000006e10020009c0000044a0000a13d000006e20020009c000005440000213d000006e50020009c00000c1a0000613d000006e60020009c000012700000c13d0000000001000416000000000001004b000012700000c13d000000800000043f000007290100004100001adc0001042e0000070f0020009c0000023b0000a13d000007100020009c0000029b0000a13d000007110020009c000004a10000213d000007140020009c000007250000613d000007150020009c000012700000c13d000000640030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b000f00000002001d000006bb0020009c000012700000213d0000004402100370000000000202043b000e00000002001d0000002401100370000000000101043b001100000001001d0000000f01000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d0000000e03000029000000110230006c000000b10000a13d000000000101043b000000000101041a000000000013004b00000f9c0000a13d000000400100043d00000044021000390000076203000041000000000032043500000024021000390000000d0300003900000000003204350000074d020000410000000000210435000000040210003900000020030000390000000000320435000006b80010009c000006b80100804100000040011002100000074e011001c700001add00010430000006ea0020009c0000024a0000a13d000006eb0020009c000003290000a13d000006ec0020009c000004fc0000213d000006ef0020009c0000072a0000613d000006f00020009c000005000000613d000012700000013d000006fd0020009c000004590000a13d000006fe0020009c000005560000213d000007010020009c00000c420000613d000007020020009c000012700000c13d000000640030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b001100000002001d000006bb0020009c000012700000213d0000002402100370000000000202043b001000000002001d000006bb0020009c000012700000213d0000004401100370000000000101043b000f00000001001d0000000001000411000006bb01100197000000000010043f0000072001000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff00100190000005d70000613d00000011010000290000001002000029000000000021004b000016020000613d000000000001004b000016020000613d000000000002004b000016020000613d000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000000001004b00000c7f0000613d0000001101000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a0000000f0010006b000013bc0000813d0000001101000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a0000000f0020006c0000153b0000a13d000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000400200043d000e00000002001d000007390020009c000000540000213d000000000101043b0000000e030000290000008002300039000000400020043f0000000f02000029000a0002002002180000000a01100029000000000201041a00000000042304360000000102100039000000000202041a000d00000004001d00000000002404350000000202100039000000000202041a0000004004300039000b00000004001d000000000024043500000003011000390000006002300039000000000101041a000c00000002001d00000000001204350000001001000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a000900000002001d000006c60020009c000000540000213d00000009020000290000000102200039000000000021041b000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d00000009020000290000000202200210000000000101043b00000000012100190000000e020000290000000002020433000000000021041b0000000d0300002900000000030304330000000104100039000000000034041b0000000b0400002900000000040404330000000205100039000000000045041b00000003011000390000000c040000290000000004040433000000000041041b000000000332004b0000136b0000413d000001900000613d000000110100002900000010020000291adb18fa0000040f0000001101000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b001000000001001d0000001101000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000000001004b0000136b0000613d000e0001001000920000001001000029000000000101041a0000000e0010006c0000153b0000a13d0000001001000029000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b001000000001001d0000001101000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a0000000f0020006c0000153b0000a13d000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d0000000e0200002900000002022002100000001002200029000000000101043b0000000a01100029000000000021004b000001f20000613d000000000302041a000000000031041b0000000103200039000000000303041a0000000104100039000000000034041b0000000203200039000000000303041a0000000204100039000000000034041b00000003011000390000000302200039000000000202041a000000000021041b0000001101000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b001100000001001d000000000101041a001000000001001d000000000001004b0000161b0000c13d000006cf01000041000000000010043f0000003101000039000000040010043f000006d00100004100001add00010430000006d80020009c000004910000a13d000006d90020009c000005b90000213d000006dc0020009c00000c580000613d000006dd0020009c000012700000c13d0000000001000416000000000001004b000012700000c13d0000000001000411000006bb01100197000000000010043f000006c201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000a790000613d0000000101000039000000000201041a0000072a03200197000000000031041b0000072b002001980000006f0000613d0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d0200003900000001030000390000072c040000410000126d0000013d000006d401000041000000000010043f000006ce0100004100001add00010430000007190020009c0000040b0000213d0000071d0020009c000007560000613d0000071e0020009c000006470000613d0000071f0020009c000012700000c13d0000000001000416000000000001004b000012700000c13d0000075401000041000000800010043f000007290100004100001adc0001042e000006f40020009c000004220000213d000006f80020009c000008af0000613d000006f90020009c000006540000613d000006fa0020009c000012700000c13d000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b001100000001001d0000072d0010009c000012700000213d0000000001000411000006bb01100197000000000010043f000006c201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000a790000613d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000201043b000007530020009c0000067e0000813d001000000002001d0000000201000039000000000101041a000e00000001001d000f00d00010027a000012e90000c13d0000000101000039000000000101041a000000d0011002700000001102000029000f072d0020019b0000000f0110006c000013650000813d0000000f01000029000007540010009c0000075401008041000013670000013d0000004001400039000000400010043f00000005010000390000000005140436000006be0100004100000000001504350000000008000411000000000008004b000005df0000c13d000006d101000041000000000010043f000000040000043f000006d00100004100001add00010430000007160020009c000006850000613d000007170020009c0000063b0000613d000007180020009c000012700000c13d000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b000006bb0010009c000012700000213d000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000201043b000000000102041a000f00000001001d000000000001004b000000000500001900000a9b0000613d00000000060000190000000005000019000e00000002001d001000000005001d000000000102041a001100000006001d000000000061004b0000153b0000a13d000000000020043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d00000011060000290000000202600210000000000101043b00000000072100190000000a01000039000000000201041a000000000002004b0000031b0000613d0000000301700039000000000301041a000000000003004b0000031b0000613d000b00000003001d000c00000002001d000a00000001001d000d00000007001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d0000000b030000290000000c0030006c0000000c0300a029000000000101043b000000000031004b0000000001000019000000100500002900000011060000290000000d070000290000031d0000413d0000000a01000039000000000101041a000c00000001001d0000000a01000029000000000101041a000b00000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000c040000290000000b0040006b00000000030400190000000b030020290000000100200190000013570000613d000000000101043b000000000231004b000000100500002900000011060000290000000d070000290000136b0000413d000000000107041a0000000203700039000000000303041a000000000032004b0000031d0000813d00000000042100a9000000000001004b000003190000613d00000000011400d9000000000012004b0000136b0000c13d00000000013400d90000031d0000013d000000000100001900000010050000290000000102700039000000000202041a000000000121004b0000136b0000413d000000000051001a0000136b0000413d000000000551001900000001066000390000000f0060006c0000000e02000029000002bf0000413d00000a9b0000013d000006f10020009c000006b60000613d000006f20020009c000006420000613d000006f30020009c000012700000c13d000000840030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b000006c60020009c000012700000213d0000002304200039000000000034004b000012700000813d0000000404200039000000000441034f000000000404043b000500000004001d000006c60040009c000012700000213d000400240020003d000000050200002900000005022002100000000402200029000000000032004b000012700000213d0000002402100370000000000202043b000006c60020009c000012700000213d0000002304200039000000000034004b000012700000813d0000000404200039000000000441034f000000000404043b001100000004001d000006c60040009c000012700000213d000300240020003d000000110200002900000005022002100000000302200029000000000032004b000012700000213d0000004402100370000000000202043b000006c60020009c000012700000213d0000002304200039000000000034004b000012700000813d0000000404200039000000000441034f000000000404043b001000000004001d000006c60040009c000012700000213d000200240020003d000000100200002900000005022002100000000202200029000000000032004b000012700000213d0000006402100370000000000202043b000006c60020009c000012700000213d0000002304200039000000000034004b000012700000813d0000000404200039000000000141034f000000000101043b000f00000001001d000006c60010009c000012700000213d000100240020003d0000000f0100002900000005011002100000000101100029000000000031004b000012700000213d0000000001000411000006bb01100197000000000010043f0000073c01000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000a550000613d0000001102000029000000050020006b000015410000c13d0000001002000029000000050020006b000015410000c13d0000000f02000029000000050020006b000015410000c13d000000050000006b000f00000000001d000015450000c13d0000000901000039000000000101041a001106bb0010019b0000000002000410000000110020006b000003c90000613d000006d20100004100000000001004430000000001000412000000040010044300000024000004430000000001000414000006b80010009c000006b801008041000000c001100210000006d3011001c700008005020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b000000400200043d00000020032000390000074304000041000000000043043500000064032000390000000f0400002900000000004304350000000003000410000006bb033001970000004404200039000000000034043500000024032000390000001104000029000000000043043500000064030000390000000000320435000007440020009c000000540000213d000000a003200039000000400030043f000006bb011001971adb19590000040f000006d20100004100000000001004430000000001000412000000040010044300000024000004430000000001000414000006b80010009c000006b801008041000000c001100210000006d3011001c700008005020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b00000745020000410000000000200443000006bb01100197001100000001001d00000004001004430000000001000414000006b80010009c000006b801008041000000c00110021000000746011001c700008002020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b000000000001004b000012700000613d000000400200043d00000747010000410000000000120435001000000002001d00000004012000390000000f02000029000000000021043500000000010004140000001102000029000000040020008c000004040000613d0000001002000029000006b80020009c000006b8020080410000004002200210000006b80010009c000006b801008041000000c001100210000000000121019f000006d0011001c700000011020000291adb1acc0000040f0000006003100270000106b80030019d000300000001035500000001002001900000160e0000613d0000001001000029000006c60010009c000000540000213d0000001001000029000000400010043f000000000100001900001adc0001042e0000071a0020009c000008b80000613d0000071b0020009c0000070f0000613d0000071c0020009c000012700000c13d000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b001100000002001d000006bb0020009c000012700000213d0000002401100370000000000301043b0000000002000411000000000002004b00000cd40000c13d0000076501000041000002970000013d000006f50020009c000008c90000613d000006f60020009c000007160000613d000006f70020009c000012700000c13d0000000001000416000000000001004b000012700000c13d0000072701000041000000800010043f000007290100004100001adc0001042e0000070c0020009c00000b9c0000613d0000070d0020009c00000a360000613d0000070e0020009c000012700000c13d000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b001100000002001d000006bb0020009c000012700000213d0000002401100370000000000101043b001000000001001d000006bb0010009c000012700000213d1adb16d60000040f000000110100002900000010020000291adb171d0000040f000000000100001900001adc0001042e000006e70020009c00000ba50000613d000006e80020009c00000a5d0000613d000006e90020009c000012700000c13d0000000001000416000000000001004b000012700000c13d000000c001000039000000400010043f0000000502000039000000800020043f000006be02000041000008c00000013d000007030020009c00000bc30000613d000007040020009c00000a800000613d000007050020009c000012700000c13d000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b000006bb0020009c000012700000213d0000002401100370000000000101043b001100000001001d000000000020043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a000000110020006b000012700000813d00000011020000291adb16580000040f0000000302100039000000000202041a0000000203100039000000000303041a000000000401041a0000000101100039000000000101041a000000400500043d0000002006500039000000000016043500000040015000390000000000310435000000600150003900000000002104350000000000450435000006b80050009c000006b80500804100000040015002100000075d011001c700001adc0001042e000006de0020009c00000bca0000613d000006df0020009c00000a9e0000613d000006e00020009c000012700000c13d0000000001000416000000000001004b000012700000c13d1adb16d00000040f000006bb01100197000000800010043f0000072d01200197000000a00010043f0000072e0100004100001adc0001042e000007120020009c00000b340000613d000007130020009c000012700000c13d000000640030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b001100000002001d000006bb0020009c000012700000213d0000002402100370000000000202043b001000000002001d000006bb0020009c000012700000213d0000004401100370000000000101043b000f00000001001d0000000001000411000006bb01100197000e00000001001d000000000010043f0000073201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000c9f0000613d0000001101000029000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a0000000f0010006b000012130000c13d0000001101000029000000000010043f0000000501000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000000e02000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a0000076e0010009c000014600000c13d0000001101000029000000100200002900000f560000013d000006ed0020009c00000b760000613d000006ee0020009c000012700000c13d0000000001000416000000000001004b000012700000c13d0000000201000039000008b30000013d000007080020009c00000c6a0000613d000007090020009c000012700000c13d000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b001100000002001d0000002401100370000000000101043b001000000001001d000006bb0010009c000012700000213d0000001101000029000000000001004b00000010030000290000053d0000c13d0000000202000039000000000202041a000000000232013f000006bb002001980000053d0000c13d0000000101000039000000000101041a000000a0021002700000072d02200197000006bb0010019800000ccf0000c13d000000000002004b00000ccf0000613d000f00000002001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b0000000f02000029000000000012004b00000011010000290000001003000029000000010400003900000ccf0000813d000000000204041a0000075e02200197000000000024041b0000000002000411000000000023004b00000cfe0000613d0000075f01000041000000000010043f000006ce0100004100001add00010430000006e30020009c00000c830000613d000006e40020009c000012700000c13d0000000001000416000000000001004b000012700000c13d0000000001000412001300000001001d001200000000003d000080050100003900000044030000390000000004000415000000130440008a0000000504400210000006d2020000411adb1aae0000040f000008b40000013d000006ff0020009c00000ca70000613d000007000020009c000012700000c13d000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b000006bb0010009c000012700000213d000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000401041a000006c60040009c000000540000213d00000005024002100000003f022000390000073802200197000000400500043d0000000002250019000000000052004b00000000030000390000000103004039000006c60020009c000000540000213d0000000100300190000000540000c13d000000400020043f001100000004001d001000000005001d0000000000450435000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d0000001107000029000000000007004b0000001002000029000005ac0000613d000000000101043b00000000080000190000000003020019000000400400043d000007390040009c000000540000213d0000008005400039000000400050043f000000000501041a00000000055404360000000106100039000000000606041a00000000006504350000000205100039000000000505041a000000400640003900000000005604350000000305100039000000000505041a000000600640003900000000005604350000002003300039000000000043043500000004011000390000000108800039000000000078004b000005940000413d000000400100043d001100000001001d1adb16740000040f00000011020000290000000001210049000006b80010009c000006b8010080410000006001100210000006b80020009c000006b8020080410000004002200210000000000121019f00001adc0001042e000006da0020009c00000cac0000613d000006db0020009c000012700000c13d000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b001100000001001d0000000001000411000006bb01100197000000000010043f0000072001000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000cd80000c13d0000072601000041000000000010043f0000000001000411000000040010043f0000072701000041000000240010043f000007280100004100001add000104300000000102000039000000000102041a000006bf01100197000006c0011001c7000000000012041b0000000202000039000000000102041a000006bb0010019800000c660000c13d000e00000007001d000f00000006001d000c00000005001d001000000004001d000006c101100197000000000181019f000000000012041b000006bb01800197001100000001001d000000000010043f000006c201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c70000801002000039000d00000003001d1adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff00100190000006220000c13d0000001101000029000000000010043f000006c201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a0000076f0220019700000001022001bf000000000021041b0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d020000390000000403000039000006c5040000410000000005000019000000110600002900000000070004111adb1acc0000040f0000000100200190000012700000613d00000003020000390000000101000039000000000012041b0000000f010000290000000007010433000006c60070009c00000010040000290000000e05000029000000540000213d0000000706000039000000000106041a000000010210019000000001011002700000007f0110618f0000001f0010008c00000000030000390000000103002039000000000032004b00000e3e0000613d000006cf01000041000000000010043f0000002201000039000000040010043f000006d00100004100001add000104300000000001000416000000000001004b000012700000c13d0000073401000041000000800010043f000007290100004100001adc0001042e0000000001000416000000000001004b000012700000c13d0000000901000039000008b30000013d000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b0000076600100198000012700000c13d000007670010009c00000cef0000c13d000000010200003900000cf40000013d000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b001100000001001d000006bb0010009c000012700000213d0000000001000411000006bb01100197000000000010043f000006c201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000a790000613d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000201043b000007530020009c000012180000413d0000075701000041000000000010043f0000003001000039000000040010043f000000240020043f000007280100004100001add000104300000000001000416000000000001004b000012700000c13d0000000001000411000006bb01100197000000000010043f000006c201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000a790000613d0000000201000039000000000101041a001000000001001d001100d00010027a000012570000613d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b000000110010006b0000124c0000813d000000100100002900000030011002100000072a011001970000000102000039000000000302041a000006bf03300197000000000113019f000000000012041b000012570000013d000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b001100000002001d000006bb0020009c000012700000213d0000002402100370000000000402043b000006c60040009c000012700000213d0000002302400039000000000032004b000012700000813d0000000405400039000000000251034f000000000202043b000006c60020009c000000540000213d0000001f0620003900000770066001970000003f066000390000077006600197000007390060009c000000540000213d0000008006600039000000400060043f000000800020043f00000000042400190000002404400039000000000034004b000012700000213d0000002003500039000000000331034f00000770042001980000001f0520018f000000a001400039000006e50000613d000000a006000039000000000703034f000000007807043c0000000006860436000000000016004b000006e10000c13d000000000005004b000006f20000613d000000000343034f0000000304500210000000000501043300000000054501cf000000000545022f000000000303043b0000010004400089000000000343022f00000000034301cf000000000353019f0000000000310435000000a00120003900000000000104350000000001000411000006bb01100197000000000010043f000006c201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000a790000613d000000110000006b000013c00000c13d000000400100043d00000044021000390000074f03000041000000000032043500000024021000390000001503000039000000b70000013d0000000001000416000000000001004b000012700000c13d0000074901000041000000800010043f000007290100004100001adc0001042e000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b000006bb0010009c000012700000213d000000000010043f0000000401000039000000200010043f0000004002000039000000000100001900000cc50000013d0000000001000416000000000001004b000012700000c13d000000060100003900000cc60000013d000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b001100000001001d000006bb0010009c000012700000213d0000000001000411000006bb01100197000000000010043f000006c201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000a790000613d0000001101000029000006bb02100197000000400b00043d0000073a0100004100000000001b04350000000401b00039000000000300041000000000003104350000000001000414000000040020008c000010560000c13d0000000103000031000000200030008c00000020040000390000000004034019000010820000013d000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000002402100370000000000202043b000d00000002001d0000000401100370000000000101043b001100000001001d0000000001000411000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000401043b000000000104041a000000000001004b00000c7f0000613d0000000d020000290000001103000029000000000023004b00000b980000813d000000000012004b00000b980000213d0000000a01000039000000000101041a000e00000001001d0000000002000019000c00000004001d001000000002001d000000000104041a001100000003001d000000000031004b0000153b0000a13d000000000040043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d00000011020000290000000202200210000000000101043b00000000032100190000000e0000006b000f00000003001d000007a80000613d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b0000000e0010006c0000000f03000029000007a80000413d0000000301300039000000000201041a000000000002004b000007a80000c13d0000000e02000029000000000021041b0000000a01000039000000000201041a000000000002004b000008570000613d0000000301300039000000000301041a000000000003004b000008570000613d000a00000003001d000b00000002001d000900000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d0000000a030000290000000b0030006c0000000b0300a029000000000101043b000000000031004b0000000001000019000008580000413d0000000a01000039000000000201041a000000000002004b000008070000613d0000000901000029000000000101041a000000000001004b000008070000613d000a00000001001d000b00000002001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d0000000a030000290000000b0030006c0000000b0300a029000000000101043b000000000031004b0000000001000019000008080000413d0000000a01000039000000000101041a000b00000001001d0000000901000029000000000101041a000a00000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000b040000290000000a0040006b00000000030400190000000a030020290000000100200190000013570000613d000000000101043b000000000231004b0000136b0000413d0000000f03000029000000000103041a0000000203300039000000000303041a000000000032004b000008080000813d00000000042100a9000000000001004b000008050000613d00000000011400d9000000000012004b0000136b0000c13d00000000013400d9000008080000013d00000000010000190000000f020000290000000102200039000000000302041a000000000331004b0000136b0000413d000000000003004b000008570000613d000f00000003001d000000000012041b0000000001000411000000000001004b000013710000613d000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000000f02000029000012700000613d000000000101043b000000000101041a000b000000210053000013880000413d0000000001000411000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000000f03000029000012700000613d000000000101043b0000000b02000029000000000021041b0000000602000039000000000102041a0000000001310049000000000012041b000000400100043d0000000000310435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d0200003900000003030000390000073e04000041000000000500041100000000060000191adb1acc0000040f0000000f090000290000000100200190000012700000613d00000000010004140000000004000411000000040040008c000008620000c13d00000001010000310000000102000039000000000001004b000008720000c13d000008990000013d00000000010000190000001002000029000000000021001a0000136b0000413d0000000002210019000000110300002900000001033000390000000d0030006c0000000c040000290000077d0000413d000012900000013d000006b80010009c000006b801008041000000c001100210000006c4011001c70000800902000039000000000309001900000000050000191adb1acc0000040f0000000f09000029000000010220018f00030000000103550000006001100270000106b80010019d000006b801100197000000000001004b000008990000613d000006c60010009c000000540000213d0000001f0310003900000770033001970000003f033000390000077004300197000000400300043d0000000004430019000000000034004b00000000050000390000000105004039000006c60040009c000000540000213d0000000100500190000000540000c13d000000400040043f00000000061304360000077004100198000000000346001900000003050003670000088c0000613d000000000705034f000000007807043c0000000006860436000000000036004b000008880000c13d0000001f01100190000008990000613d000000000445034f0000000301100210000000000503043300000000051501cf000000000515022f000000000404043b0000010001100089000000000414022f00000000011401cf000000000151019f0000000000130435000000000002004b000013730000613d000000400100043d0000000000910435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d020000390000000203000039000007500400004100000000050004111adb1acc0000040f0000000f010000290000000100200190000008580000c13d000012700000013d0000000001000416000000000001004b000012700000c13d0000074901000041000000000101041a000006bb01100197000000800010043f000007290100004100001adc0001042e0000000001000416000000000001004b000012700000c13d000000c001000039000000400010043f0000000e02000039000000800020043f000006bd02000041000000a00020043f00000080020000391adb16360000040f000000c00110008a000006b80010009c000006b801008041000000600110021000000736011001c700001adc0001042e000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b000006c60020009c000012700000213d0000002304200039000000000034004b000012700000813d0000000404200039000000000141034f000000000101043b000d00000001001d000006c60010009c000012700000213d000c00240020003d0000000d0100002900000005011002100000000c01100029000000000031004b000012700000213d0000000001000411000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000b00000001001d000000000101041a000000000001004b00000c7f0000613d0000000d0000006b000012920000613d0000000a01000039000000000101041a000e00000001001d00000000020000190000000005000019001100000005001d000f00000002001d00000005012002100000000c011000290000000201100367000000000301043b0000000b02000029000000000102041a001000000003001d000000000013004b000013bc0000813d000000000020043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f00000001002001900000001105000029000012700000613d00000010020000290000000202200210000000000101043b00000000032100190000000e0000006b001000000003001d0000092d0000613d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b0000000e0010006c000000110500002900000010030000290000092d0000413d0000000301300039000000000201041a000000000002004b0000092d0000c13d0000000e02000029000000000021041b0000000a01000039000000000201041a000000000002004b000009df0000613d0000000301300039000000000301041a000000000003004b000009df0000613d000900000003001d000a00000002001d000800000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d00000009030000290000000a0030006c0000000a0300a029000000000101043b000000000031004b00000000010000190000001105000029000009e00000413d0000000a01000039000000000201041a000000000002004b0000098f0000613d0000000801000029000000000101041a000000000001004b0000098f0000613d000900000001001d000a00000002001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d00000009030000290000000a0030006c0000000a0300a029000000000101043b000000000031004b00000000010000190000001105000029000009900000413d0000000a01000039000000000101041a000a00000001001d0000000801000029000000000101041a000900000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000a04000029000000090040006b000000000304001900000009030020290000000100200190000013570000613d000000000101043b000000000231004b00000011050000290000136b0000413d0000001003000029000000000103041a0000000203300039000000000303041a000000000032004b000009900000813d00000000042100a9000000000001004b0000098d0000613d00000000011400d9000000000012004b0000136b0000c13d00000000013400d9000009900000013d000000000100001900000010020000290000000102200039000000000302041a000000000331004b0000136b0000413d000000000003004b000009df0000613d001000000003001d000000000012041b0000000001000411000000000001004b000013710000613d000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000001002000029000012700000613d000000000101043b000000000101041a000a000000210053000015160000413d0000000001000411000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000001003000029000012700000613d000000000101043b0000000a02000029000000000021041b0000000602000039000000000102041a0000000001310049000000000012041b000000400100043d0000000000310435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d0200003900000003030000390000073e04000041000000000500041100000000060000191adb1acc0000040f00000010090000290000000100200190000012700000613d00000000010004140000000004000411000000040040008c000009e80000c13d00000001010000310000000102000039000000000001004b000009f80000c13d00000a1f0000013d0000000001000019000000000051001a0000136b0000413d00000000055100190000000f0200002900000001022000390000000d0020006c000008fa0000413d000012100000013d000006b80010009c000006b801008041000000c001100210000006c4011001c70000800902000039000000000309001900000000050000191adb1acc0000040f0000001009000029000000010220018f00030000000103550000006001100270000106b80010019d000006b801100197000000000001004b00000a1f0000613d000006c60010009c000000540000213d0000001f0310003900000770033001970000003f033000390000077004300197000000400300043d0000000004430019000000000034004b00000000050000390000000105004039000006c60040009c000000540000213d0000000100500190000000540000c13d000000400040043f000000000613043600000770041001980000000003460019000000030500036700000a120000613d000000000705034f000000007807043c0000000006860436000000000036004b00000a0e0000c13d0000001f0110019000000a1f0000613d000000000445034f0000000301100210000000000503043300000000051501cf000000000515022f000000000404043b0000010001100089000000000414022f00000000011401cf000000000151019f0000000000130435000000000002004b000013730000613d000000400100043d0000000000910435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d020000390000000203000039000007500400004100000000050004111adb1acc0000040f000000100100002900000001002001900000001105000029000009e00000c13d000012700000013d000000840030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b001100000002001d000006bb0020009c000012700000213d0000002401100370000000000101043b001000000001001d0000000001000411000006bb01100197000000000010043f0000073c01000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000e620000c13d0000072601000041000000000010043f0000000001000411000000040010043f0000074801000041000000240010043f000007280100004100001add00010430000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b001100000001001d000006bb0010009c000012700000213d0000000001000411000006bb01100197000000000010043f000006c201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000eb00000c13d0000072601000041000000000010043f0000000001000411000000040010043f000000240000043f000007280100004100001add00010430000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b000006bb0010009c000012700000213d000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000201043b000000000102041a000f00000001001d000000000001004b000000000500001900000ec90000c13d000000400100043d000000000051043500000b710000013d0000000001000416000000000001004b000012700000c13d0000000101000039000000000101041a000006bb021001970000000003000411000000000023004b00000cca0000c13d000000a0011002700000072d0210019800000ccf0000613d001100000002001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b0000001102000029000000000012004b00000ccf0000813d0000000202000039000000000102041a001100000001001d000006c101100197000000000012041b000000000000043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d0000001102000029000006bb02200197000000000101043b001100000002001d000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff00100190000013910000c13d0000000201000039000000000101041a000006bb0010019800000c660000c13d0000000002000411001106bb0020019b000006c10110019700000011011001af0000000202000039000000000012041b000000000000043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000b2e0000c13d000000000000043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a0000076f0220019700000001022001bf000000000021041b0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d020000390000000403000039000006c5040000410000000005000019000000110600002900000000070004111adb1acc0000040f0000000100200190000012700000613d0000000102000039000000000102041a0000072a01100197000000000012041b000000000100001900001adc0001042e000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b000006bb0010009c000012700000213d000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000201043b000000000102041a000f00000001001d000000000001004b000000000300001900000b6f0000613d00000000040000190000000003000019000e00000002001d001100000003001d000000000102041a001000000004001d000000000041004b0000153b0000a13d000000000020043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d00000010040000290000000202400210000000000101043b00000000012100190000000101100039000000000101041a0000001103000029000000000031001a0000136b0000413d000000000331001900000001044000390000000f0040006c0000000e0200002900000b520000413d000000400100043d0000000000310435000006b80010009c000006b801008041000000400110021000000731011001c700001adc0001042e000000640030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b000006bb0020009c000012700000213d0000004403100370000000000303043b001100000003001d0000002401100370000000000101043b000f00000001001d000000000020043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000501043b0000001102000029000e000f0020007400000b980000a13d000000000105041a000000000012004b000010a30000a13d0000076c01000041000000000010043f000006ce0100004100001add00010430000000240030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b1adb16a10000040f00000bcf0000013d000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000002402100370000000000202043b001100000002001d000006bb0020009c000012700000213d0000000401100370000000000101043b000000000010043f000000200000043f000000400200003900000000010000191adb1a990000040f0000001102000029000000000020043f000000200010043f000000000100001900000040020000391adb1a990000040f000000000101041a000000ff001001900000000001000039000000010100c039000000800010043f000007290100004100001adc0001042e0000000001000416000000000001004b000012700000c13d0000074801000041000000800010043f000007290100004100001adc0001042e0000000001000416000000000001004b000012700000c13d1adb16b20000040f0000072d01100197000000400200043d0000000000120435000006b80020009c000006b802008041000000400120021000000731011001c700001adc0001042e000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b001100000002001d0000002401100370000000000101043b001000000001001d000006bb0010009c000012700000213d0000001101000029000000000001004b00000c660000613d000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000000101100039000000000101041a000f00000001001d000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000000002000411000006bb02200197000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff00100190000012fb0000c13d0000072601000041000000000010043f0000000001000411000000040010043f0000000f01000029000000240010043f000007280100004100001add000104300000000001000416000000000001004b000012700000c13d0000000201000039000000000401041a000000d0034002720000000001000019000000000200001900000c390000613d001000000004001d001100000003001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b0000001103000029000000000013004b000000000100001900000000020000190000001004000029000000a0014082700000072d021081970000000001038019000000400300043d000000200430003900000000001404350000000000230435000006b80030009c000006b803008041000000400130021000000735011001c700001adc0001042e000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b001100000002001d000006bb0020009c000012700000213d0000002401100370000000000101043b000006bb0010009c000012700000213d0000000302000039000000000302041a000000020030008c00000f380000c13d0000075c01000041000000000010043f000006ce0100004100001add00010430000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b0000002401100370000000000101043b001100000001001d000006bb0010009c000012700000213d000000000002004b00000cf80000c13d0000076001000041000000000010043f000006ce0100004100001add000104300000000001000416000000000001004b000012700000c13d0000000001000411000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000201043b000000000102041a000d00000001001d000000000001004b00000d010000c13d0000076d01000041000000000010043f000006ce0100004100001add00010430000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000401100370000000000101043b001100000001001d000006bb0010009c000012700000213d0000000001000411000006bb01100197000000000010043f0000073201000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff0010019000000f400000c13d0000072601000041000000000010043f0000000001000411000000040010043f0000073401000041000000240010043f000007280100004100001add000104300000000001000416000000000001004b000012700000c13d0000000a0100003900000cc60000013d000000440030008c000012700000413d0000000002000416000000000002004b000012700000c13d0000000402100370000000000202043b000006bb0020009c000012700000213d0000002401100370000000000101043b001100000001001d000006bb0010009c000012700000213d000000000020043f0000000501000039000000200010043f000000400200003900000000010000191adb1a990000040f0000001102000029000000000020043f000000200010043f000000000100001900000040020000391adb1a990000040f000000000101041a000000800010043f000007290100004100001adc0001042e000006d101000041000000000010043f000000040030043f000006d00100004100001add000104300000073001000041000000000010043f000000040020043f000006d00100004100001add00010430000000110000006b00000f590000c13d0000076401000041000002970000013d0000000a01000039000000000101041a000000000001004b00000f8d0000c13d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b0000001102000029000000000012004b0000125d0000813d0000072501000041000000000010043f000006ce0100004100001add00010430000007680010009c00000000020000390000000102006039000007690010009c00000001022061bf000000010120018f000000800010043f000007290100004100001adc0001042e0000000001020019001000000002001d1adb16a10000040f1adb16f30000040f000000100100002900000011020000291adb1a400000040f000000000100001900001adc0001042e0000000a01000039000000000101041a000e00000001001d00000000030000190000000005000019000c00000002001d001100000005001d000000000102041a001000000003001d000000000031004b0000153b0000a13d000000000020043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f00000001002001900000001105000029000012700000613d00000010020000290000000202200210000000000101043b00000000032100190000000e0000006b000f00000003001d00000d340000613d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b0000000e0010006c00000011050000290000000f0300002900000d340000413d0000000301300039000000000201041a000000000002004b00000d340000c13d0000000e02000029000000000021041b0000000a01000039000000000201041a000000000002004b00000de60000613d0000000301300039000000000301041a000000000003004b00000de60000613d000a00000003001d000b00000002001d000900000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d0000000a030000290000000b0030006c0000000b0300a029000000000101043b000000000031004b0000000001000019000000110500002900000de70000413d0000000a01000039000000000201041a000000000002004b00000d960000613d0000000901000029000000000101041a000000000001004b00000d960000613d000a00000001001d000b00000002001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d0000000a030000290000000b0030006c0000000b0300a029000000000101043b000000000031004b0000000001000019000000110500002900000d970000413d0000000a01000039000000000101041a000b00000001001d0000000901000029000000000101041a000a00000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000b040000290000000a0040006b00000000030400190000000a030020290000000100200190000013570000613d000000000101043b000000000231004b00000011050000290000136b0000413d0000000f03000029000000000103041a0000000203300039000000000303041a000000000032004b00000d970000813d00000000042100a9000000000001004b00000d940000613d00000000011400d9000000000012004b0000136b0000c13d00000000013400d900000d970000013d00000000010000190000000f020000290000000102200039000000000302041a000000000331004b0000136b0000413d000000000003004b00000de60000613d000f00000003001d000000000012041b0000000001000411000000000001004b000013710000613d000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000000f02000029000012700000613d000000000101043b000000000101041a000b000000210053000013880000413d0000000001000411000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000000f03000029000012700000613d000000000101043b0000000b02000029000000000021041b0000000602000039000000000102041a0000000001310049000000000012041b000000400100043d0000000000310435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d0200003900000003030000390000073e04000041000000000500041100000000060000191adb1acc0000040f0000000f090000290000000100200190000012700000613d00000000010004140000000004000411000000040040008c00000df00000c13d00000001010000310000000102000039000000000001004b00000e000000c13d00000e270000013d0000000001000019000000000051001a0000136b0000413d0000000005510019000000100300002900000001033000390000000d0030006c0000000c0200002900000d070000413d000012100000013d000006b80010009c000006b801008041000000c001100210000006c4011001c70000800902000039000000000309001900000000050000191adb1acc0000040f0000000f09000029000000010220018f00030000000103550000006001100270000106b80010019d000006b801100197000000000001004b00000e270000613d000006c60010009c000000540000213d0000001f0310003900000770033001970000003f033000390000077004300197000000400300043d0000000004430019000000000034004b00000000050000390000000105004039000006c60040009c000000540000213d0000000100500190000000540000c13d000000400040043f000000000613043600000770041001980000000003460019000000030500036700000e1a0000613d000000000705034f000000007807043c0000000006860436000000000036004b00000e160000c13d0000001f0110019000000e270000613d000000000445034f0000000301100210000000000503043300000000051501cf000000000515022f000000000404043b0000010001100089000000000414022f00000000011401cf000000000151019f0000000000130435000000000002004b000013730000613d000000400100043d0000000000910435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d020000390000000203000039000007500400004100000000050004111adb1acc0000040f0000000f010000290000000100200190000000110500002900000de70000c13d000012700000013d000000200010008c00000e4f0000413d000000000060043f0000001f027000390000000502200270000006c70220009a000000200070008c000006c8020040410000001f011000390000000501100270000006c70110009a000000000012004b00000e4f0000813d000000000002041b0000000102200039000000000012004b00000e4b0000413d0000001f0070008c00000f910000a13d001100000007001d000000000060043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000200200008a0000001102200180000000000101043b000012960000c13d0000002003000039000012a30000013d00000000020004120000000901000039000000000101041a000006bb011001970000000003000410000000000031004b000011040000c13d000006d2010000410000000000100443000000040020044300000024000004430000000001000414000006b80010009c000006b801008041000000c001100210000006d3011001c700008005020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b00000745020000410000000000200443000006bb01100197000f00000001001d00000004001004430000000001000414000006b80010009c000006b801008041000000c00110021000000746011001c700008002020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b000000000001004b000012700000613d000000400200043d00000747010000410000000000120435000e00000002001d00000004012000390000001002000029000000000021043500000000010004140000000f02000029000000040020008c00000ea30000613d0000000e02000029000006b80020009c000006b8020080410000004002200210000006b80010009c000006b801008041000000c001100210000000000121019f000006d0011001c70000000f020000291adb1acc0000040f0000006003100270000106b80030019d000300000001035500000001002001900000142a0000613d0000000e0100002900000000020000191adb168f0000040f00000002010003670000004402100370000000000302043b0000006401100370000000000401043b000000110100002900000010020000291adb18440000040f000000000100001900001adc0001042e0000001101000029000000000001004b00000eb40000c13d0000000001000410000006bb011001970000000902000039000000000302041a000006c103300197000000000313019f000000000032041b000000400200043d0000000000120435000006b80020009c000006b80200804100000040012002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d02000039000000010300003900000737040000410000126d0000013d00000000060000190000000005000019000e00000002001d001100000005001d000000000102041a001000000006001d000000000061004b0000153b0000a13d000000000020043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000000a02000039000000000302041a000000000003004b000000110500002900000f2a0000613d0000001006000029000000020260021000000000012100190000000302100039000000000402041a000000000004004b00000f340000613d000b00000004001d000c00000003001d000d00000002001d000a00000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d0000000b030000290000000c0030006c0000000c0300a029000000000101043b000000000031004b0000000001000019000000110500002900000010060000290000000d0200002900000f2c0000413d0000000a01000039000000000101041a000c00000001001d000000000102041a000d00000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000c040000290000000d0040006b00000000030400190000000d030020290000000100200190000013570000613d000000000101043b000000000231004b000000110500002900000010060000290000136b0000413d0000000a03000029000000000103041a0000000203300039000000000303041a000000000032004b00000f2c0000813d00000000042100a9000000000001004b00000f260000613d00000000011400d9000000000012004b0000136b0000c13d00000000013400d9000000000051001a0000136b0000413d00000f2e0000013d00000000010000190000001006000029000000000051001a0000136b0000413d000000000551001900000001066000390000000f0060006c0000000e0200002900000ecc0000413d00000a9b0000013d0000000001000019000000000050001a0000136b0000413d00000f2e0000013d0000000203000039000000000032041b000000110000006b0000112b0000c13d0000075b01000041000000000010043f000006ce0100004100001add000104300000000001000411000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a00000024020000390000000202200367000000000202043b000000000012004b000012130000c13d000000000100041100000011020000291adb171d0000040f000000010100003900000bcf0000013d001000000003001d000000000020043f0000000501000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001002000029000000000021041b000000400100043d0000000000210435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d0200003900000003030000390000076304000041000000000500041100000011060000291adb1acc0000040f0000000100200190000012700000613d000000400100043d0000000102000039000000000021043500000b710000013d0000072101000041000000000010043f000006ce0100004100001add00010430000000000007004b000000000100001900000f950000613d000000000105043300000003027002100000076e0220027f0000076e02200167000000000121016f0000000102700210000000000121019f000012b20000013d000006c60020009c000000540000213d00000005012002100000003f031000390000073805300197000000400400043d0000000003540019000900000004001d000000000043004b00000000040000390000000104004039000006c60030009c000000540000213d0000000100400190000000540000c13d000000400030043f00000009030000290000000003230436000800000003001d0000001f0310018f00000000040000310000000204400367000000000001004b00000fbb0000613d00000008080000290000000006180019000000000704034f000000007907043c0000000008980436000000000068004b00000fb70000c13d000000000003004b000000400600043d0000000005560019000700000006001d000000000065004b00000000060000390000000106004039000006c60050009c000000540000213d0000000100600190000000540000c13d000000400050043f00000007050000290000000002250436000600000002001d000000000001004b00000fd20000613d00000006020000290000000001120019000000004504043c0000000002520436000000000012004b00000fce0000c13d000000000003004b001000000000001d00000fda0000013d00000011020000290000000102200039001100000002001d0000000e0020006c000014640000813d0000000f01000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a000000110020006c0000153b0000a13d000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d00000011020000290000000202200210000000000101043b00000000052100190000000a01000039000000000201041a000000000002004b0000103e0000613d0000000301500039000000000301041a000000000003004b0000103e0000613d000b00000003001d000c00000002001d000a00000001001d000d00000005001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d0000000b030000290000000c0030006c0000000c0300a029000000000101043b000000000031004b00000000010000190000000d050000290000103f0000413d0000000a01000039000000000101041a000c00000001001d0000000a01000029000000000101041a000b00000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000c040000290000000b0040006b00000000030400190000000b030020290000000100200190000013570000613d000000000101043b000000000231004b0000000d050000290000136b0000413d000000000105041a0000000203500039000000000303041a000000000032004b0000103f0000813d00000000042100a9000000000001004b0000103c0000613d00000000011400d9000000000012004b0000136b0000c13d00000000013400d90000103f0000013d00000000010000190000000102500039000000000202041a000000000121004b0000136b0000413d00000fd50000613d00000009020000290000000002020433000000100020006c0000153b0000a13d0000001004000029000000050240021000000008032000290000001105000029000000000053043500000007030000290000000003030433000000000043004b0000153b0000a13d000000060220002900000000001204350000001001000029001000010010003d00000fd50000013d000006b800b0009c000006b80300004100000000030b40190000004003300210000006b80010009c000006b801008041000000c001100210000000000131019f000006d0011001c700100000000b001d1adb1ad10000040f000000100b0000290000006003100270000006b803300197000000200030008c000000200400003900000000040340190000001f0640018f000000200740019000000000057b0019000010710000613d000000000801034f00000000090b0019000000008a08043c0000000009a90436000000000059004b0000106d0000c13d000000000006004b0000107e0000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000100000003001f00030000000103550000000100200190000012720000613d0000001f01400039000000600110018f0000000004b10019000000000014004b00000000010000390000000101004039000006c60040009c000000540000213d0000000100100190000000540000c13d000000400040043f000000200030008c000012700000413d00000000010b0433001000000004001d00000020024000390000073b0300004100000000003204350000004402400039000000000012043500000024014000390000000002000411000000000021043500000044010000390000000000140435000000640200003900000000010400191adb168f0000040f000000110100002900000010020000291adb19590000040f000000000100001900001adc0001042e0000000e01000029000006c60010009c000000540000213d0000000e0100002900000005011002100000003f021000390000073802200197000000400600043d0000000002260019000000000062004b00000000030000390000000103004039000006c60020009c000000540000213d0000000100300190000000540000c13d000000400020043f0000000e020000290000000002260436000d00000002001d0000000002000019000000400300043d000007390030009c000000540000213d0000008004300039000000400040043f0000006004300039000000000004043500000040043000390000000000040435000000200430003900000000000404350000000000030435000000200220003900000000046200190000000000340435000000000012004b000010b80000413d0000000004000019000c00000005001d000b00000006001d0011000f0040002d000000000105041a000000110010006c0000153b0000a13d001000000004001d000000000050043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000400200043d000007390020009c0000000c050000290000000b06000029000000540000213d000000000101043b0000008003200039000000400030043f000000110300002900000002033002100000000001310019000000000301041a00000000033204360000000104100039000000000404041a00000000004304350000000203100039000000000303041a0000004004200039000000000034043500000003011000390000006003200039000000000101041a000000000013043500000000010604330000001004000029000000000041004b0000153b0000a13d00000005014002100000000d0110002900000000002104350000000001060433000000000041004b0000153b0000a13d00000001044000390000000e0040006c000010cc0000413d000000400100043d001100000001001d0000000002060019000005ae0000013d000f00000001001d000006d2010000410000000000100443000000040020044300000024000004430000000001000414000006b80010009c000006b801008041000000c001100210000006d3011001c700008005020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b000000400200043d0000002003200039000007430400004100000000004304350000006403200039000000100400002900000000004304350000000003000410000006bb033001970000004404200039000000000034043500000024032000390000000f04000029000000000043043500000064030000390000000000320435000007440020009c000000540000213d000000a003200039000000400030043f000006bb011001971adb19590000040f000000000200041200000e690000013d000000000001004b0000112e0000c13d0000000001000410000006bb011001970000000902000039000000000302041a000006c103300197000000000113019f000000000012041b0000072701000041000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff001001900000117d0000c13d0000072701000041000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a0000076f0220019700000001022001bf000000000021041b0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d0200003900000004030000390000000007000411000006c504000041000007270500004100000011060000291adb1acc0000040f0000000100200190000012700000613d0000074801000041000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff00100190000011c60000c13d0000074801000041000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a0000076f0220019700000001022001bf000000000021041b0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d0200003900000004030000390000000007000411000006c504000041000007480500004100000011060000291adb1acc0000040f0000000100200190000012700000613d0000073401000041000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff001001900000006f0000c13d0000073401000041000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a0000076f0220019700000001022001bf000000000021041b0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d0200003900000004030000390000000007000411000006c504000041000007340500004100000011060000291adb1acc0000040f00000001002001900000006f0000c13d000012700000013d000000000005004b0000006f0000c13d000012920000013d0000073302000041000000000020043f000000040010043f000006d00100004100001add00010430001000000002001d0000000201000039000000000101041a000e00000001001d000f00d00010027a000013450000c13d0000000101000039000000000101041a000000d0011002700000001001100029001000000001001d0000072d0010009c0000136b0000213d0000001001000029000000a0011002100000072b011001970000000102000039000000000302041a0000072a04300197000000000141019f00000011011001af000000000012041b0000072b003001980000123b0000613d0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d0200003900000001030000390000072c040000411adb1acc0000040f0000000100200190000012700000613d000000400100043d00000010020000290000000000210435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d020000390000000203000039000007580400004100000011050000290000126d0000013d0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d02000039000000010300003900000755040000411adb1acc0000040f0000000100200190000012700000613d0000000202000039000000000102041a000006bb01100197000000000012041b000000000100001900001adc0001042e0000000a01000039000000000021041b000000400100043d0000000000210435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d02000039000000010300003900000724040000411adb1acc0000040f00000001002001900000006f0000c13d000000000100001900001add000104300000001f0530018f000006ba06300198000000400200043d00000000046200190000127d0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b000012790000c13d000000000005004b0000128a0000613d000000000161034f0000000305500210000000000604043300000000065601cf000000000656022f000000000101043b0000010005500089000000000151022f00000000015101cf000000000161019f00000000001404350000006001300210000006b80020009c000006b8020080410000004002200210000000000112019f00001add00010430000000000002004b0000006f0000c13d0000076b01000041000000000010043f000006ce0100004100001add00010430000000010320008a00000005033002700000000004310019000000200300003900000001044000390000000f0600002900000000056300190000000005050433000000000051041b00000020033000390000000101100039000000000041004b0000129c0000c13d0000001105000029000000000052004b000012ae0000813d0000000302500210000000f80220018f0000076e0220027f0000076e022001670000000f033000290000000003030433000000000223016f000000000021041b000000010150021000000001011001bf00000010040000290000000706000039000000000016041b0000000001040433001100000001001d000006c60010009c000000540000213d0000000801000039000000000201041a000000010020019000000001012002700000007f0110618f0000001f0010008c00000000030000390000000103002039000000000232013f0000000100200190000006350000c13d000000200010008c000012d50000413d0000000802000039000000000020043f00000011030000290000001f023000390000000502200270000006ca0220009a000000200030008c000006cb020040410000001f011000390000000501100270000006ca0110009a000000000012004b000012d50000813d000000000002041b0000000102200039000000000012004b000012d10000413d00000011010000290000001f0010008c000013580000a13d0000000801000039000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000200200008a0000001102200180000000000101043b000013f60000c13d0000002003000039000014030000013d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b0000000f0010006b000002820000813d0000000e01000029000000a0011002700000072d01100197000002850000013d0000001101000029000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001002000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000101041a000000ff001001900000006f0000c13d0000001101000029000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001002000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a0000076f0220019700000001022001bf000000000021041b0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d020000390000000403000039000006c5040000410000001105000029000000100600002900000000070004111adb1acc0000040f00000001002001900000006f0000c13d000012700000013d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000013570000613d000000000101043b0000000f0010006b0000121e0000813d0000000e01000029000000a0011002700000072d01100197000012210000013d000000000001042f000000110000006b00000000010000190000135d0000613d0000000c010000290000000001010433000000110400002900000003024002100000076e0220027f0000076e02200167000000000121016f0000000102400210000000000221019f000014110000013d0000072d0010009c0000136b0000213d0000001001100029000e00000001001d0000072d0010009c0000137a0000a13d000006cf01000041000000000010043f0000001101000039000000040010043f000006d00100004100001add000104300000076a01000041000002970000013d0000075101000041000000000010043f0000000001000411000000040010043f000000240090043f000007280100004100001add000104300000000201000039000000000101041a000000d002100272000014440000613d000000100020006c000014370000813d00000030021002100000072a022001970000000103000039000000000403041a000006bf04400197000000000224019f000000000023041b000014440000013d0000075202000041000000000020043f0000000002000411000000040020043f000000240010043f0000000f01000029000000440010043f0000074e0100004100001add00010430000000000000043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a0000076f02200197000000000021041b0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d0200003900000004030000390000072f040000410000000005000019000000110600002900000000070004111adb1acc0000040f000000010020019000000add0000c13d000012700000013d0000075901000041000000000010043f000006ce0100004100001add0001043000000749010000410000001102000029000000000021041b000000800100043d000000000001004b0000006f0000613d00000000020004140000001103000029000000040030008c000014b50000c13d00000001010000320000006f0000613d000006c60010009c000000540000213d0000001f0210003900000770022001970000003f022000390000077003200197000000400200043d0000000003320019000000000023004b00000000040000390000000104004039000006c60030009c000000540000213d0000000100400190000000540000c13d000000400030043f000000000512043600000770021001980000001f0310018f00000000012500190000000304000367000013e70000613d000000000604034f000000006706043c0000000005750436000000000015004b000013e30000c13d000000000003004b0000006f0000613d000000000224034f0000000303300210000000000401043300000000043401cf000000000434022f000000000202043b0000010003300089000000000232022f00000000023201cf000000000242019f0000000000210435000000000100001900001adc0001042e000000010320008a0000000503300270000000000431001900000020030000390000000104400039000000100600002900000000056300190000000005050433000000000051041b00000020033000390000000101100039000000000041004b000013fc0000c13d000000110020006c0000140e0000813d00000011020000290000000302200210000000f80220018f0000076e0220027f0000076e0220016700000010033000290000000003030433000000000223016f000000000021041b0000001101000029000000010110021000000001021001bf0000000d01000029000006bb011001980000000803000039000000000023041b0000141a0000c13d000006cd01000041000000000010043f000006ce0100004100001add00010430000000800010043f0000000302000039000000000202041a000000020020008c00000c540000613d00000002020000390000000303000039000000000023041b000001400000044300000160001004430000002001000039000001000010044300000001010000390000012000100443000006cc0100004100001adc0001042e000006b8033001970000001f0530018f000006ba06300198000000400200043d00000000046200190000127d0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b000014320000c13d0000127d0000013d0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d02000039000000010300003900000755040000411adb1acc0000040f0000000100200190000012700000613d0000000201000039000000000101041a000006bb011001970000001102000029000000a0022002100000072b02200197000000000112019f0000000e03000029000000d002300210000000000121019f0000000202000039000000000012041b000000400100043d000000200210003900000000003204350000000f020000290000000000210435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c3011001c70000800d02000039000000010300003900000756040000410000126d0000013d000d000f00100074000014cd0000813d0000076102000041000013890000013d0000001001000029000006c60010009c000000540000213d000000100100002900000005041002100000003f014000390000073803100197000000400100043d0000000002310019000000000012004b00000000050000390000000105004039000006c60020009c000000540000213d0000000100500190000000540000c13d000000400020043f000000100200002900000000022104360000001f0540018f00000000060000310000000206600367000000000004004b000014830000613d0000000007420019000000000806034f0000000009020019000000008a08043c0000000009a90436000000000079004b0000147f0000c13d000000000005004b000000400700043d00000000033700190000000009070019000000000073004b00000000070000390000000107004039000006c60030009c000000540000213d0000000100700190000000540000c13d000000400030043f00000010030000290000000003390436000000000004004b000014990000613d00000000044300190000000007030019000000006806043c0000000007870436000000000047004b000014950000c13d000000000005004b000000100000006b00000000080900190000151f0000c13d000000400300043d001100000003001d00000040020000390000000002230436001000000002001d0000004002300039000f00000008001d1adb164b0000040f0000000002010019000000110120006a000000100300002900000000001304350000000f010000291adb164b0000040f00000011020000290000000001210049000006b80020009c000006b8020080410000004002200210000006b80010009c000006b8010080410000006001100210000000000121019f00001adc0001042e000006b80010009c000006b8010080410000006001100210000006b80020009c000006b802008041000000c002200210000000000112019f0000074a011001c700000011020000291adb1ad60000040f00030000000103550000006003100270000106b80030019d000006b803300198000014f00000c13d00000001002001900000006f0000c13d000000400100043d00000044021000390000074c03000041000000000032043500000024021000390000000b03000039000000b70000013d000000110000006b000004200000613d0000000001000411000000000001004b00000cd60000613d0000001101000029000000000010043f0000000501000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000000e02000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000000d02000029000000000021041b000004f90000013d0000001f04300039000006b9044001970000003f044000390000074b04400197000000400500043d0000000004450019000000000054004b00000000060000390000000106004039000006c60040009c000000540000213d0000000100600190000000540000c13d000000400040043f0000001f0430018f0000000006350436000006ba053001980000000003560019000015080000613d000000000701034f000000007807043c0000000006860436000000000036004b000015040000c13d000000000004004b000014c40000613d000000000151034f0000000304400210000000000503043300000000054501cf000000000545022f000000000101043b0000010004400089000000000141022f00000000014101cf000000000151019f0000000000130435000014c40000013d0000075202000041000000000020043f0000000002000411000000040020043f000000240010043f0000001001000029000000440010043f0000074e0100004100001add00010430000000000400001900000009050000290000000005050433000000000045004b0000153b0000a13d0000000005010433000000000045004b0000153b0000a13d0000000505400210000000000625001900000008075000290000000007070433000000000076043500000007060000290000000006060433000000000046004b0000153b0000a13d0000000006080433000000000046004b0000153b0000a13d00000000063500190000000605500029000000000505043300000000005604350000000104400039000000100040006c000015200000413d0000149d0000013d000006cf01000041000000000010043f0000003201000039000000040010043f000006d00100004100001add000104300000073d01000041000000000010043f000006ce0100004100001add0001043000000002010003670000000003000019000f00000000001d000b00000003001d00000005023002100000000403200029000000000331034f000000000303043b001100000003001d000006bb0030009c000012700000213d000000030520002900000001032000290000000202200029000000000221034f000000000331034f000000000151034f000000000403043b000000000302043b000000000201043b000000110000006b000016020000613d000000000002004b000016060000613d000700000005001d000000000003004b0000160a0000613d000d00000003001d001000000002001d0000000a01000039000000000101041a000000000041004b00000000020000390000000102004039000000000001004b0000000003000039000000010300603900000000002301a00000000004016019000c00000004001d000000400100043d000e00000001001d000007390010009c000000540000213d0000000e030000290000008001300039000000400010043f00000060023000390000000c01000029000a00000002001d000000000012043500000040023000390000000d01000029000900000002001d000000000012043500000010010000290000000001130436000800000001001d00000000000104350000001101000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a000006c60020009c000000540000213d000600000002001d0000000102200039000000000021041b000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d00000006020000290000000202200210000000000101043b00000000012100190000000e020000290000000002020433000000000021041b000000080200002900000000020204330000000103100039000000000023041b000000090200002900000000020204330000000203100039000000000023041b00000003011000390000000a020000290000000002020433000000000021041b0000000601000039000000000101041a0000001002000029000000000021001a0000136b0000413d00000000012100190000000602000039000000000012041b0000001101000029000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b000000000201041a00000010030000290000000002320019000000000021041b000000400100043d0000000000310435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d0200003900000003030000390000073e04000041000000000500001900000011060000291adb1acc0000040f0000000100200190000012700000613d000000400100043d00000040021000390000000c03000029000000000032043500000020021000390000000d03000029000000000032043500000010020000290000000000210435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f0000073f011001c70000800d020000390000000203000039000007400400004100000011050000291adb1acc0000040f0000000100200190000012700000613d00000002010003670000000702100360000000000202043b0000000f0020002a0000136b0000413d000f000f0020002d0000000b030000290000000103300039000000050030006c000015480000413d0000039e0000013d0000075a01000041000000000010043f000006ce0100004100001add000104300000074201000041000000000010043f000006ce0100004100001add000104300000074101000041000000000010043f000006ce0100004100001add00010430000006b8033001970000001f0530018f000006ba06300198000000400200043d00000000046200190000127d0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b000016160000c13d0000127d0000013d0000001101000029000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000012700000613d000000000101043b0000001002000029000000010220008a00000002032002100000000001310019000000000001041b0000000103100039000000000003041b0000000203100039000000000003041b0000000301100039000000000001041b0000001101000029000000000021041b000000000100001900001adc0001042e00000020030000390000000004310436000000003202043400000000002404350000004001100039000000000002004b000016450000613d000000000400001900000000054100190000000006430019000000000606043300000000006504350000002004400039000000000024004b0000163e0000413d000000000321001900000000000304350000001f0220003900000770022001970000000001210019000000000001042d000000000301001900000000040104330000000001420436000000000004004b000016570000613d00000000020000190000002003300039000000000503043300000000015104360000000102200039000000000042004b000016510000413d000000000001042d0001000000000002000000000301041a000100000002001d000000000023004b0000166c0000a13d000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000016720000613d00000001020000290000000202200210000000000101043b0000000001210019000000000001042d000006cf01000041000000000010043f0000003201000039000000040010043f000006d00100004100001add00010430000000000100001900001add0001043000000020030000390000000004310436000000000302043300000000003404350000004001100039000000000003004b0000168e0000613d00000000040000190000002002200039000000000502043300000000760504340000000006610436000000000707043300000000007604350000004006500039000000000606043300000040071000390000000000670435000000600550003900000000050504330000006006100039000000000056043500000080011000390000000104400039000000000034004b0000167c0000413d000000000001042d0000001f0220003900000770022001970000000001120019000000000021004b00000000020000390000000102004039000006c60010009c0000169b0000213d00000001002001900000169b0000c13d000000400010043f000000000001042d000006cf01000041000000000010043f0000004101000039000000040010043f000006d00100004100001add00010430000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000016b00000613d000000000101043b0000000101100039000000000101041a000000000001042d000000000100001900001add0001043000020000000000020000000201000039000000000101041a000000d002100272000016cb0000613d000100000002001d000200000001001d000007220100004100000000001004430000000001000414000006b80010009c000006b801008041000000c00110021000000723011001c70000800b020000391adb1ad10000040f0000000100200190000016cf0000613d000000000101043b000000010010006b0000000201000029000016cb0000813d000000a0011002700000072d01100197000000000001042d0000000101000039000000000101041a000000d001100270000000000001042d000000000001042f0000000101000039000000000201041a000006bb01200197000000a0022002700000072d02200197000000000001042d0000000001000411000006bb01100197000000000010043f0000072001000041000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000016e90000613d000000000101043b000000000101041a000000ff00100190000016eb0000613d000000000001042d000000000100001900001add000104300000072601000041000000000010043f0000000001000411000000040010043f0000072701000041000000240010043f000007280100004100001add000104300001000000000002000100000001001d000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000017130000613d000000000101043b0000000002000411000006bb02200197000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000017130000613d000000000101043b000000000101041a000000ff00100190000017150000613d000000000001042d000000000100001900001add000104300000072601000041000000000010043f0000000001000411000000040010043f0000000101000029000000240010043f000007280100004100001add000104300007000000000002000206bb0020019c0000182d0000613d000006bb011001980000182d0000613d000000020010006c0000182d0000613d000100000001001d000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d000000000101043b000000000101041a000000000001004b000018310000613d0000000101000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d000000000201043b000000000102041a000000000001004b000017970000613d0000000005000019000600000002001d0000174e0000013d00000001055000390000000602000029000000000102041a000000000015004b000017970000813d000700000005001d0000000201000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d000000000101043b000500000001001d0000000602000029000000000102041a000000070010006c000018210000a13d000000000020043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d000000000101043b000400000001001d0000000502000029000000000102041a000007710010009c000018270000813d000300000001001d0000000101100039000000000012041b000000000020043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d00000007050000290000000202500210000000040220002900000003030000290000000203300210000000000101043b0000000001310019000000000021004b000017490000613d000000000302041a000000000031041b0000000103200039000000000303041a0000000104100039000000000034041b0000000203200039000000000303041a0000000204100039000000000034041b00000003011000390000000302200039000000000202041a000000000021041b000017490000013d0000000101000029000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d000000000101043b000000000101041a000700000001001d000000000001004b000017ef0000613d0000000101000029000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d000000000101043b000000000101041a0006000700100074000018350000413d0000000101000029000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d000000000101043b0000000602000029000000000021041b0000000201000029000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d000000000101043b000000000201041a00000007030000290000000002320019000000000021041b000000400100043d0000000000310435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d0200003900000003030000390000073e04000041000000010500002900000002060000291adb1acc0000040f00000001002001900000181f0000613d0000000101000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d000000000101043b000000000201041a000000000001041b000000000002004b0000181e0000613d000700000002001d000007720020009c0000183e0000213d000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f00000001002001900000181f0000613d00000007020000290000000202200210000000000101043b0000000002210019000000000021004b0000181e0000813d000000000001041b0000000103100039000000000003041b0000000203100039000000000003041b0000000303100039000000000003041b0000000401100039000000000021004b000018140000413d000000000001042d000000000100001900001add00010430000006cf01000041000000000010043f0000003201000039000000040010043f000006d00100004100001add00010430000006cf01000041000000000010043f0000004101000039000000040010043f000006d00100004100001add000104300000075a01000041000000000010043f000006ce0100004100001add000104300000076d01000041000000000010043f000006ce0100004100001add000104300000075202000041000000000020043f0000000102000029000000040020043f000000240010043f0000000701000029000000440010043f0000074e0100004100001add00010430000006cf01000041000000000010043f0000001101000039000000040010043f000006d00100004100001add000104300009000000000002000906bb0010019c000018e80000613d0000000006020019000000000002004b000018ec0000613d000000000003004b000018f00000613d0000000a01000039000000000101041a000000000041004b00000000020000390000000102004039000000000001004b0000000005000039000000010500603900000000002501a00000000004016019000000400100043d000700000001001d000007730010009c000018e20000813d00000007020000290000008001200039000000400010043f0000006001200039000200000004001d000600000001001d00000000004104350000004001200039000300000003001d000500000001001d00000000003104350000000001620436000400000001001d00000000000104350000000901000029000000000010043f0000000b01000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c70000801002000039000800000006001d1adb1ad10000040f0000000100200190000018e00000613d000000000101043b000000000201041a000006c60020009c000018e20000213d000100000002001d0000000102200039000000000021041b000000000010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c9011001c700008010020000391adb1ad10000040f0000000100200190000018e00000613d00000001020000290000000202200210000000000101043b000000000121001900000007020000290000000002020433000000000021041b000000040200002900000000020204330000000103100039000000000023041b000000050200002900000000020204330000000203100039000000000023041b000000030110003900000006020000290000000002020433000000000021041b0000000601000039000000000201041a0000000803000029000000000032001a000018f40000413d0000000002320019000000000021041b0000000901000029000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000018e00000613d000000000101043b000000000201041a00000008030000290000000002320019000000000021041b000000400100043d0000000000310435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d0200003900000003030000390000073e04000041000000000500001900000009060000291adb1acc0000040f0000000100200190000018e00000613d000000400100043d00000040021000390000000203000029000000000032043500000020021000390000000303000029000000000032043500000008020000290000000000210435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f0000073f011001c70000800d020000390000000203000039000007400400004100000009050000291adb1acc0000040f0000000100200190000018e00000613d000000000001042d000000000100001900001add00010430000006cf01000041000000000010043f0000004101000039000000040010043f000006d00100004100001add000104300000075a01000041000000000010043f000006ce0100004100001add000104300000074201000041000000000010043f000006ce0100004100001add000104300000074101000041000000000010043f000006ce0100004100001add00010430000006cf01000041000000000010043f0000001101000039000000040010043f000006d00100004100001add000104300004000000000002000400000003001d000006bb01100198000019490000613d000206bb0020019c0000194b0000613d000300000001001d000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000019470000613d0000000403000039000000000101043b000000000101041a0001000400100074000019500000413d0000000301000029000000000010043f000000200030043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000019470000613d000000000101043b0000000102000029000000000021041b0000000201000029000000000010043f0000000401000039000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f0000000100200190000019470000613d000000000101043b000000000201041a00000004030000290000000002320019000000000021041b000000400100043d0000000000310435000006b80010009c000006b80100804100000040011002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c9011001c70000800d0200003900000003030000390000073e04000041000000030500002900000002060000291adb1acc0000040f0000000100200190000019470000613d000000000001042d000000000100001900001add000104300000076a010000410000194c0000013d0000077401000041000000000010043f000000040000043f000006d00100004100001add000104300000075202000041000000000020043f0000000302000029000000040020043f000000240010043f0000000401000029000000440010043f0000074e0100004100001add00010430000400000000000200000000340204340000000002000414000006bb0a1001970000000400a0008c0000198a0000c13d0000000101000032000019c50000613d000007710010009c00001a200000813d0000001f0310003900000770033001970000003f033000390000077003300197000000400b00043d00000000033b00190000000000b3004b00000000040000390000000104004039000006c60030009c00001a200000213d000000010040019000001a200000c13d000000400030043f00000000051b043600000770021001980000001f0310018f000000000125001900000003040003670000197c0000613d000000000604034f000000006706043c0000000005750436000000000015004b000019780000c13d000000000003004b000019c60000613d000000000224034f0000000303300210000000000401043300000000043401cf000000000434022f000000000202043b0000010003300089000000000232022f00000000023201cf000000000242019f0000000000210435000019c60000013d000006b80040009c000006b8040080410000006001400210000006b80030009c000006b8030080410000004003300210000000000131019f000006b80020009c000006b802008041000000c002200210000000000121019f00020000000a001d00000000020a00191adb1acc0000040f00030000000103550000006003100270000106b80030019d000006b804300198000019e80000613d0000001f03400039000006b9033001970000003f033000390000074b03300197000000400b00043d00000000033b00190000000000b3004b00000000050000390000000105004039000006c60030009c000000020a00002900001a200000213d000000010050019000001a200000c13d000000400030043f0000001f0540018f00000000034b0436000006ba064001980000000004630019000019b70000613d000000000701034f0000000008030019000000007907043c0000000008980436000000000048004b000019b30000c13d000000000005004b000019eb0000613d000000000161034f0000000305500210000000000604043300000000065601cf000000000656022f000000000101043b0000010005500089000000000151022f00000000015101cf000000000161019f0000000000140435000019eb0000013d000000600b0000390000000002000415000000040220008a000000050220021000000000010b0433000000000001004b000019f30000c13d00010000000b001d00020000000a001d00000745010000410000000000100443000000040100003900000004001004430000000001000414000006b80010009c000006b801008041000000c00110021000000746011001c700008002020000391adb1ad10000040f000000010020019000001a310000613d0000000002000415000000040220008a0000000502200210000000000101043b000000000001004b000000010b00002900001a0a0000c13d0000077601000041000000000010043f0000000401000039000000040010043f000006d00100004100001add00010430000000600b0000390000008003000039000000020a00002900000000010b0433000000010020019000001a2b0000613d0000000002000415000000030220008a0000000502200210000000000001004b000019f60000613d000000050220027000000000020b001f00001a100000013d00010000000b001d000007450100004100000000001004430000000400a004430000000001000414000006b80010009c000006b801008041000000c00110021000000746011001c700008002020000391adb1ad10000040f000000010020019000001a310000613d0000000002000415000000030220008a0000000502200210000000000101043b000000000001004b000000010b00002900001a3a0000613d00000000010b0433000000050220027000000000020b001f000000000001004b000000020a00002900001a1d0000613d000007770010009c00001a1e0000213d000000200010008c00001a1e0000413d0000002001b000390000000001010433000000000001004b0000000002000039000000010200c039000000000021004b00001a1e0000c13d000000000001004b00001a260000613d000000000001042d000000000100001900001add00010430000006cf01000041000000000010043f0000004101000039000000040010043f000006d00100004100001add000104300000077801000041000000000010043f0000000400a0043f000006d00100004100001add00010430000000000001004b00001a320000c13d0000077501000041000000000010043f000006ce0100004100001add00010430000000000001042f000006b80030009c000006b8030080410000004002300210000006b80010009c000006b8010080410000006001100210000000000121019f00001add000104300000077601000041000000000010043f0000000201000029000000040010043f000006d00100004100001add000104300002000000000002000000000001004b00001a4a0000c13d0000000204000039000000000504041a000000000325013f000006bb0030019800001a4a0000c13d000006c103500197000000000034041b000100000002001d000200000001001d000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f000000010020019000001a960000613d000000000101043b0000000102000029000006bb02200197000100000002001d000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f000000010020019000001a960000613d000000000101043b000000000101041a000000ff0010019000001a950000613d0000000201000029000000000010043f000000200000043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f000000010020019000001a960000613d000000000101043b0000000102000029000000000020043f000000200010043f0000000001000414000006b80010009c000006b801008041000000c001100210000006c3011001c700008010020000391adb1ad10000040f000000010020019000001a960000613d000000000101043b000000000201041a0000076f02200197000000000021041b0000000001000414000006b80010009c000006b801008041000000c001100210000006c4011001c70000800d02000039000000040300003900000000070004110000072f04000041000000020500002900000001060000291adb1acc0000040f000000010020019000001a960000613d000000000001042d000000000100001900001add00010430000000000001042f000006b80010009c000006b8010080410000004001100210000006b80020009c000006b8020080410000006002200210000000000112019f0000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f000006c4011001c700008010020000391adb1ad10000040f000000010020019000001aac0000613d000000000101043b000000000001042d000000000100001900001add0001043000000000050100190000000000200443000000050030008c00001abc0000413d000000040100003900000000020000190000000506200210000000000664001900000005066002700000000006060031000000000161043a0000000102200039000000000031004b00001ab40000413d000006b80030009c000006b80300804100000060013002100000000002000414000006b80020009c000006b802008041000000c002200210000000000112019f00000779011001c700000000020500191adb1ad10000040f000000010020019000001acb0000613d000000000101043b000000000001042d000000000001042f00001acf002104210000000102000039000000000001042d0000000002000019000000000001042d00001ad4002104230000000102000039000000000001042d0000000002000019000000000001042d00001ad9002104250000000102000039000000000001042d0000000002000019000000000001042d00001adb0000043200001adc0001042e00001add000104300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffff00000000000000000000000000000000000000000000000000000001ffffffe000000000000000000000000000000000000000000000000000000000ffffffe0000000000000000000000000ffffffffffffffffffffffffffffffffffffffff000000000000000000000000000000000000000000000000ffffffffffffffbf56657374696e6720536f70686f6e00000000000000000000000000000000000076534f5048000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffff00000003f4800000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff0000000000000000000000000000000000000000ad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5020000000000000000000000000000000000004000000000000000000000000002000000000000000000000000000000000000000000000000000000000000002f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d000000000000000000000000000000000000000000000000ffffffffffffffff599336d74a1247d50642b66dd6abeaa5484f6bd96b415b31bb99e26578c93978a66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68802000000000000000000000000000000000000200000000000000000000000000c085601c9b05546c4de925af5cdebeab0dd5f5d4bea4dc57b37e961749c911df3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee30000000200000000000000000000000000000080000001000000000000000000b4fa3fb30000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000000000004e487b71000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000024000000000000000000000000c22c802200000000000000000000000000000000000000000000000000000000310ab089e4439a4c15d089f94afb7896ff553aecb10793d0ab882de59d99a32e0200000200000000000000000000000000000044000000000000000000000000e50e141b00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005c60da1a0000000000000000000000000000000000000000000000000000000091d1485300000000000000000000000000000000000000000000000000000000cc8463c700000000000000000000000000000000000000000000000000000000d547741e00000000000000000000000000000000000000000000000000000000dd62ed3d00000000000000000000000000000000000000000000000000000000dd62ed3e00000000000000000000000000000000000000000000000000000000f3e97efa00000000000000000000000000000000000000000000000000000000d547741f00000000000000000000000000000000000000000000000000000000d602b9fd00000000000000000000000000000000000000000000000000000000cc8463c800000000000000000000000000000000000000000000000000000000cefc142900000000000000000000000000000000000000000000000000000000cf6eefb700000000000000000000000000000000000000000000000000000000a1eda53b00000000000000000000000000000000000000000000000000000000a9059cba00000000000000000000000000000000000000000000000000000000a9059cbb00000000000000000000000000000000000000000000000000000000b6fb246400000000000000000000000000000000000000000000000000000000a1eda53c00000000000000000000000000000000000000000000000000000000a217fddf0000000000000000000000000000000000000000000000000000000091d148540000000000000000000000000000000000000000000000000000000092e537f90000000000000000000000000000000000000000000000000000000095d89b41000000000000000000000000000000000000000000000000000000007b743e6a00000000000000000000000000000000000000000000000000000000839006f10000000000000000000000000000000000000000000000000000000089e96e3a0000000000000000000000000000000000000000000000000000000089e96e3b000000000000000000000000000000000000000000000000000000008da5cb5b00000000000000000000000000000000000000000000000000000000839006f20000000000000000000000000000000000000000000000000000000084ef8ffc000000000000000000000000000000000000000000000000000000007b743e6b000000000000000000000000000000000000000000000000000000007e2a46dc0000000000000000000000000000000000000000000000000000000083198c9000000000000000000000000000000000000000000000000000000000691a6e4700000000000000000000000000000000000000000000000000000000691a6e480000000000000000000000000000000000000000000000000000000070a082310000000000000000000000000000000000000000000000000000000075b238fc000000000000000000000000000000000000000000000000000000005c60da1b00000000000000000000000000000000000000000000000000000000634e93da00000000000000000000000000000000000000000000000000000000649a5ec700000000000000000000000000000000000000000000000000000000248a9ca20000000000000000000000000000000000000000000000000000000036f9820c00000000000000000000000000000000000000000000000000000000485cc95400000000000000000000000000000000000000000000000000000000579acacb00000000000000000000000000000000000000000000000000000000579acacc000000000000000000000000000000000000000000000000000000005a933e8e00000000000000000000000000000000000000000000000000000000485cc9550000000000000000000000000000000000000000000000000000000056a659220000000000000000000000000000000000000000000000000000000036f9820d00000000000000000000000000000000000000000000000000000000384711cc0000000000000000000000000000000000000000000000000000000045626bd6000000000000000000000000000000000000000000000000000000002f2ff15c00000000000000000000000000000000000000000000000000000000341d16d800000000000000000000000000000000000000000000000000000000341d16d90000000000000000000000000000000000000000000000000000000036568abe000000000000000000000000000000000000000000000000000000002f2ff15d00000000000000000000000000000000000000000000000000000000313ce56700000000000000000000000000000000000000000000000000000000248a9ca30000000000000000000000000000000000000000000000000000000024ef8c1b000000000000000000000000000000000000000000000000000000002b1aaf34000000000000000000000000000000000000000000000000000000000aa6220a0000000000000000000000000000000000000000000000000000000018160ddc000000000000000000000000000000000000000000000000000000001cf1bb71000000000000000000000000000000000000000000000000000000001cf1bb720000000000000000000000000000000000000000000000000000000023b872dd0000000000000000000000000000000000000000000000000000000018160ddd00000000000000000000000000000000000000000000000000000000187948d0000000000000000000000000000000000000000000000000000000000aa6220b000000000000000000000000000000000000000000000000000000000ade7dc1000000000000000000000000000000000000000000000000000000001726cbc80000000000000000000000000000000000000000000000000000000006fdde020000000000000000000000000000000000000000000000000000000006fdde0300000000000000000000000000000000000000000000000000000000086fc0c700000000000000000000000000000000000000000000000000000000095ea7b300000000000000000000000000000000000000000000000000000000010fb5140000000000000000000000000000000000000000000000000000000001ffc9a700000000000000000000000000000000000000000000000000000000022d63fb7d7ffb7a348e1c6a02869081a26547b49160dd3df72d1d75a570eb9b698292ece5bf489e00000000000000000000000000000000000000000000000000000000796b89b91644bc98cd93958e4c9038275d622183e25ac5af08cc6b5d955391320200000200000000000000000000000000000004000000000000000000000000d480825ff23953403e0718bb5adac0dee019b5cd997e9feeb2246d47e4a22dcb8bd4436f00000000000000000000000000000000000000000000000000000000e2517d3f00000000000000000000000000000000000000000000000000000000a49807205ce4d355092ef5a8a18f56e8913cf4a201fbe287825b095693c2177500000000000000000000000000000000000000440000000000000000000000000000000000000000000000000000000000000020000000800000000000000000ffffffffffff0000000000000000000000000000000000000000000000000000000000000000ffffffffffff00000000000000000000000000000000000000008886ebfc4259abdbc16601dd8fb5678e54878f47b3c34836cfc51154a96051090000000000000000000000000000000000000000000000000000ffffffffffff0000000000000000000000000000000000000040000000800000000000000000f6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b19ca5ebb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000eac2a9f2f87c74a0ce87b7cb2236b212faf0ca4c15f97f264e214ddcb77cd06fe7a3c1f6000000000000000000000000000000000000000000000000000000004f95d38bdf1c10f97389d9165d78fbae18ad4454e53a8ce330a76ca571454f8500000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000000000000c00000000000000000f3d72eb98599188274711c34dc1ba16ba9ffab9a6a06364af6b91037b5707cef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0000000000000000000000000000000000000000000000000ffffffffffffff7f70a0823100000000000000000000000000000000000000000000000000000000a9059cbb0000000000000000000000000000000000000000000000000000000060a63608d445c8cf3e1d9789936a0c2cdf81422d96448e2baebaa02da53aeee8568efce200000000000000000000000000000000000000000000000000000000ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef020000000000000000000000000000000000006000000000000000000000000053b1a3e0105372437f6f2cc49cb41c6b01dc47342a81db726e603b30412e322fcf478f2300000000000000000000000000000000000000000000000000000000149d7d100000000000000000000000000000000000000000000000000000000023b872dd00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffff5f1806aa1896bbf26568e884a7374b41e002500962caba6a15023a8d90e8508b8302000002000000000000000000000000000000240000000000000000000000002e1a7d4d0000000000000000000000000000000000000000000000000000000054217f7b85353d04ece159ebd69a45e9b8287dd2043746eaca469996a3d91aeef603533e14e17222e047634a2b3457fe346d27e294cedf9d21d74e5feea4a0460000000000000000000000000000000000000000000000a0000000000000000000000000000000000000000000000000000000000000000000000003ffffffe0696e6974206661696c656400000000000000000000000000000000000000000008c379a0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000064000000000000000000000000696d706c5f206973207a65726f20616464726573730000000000000000000000c7798891864187665ac6dd119286e44ec13f014527aeeb2b8eb3fd413df9317970f3096500000000000000000000000000000000000000000000000000000000e450d38c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000697802b1fa2edafe6f7b9e97c1a9e0c3660e645beb2dcaa2d45bdbf9beaf5472e1ec5f1038c18cf84a56e432fdbfaf746924b7ea511dfe03a6506a0ceba4888788d9b6dfcc650000000000000000000000000000000000000000000000000000000003377dc44241e779dd06afab5b788a35ca5f3b778836e2990bdb26a2a4b2e5ed67dba4c4f0000000000000000000000000000000000000000000000000000000044d99fea00000000000000000000000000000000000000000000000000000000d92e233d000000000000000000000000000000000000000000000000000000000dc149f0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080000000000000000000000000ffffffffffff000000000000ffffffffffffffffffffffffffffffffffffffff6697b232000000000000000000000000000000000000000000000000000000003fc3c27a00000000000000000000000000000000000000000000000000000000fb8f41b200000000000000000000000000000000000000000000000000000000496e76616c69642072616e6765000000000000000000000000000000000000008c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92594280d6200000000000000000000000000000000000000000000000000000000e602df050000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff314987860000000000000000000000000000000000000000000000000000000001ffc9a7000000000000000000000000000000000000000000000000000000007965db0b0000000000000000000000000000000000000000000000000000000096c6fd1e0000000000000000000000000000000000000000000000000000000094b911b000000000000000000000000000000000000000000000000000000000561ce9bb0000000000000000000000000000000000000000000000000000000066ef36c900000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe000000000000000000000000000000000000000000000000100000000000000003fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff000000000000000000000000000000000000000000000000ffffffffffffff80ec442f05000000000000000000000000000000000000000000000000000000001425ea42000000000000000000000000000000000000000000000000000000009996b315000000000000000000000000000000000000000000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5274afe70000000000000000000000000000000000000000000000000000000002000002000000000000000000000000000000000000000000000000000000007604b282ac33d79e819ba4fdb65807c8f81d563448e66ee4afade5b39f8da63f

0000000000000000000000009b7ea63ef5062661570afe548e3ad691d5652527

-----Decoded View---------------
Arg [0] : wSophTokenAddress (address): 0x9B7EA63EF5062661570afe548e3AD691D5652527

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000009b7ea63ef5062661570afe548e3ad691d5652527