Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

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

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

import "@openzeppelin/contracts-upgradeable/proxy/utils/UUPSUpgradeable.sol";
import "@openzeppelin/contracts/utils/Strings.sol";
import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";

import "../Permissions.sol";
import "../ReqHelpers.sol";

contract AtomicLockContract is Permissions, ReqHelpers, UUPSUpgradeable {
    using SafeERC20 for IERC20;
    
    mapping(address => uint256) public lockedBalanceOf;

    mapping(bytes32 => address) public proposedLock;
    mapping(bytes32 => address) public proposedUnlock;

    function initialize(address _admin, address _vault, address proposer, address[] calldata executors, uint256 threshold) public initializer {
        _initAdmin(_admin);
        _initVault(_vault);
        _addProposer(proposer);
        _initExecutors(executors, threshold);
    }

    function _authorizeUpgrade(address newImplementation) internal override onlyAdmin {}

    function addToken(uint8 tokenIndex, address tokenAddr) external onlyAdmin {
        _addToken(tokenIndex, tokenAddr);
    }

    function removeToken(uint8 tokenIndex) external onlyAdmin {
        _removeToken(tokenIndex);
    }

    event TokenLockProposed(bytes32 indexed reqId, address indexed proposer);
    event TokenLockExecuted(bytes32 indexed reqId, address indexed proposer);
    event TokenLockCancelled(bytes32 indexed reqId, address indexed proposer);

    function proposeLock(bytes32 reqId) payable external fromChainOnly(reqId) {
        _createdTimeFrom(reqId, true);
        uint8 action = _actionFrom(reqId);
        require(action & 0x0f == 1, "Invalid action; not lock-mint");
        require(proposedLock[reqId] == address(0), "Invalid reqId");

        address proposer = msg.sender;
        require(proposer > address(1), "Invalid proposer");

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);
        if (tokenAddr == address(1)) {
            require(msg.value >= amount, "Transferred amount (tx.value) insufficient");
        }
        proposedLock[reqId] = proposer;

        if (action & 0x10 > 0) {
            address vault = getVault();
            require(vault != address(0), "Vault not activated");

            if (tokenAddr == address(1)) {
                (bool success, ) = vault.call{value: amount}("");
                require(success, "Transfer failed");
            } else {
                IERC20(tokenAddr).safeTransferFrom(proposer, vault, amount);
            }
        } else if (tokenAddr != address(1)) {
            IERC20(tokenAddr).safeTransferFrom(proposer, address(this), amount);
        }

        emit TokenLockProposed(reqId, proposer);
    }

    receive() external payable {}

    function executeLock(bytes32 reqId, bytes32[] memory r, bytes32[] memory yParityAndS, address[] memory executors, uint256 exeIndex) external {
        address proposer = proposedLock[reqId];
        require(proposer > address(1), "Invalid reqId");

        bytes32 digest = _digestFromReqSigningMessage(reqId);
        _checkMultiSignatures(digest, r, yParityAndS, executors, exeIndex);

        proposedLock[reqId] = address(1);

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);
        lockedBalanceOf[tokenAddr] += amount;

        emit TokenLockExecuted(reqId, proposer);
    }

    function cancelLock(bytes32 reqId) external {
        address proposer = proposedLock[reqId];
        require(proposer > address(1), "Invalid reqId");
        require(block.timestamp > _createdTimeFrom(reqId, false) + EXPIRE_PERIOD, "Wait until expired to cancel");

        delete proposedLock[reqId];

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);

        if (tokenAddr == address(1)) {
            (bool success, ) = proposer.call{value: amount}("");
            require(success, "Transfer failed");
        } else {
            address vault;
            if (_actionFrom(reqId) & 0x10 > 0) {
                vault = getVault();
            }
            if (vault == address(0)) {
                IERC20(tokenAddr).safeTransfer(proposer, amount);
            } else {
                IERC20(tokenAddr).safeTransferFrom(vault, proposer, amount);
            }
        }

        emit TokenLockCancelled(reqId, proposer);
    }

    event TokenUnlockProposed(bytes32 indexed reqId, address indexed recipient);
    event TokenUnlockExecuted(bytes32 indexed reqId, address indexed recipient);
    event TokenUnlockCancelled(bytes32 indexed reqId, address indexed recipient);

    function proposeUnlock(bytes32 reqId, address recipient) external onlyProposer fromChainOnly(reqId) {
        _createdTimeFrom(reqId, true);
        require(_actionFrom(reqId) & 0x0f == 2, "Invalid action; not burn-unlock");
        require(proposedUnlock[reqId] == address(0), "Invalid reqId");
        require(recipient > address(1), "Invalid recipient");

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);
        lockedBalanceOf[tokenAddr] -= amount;
        proposedUnlock[reqId] = recipient;

        emit TokenUnlockProposed(reqId, recipient);
    }

    function executeUnlock(bytes32 reqId, bytes32[] memory r, bytes32[] memory yParityAndS, address[] memory executors, uint256 exeIndex) external {
        address recipient = proposedUnlock[reqId];
        require(recipient > address(1), "Invalid reqId");

        bytes32 digest = _digestFromReqSigningMessage(reqId);
        _checkMultiSignatures(digest, r, yParityAndS, executors, exeIndex);

        proposedUnlock[reqId] = address(1);

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);
        if (tokenAddr == address(1)) {
            (bool success, ) = recipient.call{value: amount}("");
            require(success, "Transfer failed");
        } else {
            address vault;
            if (_actionFrom(reqId) & 0x10 > 0) {
                vault = getVault();
            }
            if (vault == address(0)) {
                IERC20(tokenAddr).safeTransfer(recipient, amount);
            } else {
                IERC20(tokenAddr).safeTransferFrom(vault, recipient, amount);
            }
        }

        emit TokenUnlockExecuted(reqId, recipient);
    }

    function cancelUnlock(bytes32 reqId) external {
        address recipient = proposedUnlock[reqId];
        require(recipient > address(1), "Invalid reqId");
        require(block.timestamp > _createdTimeFrom(reqId, false) + EXPIRE_EXTRA_PERIOD, "Wait until expired to cancel");

        delete proposedUnlock[reqId];

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);
        lockedBalanceOf[tokenAddr] += amount;

        emit TokenUnlockCancelled(reqId, recipient);
    }
}

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

pragma solidity ^0.8.20;

/**
 * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
 * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an
 * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
 * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
 *
 * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be
 * reused. This mechanism prevents re-execution of each "step" but allows the creation of new initialization steps in
 * case an upgrade adds a module that needs to be initialized.
 *
 * For example:
 *
 * [.hljs-theme-light.nopadding]
 * ```solidity
 * contract MyToken is ERC20Upgradeable {
 *     function initialize() initializer public {
 *         __ERC20_init("MyToken", "MTK");
 *     }
 * }
 *
 * contract MyTokenV2 is MyToken, ERC20PermitUpgradeable {
 *     function initializeV2() reinitializer(2) public {
 *         __ERC20Permit_init("MyToken");
 *     }
 * }
 * ```
 *
 * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as
 * possible by providing the encoded function call as the `_data` argument to {ERC1967Proxy-constructor}.
 *
 * CAUTION: When used with inheritance, manual care must be taken to not invoke a parent initializer twice, or to ensure
 * that all initializers are idempotent. This is not verified automatically as constructors are by Solidity.
 *
 * [CAUTION]
 * ====
 * Avoid leaving a contract uninitialized.
 *
 * An uninitialized contract can be taken over by an attacker. This applies to both a proxy and its implementation
 * contract, which may impact the proxy. To prevent the implementation contract from being used, you should invoke
 * the {_disableInitializers} function in the constructor to automatically lock it when it is deployed:
 *
 * [.hljs-theme-light.nopadding]
 * ```
 * /// @custom:oz-upgrades-unsafe-allow constructor
 * constructor() {
 *     _disableInitializers();
 * }
 * ```
 * ====
 */
abstract contract Initializable {
    /**
     * @dev Storage of the initializable contract.
     *
     * It's implemented on a custom ERC-7201 namespace to reduce the risk of storage collisions
     * when using with upgradeable contracts.
     *
     * @custom:storage-location erc7201:openzeppelin.storage.Initializable
     */
    struct InitializableStorage {
        /**
         * @dev Indicates that the contract has been initialized.
         */
        uint64 _initialized;
        /**
         * @dev Indicates that the contract is in the process of being initialized.
         */
        bool _initializing;
    }

    // keccak256(abi.encode(uint256(keccak256("openzeppelin.storage.Initializable")) - 1)) & ~bytes32(uint256(0xff))
    bytes32 private constant INITIALIZABLE_STORAGE = 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00;

    /**
     * @dev The contract is already initialized.
     */
    error InvalidInitialization();

    /**
     * @dev The contract is not initializing.
     */
    error NotInitializing();

    /**
     * @dev Triggered when the contract has been initialized or reinitialized.
     */
    event Initialized(uint64 version);

    /**
     * @dev A modifier that defines a protected initializer function that can be invoked at most once. In its scope,
     * `onlyInitializing` functions can be used to initialize parent contracts.
     *
     * Similar to `reinitializer(1)`, except that in the context of a constructor an `initializer` may be invoked any
     * number of times. This behavior in the constructor can be useful during testing and is not expected to be used in
     * production.
     *
     * Emits an {Initialized} event.
     */
    modifier initializer() {
        // solhint-disable-next-line var-name-mixedcase
        InitializableStorage storage $ = _getInitializableStorage();

        // Cache values to avoid duplicated sloads
        bool isTopLevelCall = !$._initializing;
        uint64 initialized = $._initialized;

        // Allowed calls:
        // - initialSetup: the contract is not in the initializing state and no previous version was
        //                 initialized
        // - construction: the contract is initialized at version 1 (no reininitialization) and the
        //                 current contract is just being deployed
        bool initialSetup = initialized == 0 && isTopLevelCall;
        bool construction = initialized == 1 && address(this).code.length == 0;

        if (!initialSetup && !construction) {
            revert InvalidInitialization();
        }
        $._initialized = 1;
        if (isTopLevelCall) {
            $._initializing = true;
        }
        _;
        if (isTopLevelCall) {
            $._initializing = false;
            emit Initialized(1);
        }
    }

    /**
     * @dev A modifier that defines a protected reinitializer function that can be invoked at most once, and only if the
     * contract hasn't been initialized to a greater version before. In its scope, `onlyInitializing` functions can be
     * used to initialize parent contracts.
     *
     * A reinitializer may be used after the original initialization step. This is essential to configure modules that
     * are added through upgrades and that require initialization.
     *
     * When `version` is 1, this modifier is similar to `initializer`, except that functions marked with `reinitializer`
     * cannot be nested. If one is invoked in the context of another, execution will revert.
     *
     * Note that versions can jump in increments greater than 1; this implies that if multiple reinitializers coexist in
     * a contract, executing them in the right order is up to the developer or operator.
     *
     * WARNING: Setting the version to 2**64 - 1 will prevent any future reinitialization.
     *
     * Emits an {Initialized} event.
     */
    modifier reinitializer(uint64 version) {
        // solhint-disable-next-line var-name-mixedcase
        InitializableStorage storage $ = _getInitializableStorage();

        if ($._initializing || $._initialized >= version) {
            revert InvalidInitialization();
        }
        $._initialized = version;
        $._initializing = true;
        _;
        $._initializing = false;
        emit Initialized(version);
    }

    /**
     * @dev Modifier to protect an initialization function so that it can only be invoked by functions with the
     * {initializer} and {reinitializer} modifiers, directly or indirectly.
     */
    modifier onlyInitializing() {
        _checkInitializing();
        _;
    }

    /**
     * @dev Reverts if the contract is not in an initializing state. See {onlyInitializing}.
     */
    function _checkInitializing() internal view virtual {
        if (!_isInitializing()) {
            revert NotInitializing();
        }
    }

    /**
     * @dev Locks the contract, preventing any future reinitialization. This cannot be part of an initializer call.
     * Calling this in the constructor of a contract will prevent that contract from being initialized or reinitialized
     * to any version. It is recommended to use this to lock implementation contracts that are designed to be called
     * through proxies.
     *
     * Emits an {Initialized} event the first time it is successfully executed.
     */
    function _disableInitializers() internal virtual {
        // solhint-disable-next-line var-name-mixedcase
        InitializableStorage storage $ = _getInitializableStorage();

        if ($._initializing) {
            revert InvalidInitialization();
        }
        if ($._initialized != type(uint64).max) {
            $._initialized = type(uint64).max;
            emit Initialized(type(uint64).max);
        }
    }

    /**
     * @dev Returns the highest version that has been initialized. See {reinitializer}.
     */
    function _getInitializedVersion() internal view returns (uint64) {
        return _getInitializableStorage()._initialized;
    }

    /**
     * @dev Returns `true` if the contract is currently initializing. See {onlyInitializing}.
     */
    function _isInitializing() internal view returns (bool) {
        return _getInitializableStorage()._initializing;
    }

    /**
     * @dev Returns a pointer to the storage namespace.
     */
    // solhint-disable-next-line var-name-mixedcase
    function _getInitializableStorage() private pure returns (InitializableStorage storage $) {
        assembly {
            $.slot := INITIALIZABLE_STORAGE
        }
    }
}

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

pragma solidity ^0.8.20;

import {IERC1822Proxiable} from "@openzeppelin/contracts/interfaces/draft-IERC1822.sol";
import {ERC1967Utils} from "@openzeppelin/contracts/proxy/ERC1967/ERC1967Utils.sol";
import {Initializable} from "./Initializable.sol";

/**
 * @dev An upgradeability mechanism designed for UUPS proxies. The functions included here can perform an upgrade of an
 * {ERC1967Proxy}, when this contract is set as the implementation behind such a proxy.
 *
 * A security mechanism ensures that an upgrade does not turn off upgradeability accidentally, although this risk is
 * reinstated if the upgrade retains upgradeability but removes the security mechanism, e.g. by replacing
 * `UUPSUpgradeable` with a custom implementation of upgrades.
 *
 * The {_authorizeUpgrade} function must be overridden to include access restriction to the upgrade mechanism.
 */
abstract contract UUPSUpgradeable is Initializable, IERC1822Proxiable {
    /// @custom:oz-upgrades-unsafe-allow state-variable-immutable
    address private immutable __self = address(this);

    /**
     * @dev The version of the upgrade interface of the contract. If this getter is missing, both `upgradeTo(address)`
     * and `upgradeToAndCall(address,bytes)` are present, and `upgradeTo` must be used if no function should be called,
     * while `upgradeToAndCall` will invoke the `receive` function if the second argument is the empty byte string.
     * If the getter returns `"5.0.0"`, only `upgradeToAndCall(address,bytes)` is present, and the second argument must
     * be the empty byte string if no function should be called, making it impossible to invoke the `receive` function
     * during an upgrade.
     */
    string public constant UPGRADE_INTERFACE_VERSION = "5.0.0";

    /**
     * @dev The call is from an unauthorized context.
     */
    error UUPSUnauthorizedCallContext();

    /**
     * @dev The storage `slot` is unsupported as a UUID.
     */
    error UUPSUnsupportedProxiableUUID(bytes32 slot);

    /**
     * @dev Check that the execution is being performed through a delegatecall call and that the execution context is
     * a proxy contract with an implementation (as defined in ERC1967) pointing to self. This should only be the case
     * for UUPS and transparent proxies that are using the current contract as their implementation. Execution of a
     * function through ERC1167 minimal proxies (clones) would not normally pass this test, but is not guaranteed to
     * fail.
     */
    modifier onlyProxy() {
        _checkProxy();
        _;
    }

    /**
     * @dev Check that the execution is not being performed through a delegate call. This allows a function to be
     * callable on the implementing contract but not through proxies.
     */
    modifier notDelegated() {
        _checkNotDelegated();
        _;
    }

    function __UUPSUpgradeable_init() internal onlyInitializing {
    }

    function __UUPSUpgradeable_init_unchained() internal onlyInitializing {
    }
    /**
     * @dev Implementation of the ERC1822 {proxiableUUID} function. This returns the storage slot used by the
     * implementation. It is used to validate the implementation's compatibility when performing an upgrade.
     *
     * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks
     * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this
     * function revert if invoked through a proxy. This is guaranteed by the `notDelegated` modifier.
     */
    function proxiableUUID() external view virtual notDelegated returns (bytes32) {
        return ERC1967Utils.IMPLEMENTATION_SLOT;
    }

    /**
     * @dev Upgrade the implementation of the proxy to `newImplementation`, and subsequently execute the function call
     * encoded in `data`.
     *
     * Calls {_authorizeUpgrade}.
     *
     * Emits an {Upgraded} event.
     *
     * @custom:oz-upgrades-unsafe-allow-reachable delegatecall
     */
    function upgradeToAndCall(address newImplementation, bytes memory data) public payable virtual onlyProxy {
        _authorizeUpgrade(newImplementation);
        _upgradeToAndCallUUPS(newImplementation, data);
    }

    /**
     * @dev Reverts if the execution is not performed via delegatecall or the execution
     * context is not of a proxy with an ERC1967-compliant implementation pointing to self.
     * See {_onlyProxy}.
     */
    function _checkProxy() internal view virtual {
        if (
            address(this) == __self || // Must be called through delegatecall
            ERC1967Utils.getImplementation() != __self // Must be called through an active proxy
        ) {
            revert UUPSUnauthorizedCallContext();
        }
    }

    /**
     * @dev Reverts if the execution is performed via delegatecall.
     * See {notDelegated}.
     */
    function _checkNotDelegated() internal view virtual {
        if (address(this) != __self) {
            // Must not be called through delegatecall
            revert UUPSUnauthorizedCallContext();
        }
    }

    /**
     * @dev Function that should revert when `msg.sender` is not authorized to upgrade the contract. Called by
     * {upgradeToAndCall}.
     *
     * Normally, this function will use an xref:access.adoc[access control] modifier such as {Ownable-onlyOwner}.
     *
     * ```solidity
     * function _authorizeUpgrade(address) internal onlyOwner {}
     * ```
     */
    function _authorizeUpgrade(address newImplementation) internal virtual;

    /**
     * @dev Performs an implementation upgrade with a security check for UUPS proxies, and additional setup call.
     *
     * As a security check, {proxiableUUID} is invoked in the new implementation, and the return value
     * is expected to be the implementation slot in ERC1967.
     *
     * Emits an {IERC1967-Upgraded} event.
     */
    function _upgradeToAndCallUUPS(address newImplementation, bytes memory data) private {
        try IERC1822Proxiable(newImplementation).proxiableUUID() returns (bytes32 slot) {
            if (slot != ERC1967Utils.IMPLEMENTATION_SLOT) {
                revert UUPSUnsupportedProxiableUUID(slot);
            }
            ERC1967Utils.upgradeToAndCall(newImplementation, data);
        } catch {
            // The implementation is not UUPS
            revert ERC1967Utils.ERC1967InvalidImplementation(newImplementation);
        }
    }
}

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

pragma solidity ^0.8.20;

/**
 * @dev ERC1822: Universal Upgradeable Proxy Standard (UUPS) documents a method for upgradeability through a simplified
 * proxy whose upgrades are fully controlled by the current implementation.
 */
interface IERC1822Proxiable {
    /**
     * @dev Returns the storage slot that the proxiable contract assumes is being used to store the implementation
     * address.
     *
     * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks
     * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this
     * function revert if invoked through a proxy.
     */
    function proxiableUUID() external view returns (bytes32);
}

// 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
// OpenZeppelin Contracts (last updated v5.0.0) (proxy/beacon/IBeacon.sol)

pragma solidity ^0.8.20;

/**
 * @dev This is the interface that {BeaconProxy} expects of its beacon.
 */
interface IBeacon {
    /**
     * @dev Must return an address that can be used as a delegate call target.
     *
     * {UpgradeableBeacon} will check that this address is a contract.
     */
    function implementation() external view returns (address);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (proxy/ERC1967/ERC1967Proxy.sol)

pragma solidity ^0.8.20;

import {Proxy} from "../Proxy.sol";
import {ERC1967Utils} from "./ERC1967Utils.sol";

/**
 * @dev This contract implements an upgradeable proxy. It is upgradeable because calls are delegated to an
 * implementation address that can be changed. This address is stored in storage in the location specified by
 * https://eips.ethereum.org/EIPS/eip-1967[EIP1967], so that it doesn't conflict with the storage layout of the
 * implementation behind the proxy.
 */
contract ERC1967Proxy is Proxy {
    /**
     * @dev Initializes the upgradeable proxy with an initial implementation specified by `implementation`.
     *
     * If `_data` is nonempty, it's used as data in a delegate call to `implementation`. This will typically be an
     * encoded function call, and allows initializing the storage of the proxy like a Solidity constructor.
     *
     * Requirements:
     *
     * - If `data` is empty, `msg.value` must be zero.
     */
    constructor(address implementation, bytes memory _data) payable {
        ERC1967Utils.upgradeToAndCall(implementation, _data);
    }

    /**
     * @dev Returns the current implementation address.
     *
     * TIP: To get this value clients can read directly from the storage slot shown below (specified by EIP1967) using
     * the https://eth.wiki/json-rpc/API#eth_getstorageat[`eth_getStorageAt`] RPC call.
     * `0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc`
     */
    function _implementation() internal view virtual override returns (address) {
        return ERC1967Utils.getImplementation();
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (proxy/ERC1967/ERC1967Utils.sol)

pragma solidity ^0.8.20;

import {IBeacon} from "../beacon/IBeacon.sol";
import {Address} from "../../utils/Address.sol";
import {StorageSlot} from "../../utils/StorageSlot.sol";

/**
 * @dev This abstract contract provides getters and event emitting update functions for
 * https://eips.ethereum.org/EIPS/eip-1967[EIP1967] slots.
 */
library ERC1967Utils {
    // We re-declare ERC-1967 events here because they can't be used directly from IERC1967.
    // This will be fixed in Solidity 0.8.21. At that point we should remove these events.
    /**
     * @dev Emitted when the implementation is upgraded.
     */
    event Upgraded(address indexed implementation);

    /**
     * @dev Emitted when the admin account has changed.
     */
    event AdminChanged(address previousAdmin, address newAdmin);

    /**
     * @dev Emitted when the beacon is changed.
     */
    event BeaconUpgraded(address indexed beacon);

    /**
     * @dev Storage slot with the address of the current implementation.
     * This is the keccak-256 hash of "eip1967.proxy.implementation" subtracted by 1.
     */
    // solhint-disable-next-line private-vars-leading-underscore
    bytes32 internal constant IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;

    /**
     * @dev The `implementation` of the proxy is invalid.
     */
    error ERC1967InvalidImplementation(address implementation);

    /**
     * @dev The `admin` of the proxy is invalid.
     */
    error ERC1967InvalidAdmin(address admin);

    /**
     * @dev The `beacon` of the proxy is invalid.
     */
    error ERC1967InvalidBeacon(address beacon);

    /**
     * @dev An upgrade function sees `msg.value > 0` that may be lost.
     */
    error ERC1967NonPayable();

    /**
     * @dev Returns the current implementation address.
     */
    function getImplementation() internal view returns (address) {
        return StorageSlot.getAddressSlot(IMPLEMENTATION_SLOT).value;
    }

    /**
     * @dev Stores a new address in the EIP1967 implementation slot.
     */
    function _setImplementation(address newImplementation) private {
        if (newImplementation.code.length == 0) {
            revert ERC1967InvalidImplementation(newImplementation);
        }
        StorageSlot.getAddressSlot(IMPLEMENTATION_SLOT).value = newImplementation;
    }

    /**
     * @dev Performs implementation upgrade with additional setup call if data is nonempty.
     * This function is payable only if the setup call is performed, otherwise `msg.value` is rejected
     * to avoid stuck value in the contract.
     *
     * Emits an {IERC1967-Upgraded} event.
     */
    function upgradeToAndCall(address newImplementation, bytes memory data) internal {
        _setImplementation(newImplementation);
        emit Upgraded(newImplementation);

        if (data.length > 0) {
            Address.functionDelegateCall(newImplementation, data);
        } else {
            _checkNonPayable();
        }
    }

    /**
     * @dev Storage slot with the admin of the contract.
     * This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1.
     */
    // solhint-disable-next-line private-vars-leading-underscore
    bytes32 internal constant ADMIN_SLOT = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;

    /**
     * @dev Returns the current admin.
     *
     * TIP: To get this value clients can read directly from the storage slot shown below (specified by EIP1967) using
     * the https://eth.wiki/json-rpc/API#eth_getstorageat[`eth_getStorageAt`] RPC call.
     * `0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103`
     */
    function getAdmin() internal view returns (address) {
        return StorageSlot.getAddressSlot(ADMIN_SLOT).value;
    }

    /**
     * @dev Stores a new address in the EIP1967 admin slot.
     */
    function _setAdmin(address newAdmin) private {
        if (newAdmin == address(0)) {
            revert ERC1967InvalidAdmin(address(0));
        }
        StorageSlot.getAddressSlot(ADMIN_SLOT).value = newAdmin;
    }

    /**
     * @dev Changes the admin of the proxy.
     *
     * Emits an {IERC1967-AdminChanged} event.
     */
    function changeAdmin(address newAdmin) internal {
        emit AdminChanged(getAdmin(), newAdmin);
        _setAdmin(newAdmin);
    }

    /**
     * @dev The storage slot of the UpgradeableBeacon contract which defines the implementation for this proxy.
     * This is the keccak-256 hash of "eip1967.proxy.beacon" subtracted by 1.
     */
    // solhint-disable-next-line private-vars-leading-underscore
    bytes32 internal constant BEACON_SLOT = 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50;

    /**
     * @dev Returns the current beacon.
     */
    function getBeacon() internal view returns (address) {
        return StorageSlot.getAddressSlot(BEACON_SLOT).value;
    }

    /**
     * @dev Stores a new beacon in the EIP1967 beacon slot.
     */
    function _setBeacon(address newBeacon) private {
        if (newBeacon.code.length == 0) {
            revert ERC1967InvalidBeacon(newBeacon);
        }

        StorageSlot.getAddressSlot(BEACON_SLOT).value = newBeacon;

        address beaconImplementation = IBeacon(newBeacon).implementation();
        if (beaconImplementation.code.length == 0) {
            revert ERC1967InvalidImplementation(beaconImplementation);
        }
    }

    /**
     * @dev Change the beacon and trigger a setup call if data is nonempty.
     * This function is payable only if the setup call is performed, otherwise `msg.value` is rejected
     * to avoid stuck value in the contract.
     *
     * Emits an {IERC1967-BeaconUpgraded} event.
     *
     * CAUTION: Invoking this function has no effect on an instance of {BeaconProxy} since v5, since
     * it uses an immutable beacon without looking at the value of the ERC-1967 beacon slot for
     * efficiency.
     */
    function upgradeBeaconToAndCall(address newBeacon, bytes memory data) internal {
        _setBeacon(newBeacon);
        emit BeaconUpgraded(newBeacon);

        if (data.length > 0) {
            Address.functionDelegateCall(IBeacon(newBeacon).implementation(), data);
        } else {
            _checkNonPayable();
        }
    }

    /**
     * @dev Reverts if `msg.value` is not zero. It can be used to avoid `msg.value` stuck in the contract
     * if an upgrade doesn't perform an initialization call.
     */
    function _checkNonPayable() private {
        if (msg.value > 0) {
            revert ERC1967NonPayable();
        }
    }
}

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

pragma solidity ^0.8.20;

/**
 * @dev This abstract contract provides a fallback function that delegates all calls to another contract using the EVM
 * instruction `delegatecall`. We refer to the second contract as the _implementation_ behind the proxy, and it has to
 * be specified by overriding the virtual {_implementation} function.
 *
 * Additionally, delegation to the implementation can be triggered manually through the {_fallback} function, or to a
 * different contract through the {_delegate} function.
 *
 * The success and return data of the delegated call will be returned back to the caller of the proxy.
 */
abstract contract Proxy {
    /**
     * @dev Delegates the current call to `implementation`.
     *
     * This function does not return to its internal call site, it will return directly to the external caller.
     */
    function _delegate(address implementation) internal virtual {
        assembly {
            // Copy msg.data. We take full control of memory in this inline assembly
            // block because it will not return to Solidity code. We overwrite the
            // Solidity scratch pad at memory position 0.
            calldatacopy(0, 0, calldatasize())

            // Call the implementation.
            // out and outsize are 0 because we don't know the size yet.
            let result := delegatecall(gas(), implementation, 0, calldatasize(), 0, 0)

            // Copy the returned data.
            returndatacopy(0, 0, returndatasize())

            switch result
            // delegatecall returns 0 on error.
            case 0 {
                revert(0, returndatasize())
            }
            default {
                return(0, returndatasize())
            }
        }
    }

    /**
     * @dev This is a virtual function that should be overridden so it returns the address to which the fallback
     * function and {_fallback} should delegate.
     */
    function _implementation() internal view virtual returns (address);

    /**
     * @dev Delegates the current call to the address returned by `_implementation()`.
     *
     * This function does not return to its internal call site, it will return directly to the external caller.
     */
    function _fallback() internal virtual {
        _delegate(_implementation());
    }

    /**
     * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if no other
     * function in the contract matches the call data.
     */
    fallback() external payable virtual {
        _fallback();
    }
}

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

pragma solidity ^0.8.20;

import {IERC20} from "./IERC20.sol";
import {IERC20Metadata} from "./extensions/IERC20Metadata.sol";
import {Context} from "../../utils/Context.sol";
import {IERC20Errors} from "../../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 "../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) (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) (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/utils/SafeERC20.sol)

pragma solidity ^0.8.20;

import {IERC20} from "../IERC20.sol";
import {IERC20Permit} from "../extensions/IERC20Permit.sol";
import {Address} from "../../../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) (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: 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/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) (utils/math/SignedMath.sol)

pragma solidity ^0.8.20;

/**
 * @dev Standard signed math utilities missing in the Solidity language.
 */
library SignedMath {
    /**
     * @dev Returns the largest of two signed numbers.
     */
    function max(int256 a, int256 b) internal pure returns (int256) {
        return a > b ? a : b;
    }

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

    /**
     * @dev Returns the average of two signed numbers without overflow.
     * The result is rounded towards zero.
     */
    function average(int256 a, int256 b) internal pure returns (int256) {
        // Formula from the book "Hacker's Delight"
        int256 x = (a & b) + ((a ^ b) >> 1);
        return x + (int256(uint256(x) >> 255) & (a ^ b));
    }

    /**
     * @dev Returns the absolute unsigned value of a signed value.
     */
    function abs(int256 n) internal pure returns (uint256) {
        unchecked {
            // must be unchecked in order to support `n = type(int256).min`
            return uint256(n >= 0 ? n : -n);
        }
    }
}

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

pragma solidity ^0.8.20;

/**
 * @dev Library for reading and writing primitive types to specific storage slots.
 *
 * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
 * This library helps with reading and writing to such slots without the need for inline assembly.
 *
 * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
 *
 * Example usage to set ERC1967 implementation slot:
 * ```solidity
 * contract ERC1967 {
 *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
 *
 *     function _getImplementation() internal view returns (address) {
 *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
 *     }
 *
 *     function _setImplementation(address newImplementation) internal {
 *         require(newImplementation.code.length > 0);
 *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
 *     }
 * }
 * ```
 */
library StorageSlot {
    struct AddressSlot {
        address value;
    }

    struct BooleanSlot {
        bool value;
    }

    struct Bytes32Slot {
        bytes32 value;
    }

    struct Uint256Slot {
        uint256 value;
    }

    struct StringSlot {
        string value;
    }

    struct BytesSlot {
        bytes value;
    }

    /**
     * @dev Returns an `AddressSlot` with member `value` located at `slot`.
     */
    function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `BooleanSlot` with member `value` located at `slot`.
     */
    function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `Bytes32Slot` with member `value` located at `slot`.
     */
    function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `Uint256Slot` with member `value` located at `slot`.
     */
    function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `StringSlot` with member `value` located at `slot`.
     */
    function getStringSlot(bytes32 slot) internal pure returns (StringSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `StringSlot` representation of the string storage pointer `store`.
     */
    function getStringSlot(string storage store) internal pure returns (StringSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := store.slot
        }
    }

    /**
     * @dev Returns an `BytesSlot` with member `value` located at `slot`.
     */
    function getBytesSlot(bytes32 slot) internal pure returns (BytesSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `BytesSlot` representation of the bytes storage pointer `store`.
     */
    function getBytesSlot(bytes storage store) internal pure returns (BytesSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := store.slot
        }
    }
}

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

pragma solidity ^0.8.20;

import {Math} from "./math/Math.sol";
import {SignedMath} from "./math/SignedMath.sol";

/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant HEX_DIGITS = "0123456789abcdef";
    uint8 private constant ADDRESS_LENGTH = 20;

    /**
     * @dev The `value` string doesn't fit in the specified `length`.
     */
    error StringsInsufficientHexLength(uint256 value, uint256 length);

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        unchecked {
            uint256 length = Math.log10(value) + 1;
            string memory buffer = new string(length);
            uint256 ptr;
            /// @solidity memory-safe-assembly
            assembly {
                ptr := add(buffer, add(32, length))
            }
            while (true) {
                ptr--;
                /// @solidity memory-safe-assembly
                assembly {
                    mstore8(ptr, byte(mod(value, 10), HEX_DIGITS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

    /**
     * @dev Converts a `int256` to its ASCII `string` decimal representation.
     */
    function toStringSigned(int256 value) internal pure returns (string memory) {
        return string.concat(value < 0 ? "-" : "", toString(SignedMath.abs(value)));
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        unchecked {
            return toHexString(value, Math.log256(value) + 1);
        }
    }

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

    /**
     * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal
     * representation.
     */
    function toHexString(address addr) internal pure returns (string memory) {
        return toHexString(uint256(uint160(addr)), ADDRESS_LENGTH);
    }

    /**
     * @dev Returns true if the two strings are equal.
     */
    function equal(string memory a, string memory b) internal pure returns (bool) {
        return bytes(a).length == bytes(b).length && keccak256(bytes(a)) == keccak256(bytes(b));
    }
}

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

contract Constants {
    // 0x00: ethereum
    // 0x01: arbitrum
    // 0x02: bnb smart chain
    // 0x03: polygon
    // 0x04: optimism
    // 0x05: avalanche
    // 0x06: base
    // 0x07: linea
    // 0x08: zksync
    // 0x09: scroll
    // 0x0a: mode
    // 0x0b: manta
    // 0x0c: zklink
    // 0x0d: core
    // 0x0e: xlayer
    // 0x0f: mantle
    // 0x10: merlin
    // 0x11: b2
    // 0x12: bitlayer
    // 0x13: bevm
    // 0x14: bb
    // 0x15: bob
    // 0x16: opbnb
    // 0x1a: neox
    // 0x20: kava
    // 0x21: kroma
    // 0x22: kaia
    // 0x23: ailayer
    // 0x24: zircuit
    // 0x25: iotex
    // 0x26: zeta
    // 0x27: taiko
    // 0x28: sei
    // 0x29: duck
    // 0x2a: morph
    // 0xa0: (non-evm) sui
    // 0xf0: sepolia
    // 0xf1: merlin-testnet
    // 0xf2: b2-testnet
    uint8 constant CHAIN = 0x00;

    // This value should be different for different bridge deployments
    string constant BRIDGE_CHANNEL = "NeoX Bridge";

    uint256 constant PROPOSE_PERIOD = 48 hours;
    uint256 constant EXPIRE_PERIOD = 72 hours;
    uint256 constant EXPIRE_EXTRA_PERIOD = 96 hours;

    bytes26 constant ETH_SIGN_HEADER = bytes26("\x19Ethereum Signed Message:\n");
}

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

import "@openzeppelin/contracts/proxy/ERC1967/ERC1967Proxy.sol";

abstract contract ERC1967 is ERC1967Proxy {}

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

import "@openzeppelin/contracts-upgradeable/proxy/utils/UUPSUpgradeable.sol";
import "@openzeppelin/contracts/utils/Strings.sol";
import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";

import "./MintableERC20.sol";
import "../Permissions.sol";
import "../ReqHelpers.sol";

contract AtomicMintContract is Permissions, ReqHelpers, UUPSUpgradeable {
    using SafeERC20 for MintableERC20;

    mapping(bytes32 => address) public proposedMint;
    mapping(bytes32 => address) public proposedBurn;

    function initialize(address _admin, address _vault, address proposer, address[] calldata executors, uint256 threshold) public initializer {
        _initAdmin(_admin);
        if (_vault != address(0)) {
            _initVault(_vault);
        }
        _addProposer(proposer);
        _initExecutors(executors, threshold);
    }

    function _authorizeUpgrade(address newImplementation) internal override onlyAdmin {}

    function addToken(uint8 tokenIndex, address tokenAddr) external onlyAdmin {
        _addToken(tokenIndex, tokenAddr);
    }

    function createToken(uint8 tokenIndex, string memory name, string memory symbol, uint8 decimals) external onlyAdmin {
        MintableERC20 tokenAddr = new MintableERC20(address(this), _getVaultWithAdminFallback(), name, symbol, decimals);
        _addToken(tokenIndex, address(tokenAddr));
    }

    function removeToken(uint8 tokenIndex) external onlyAdmin {
        _removeToken(tokenIndex);
    }

    event TokenMintProposed(bytes32 indexed reqId, address indexed recipient);
    event TokenMintExecuted(bytes32 indexed reqId, address indexed recipient);
    event TokenMintCancelled(bytes32 indexed reqId, address indexed recipient);

    function proposeMint(bytes32 reqId, address recipient) external onlyProposer toChainOnly(reqId) {
        require(_actionFrom(reqId) & 0x0f == 1, "Invalid action; not lock-mint");
        _proposeMint(reqId, recipient);
    }

    function proposeMintFromBurn(bytes32 reqId, address recipient) external onlyProposer toChainOnly(reqId) {
        require(_actionFrom(reqId) & 0x0f == 3, "Invalid action; not burn-mint");
        _proposeMint(reqId, recipient);
    }

    function _proposeMint(bytes32 reqId, address recipient) private {
        _createdTimeFrom(reqId, true);
        require(proposedMint[reqId] == address(0), "Invalid reqId");
        require(recipient > address(1), "Invalid recipient");

        _amountFrom(reqId);
        _tokenFrom(reqId);
        proposedMint[reqId] = recipient;

        emit TokenMintProposed(reqId, recipient);
    }

    function executeMint(bytes32 reqId, bytes32[] memory r, bytes32[] memory yParityAndS, address[] memory executors, uint256 exeIndex) external {
        address recipient = proposedMint[reqId];
        require(recipient > address(1), "Invalid reqId");

        bytes32 digest = _digestFromReqSigningMessage(reqId);
        _checkMultiSignatures(digest, r, yParityAndS, executors, exeIndex);

        proposedMint[reqId] = address(1);

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);
        address vault;
        if (_actionFrom(reqId) & 0x10 > 0) {
            vault = getVault();
        }
        if (vault == address(0)) {
            MintableERC20(tokenAddr).mint(recipient, amount);
        } else {
            MintableERC20(tokenAddr).mint(vault, amount);
        }

        emit TokenMintExecuted(reqId, recipient);
    }

    function cancelMint(bytes32 reqId) external {
        address recipient = proposedMint[reqId];
        require(recipient > address(1), "Invalid reqId");
        require(block.timestamp > _createdTimeFrom(reqId, false) + EXPIRE_EXTRA_PERIOD, "Wait until expired to cancel");

        delete proposedMint[reqId];

        emit TokenMintCancelled(reqId, recipient);
    }

    event TokenBurnProposed(bytes32 indexed reqId, address indexed proposer);
    event TokenBurnExecuted(bytes32 indexed reqId, address indexed proposer);
    event TokenBurnCancelled(bytes32 indexed reqId, address indexed proposer);

    function proposeBurn(bytes32 reqId) payable external toChainOnly(reqId) {
        require(_actionFrom(reqId) & 0x0f == 2, "Invalid action; not burn-unlock");
        _proposeBurn(reqId);
    }

    function proposeBurnForMint(bytes32 reqId) payable external fromChainOnly(reqId) {
        require(_actionFrom(reqId) & 0x0f == 3, "Invalid action; not burn-mint");
        _proposeBurn(reqId);
    }

    function _proposeBurn(bytes32 reqId) private {
        _createdTimeFrom(reqId, true);
        require(proposedBurn[reqId] == address(0), "Invalid reqId");

        address proposer = msg.sender;
        require(proposer > address(1), "Invalid proposer");

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);
        proposedBurn[reqId] = proposer;

        MintableERC20(tokenAddr).safeTransferFrom(proposer, address(this), amount);

        emit TokenBurnProposed(reqId, proposer);
    }

    function executeBurn(bytes32 reqId, bytes32[] memory r, bytes32[] memory yParityAndS, address[] memory executors, uint256 exeIndex) external {
        address proposer = proposedBurn[reqId];
        require(proposer > address(1), "Invalid reqId");

        bytes32 digest = _digestFromReqSigningMessage(reqId);
        _checkMultiSignatures(digest, r, yParityAndS, executors, exeIndex);

        proposedBurn[reqId] = address(1);

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);
        MintableERC20(tokenAddr).burn(address(this), amount);

        emit TokenBurnExecuted(reqId, proposer);
    }

    function cancelBurn(bytes32 reqId) external {
        address proposer = proposedBurn[reqId];
        require(proposer > address(1), "Invalid reqId");
        require(block.timestamp > _createdTimeFrom(reqId, false) + EXPIRE_PERIOD, "Wait until expired to cancel");

        delete proposedBurn[reqId];

        uint256 amount = _amountFrom(reqId);
        address tokenAddr = _tokenFrom(reqId);
        MintableERC20(tokenAddr).safeTransfer(proposer, amount);

        emit TokenBurnCancelled(reqId, proposer);
    }
}

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

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

contract MintableERC20 is ERC20 {
    uint8 immutable private _decimals;

    address public minter;
    address public vault;
    uint256 public mintQuota;

    constructor(address minter_, address vault_, string memory name, string memory symbol, uint8 decimals_) ERC20(name, symbol) {
        minter = minter_;
        vault = vault_;
        _decimals = decimals_;
    }

    function decimals() public view override returns (uint8) {
        return _decimals;
    }

    modifier onlyMinter() {
        require(msg.sender == minter, "Require minter");
        _;
    }

    modifier onlyVault() {
        require(msg.sender == vault, "Require vault");
        _;
    }

    event MinterTransferred(address indexed prevMinter, address indexed newMinter);

    function transferMinter(address newMinter) external onlyMinter {
        address prevMinter = minter;
        minter = newMinter;
        emit MinterTransferred(prevMinter, newMinter);
    }

    event VaultTransferred(address indexed prevVault, address indexed newVault);

    function transferVault(address newVault) external onlyVault {
        address prevVault = vault;
        vault = newVault;
        emit VaultTransferred(prevVault, newVault);
    }


    function updateMintQuota(uint256 delta) external onlyVault {
        mintQuota += delta;
    }

    function mint(address account, uint256 amount) external onlyMinter {
        if (account != vault) {
            mintQuota -= amount;
        }
        _mint(account, amount);
    }

    function burn(address account, uint256 amount) external onlyMinter {
        _burn(account, amount);
    }
}

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

import "@openzeppelin/contracts/utils/Strings.sol";
import "@openzeppelin/contracts/utils/math/Math.sol";
import "./Constants.sol";

contract Permissions is Constants {
    struct PermissionsStorage {
        address _admin;
        address _vault;

        mapping(address => uint256) _proposerIndex;
        address[] _proposerList;

        address[][] _executorsForIndex;
        uint256[] _exeThresholdForIndex;
        uint256[] _exeActiveSinceForIndex;
    }

    // keccak256(abi.encode(uint256(keccak256("atomic-lock-mint.Permissions")) - 1)) & ~bytes32(uint256(0xff))
    bytes32 private constant PermissionsLocation = 0xd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f7100;

    function _getPermissionsStorage() private pure returns (PermissionsStorage storage $) {
        assembly {
            $.slot := PermissionsLocation
        }
    }

    modifier onlyAdmin() {
        require(msg.sender == getAdmin(), "Require admin");
        _;
    }

    modifier onlyVaultWithAdminFallback() {
        require(msg.sender == _getVaultWithAdminFallback(), "Require vault");
        _;
    }

    modifier onlyProposer() {
        PermissionsStorage storage $ = _getPermissionsStorage();
        require($._proposerIndex[msg.sender] > 0, "Require a proposer");
        _;
    }

    function getAdmin() public view returns (address) {
        PermissionsStorage storage $ = _getPermissionsStorage();
        return $._admin;
    }

    event AdminTransferred(address indexed prevAdmin, address indexed newAdmin);

    function _initAdmin(address admin) internal {
        PermissionsStorage storage $ = _getPermissionsStorage();
        $._admin = admin;
        emit AdminTransferred(address(0), admin);
    }

    function transferAdmin(address newAdmin) external onlyAdmin {
        PermissionsStorage storage $ = _getPermissionsStorage();
        address prevAdmin = $._admin;
        $._admin = newAdmin;
        emit AdminTransferred(prevAdmin, newAdmin);
    }


    function getVault() public view returns (address) {
        PermissionsStorage storage $ = _getPermissionsStorage();
        return $._vault;
    }

    function _getVaultWithAdminFallback() internal view returns (address) {
        PermissionsStorage storage $ = _getPermissionsStorage();
        address vault = $._vault;
        return vault == address(0) ? $._admin : vault;
    }

    event VaultTransferred(address indexed prevVault, address indexed newVault);

    function _initVault(address vault) internal {
        PermissionsStorage storage $ = _getPermissionsStorage();
        $._vault = vault;
        emit VaultTransferred(address(0), vault);
    }

    function transferVault(address newVault) external onlyVaultWithAdminFallback {
        PermissionsStorage storage $ = _getPermissionsStorage();
        address prevVault = $._vault;
        $._vault = newVault;
        emit VaultTransferred(prevVault, newVault);
    }


    function proposerIndex(address proposer) external view returns (uint256) {
        PermissionsStorage storage $ = _getPermissionsStorage();
        return $._proposerIndex[proposer];
    }

    function proposerOfIndex(uint256 index) external view returns (address) {
        PermissionsStorage storage $ = _getPermissionsStorage();
        return $._proposerList[index];
    }

    event ProposerAdded(address indexed proposer);
    event ProposerRemoved(address indexed proposer);

    function addProposer(address proposer) external onlyAdmin {
        _addProposer(proposer);
    }

    function _addProposer(address proposer) internal {
        PermissionsStorage storage $ = _getPermissionsStorage();
        require($._proposerIndex[proposer] == 0, "Already a proposer");
        $._proposerList.push(proposer);
        $._proposerIndex[proposer] = $._proposerList.length;
        emit ProposerAdded(proposer);
    }

    function removeProposer(address proposer) external onlyAdmin {
        PermissionsStorage storage $ = _getPermissionsStorage();
        uint256 index = $._proposerIndex[proposer];
        require(index > 0, "Not an existing proposer");
        delete $._proposerIndex[proposer];

        uint256 len = $._proposerList.length;
        if (index < len) {
            address lastProposer = $._proposerList[len - 1];
            $._proposerList[index - 1] = lastProposer;
            $._proposerIndex[lastProposer] = index;
        }
        $._proposerList.pop();
        emit ProposerRemoved(proposer);
    }


    function executorsForIndex(uint256 index) external view returns (address[] memory) {
        PermissionsStorage storage $ = _getPermissionsStorage();
        return $._executorsForIndex[index];
    }

    function exeThresholdForIndex(uint256 index) external view returns (uint256) {
        PermissionsStorage storage $ = _getPermissionsStorage();
        return $._exeThresholdForIndex[index];
    }

    function exeActiveSinceForIndex(uint256 index) external view returns (uint256) {
        PermissionsStorage storage $ = _getPermissionsStorage();
        return $._exeActiveSinceForIndex[index];
    }

    function getActiveExecutors() external view returns (address[] memory executors, uint256 threshold, uint256 activeSince, uint256 exeIndex) {
        PermissionsStorage storage $ = _getPermissionsStorage();
        exeIndex = $._exeActiveSinceForIndex.length - 1;
        if ($._exeActiveSinceForIndex[exeIndex] > block.timestamp) {
            exeIndex--;
        }
        executors = $._executorsForIndex[exeIndex];
        threshold = $._exeThresholdForIndex[exeIndex];
        activeSince = $._exeActiveSinceForIndex[exeIndex];
    }

    function _initExecutors(address[] memory executors, uint256 threshold) internal {
        PermissionsStorage storage $ = _getPermissionsStorage();
        require($._exeThresholdForIndex.length == 0, "Executors already initialized");
        require(threshold > 0, "Threshold must be greater than 0");
        $._executorsForIndex.push(executors);
        $._exeThresholdForIndex.push(threshold);
        $._exeActiveSinceForIndex.push(1);
    }

    // All history executors will be recorded and indexed in chronological order. 
    // When a new set of `executors` is updated, the index will increase by 1. 
    // When updating `executors`, an `activeSince` timestamp must be provided, 
    // indicating the time from which this set of `executors` will become effective. 
    // The `activeSince` must be between 1.5 and 5 days after the current time, and also 
    // at least 1 day after the `activeSince` of the previous set of `executors`. 
    // Note that when the new set of `executors` becomes effective, the previous 
    // set of `executors` will become invalid.
    function updateExecutors(
        address[] calldata newExecutors,
        uint256 threshold,
        uint256 activeSince,
        bytes32[] calldata r, bytes32[] calldata yParityAndS, address[] calldata executors, uint256 exeIndex
    ) external {
        require(threshold > 0, "Threshold must be greater than 0");
        require(activeSince > block.timestamp + 36 hours, "The activeSince should be after 1.5 days from now");
        require(activeSince < block.timestamp + 5 days, "The activeSince should be within 5 days from now");

        bytes32 digest = keccak256(abi.encodePacked(
            ETH_SIGN_HEADER,
            Strings.toString(3 + bytes(BRIDGE_CHANNEL).length + (29 + 43 * newExecutors.length) + (12 + Math.log10(threshold) + 1) + (15 + 10) + (25 + Math.log10(exeIndex) + 1)),
            "[", BRIDGE_CHANNEL, "]\n",
            "Sign to update executors to:\n",
            __joinAddressList(newExecutors),
            "Threshold: ", Strings.toString(threshold), "\n",
            "Active since: ", Strings.toString(activeSince), "\n",
            "Current executors index: ", Strings.toString(exeIndex)
        ));
        _checkMultiSignatures(digest, r, yParityAndS, executors, exeIndex);

        PermissionsStorage storage $ = _getPermissionsStorage();
        uint256 newIndex = exeIndex + 1;
        if (newIndex == $._exeActiveSinceForIndex.length) {
            $._executorsForIndex.push(newExecutors);
            $._exeThresholdForIndex.push(threshold);
            $._exeActiveSinceForIndex.push(activeSince);
        } else {
            require(activeSince >= $._exeActiveSinceForIndex[newIndex], "Failed to overwrite existing executors");
            require(threshold >= $._exeThresholdForIndex[newIndex], "Failed to overwrite existing executors");
            require(__cmpAddrList(newExecutors, $._executorsForIndex[newIndex]), "Failed to overwrite existing executors");
            $._executorsForIndex[newIndex] = newExecutors;
            $._exeThresholdForIndex[newIndex] = threshold;
            $._exeActiveSinceForIndex[newIndex] = activeSince;
        }
    }

    function __joinAddressList(address[] memory addrs) private pure returns (string memory) {
        string memory result = "";

        for (uint256 i = 0; i < addrs.length; i++) {
            string memory addrStr = Strings.toHexString(addrs[i]);
            if (i == 0) {
                result = string(abi.encodePacked(addrStr, "\n"));
            } else {
                result = string(abi.encodePacked(result, addrStr, "\n"));
            }
        }

        return result;
    }

    function __cmpAddrList(address[] memory list1, address[] memory list2) private pure returns (bool) {
        if (list1.length > list2.length) {
            return true;
        } else if (list1.length < list2.length) {
            return false;
        }
        for (uint256 i = 0; i < list1.length; i++) {
            if (list1[i] > list2[i]) {
                return true;
            } else if (list1[i] < list2[i]) {
                return false;
            }
        }
        return false;
    }

    function _checkMultiSignatures(
        bytes32 digest,
        bytes32[] memory r,
        bytes32[] memory yParityAndS,
        address[] memory executors,
        uint256 exeIndex
    ) internal view {
        require(r.length == yParityAndS.length, "Array length should equal");
        require(r.length == executors.length, "Array length should equal");

        __checkExecutorsForIndex(executors, exeIndex);

        for (uint256 i = 0; i < executors.length; i++) {
            address executor = executors[i];
            __checkSignature(digest, r[i], yParityAndS[i], executor);
        }
    }

    function __checkExecutorsForIndex(address[] memory executors, uint256 exeIndex) private view {
        PermissionsStorage storage $ = _getPermissionsStorage();
        require(executors.length >= $._exeThresholdForIndex[exeIndex], "Does not meet threshold");

        uint256 blockTime = block.timestamp;
        uint256 activeSince = $._exeActiveSinceForIndex[exeIndex];
        require(activeSince < blockTime, "Executors not yet active");

        if ($._exeActiveSinceForIndex.length > exeIndex + 1) {
            uint256 nextActiveSince = $._exeActiveSinceForIndex[exeIndex + 1];
            require(nextActiveSince > blockTime, "Executors of next index is active");
        }

        address[] memory currentExecutors = $._executorsForIndex[exeIndex];
        for (uint256 i = 0; i < executors.length; i++) {
            address executor = executors[i];
            for (uint256 j = 0; j < i; j++) {
                require(executors[j] != executor, "Duplicated executors");
            }

            bool isExecutor = false;
            for (uint256 j = 0; j < currentExecutors.length; j++) {
                if (executor == currentExecutors[j]) {
                    isExecutor = true;
                    break;
                }
            }
            require(isExecutor, "Non-executor");
        }
    }

    function __checkSignature(bytes32 digest, bytes32 r, bytes32 yParityAndS, address signer) internal pure {
        require(signer != address(0), "Signer cannot be empty address");
        bytes32 s = yParityAndS & bytes32(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
        uint8 v = uint8((uint256(yParityAndS) >> 255) + 27);
        require(uint256(s) <= 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0, "Invalid signature");

        require(signer == ecrecover(digest, v, r, s), "Invalid signature");
    }
}

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

import "@openzeppelin/contracts/utils/Strings.sol";
import "@openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol";
import "./Constants.sol";

contract ReqHelpers is Constants {
    struct ReqHelpersStorage {
        mapping(uint8 => address) _tokens;
        mapping(uint8 => uint8) _tokenDecimals;
    }

    // keccak256(abi.encode(uint256(keccak256("atomic-lock-mint.ReqHelpers")) - 1)) & ~bytes32(uint256(0xff))
    bytes32 private constant ReqHelpersStorageLocation = 0xd6c54e2ae807cd214b40b716718abbdcf0be862340bc50cb8180c058254f4b00;

    function _getReqHelpersStorage() private pure returns (ReqHelpersStorage storage $) {
        assembly {
            $.slot := ReqHelpersStorageLocation
        }
    }

    function tokenForIndex(uint8 tokenIndex) external view returns (address) {
        ReqHelpersStorage storage $ = _getReqHelpersStorage();
        return $._tokens[tokenIndex];
    }

    event TokenAdded(uint8 tokenIndex, address tokenAddr);
    event TokenRemoved(uint8 tokenIndex, address tokenAddr);

    function _addToken(uint8 tokenIndex, address tokenAddr) internal {
        ReqHelpersStorage storage $ = _getReqHelpersStorage();
        require($._tokens[tokenIndex] == address(0), "Token index occupied");
        require(tokenIndex > 0, "Token index cannot be zero");
        require(tokenAddr != address(0), "Token address cannot be zero");

        uint8 decimals = tokenAddr == address(1) ? 18 : IERC20Metadata(tokenAddr).decimals();
        if (decimals == 6) {
            require(tokenIndex < 64, "Token with decimals 6 should have index 1-63");
        } else if (decimals == 18) {
            require(tokenIndex >= 64 && tokenIndex < 192, "Token with decimals 18 should have index 64-191");
        } else {
            require(tokenIndex >= 192, "Token with decimals other than 6 or 18 should have index 192-255");
            $._tokenDecimals[tokenIndex] = decimals;
        }
        $._tokens[tokenIndex] = tokenAddr;

        emit TokenAdded(tokenIndex, tokenAddr);
    }

    function _removeToken(uint8 tokenIndex) internal {
        require(tokenIndex > 0, "Token index cannot be zero");
        ReqHelpersStorage storage $ = _getReqHelpersStorage();
        address tokenAddr = $._tokens[tokenIndex];
        require(tokenAddr != address(0), "No token for this tokenIndex");
        delete $._tokens[tokenIndex];
        if (tokenIndex >= 192) {
            delete $._tokenDecimals[tokenIndex];
        }

        emit TokenRemoved(tokenIndex, tokenAddr);
    }

    function getSupportedTokens() external view
        returns (address[] memory supportedTokens, uint8[] memory indexes, uint8[] memory decimals)
    {
        ReqHelpersStorage storage $ = _getReqHelpersStorage();
        uint8 i;
        uint8 num = 0;
        for (i = 0; i < 255; i++) {
            if ($._tokens[i+1] != address(0)) {
                num++;
            }
        }
        supportedTokens = new address[](num);
        indexes = new uint8[](num);
        decimals = new uint8[](num);
        uint8 j = 0;
        for (i = 0; i < 255; i++) {
            if ($._tokens[i+1] != address(0)) {
                supportedTokens[j] = $._tokens[i+1];
                indexes[j] = i+1;
                if (i+1 < 64) {
                    decimals[j] = 6;
                } else if (i+1 < 192) {
                    decimals[j] = 18;
                } else {
                    decimals[j] = $._tokenDecimals[i+1];
                }
                j++;
            }
        }
    }

    /// `reqId` in format of `version:uint8|createdTime:uint40|action:uint8|tokenIndex:uint8|amount:uint64|from:uint8|to:uint8|(TBD):uint112`
    function _versionFrom(bytes32 reqId) internal pure returns (uint8) {
        return uint8(uint256(reqId) >> 248);
    }

    function _createdTimeFrom(bytes32 reqId, bool check) internal view returns (uint256 createdTime) {
        createdTime = uint40(uint256(reqId) >> 208);
        if (check) {
            require(createdTime > block.timestamp - PROPOSE_PERIOD, "createdTime too early");
            require(createdTime < block.timestamp + 1 minutes, "createdTime too late");
        }
    }

    // action:
    //   0x01: lock-mint
    //   0x02: burn-unlock
    //   0x03: burn-mint
    //   0x11: lock-mint (lock & mint to vault)
    //   0x12: burn-unlock (unlock from vault)
    //   0x13: burn-mint (mint to vault)
    function _actionFrom(bytes32 reqId) internal pure returns (uint8 action) {
        action = uint8(uint256(reqId) >> 200);
    }

    function _tokenFrom(bytes32 reqId) internal view returns (address tokenAddr) {
        ReqHelpersStorage storage $ = _getReqHelpersStorage();
        uint8 tokenIndex = uint8(uint256(reqId) >> 192);
        tokenAddr = $._tokens[tokenIndex];
        require(tokenAddr != address(0), "Invalid tokenIndex");
    }

    function _amountFrom(bytes32 reqId) internal view returns (uint256 amount) {
        amount = (uint256(reqId) >> 128) & 0xFFFFFFFFFFFFFFFF;
        require(amount > 0, "Amount must be greater than zero");
        uint8 tokenIndex = uint8(uint256(reqId) >> 192);
        if (tokenIndex >= 192) {
            ReqHelpersStorage storage $ = _getReqHelpersStorage();
            uint8 decimals = $._tokenDecimals[tokenIndex];
            if (decimals > 6) {
                amount *= 10 ** (decimals - 6);
            } else {
                amount /= 10 ** (6 - decimals);
            }
        } else if (tokenIndex >= 64) {
            amount *= 1e12;
        }
    }

    function _digestFromReqSigningMessage(bytes32 reqId) internal pure returns (bytes32) {
        uint8 specificAction = _actionFrom(reqId) & 0x0f;
        if (specificAction == 1) {
            return keccak256(abi.encodePacked(
                ETH_SIGN_HEADER, Strings.toString(3 + bytes(BRIDGE_CHANNEL).length + 29 + 66),
                "[", BRIDGE_CHANNEL, "]\n",
                "Sign to execute a lock-mint:\n", Strings.toHexString(uint256(reqId), 32)
            ));
        } else if (specificAction == 2) {
            return keccak256(abi.encodePacked(
                ETH_SIGN_HEADER, Strings.toString(3 + bytes(BRIDGE_CHANNEL).length + 31 + 66),
                "[", BRIDGE_CHANNEL, "]\n",
                "Sign to execute a burn-unlock:\n", Strings.toHexString(uint256(reqId), 32)
            ));
        } else if (specificAction == 3) {
            return keccak256(abi.encodePacked(
                ETH_SIGN_HEADER, Strings.toString(3 + bytes(BRIDGE_CHANNEL).length + 29 + 66),
                "[", BRIDGE_CHANNEL, "]\n",
                "Sign to execute a burn-mint:\n", Strings.toHexString(uint256(reqId), 32)
            ));
        }
        return 0x0;
    }

    modifier fromChainOnly(bytes32 reqId) {
        require(CHAIN == uint8(uint256(reqId) >> 120), "Request not from the current chain");
        _;
    }

    modifier toChainOnly(bytes32 reqId) {
        require(CHAIN == uint8(uint256(reqId) >> 112), "Request not to the current chain");
        _;
    }
}

{
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "evmVersion": "paris",
  "viaIR": true,
  "metadata": {
    "bytecodeHash": "none"
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"AddressEmptyCode","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"AddressInsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"implementation","type":"address"}],"name":"ERC1967InvalidImplementation","type":"error"},{"inputs":[],"name":"ERC1967NonPayable","type":"error"},{"inputs":[],"name":"FailedInnerCall","type":"error"},{"inputs":[],"name":"InvalidInitialization","type":"error"},{"inputs":[],"name":"NotInitializing","type":"error"},{"inputs":[{"internalType":"address","name":"token","type":"address"}],"name":"SafeERC20FailedOperation","type":"error"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"length","type":"uint256"}],"name":"StringsInsufficientHexLength","type":"error"},{"inputs":[],"name":"UUPSUnauthorizedCallContext","type":"error"},{"inputs":[{"internalType":"bytes32","name":"slot","type":"bytes32"}],"name":"UUPSUnsupportedProxiableUUID","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"prevAdmin","type":"address"},{"indexed":true,"internalType":"address","name":"newAdmin","type":"address"}],"name":"AdminTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint64","name":"version","type":"uint64"}],"name":"Initialized","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"proposer","type":"address"}],"name":"ProposerAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"proposer","type":"address"}],"name":"ProposerRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint8","name":"tokenIndex","type":"uint8"},{"indexed":false,"internalType":"address","name":"tokenAddr","type":"address"}],"name":"TokenAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"reqId","type":"bytes32"},{"indexed":true,"internalType":"address","name":"proposer","type":"address"}],"name":"TokenLockCancelled","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"reqId","type":"bytes32"},{"indexed":true,"internalType":"address","name":"proposer","type":"address"}],"name":"TokenLockExecuted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"reqId","type":"bytes32"},{"indexed":true,"internalType":"address","name":"proposer","type":"address"}],"name":"TokenLockProposed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint8","name":"tokenIndex","type":"uint8"},{"indexed":false,"internalType":"address","name":"tokenAddr","type":"address"}],"name":"TokenRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"reqId","type":"bytes32"},{"indexed":true,"internalType":"address","name":"recipient","type":"address"}],"name":"TokenUnlockCancelled","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"reqId","type":"bytes32"},{"indexed":true,"internalType":"address","name":"recipient","type":"address"}],"name":"TokenUnlockExecuted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"reqId","type":"bytes32"},{"indexed":true,"internalType":"address","name":"recipient","type":"address"}],"name":"TokenUnlockProposed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"implementation","type":"address"}],"name":"Upgraded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"prevVault","type":"address"},{"indexed":true,"internalType":"address","name":"newVault","type":"address"}],"name":"VaultTransferred","type":"event"},{"inputs":[],"name":"UPGRADE_INTERFACE_VERSION","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"proposer","type":"address"}],"name":"addProposer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint8","name":"tokenIndex","type":"uint8"},{"internalType":"address","name":"tokenAddr","type":"address"}],"name":"addToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"reqId","type":"bytes32"}],"name":"cancelLock","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"reqId","type":"bytes32"}],"name":"cancelUnlock","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"exeActiveSinceForIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"exeThresholdForIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"reqId","type":"bytes32"},{"internalType":"bytes32[]","name":"r","type":"bytes32[]"},{"internalType":"bytes32[]","name":"yParityAndS","type":"bytes32[]"},{"internalType":"address[]","name":"executors","type":"address[]"},{"internalType":"uint256","name":"exeIndex","type":"uint256"}],"name":"executeLock","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"reqId","type":"bytes32"},{"internalType":"bytes32[]","name":"r","type":"bytes32[]"},{"internalType":"bytes32[]","name":"yParityAndS","type":"bytes32[]"},{"internalType":"address[]","name":"executors","type":"address[]"},{"internalType":"uint256","name":"exeIndex","type":"uint256"}],"name":"executeUnlock","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"executorsForIndex","outputs":[{"internalType":"address[]","name":"","type":"address[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getActiveExecutors","outputs":[{"internalType":"address[]","name":"executors","type":"address[]"},{"internalType":"uint256","name":"threshold","type":"uint256"},{"internalType":"uint256","name":"activeSince","type":"uint256"},{"internalType":"uint256","name":"exeIndex","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getAdmin","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getSupportedTokens","outputs":[{"internalType":"address[]","name":"supportedTokens","type":"address[]"},{"internalType":"uint8[]","name":"indexes","type":"uint8[]"},{"internalType":"uint8[]","name":"decimals","type":"uint8[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getVault","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_admin","type":"address"},{"internalType":"address","name":"_vault","type":"address"},{"internalType":"address","name":"proposer","type":"address"},{"internalType":"address[]","name":"executors","type":"address[]"},{"internalType":"uint256","name":"threshold","type":"uint256"}],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"lockedBalanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"reqId","type":"bytes32"}],"name":"proposeLock","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"reqId","type":"bytes32"},{"internalType":"address","name":"recipient","type":"address"}],"name":"proposeUnlock","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"proposedLock","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"proposedUnlock","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"proposer","type":"address"}],"name":"proposerIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"proposerOfIndex","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"proxiableUUID","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"proposer","type":"address"}],"name":"removeProposer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint8","name":"tokenIndex","type":"uint8"}],"name":"removeToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint8","name":"tokenIndex","type":"uint8"}],"name":"tokenForIndex","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newAdmin","type":"address"}],"name":"transferAdmin","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newVault","type":"address"}],"name":"transferVault","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"newExecutors","type":"address[]"},{"internalType":"uint256","name":"threshold","type":"uint256"},{"internalType":"uint256","name":"activeSince","type":"uint256"},{"internalType":"bytes32[]","name":"r","type":"bytes32[]"},{"internalType":"bytes32[]","name":"yParityAndS","type":"bytes32[]"},{"internalType":"address[]","name":"executors","type":"address[]"},{"internalType":"uint256","name":"exeIndex","type":"uint256"}],"name":"updateExecutors","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newImplementation","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"upgradeToAndCall","outputs":[],"stateMutability":"payable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60a0806040523461002a5730608052613c5090816100308239608051818181611acf0152611bb40152f35b600080fdfe6080604052600436101561001b575b361561001957600080fd5b005b60003560e01c806302ba3d05146123ce57806305c7d67b1461221f57806309d632d3146120885780630be48ce114611e335780631cd099ce14611dff5780633e36a42314611dc95780634952444e14611d955780634ee4f2ef14611d775780634f1ef28614611b3957806352d1902d14611abc5780635935573614611a8257806363bf8d6a146119455780636842efac146118755780636e9960c31461183f5780637458f5041461172457806375829def146116a857806375d1a9d614611345578063835454d9146112935780638d928af81461125d5780639c20c97c14610b2c578063ad3cb1cc14610acf578063af05a1e3146109be578063b03cd4181461097b578063b5836e6f14610944578063d2dd9f7914610862578063d3c7c2c71461065e578063d3faf8d8146102b0578063d87fea5a146101e4578063f7e2cb39146101b85763ff3787190361000e57346101b35760203660031901126101b35760ff6101856124ee565b16600052600080516020613be4833981519152602052602060018060a01b0360406000205416604051908152f35b600080fd5b346101b35760203660031901126101b35760206101d660043561289d565b90546040519160031b1c8152f35b346101b35760003660031901126101b357600080516020613c2483398151915254600019810190811161029a57610276908061021f8161285a565b9054429160031b1c1161028a575b5061024061023a82612805565b506129b7565b9061024a8161289d565b90549060031b1c9061025b8161285a565b90549060031b1c604051948594608086526080860190612421565b926020850152604084015260608301520390f35b6102949150612a11565b8261022d565b634e487b7160e01b600052601160045260246000fd5b346101b35760403660031901126101b3576102c96124ee565b6102d161240b565b600080516020613c04833981519152546001600160a01b0392906102f89084163314612774565b60ff811680600052600080516020613be483398151915260209481865280604060002054166106225761032c8315156133f2565b84169182156105dd576001830361056d5760ff60125b1660068103610417575060408110156103bd57947f0782d5a983f4f99019eb2dc8dfe67419752a13dca743154e71029fc01318d055955b600090815291905260409081902080546001600160a01b031916909217909155805160ff90921682526001600160a01b03909216602082015290819081015b0390a1005b60405162461bcd60e51b815260048101879052602c60248201527f546f6b656e207769746820646563696d616c7320362073686f756c642068617660448201526b6520696e64657820312d363360a01b6064820152608490fd5b601281036104bf57506040811015806104b5575b1561045857947f0782d5a983f4f99019eb2dc8dfe67419752a13dca743154e71029fc01318d05595610379565b60405162461bcd60e51b815260048101879052602f60248201527f546f6b656e207769746820646563696d616c732031382073686f756c6420686160448201526e766520696e6465782036342d31393160881b6064820152608490fd5b5060c0811061042b565b959060c08110610503577f0782d5a983f4f99019eb2dc8dfe67419752a13dca743154e71029fc01318d055966104f48661336b565b9060ff19825416179055610379565b6084826040519062461bcd60e51b82526004820152604060248201527f546f6b656e207769746820646563696d616c73206f74686572207468616e203660448201527f206f722031382073686f756c64206861766520696e646578203139322d3235356064820152fd5b60405163313ce56760e01b81528681600481875afa80156105d157600090610599575b60ff9150610342565b508681813d83116105ca575b6105af8183612479565b810103126101b3575160ff811681036101b35760ff90610590565b503d6105a5565b6040513d6000823e3d90fd5b60405162461bcd60e51b815260048101879052601c60248201527f546f6b656e20616464726573732063616e6e6f74206265207a65726f000000006044820152606490fd5b60405162461bcd60e51b8152600481018790526014602482015273151bdad95b881a5b99195e081bd8d8dd5c1a595960621b6044820152606490fd5b346101b35760003660031901126101b3576000805b60ff8080831610156106d657610688826133ae565b166000908152600080516020613be483398151915260205260409020546001600160a01b03166106c1575b6106bc9061339d565b610673565b906106ce6106bc9161339d565b9190506106b3565b60ff8084166106e48161252e565b906106f26040519283612479565b808252601f196107018261252e565b0190602091368385013761071d610717826133c0565b916133c0565b936000805b828082161061076b5761074c86610767896107598989604051968796606088526060880190612421565b91868303908701526126aa565b9083820360408501526126aa565b0390f35b82610775826133ae565b16600052600080516020613be483398151915280865260018060a01b039081604060002054166107b0575b50506107ab9061339d565b610722565b9261081d918394866107c46107ab966133ae565b16600052885260406000205416858216906107df828b612d6e565b526107e9856133ae565b866107f4838a612d6e565b91169052604086610804876133ae565b161015610825576108176006918b612d6e565b5261339d565b9190886107a0565b60c086610831876133ae565b161015610844576108176012918b612d6e565b61081786610859610854886133ae565b61336b565b5416918b612d6e565b346101b35760203660031901126101b35761087b6123f5565b600080516020613bc4833981519152546001600160a01b03908116918261093d578180600080516020613c0483398151915254165b16330361090857600080516020613bc483398151915280546001600160a01b0319166001600160a01b03831617905516907fb707b889cced682704e0cf1e7335f22abdfdfe14d9db54a47a1b8ec4d42406ee600080a3005b60405162461bcd60e51b815260206004820152600d60248201526c14995c5d5a5c99481d985d5b1d609a1b6044820152606490fd5b81836108b0565b346101b35760203660031901126101b35760206109626004356127b0565b905460405160039290921b1c6001600160a01b03168152f35b346101b35760203660031901126101b3576100196109976123f5565b6109b960018060a01b03600080516020613c0483398151915254163314612774565b6128f2565b346101b357610a086109cf3661260f565b908460009693949652600260205260018060a01b03938460406000205416966109fa60018911613495565b610a0387613817565b612f4c565b600082815260026020526040902080546001600160a01b0319166001179055610a3082613719565b8382610a3b8561369a565b169260018403610a895750610a629250600080809381935af1610a5c6126e1565b506134d1565b7f92fd09a543e2e6a459f5e6a96fdf98f7fc614eee2145af3f9d2b9f33360f4268600080a3005b60009060108660c81c16610ab6575b8116610aad5750610aa892613b74565b610a62565b610aa89361350f565b600080516020613bc48339815191525481169150610a98565b346101b35760003660031901126101b357610b1e60408051610af08161245e565b6005815260208101640352e302e360dc1b815282519384926020845251809281602086015285850190612687565b601f01601f19168101030190f35b346101b35760e03660031901126101b3576004356001600160401b0381116101b357610b5c9036906004016124fe565b906064356001600160401b0381116101b357610b7c9036906004016124fe565b92906084356001600160401b0381116101b357610b9d9036906004016124fe565b92909360a4356001600160401b0381116101b357610bbf9036906004016124fe565b9096610bce6024351515612a1e565b6201fa4042019788421161029a57604498893511156111ff5762069780420180421161029a57893510156111a257610c04612a76565b516003018060031161029a5785602b02602b8104870361029a57601d0180601d1161029a57610c3291612a69565b610c3d602435612c84565b80600c019081600c1161029a57600d0180911161029a57610c5d91612a69565b6019810180911161029a57610c7360c435612c84565b9081601901918260191161029a57601a0180921161029a57610c9d91610c9891612a69565b612bfc565b96610ca6612a76565b98610cb23688886125b1565b976040518060208101106001600160401b03602083011117610e6d5760208101604052600081529960009a5b8a518c1015610e83576001600160a01b03610cf98d8d612d6e565b51169081604051928360608101106001600160401b03606086011117610e6d5760608401604052602a84526040366020860137835115610e575760306020850153835160011015610e57576078602185015360295b60018111610e155750610df75750610da491908d610daa5750610d9e602160405183610d84829551809260208086019101612687565b8101600560f91b6020820152036001810184520182612479565b9b612d5f565b9a610cde565b6021610d9e916040519381610dc9869351809260208087019101612687565b8201610dde8251809360208085019101612687565b01600560f91b6020820152036001810184520182612479565b8f906040519063e22e27eb60e01b8252600482015260146024820152fd5b90600f8116906010821015610e5757610e52916f181899199a1a9b1b9c1cb0b131b232b360811b901a610e488488612d82565b5360041c91612a11565b610d4e565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b8d9897959361102461103e9896948f9461102c94611019608e8f9861103899610eb7610eb0602435612bfc565b9135612bfc565b610ec260c435612bfc565b916040519687946020860199790ca2ba3432b932bab69029b4b3b732b21026b2b9b9b0b3b29d0560311b8b52610f02815180926020603a8b019101612687565b8601605b60f81b603a820152610f22825180936020603b85019101612687565b01612e8560f11b603b8201527f5369676e20746f20757064617465206578656375746f727320746f3a0a000000603d820152610f68825180936020605a85019101612687565b016a02a343932b9b437b6321d160ad1b605a820152610f91825180936020606585019101612687565b0190600560f91b918260658201526d020b1ba34bb329039b4b731b29d160951b6066820152610fca825180936020607485019101612687565b019060748201527f43757272656e74206578656375746f727320696e6465783a2000000000000000607582015261100a8251809360208785019101612687565b0103606e810184520182612479565b519020973691612545565b933691612545565b9260c4359536916125b1565b92612f4c565b600160c43501908160c4351161029a57600080516020613c2483398151915291825481146000146110f857507fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f710493845491600160401b9586841015610e6d57836110b09160016110b696019055612805565b90612b3b565b6110c1602435612b9f565b805492831015610e6d57826110de9160016100199501905561285a565b9091359082549060031b91821b91600019901b1916179055565b906110de925061001994611177916111226111128561285a565b90549060031b1c87351015612a9d565b61113f61112e8561289d565b90549060031b1c6024351015612a9d565b61116e61116961114e86612805565b5061116361115d3687876125b1565b916129b7565b90612e69565b612a9d565b6110b084612805565b61119d6111838261289d565b6024359082549060031b91821b91600019901b1916179055565b61285a565b60405162461bcd60e51b815260206004820152603060248201527f5468652061637469766553696e63652073686f756c642062652077697468696e818b01526f203520646179732066726f6d206e6f7760801b6064820152608490fd5b60405162461bcd60e51b815260206004820152603160248201527f5468652061637469766553696e63652073686f756c6420626520616674657220818b015270312e3520646179732066726f6d206e6f7760781b6064820152608490fd5b346101b35760003660031901126101b357600080516020613bc4833981519152546040516001600160a01b039091168152602090f35b346101b3576112cf6112a43661260f565b908460009693949652600160205260018060a01b03938460406000205416966109fa60018911613495565b816000526001602052604060002060016001600160601b0360a01b8254161790556112f982613719565b906113038361369a565b16600052600060205261131c6040600020918254612a69565b90557f930a00540f7b6ebe716d5bc3cd6a963cfcc17295d86ea4a47c6ce7bcc55bf144600080a3005b346101b35760a03660031901126101b35761135e6123f5565b61136661240b565b604435916001600160a01b0380841684036101b3576001600160401b03926064358481116101b35761139c9036906004016124fe565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a009687549060ff8260401c161596888316801590816116a0575b6001149081611696575b15908161168d575b5061167b5767ffffffffffffffff1983166001178a556114b4956114ad93889283918b61165c575b5016600080516020613c04833981519152816001600160601b0360a01b82541617905560007ff8ccb027dfcd135e000e9d45e6cc2d662578a8825d4c45b5e32e0adf67e79ec68180a3600080516020613bc483398151915280546001600160a01b0319166001600160a01b0383161790551660007fb707b889cced682704e0cf1e7335f22abdfdfe14d9db54a47a1b8ec4d42406ee8180a36128f2565b36916125b1565b927fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71055461161757608435906114ea821515612a1e565b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f710492835493600160401b9485811015610e6d5761152c91600182019055612805565b919091611601578651928311610e6d576115468383612af8565b602080970191600052866000209060005b8481106115ed57505050505061156c90612b9f565b600080516020613c2483398151915290815490811015610e6d576115959160018201905561285a565b81549060031b906001821b91600019901b19161790556115b157005b7fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29168ff000000000000000019815416905560405160018152a1005b835182168382015592880192600101611557565b634e487b7160e01b600052600060045260246000fd5b60405162461bcd60e51b815260206004820152601d60248201527f4578656375746f727320616c726561647920696e697469616c697a65640000006044820152606490fd5b68ffffffffffffffffff191668010000000000000001178d558d611410565b60405163f92ee8a960e01b8152600490fd5b9050158b6113e8565b303b1591506113e0565b8991506113d6565b346101b35760203660031901126101b3576116c16123f5565b600080516020613c048339815191528054916001600160a01b0380841692916116eb338514612774565b1680936001600160601b0360a01b161790557ff8ccb027dfcd135e000e9d45e6cc2d662578a8825d4c45b5e32e0adf67e79ec6600080a3005b346101b35760203660031901126101b35760043580600052600160205260018060a01b039081604060002054169161175e60018411613495565b64ffffffffff8260d01c166203f480810180911161029a57611781904211613b28565b600082815260016020526040902080546001600160a01b03191690556117a682613719565b83826117b18561369a565b1692600184036117f957506117d29250600080809381935af1610a5c6126e1565b7f0947081fc739b6bd9d04e8351b71b85c9da260db9da35c8f1e7b6a00e3239d4e600080a3005b60009060108660c81c16611826575b811661181d575061181892613b74565b6117d2565b6118189361350f565b600080516020613bc48339815191525481169150611808565b346101b35760003660031901126101b357600080516020613c04833981519152546040516001600160a01b039091168152602090f35b346101b35760203660031901126101b3576004356000818152600260205260409020546001600160a01b0390811691906118b160018411613495565b64ffffffffff8260d01c1662054600810180911161029a576118d4904211613b28565b600082815260026020526040902080546001600160a01b03191690556118f982613719565b906119038361369a565b16600052600060205261191c6040600020918254612a69565b90557f6f728f8699b4774e6257222b67bc88bc725ad625c81bf3997510908ca2e33041600080a3005b346101b35760203660031901126101b35761195e6124ee565b600080516020613c04833981519152546001600160a01b03906119849082163314612774565b60ff8216916119948315156133f2565b82600052600080516020613be4833981519152918260205260406000205416918215611a3d578360c0917fcc8d272331f0cd786dbf39ae72aac68a9d0654176ea3023401c7ec516a29eebb9560005260205260406000206001600160601b0360a01b81541690551015611a27575b6040805160ff90921682526001600160a01b03909216602082015290819081016103b8565b611a308161336b565b805460ff19169055611a02565b60405162461bcd60e51b815260206004820152601c60248201527f4e6f20746f6b656e20666f72207468697320746f6b656e496e646578000000006044820152606490fd5b346101b35760203660031901126101b3576001600160a01b03611aa36123f5565b1660005260006020526020604060002054604051908152f35b346101b35760003660031901126101b3577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03163003611b275760206040517f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc8152f35b60405163703e46dd60e11b8152600490fd5b60403660031901126101b357611b4d6123f5565b60249081356001600160401b0381116101b357366023820112156101b357806004013591611b7a8361249a565b611b876040519182612479565b83815260209384820193368783830101116101b35781600092888893018737830101526001600160a01b037f00000000000000000000000000000000000000000000000000000000000000008116308114908115611d49575b50611b2757611c0181600080516020613c0483398151915254163314612774565b6040516352d1902d60e01b8152908316948082600481895afa918291600093611d19575b5050611c4357604051634c9c8ce360e01b8152600481018690528690fd5b8490867f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc91828103611d045750843b15611cee575080546001600160a01b03191682179055604051907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b600080a2815115611cd4575060006100199381925190845af4611cce6126e1565b91612711565b9250505034611cdf57005b63b398979f60e01b8152600490fd5b604051634c9c8ce360e01b815260048101849052fd5b60405190632a87526960e21b82526004820152fd5b9080929350813d8311611d42575b611d318183612479565b810103126101b35751908780611c25565b503d611d27565b9050817f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc5416141587611be0565b346101b35760203660031901126101b35760206101d660043561285a565b346101b35760203660031901126101b3576004356000526002602052602060018060a01b0360406000205416604051908152f35b346101b35760203660031901126101b357610767611deb61023a600435612805565b604051918291602083526020830190612421565b346101b35760203660031901126101b3576004356000526001602052602060018060a01b0360406000205416604051908152f35b6020806003193601126101b35760043590611e5460ff8360781c161561343e565b611e5d826135ec565b508160c81c6001600f8216036120435760008381526001835260409020546001600160a01b0390611e9090821615613495565b600133111561200b57611ea284613719565b9181611ead8661369a565b1691600183149182611fab575b6000878152600187526040902080546001600160a01b0319163317905560101615611f8657600080516020613bc48339815191525416938415611f4c575015611f3b5750600080808093611f12955af1610a5c6126e1565b33907f56f55aead8b59181fdff5497b6e66dbf6e45dc38bc59023cd1eb5b5657a134fa600080a3005b91611f4792339061350f565b611f12565b6064906040519062461bcd60e51b82526004820152601360248201527215985d5b1d081b9bdd081858dd1a5d985d1959606a1b6044820152fd5b5090925015611f97575b5050611f12565b611fa4913090339061350f565b8180611f90565b84341015611eba5760405162461bcd60e51b815260048101879052602a60248201527f5472616e7366657272656420616d6f756e74202874782e76616c75652920696e6044820152691cdd59999a58da595b9d60b21b6064820152608490fd5b60405162461bcd60e51b815260048101849052601060248201526f24b73b30b634b210383937b837b9b2b960811b6044820152606490fd5b60405162461bcd60e51b815260048101839052601d60248201527f496e76616c696420616374696f6e3b206e6f74206c6f636b2d6d696e740000006044820152606490fd5b346101b35760203660031901126101b3576120a16123f5565b600080516020613c04833981519152546001600160a01b0391906120c89083163314612774565b6120d1816124b5565b5480156121da5760006120e3836124b5565b557fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f7103908154808210612173575b50508054801561215d576000190190612128826127b0565b8582549160031b1b1916905555167fbab6b194452fd4fa50e0ca09bf0f89976da30a2b92fdf91372ad1a176d81e328600080a2005b634e487b7160e01b600052603160045260246000fd5b6000199080820190811161029a5761218b86916127b0565b90549060031b1c169082019082821161029a576121cd816121ae6121d2946127b0565b90919082549060031b9160018060a01b03809116831b921b1916179055565b6124b5565b558380612110565b60405162461bcd60e51b815260206004820152601860248201527f4e6f7420616e206578697374696e672070726f706f73657200000000000000006044820152606490fd5b346101b35760403660031901126101b35760043561223b61240b565b90612245336124b5565b54156123945761225b60ff8260781c161561343e565b612264816135ec565b506002600f8260c81c160361234f576000818152600260205260409020546001600160a01b0392839161229990831615613495565b16916001831115612316576122ad82613719565b906122b78361369a565b1660005260006020526040600020805491820391821161029a5755600081815260026020526040812080546001600160a01b031916841790557fadeba355367ba829c72a6c1961984bf03b6a05c5a743c62bfced85e6b1fc1edd9080a3005b60405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b6044820152606490fd5b60405162461bcd60e51b815260206004820152601f60248201527f496e76616c696420616374696f6e3b206e6f74206275726e2d756e6c6f636b006044820152606490fd5b60405162461bcd60e51b81526020600482015260126024820152712932b8bab4b932903090383937b837b9b2b960711b6044820152606490fd5b346101b35760203660031901126101b35760206123ec6121cd6123f5565b54604051908152f35b600435906001600160a01b03821682036101b357565b602435906001600160a01b03821682036101b357565b90815180825260208080930193019160005b828110612441575050505090565b83516001600160a01b031685529381019392810192600101612433565b604081019081106001600160401b03821117610e6d57604052565b90601f801991011681019081106001600160401b03821117610e6d57604052565b6001600160401b038111610e6d57601f01601f191660200190565b6001600160a01b031660009081527fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71026020526040902090565b6004359060ff821682036101b357565b9181601f840112156101b3578235916001600160401b0383116101b3576020808501948460051b0101116101b357565b6001600160401b038111610e6d5760051b60200190565b92916125508261252e565b9161255e6040519384612479565b829481845260208094019160051b81019283116101b357905b8282106125845750505050565b81358152908301908301612577565b9080601f830112156101b3578160206125ae93359101612545565b90565b92916125bc8261252e565b916125ca6040519384612479565b829481845260208094019160051b81019283116101b357905b8282106125f05750505050565b81356001600160a01b03811681036101b35781529083019083016125e3565b9060a06003198301126101b357600435916001600160401b03916024358381116101b3578261264091600401612593565b926044358181116101b3578361265891600401612593565b926064359182116101b357806023830112156101b357816024612680936004013591016125b1565b9060843590565b60005b83811061269a5750506000910152565b818101518382015260200161268a565b90815180825260208080930193019160005b8281106126ca575050505090565b835160ff16855293810193928101926001016126bc565b3d1561270c573d906126f28261249a565b916127006040519384612479565b82523d6000602084013e565b606090565b90612738575080511561272657805190602001fd5b604051630a12f52160e11b8152600490fd5b8151158061276b575b612749575090565b604051639996b31560e01b81526001600160a01b039091166004820152602490fd5b50803b15612741565b1561277b57565b60405162461bcd60e51b815260206004820152600d60248201526c2932b8bab4b9329030b236b4b760991b6044820152606490fd5b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71038054821015610e57576000527f24dce7d009eaf46d4ec29568bec52a38300813a10a1ff28032237c3f0f12ea4c0190600090565b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71048054821015610e57576000527f62b06dc26f501623e58fdbd953a9d10d4870fbffb250857082446df79c892fda0190600090565b600080516020613c248339815191528054821015610e57576000527fc57babe4463de121fd7b5ee80397226177742ade571baa7924e650ee0952850c0190600090565b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71058054821015610e57576000527f26342f1c22dc3e90844bb4f44a8d0111b5e1e5242173ad4ce54e343d8a41cdbf0190600090565b6128fb816124b5565b5461297d577fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71038054600160401b811015610e6d57826121ae826001612942940185556127b0565b5461294c826124b5565b556001600160a01b03167f2bf05609716bc4b090ad0e99b47b91881c7517771259c625df05db7e9d8c8181600080a2565b60405162461bcd60e51b815260206004820152601260248201527120b63932b0b23c903090383937b837b9b2b960711b6044820152606490fd5b9060405191828154918282526020928383019160005283600020936000905b8282106129ee575050506129ec92500383612479565b565b85546001600160a01b0316845260019586019588955093810193909101906129d6565b801561029a576000190190565b15612a2557565b606460405162461bcd60e51b815260206004820152602060248201527f5468726573686f6c64206d7573742062652067726561746572207468616e20306044820152fd5b9190820180921161029a57565b60405190612a838261245e565b600b82526a4e656f582042726964676560a81b6020830152565b15612aa457565b60405162461bcd60e51b815260206004820152602660248201527f4661696c656420746f206f7665727772697465206578697374696e67206578656044820152656375746f727360d01b6064820152608490fd5b600160401b8211610e6d57805491808255828110612b1557505050565b60009182526020822092830192015b828110612b3057505050565b818155600101612b24565b929190611601576001600160401b038211610e6d57612b5a8284612af8565b916000908152602080822093825b848110612b7757505050505050565b8135916001600160a01b0383168303612b9b57908360019201928188015501612b68565b8480fd5b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f710590815491600160401b831015610e6d5782612be39160016129ec9501905561289d565b90919082549060031b91821b91600019901b1916179055565b612c0581612c84565b9060019081602181850194612c198661249a565b95612c276040519788612479565b808752612c36601f199161249a565b01366020880137850101905b612c4d575b50505090565b6000190190600a906f181899199a1a9b1b9c1cb0b131b232b360811b8282061a835304918215612c7f57919082612c42565b612c47565b6000907a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000080821015612d52575b50600a906d04ee2d6d415b85acef810000000080821015612d45575b50662386f26fc1000080821015612d38575b506305f5e10080821015612d2b575b5061271080821015612d1e575b506064811015612d10575b1015612d0a5790565b60010190565b606460029104920191612d01565b6004910492019138612cf6565b6008910492019138612ce9565b6010910492019138612cda565b6020910492019138612cc8565b604092509004600a612cac565b600019811461029a5760010190565b8051821015610e575760209160051b010190565b908151811015610e57570160200190565b8060405191608083018381106001600160401b03821117610e6d5760405260428352602083016060368237835115610e5757603090538251600190811015610e5757607860218501536041905b808211612e10575050612df1575090565b6044906040519063e22e27eb60e01b8252600482015260206024820152fd5b9091600f8116906010821015612e5457612e4e916f181899199a1a9b1b9c1cb0b131b232b360811b901a612e448588612d82565b5360041c92612a11565b90612de0565b60246000634e487b7160e01b81526032600452fd5b908151815190818111600014612e825750505050600190565b10612ef95760005b8251811015612ef1576001600160a01b0380612ea68386612d6e565b511681612eb38486612d6e565b51161015612ec45750505050600190565b80612ecf8386612d6e565b511690612edc8385612d6e565b511611612ef157612eec90612d5f565b612e8a565b505050600090565b5050600090565b15612f0757565b60405162461bcd60e51b815260206004820152601960248201527f4172726179206c656e6774682073686f756c6420657175616c000000000000006044820152606490fd5b9391909293612f5e8451835114612f00565b612f6b8451865114612f00565b8451612f768461289d565b90549060031b1c116132e657612f8b8361285a565b4291549060031b1c10156132a157600080516020613c248339815191525460019384810180821161029a5780869311613231575b5061023a612fcc91612805565b6000915b61310c575b5050826000905b612fe9575b505050505050565b8551811015613107576001600160a01b03806130058389612d6e565b5116906130128388612d6e565b5161301d8487612d6e565b5183156130c25760018060ff1b0381169060ff90811c91601b830180931161029a57600091816130717f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0608094111561332b565b6040958651928b845260209616868401528683015260608201528280528a5afa156130b85750916130ac6130b192879594600051161461332b565b612d5f565b9091612fdc565b513d6000823e3d90fd5b60405162461bcd60e51b815260206004820152601e60248201527f5369676e65722063616e6e6f7420626520656d707479206164647265737300006044820152606490fd5b612fe1565b84875183101561322b57506001600160a01b038061312a848a612d6e565b511660005b8481106131ce57506000918783815b613190575b505050501561315c576131568592612d5f565b91612fd0565b60405162461bcd60e51b815260206004820152600c60248201526b2737b716b2bc32b1baba37b960a11b6044820152606490fd5b85518110156131c957826131a48288612d6e565b511684146131bb576131b590612d5f565b8161313e565b509250505038808781613143565b613143565b81836131da838d612d6e565b5116146131ef576131ea90612d5f565b61312f565b60405162461bcd60e51b81526020600482015260146024820152734475706c696361746564206578656375746f727360601b6044820152606490fd5b50612fd5565b61323c91925061285a565b4291549060031b1c111561325257839038612fbf565b60405162461bcd60e51b815260206004820152602160248201527f4578656375746f7273206f66206e65787420696e6465782069732061637469766044820152606560f81b6064820152608490fd5b60405162461bcd60e51b815260206004820152601860248201527f4578656375746f7273206e6f74207965742061637469766500000000000000006044820152606490fd5b60405162461bcd60e51b815260206004820152601760248201527f446f6573206e6f74206d656574207468726573686f6c640000000000000000006044820152606490fd5b1561333257565b60405162461bcd60e51b8152602060048201526011602482015270496e76616c6964207369676e617475726560781b6044820152606490fd5b60ff166000527fd6c54e2ae807cd214b40b716718abbdcf0be862340bc50cb8180c058254f4b01602052604060002090565b60ff1660ff811461029a5760010190565b60ff60019116019060ff821161029a57565b906133ca8261252e565b6133d76040519182612479565b82815280926133e8601f199161252e565b0190602036910137565b156133f957565b60405162461bcd60e51b815260206004820152601a60248201527f546f6b656e20696e6465782063616e6e6f74206265207a65726f0000000000006044820152606490fd5b1561344557565b60405162461bcd60e51b815260206004820152602260248201527f52657175657374206e6f742066726f6d207468652063757272656e742063686160448201526134b760f11b6064820152608490fd5b1561349c57565b60405162461bcd60e51b815260206004820152600d60248201526c125b9d985b1a59081c995c5259609a1b6044820152606490fd5b156134d857565b60405162461bcd60e51b815260206004820152600f60248201526e151c985b9cd9995c8819985a5b1959608a1b6044820152606490fd5b6040516323b872dd60e01b60208201526001600160a01b03928316602482015292909116604483015260648083019390935291815260a08101918183106001600160401b03841117610e6d576129ec926040525b60018060a01b03169061358d600080836020829551910182875af16135866126e1565b9084612711565b9081519182151592836135bd575b5050506135a55750565b60249060405190635274afe760e01b82526004820152fd5b8192935090602091810103126135e85760200151908115918215036135e5575038808061359b565b80fd5b5080fd5b60d01c64ffffffffff1690426202a2ff19810190811161029a5782111561365d57603c420180421161029a5782101561362157565b60405162461bcd60e51b81526020600482015260146024820152736372656174656454696d6520746f6f206c61746560601b6044820152606490fd5b60405162461bcd60e51b81526020600482015260156024820152746372656174656454696d6520746f6f206561726c7960581b6044820152606490fd5b60c01c60ff166000908152600080516020613be483398151915260205260409020546001600160a01b03169081156136ce57565b60405162461bcd60e51b8152602060048201526012602482015271092dcecc2d8d2c840e8ded6cadc92dcc8caf60731b6044820152606490fd5b60ff16604d811161029a57600a0a90565b6001600160401b038160801c169081156137d35760c090811c60ff169081106137b05761374760ff9161336b565b5416600681111561377b576005190160ff811161029a5761376790613708565b9081810291818304149015171561029a5790565b60060360ff811161029a5761378f90613708565b90811561379a570490565b634e487b7160e01b600052601260045260246000fd5b60409092919210156137be57565b9064e8d4a510008082029182040361029a5790565b606460405162461bcd60e51b815260206004820152602060248201527f416d6f756e74206d7573742062652067726561746572207468616e207a65726f6044820152fd5b600f8160c81c166001811460001461392f5750613832612a76565b5180600301908160031161029a576020810180921161029a5760620180911161029a5761385e90612bfc565b90613929605a61387561386f612a76565b93612d93565b926040519384916020830196790ca2ba3432b932bab69029b4b3b732b21026b2b9b9b0b3b29d0560311b88526138b5815180926020603a88019101612687565b8301605b60f81b603a8201526138d5825180936020603b85019101612687565b01612e8560f11b603b8201527f5369676e20746f20657865637574652061206c6f636b2d6d696e743a0a000000603d82015261391a8251809360208785019101612687565b0103603a810184520182612479565b51902090565b60028103613a315750613940612a76565b5180600301908160031161029a576022810180921161029a5760640180911161029a5761396c90612bfc565b90613929605c61397d61386f612a76565b926040519384916020830196790ca2ba3432b932bab69029b4b3b732b21026b2b9b9b0b3b29d0560311b88526139bd815180926020603a88019101612687565b8301605b60f81b603a8201526139dd825180936020603b85019101612687565b01612e8560f11b603b8201527f5369676e20746f20657865637574652061206275726e2d756e6c6f636b3a0a00603d820152613a228251809360208785019101612687565b0103603c810184520182612479565b600314613a3e5750600090565b613a46612a76565b5180600301908160031161029a576020810180921161029a5760620180911161029a57613a7290612bfc565b90613929605a613a8361386f612a76565b926040519384916020830196790ca2ba3432b932bab69029b4b3b732b21026b2b9b9b0b3b29d0560311b8852613ac3815180926020603a88019101612687565b8301605b60f81b603a820152613ae3825180936020603b85019101612687565b01612e8560f11b603b8201527f5369676e20746f20657865637574652061206275726e2d6d696e743a0a000000603d82015261391a8251809360208785019101612687565b15613b2f57565b60405162461bcd60e51b815260206004820152601c60248201527f5761697420756e74696c206578706972656420746f2063616e63656c000000006044820152606490fd5b60405163a9059cbb60e01b60208201526001600160a01b03909216602483015260448083019390935291815260808101916001600160401b03831182841017610e6d576129ec9260405261356356fed1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f7101d6c54e2ae807cd214b40b716718abbdcf0be862340bc50cb8180c058254f4b00d1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f7100d1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f7106a164736f6c6343000814000a

0x6080604052600436101561001b575b361561001957600080fd5b005b60003560e01c806302ba3d05146123ce57806305c7d67b1461221f57806309d632d3146120885780630be48ce114611e335780631cd099ce14611dff5780633e36a42314611dc95780634952444e14611d955780634ee4f2ef14611d775780634f1ef28614611b3957806352d1902d14611abc5780635935573614611a8257806363bf8d6a146119455780636842efac146118755780636e9960c31461183f5780637458f5041461172457806375829def146116a857806375d1a9d614611345578063835454d9146112935780638d928af81461125d5780639c20c97c14610b2c578063ad3cb1cc14610acf578063af05a1e3146109be578063b03cd4181461097b578063b5836e6f14610944578063d2dd9f7914610862578063d3c7c2c71461065e578063d3faf8d8146102b0578063d87fea5a146101e4578063f7e2cb39146101b85763ff3787190361000e57346101b35760203660031901126101b35760ff6101856124ee565b16600052600080516020613be4833981519152602052602060018060a01b0360406000205416604051908152f35b600080fd5b346101b35760203660031901126101b35760206101d660043561289d565b90546040519160031b1c8152f35b346101b35760003660031901126101b357600080516020613c2483398151915254600019810190811161029a57610276908061021f8161285a565b9054429160031b1c1161028a575b5061024061023a82612805565b506129b7565b9061024a8161289d565b90549060031b1c9061025b8161285a565b90549060031b1c604051948594608086526080860190612421565b926020850152604084015260608301520390f35b6102949150612a11565b8261022d565b634e487b7160e01b600052601160045260246000fd5b346101b35760403660031901126101b3576102c96124ee565b6102d161240b565b600080516020613c04833981519152546001600160a01b0392906102f89084163314612774565b60ff811680600052600080516020613be483398151915260209481865280604060002054166106225761032c8315156133f2565b84169182156105dd576001830361056d5760ff60125b1660068103610417575060408110156103bd57947f0782d5a983f4f99019eb2dc8dfe67419752a13dca743154e71029fc01318d055955b600090815291905260409081902080546001600160a01b031916909217909155805160ff90921682526001600160a01b03909216602082015290819081015b0390a1005b60405162461bcd60e51b815260048101879052602c60248201527f546f6b656e207769746820646563696d616c7320362073686f756c642068617660448201526b6520696e64657820312d363360a01b6064820152608490fd5b601281036104bf57506040811015806104b5575b1561045857947f0782d5a983f4f99019eb2dc8dfe67419752a13dca743154e71029fc01318d05595610379565b60405162461bcd60e51b815260048101879052602f60248201527f546f6b656e207769746820646563696d616c732031382073686f756c6420686160448201526e766520696e6465782036342d31393160881b6064820152608490fd5b5060c0811061042b565b959060c08110610503577f0782d5a983f4f99019eb2dc8dfe67419752a13dca743154e71029fc01318d055966104f48661336b565b9060ff19825416179055610379565b6084826040519062461bcd60e51b82526004820152604060248201527f546f6b656e207769746820646563696d616c73206f74686572207468616e203660448201527f206f722031382073686f756c64206861766520696e646578203139322d3235356064820152fd5b60405163313ce56760e01b81528681600481875afa80156105d157600090610599575b60ff9150610342565b508681813d83116105ca575b6105af8183612479565b810103126101b3575160ff811681036101b35760ff90610590565b503d6105a5565b6040513d6000823e3d90fd5b60405162461bcd60e51b815260048101879052601c60248201527f546f6b656e20616464726573732063616e6e6f74206265207a65726f000000006044820152606490fd5b60405162461bcd60e51b8152600481018790526014602482015273151bdad95b881a5b99195e081bd8d8dd5c1a595960621b6044820152606490fd5b346101b35760003660031901126101b3576000805b60ff8080831610156106d657610688826133ae565b166000908152600080516020613be483398151915260205260409020546001600160a01b03166106c1575b6106bc9061339d565b610673565b906106ce6106bc9161339d565b9190506106b3565b60ff8084166106e48161252e565b906106f26040519283612479565b808252601f196107018261252e565b0190602091368385013761071d610717826133c0565b916133c0565b936000805b828082161061076b5761074c86610767896107598989604051968796606088526060880190612421565b91868303908701526126aa565b9083820360408501526126aa565b0390f35b82610775826133ae565b16600052600080516020613be483398151915280865260018060a01b039081604060002054166107b0575b50506107ab9061339d565b610722565b9261081d918394866107c46107ab966133ae565b16600052885260406000205416858216906107df828b612d6e565b526107e9856133ae565b866107f4838a612d6e565b91169052604086610804876133ae565b161015610825576108176006918b612d6e565b5261339d565b9190886107a0565b60c086610831876133ae565b161015610844576108176012918b612d6e565b61081786610859610854886133ae565b61336b565b5416918b612d6e565b346101b35760203660031901126101b35761087b6123f5565b600080516020613bc4833981519152546001600160a01b03908116918261093d578180600080516020613c0483398151915254165b16330361090857600080516020613bc483398151915280546001600160a01b0319166001600160a01b03831617905516907fb707b889cced682704e0cf1e7335f22abdfdfe14d9db54a47a1b8ec4d42406ee600080a3005b60405162461bcd60e51b815260206004820152600d60248201526c14995c5d5a5c99481d985d5b1d609a1b6044820152606490fd5b81836108b0565b346101b35760203660031901126101b35760206109626004356127b0565b905460405160039290921b1c6001600160a01b03168152f35b346101b35760203660031901126101b3576100196109976123f5565b6109b960018060a01b03600080516020613c0483398151915254163314612774565b6128f2565b346101b357610a086109cf3661260f565b908460009693949652600260205260018060a01b03938460406000205416966109fa60018911613495565b610a0387613817565b612f4c565b600082815260026020526040902080546001600160a01b0319166001179055610a3082613719565b8382610a3b8561369a565b169260018403610a895750610a629250600080809381935af1610a5c6126e1565b506134d1565b7f92fd09a543e2e6a459f5e6a96fdf98f7fc614eee2145af3f9d2b9f33360f4268600080a3005b60009060108660c81c16610ab6575b8116610aad5750610aa892613b74565b610a62565b610aa89361350f565b600080516020613bc48339815191525481169150610a98565b346101b35760003660031901126101b357610b1e60408051610af08161245e565b6005815260208101640352e302e360dc1b815282519384926020845251809281602086015285850190612687565b601f01601f19168101030190f35b346101b35760e03660031901126101b3576004356001600160401b0381116101b357610b5c9036906004016124fe565b906064356001600160401b0381116101b357610b7c9036906004016124fe565b92906084356001600160401b0381116101b357610b9d9036906004016124fe565b92909360a4356001600160401b0381116101b357610bbf9036906004016124fe565b9096610bce6024351515612a1e565b6201fa4042019788421161029a57604498893511156111ff5762069780420180421161029a57893510156111a257610c04612a76565b516003018060031161029a5785602b02602b8104870361029a57601d0180601d1161029a57610c3291612a69565b610c3d602435612c84565b80600c019081600c1161029a57600d0180911161029a57610c5d91612a69565b6019810180911161029a57610c7360c435612c84565b9081601901918260191161029a57601a0180921161029a57610c9d91610c9891612a69565b612bfc565b96610ca6612a76565b98610cb23688886125b1565b976040518060208101106001600160401b03602083011117610e6d5760208101604052600081529960009a5b8a518c1015610e83576001600160a01b03610cf98d8d612d6e565b51169081604051928360608101106001600160401b03606086011117610e6d5760608401604052602a84526040366020860137835115610e575760306020850153835160011015610e57576078602185015360295b60018111610e155750610df75750610da491908d610daa5750610d9e602160405183610d84829551809260208086019101612687565b8101600560f91b6020820152036001810184520182612479565b9b612d5f565b9a610cde565b6021610d9e916040519381610dc9869351809260208087019101612687565b8201610dde8251809360208085019101612687565b01600560f91b6020820152036001810184520182612479565b8f906040519063e22e27eb60e01b8252600482015260146024820152fd5b90600f8116906010821015610e5757610e52916f181899199a1a9b1b9c1cb0b131b232b360811b901a610e488488612d82565b5360041c91612a11565b610d4e565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b8d9897959361102461103e9896948f9461102c94611019608e8f9861103899610eb7610eb0602435612bfc565b9135612bfc565b610ec260c435612bfc565b916040519687946020860199790ca2ba3432b932bab69029b4b3b732b21026b2b9b9b0b3b29d0560311b8b52610f02815180926020603a8b019101612687565b8601605b60f81b603a820152610f22825180936020603b85019101612687565b01612e8560f11b603b8201527f5369676e20746f20757064617465206578656375746f727320746f3a0a000000603d820152610f68825180936020605a85019101612687565b016a02a343932b9b437b6321d160ad1b605a820152610f91825180936020606585019101612687565b0190600560f91b918260658201526d020b1ba34bb329039b4b731b29d160951b6066820152610fca825180936020607485019101612687565b019060748201527f43757272656e74206578656375746f727320696e6465783a2000000000000000607582015261100a8251809360208785019101612687565b0103606e810184520182612479565b519020973691612545565b933691612545565b9260c4359536916125b1565b92612f4c565b600160c43501908160c4351161029a57600080516020613c2483398151915291825481146000146110f857507fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f710493845491600160401b9586841015610e6d57836110b09160016110b696019055612805565b90612b3b565b6110c1602435612b9f565b805492831015610e6d57826110de9160016100199501905561285a565b9091359082549060031b91821b91600019901b1916179055565b906110de925061001994611177916111226111128561285a565b90549060031b1c87351015612a9d565b61113f61112e8561289d565b90549060031b1c6024351015612a9d565b61116e61116961114e86612805565b5061116361115d3687876125b1565b916129b7565b90612e69565b612a9d565b6110b084612805565b61119d6111838261289d565b6024359082549060031b91821b91600019901b1916179055565b61285a565b60405162461bcd60e51b815260206004820152603060248201527f5468652061637469766553696e63652073686f756c642062652077697468696e818b01526f203520646179732066726f6d206e6f7760801b6064820152608490fd5b60405162461bcd60e51b815260206004820152603160248201527f5468652061637469766553696e63652073686f756c6420626520616674657220818b015270312e3520646179732066726f6d206e6f7760781b6064820152608490fd5b346101b35760003660031901126101b357600080516020613bc4833981519152546040516001600160a01b039091168152602090f35b346101b3576112cf6112a43661260f565b908460009693949652600160205260018060a01b03938460406000205416966109fa60018911613495565b816000526001602052604060002060016001600160601b0360a01b8254161790556112f982613719565b906113038361369a565b16600052600060205261131c6040600020918254612a69565b90557f930a00540f7b6ebe716d5bc3cd6a963cfcc17295d86ea4a47c6ce7bcc55bf144600080a3005b346101b35760a03660031901126101b35761135e6123f5565b61136661240b565b604435916001600160a01b0380841684036101b3576001600160401b03926064358481116101b35761139c9036906004016124fe565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a009687549060ff8260401c161596888316801590816116a0575b6001149081611696575b15908161168d575b5061167b5767ffffffffffffffff1983166001178a556114b4956114ad93889283918b61165c575b5016600080516020613c04833981519152816001600160601b0360a01b82541617905560007ff8ccb027dfcd135e000e9d45e6cc2d662578a8825d4c45b5e32e0adf67e79ec68180a3600080516020613bc483398151915280546001600160a01b0319166001600160a01b0383161790551660007fb707b889cced682704e0cf1e7335f22abdfdfe14d9db54a47a1b8ec4d42406ee8180a36128f2565b36916125b1565b927fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71055461161757608435906114ea821515612a1e565b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f710492835493600160401b9485811015610e6d5761152c91600182019055612805565b919091611601578651928311610e6d576115468383612af8565b602080970191600052866000209060005b8481106115ed57505050505061156c90612b9f565b600080516020613c2483398151915290815490811015610e6d576115959160018201905561285a565b81549060031b906001821b91600019901b19161790556115b157005b7fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29168ff000000000000000019815416905560405160018152a1005b835182168382015592880192600101611557565b634e487b7160e01b600052600060045260246000fd5b60405162461bcd60e51b815260206004820152601d60248201527f4578656375746f727320616c726561647920696e697469616c697a65640000006044820152606490fd5b68ffffffffffffffffff191668010000000000000001178d558d611410565b60405163f92ee8a960e01b8152600490fd5b9050158b6113e8565b303b1591506113e0565b8991506113d6565b346101b35760203660031901126101b3576116c16123f5565b600080516020613c048339815191528054916001600160a01b0380841692916116eb338514612774565b1680936001600160601b0360a01b161790557ff8ccb027dfcd135e000e9d45e6cc2d662578a8825d4c45b5e32e0adf67e79ec6600080a3005b346101b35760203660031901126101b35760043580600052600160205260018060a01b039081604060002054169161175e60018411613495565b64ffffffffff8260d01c166203f480810180911161029a57611781904211613b28565b600082815260016020526040902080546001600160a01b03191690556117a682613719565b83826117b18561369a565b1692600184036117f957506117d29250600080809381935af1610a5c6126e1565b7f0947081fc739b6bd9d04e8351b71b85c9da260db9da35c8f1e7b6a00e3239d4e600080a3005b60009060108660c81c16611826575b811661181d575061181892613b74565b6117d2565b6118189361350f565b600080516020613bc48339815191525481169150611808565b346101b35760003660031901126101b357600080516020613c04833981519152546040516001600160a01b039091168152602090f35b346101b35760203660031901126101b3576004356000818152600260205260409020546001600160a01b0390811691906118b160018411613495565b64ffffffffff8260d01c1662054600810180911161029a576118d4904211613b28565b600082815260026020526040902080546001600160a01b03191690556118f982613719565b906119038361369a565b16600052600060205261191c6040600020918254612a69565b90557f6f728f8699b4774e6257222b67bc88bc725ad625c81bf3997510908ca2e33041600080a3005b346101b35760203660031901126101b35761195e6124ee565b600080516020613c04833981519152546001600160a01b03906119849082163314612774565b60ff8216916119948315156133f2565b82600052600080516020613be4833981519152918260205260406000205416918215611a3d578360c0917fcc8d272331f0cd786dbf39ae72aac68a9d0654176ea3023401c7ec516a29eebb9560005260205260406000206001600160601b0360a01b81541690551015611a27575b6040805160ff90921682526001600160a01b03909216602082015290819081016103b8565b611a308161336b565b805460ff19169055611a02565b60405162461bcd60e51b815260206004820152601c60248201527f4e6f20746f6b656e20666f72207468697320746f6b656e496e646578000000006044820152606490fd5b346101b35760203660031901126101b3576001600160a01b03611aa36123f5565b1660005260006020526020604060002054604051908152f35b346101b35760003660031901126101b3577f000000000000000000000000902de7c53c97188f6edc496395026673adc9cc956001600160a01b03163003611b275760206040517f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc8152f35b60405163703e46dd60e11b8152600490fd5b60403660031901126101b357611b4d6123f5565b60249081356001600160401b0381116101b357366023820112156101b357806004013591611b7a8361249a565b611b876040519182612479565b83815260209384820193368783830101116101b35781600092888893018737830101526001600160a01b037f000000000000000000000000902de7c53c97188f6edc496395026673adc9cc958116308114908115611d49575b50611b2757611c0181600080516020613c0483398151915254163314612774565b6040516352d1902d60e01b8152908316948082600481895afa918291600093611d19575b5050611c4357604051634c9c8ce360e01b8152600481018690528690fd5b8490867f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc91828103611d045750843b15611cee575080546001600160a01b03191682179055604051907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b600080a2815115611cd4575060006100199381925190845af4611cce6126e1565b91612711565b9250505034611cdf57005b63b398979f60e01b8152600490fd5b604051634c9c8ce360e01b815260048101849052fd5b60405190632a87526960e21b82526004820152fd5b9080929350813d8311611d42575b611d318183612479565b810103126101b35751908780611c25565b503d611d27565b9050817f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc5416141587611be0565b346101b35760203660031901126101b35760206101d660043561285a565b346101b35760203660031901126101b3576004356000526002602052602060018060a01b0360406000205416604051908152f35b346101b35760203660031901126101b357610767611deb61023a600435612805565b604051918291602083526020830190612421565b346101b35760203660031901126101b3576004356000526001602052602060018060a01b0360406000205416604051908152f35b6020806003193601126101b35760043590611e5460ff8360781c161561343e565b611e5d826135ec565b508160c81c6001600f8216036120435760008381526001835260409020546001600160a01b0390611e9090821615613495565b600133111561200b57611ea284613719565b9181611ead8661369a565b1691600183149182611fab575b6000878152600187526040902080546001600160a01b0319163317905560101615611f8657600080516020613bc48339815191525416938415611f4c575015611f3b5750600080808093611f12955af1610a5c6126e1565b33907f56f55aead8b59181fdff5497b6e66dbf6e45dc38bc59023cd1eb5b5657a134fa600080a3005b91611f4792339061350f565b611f12565b6064906040519062461bcd60e51b82526004820152601360248201527215985d5b1d081b9bdd081858dd1a5d985d1959606a1b6044820152fd5b5090925015611f97575b5050611f12565b611fa4913090339061350f565b8180611f90565b84341015611eba5760405162461bcd60e51b815260048101879052602a60248201527f5472616e7366657272656420616d6f756e74202874782e76616c75652920696e6044820152691cdd59999a58da595b9d60b21b6064820152608490fd5b60405162461bcd60e51b815260048101849052601060248201526f24b73b30b634b210383937b837b9b2b960811b6044820152606490fd5b60405162461bcd60e51b815260048101839052601d60248201527f496e76616c696420616374696f6e3b206e6f74206c6f636b2d6d696e740000006044820152606490fd5b346101b35760203660031901126101b3576120a16123f5565b600080516020613c04833981519152546001600160a01b0391906120c89083163314612774565b6120d1816124b5565b5480156121da5760006120e3836124b5565b557fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f7103908154808210612173575b50508054801561215d576000190190612128826127b0565b8582549160031b1b1916905555167fbab6b194452fd4fa50e0ca09bf0f89976da30a2b92fdf91372ad1a176d81e328600080a2005b634e487b7160e01b600052603160045260246000fd5b6000199080820190811161029a5761218b86916127b0565b90549060031b1c169082019082821161029a576121cd816121ae6121d2946127b0565b90919082549060031b9160018060a01b03809116831b921b1916179055565b6124b5565b558380612110565b60405162461bcd60e51b815260206004820152601860248201527f4e6f7420616e206578697374696e672070726f706f73657200000000000000006044820152606490fd5b346101b35760403660031901126101b35760043561223b61240b565b90612245336124b5565b54156123945761225b60ff8260781c161561343e565b612264816135ec565b506002600f8260c81c160361234f576000818152600260205260409020546001600160a01b0392839161229990831615613495565b16916001831115612316576122ad82613719565b906122b78361369a565b1660005260006020526040600020805491820391821161029a5755600081815260026020526040812080546001600160a01b031916841790557fadeba355367ba829c72a6c1961984bf03b6a05c5a743c62bfced85e6b1fc1edd9080a3005b60405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b6044820152606490fd5b60405162461bcd60e51b815260206004820152601f60248201527f496e76616c696420616374696f6e3b206e6f74206275726e2d756e6c6f636b006044820152606490fd5b60405162461bcd60e51b81526020600482015260126024820152712932b8bab4b932903090383937b837b9b2b960711b6044820152606490fd5b346101b35760203660031901126101b35760206123ec6121cd6123f5565b54604051908152f35b600435906001600160a01b03821682036101b357565b602435906001600160a01b03821682036101b357565b90815180825260208080930193019160005b828110612441575050505090565b83516001600160a01b031685529381019392810192600101612433565b604081019081106001600160401b03821117610e6d57604052565b90601f801991011681019081106001600160401b03821117610e6d57604052565b6001600160401b038111610e6d57601f01601f191660200190565b6001600160a01b031660009081527fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71026020526040902090565b6004359060ff821682036101b357565b9181601f840112156101b3578235916001600160401b0383116101b3576020808501948460051b0101116101b357565b6001600160401b038111610e6d5760051b60200190565b92916125508261252e565b9161255e6040519384612479565b829481845260208094019160051b81019283116101b357905b8282106125845750505050565b81358152908301908301612577565b9080601f830112156101b3578160206125ae93359101612545565b90565b92916125bc8261252e565b916125ca6040519384612479565b829481845260208094019160051b81019283116101b357905b8282106125f05750505050565b81356001600160a01b03811681036101b35781529083019083016125e3565b9060a06003198301126101b357600435916001600160401b03916024358381116101b3578261264091600401612593565b926044358181116101b3578361265891600401612593565b926064359182116101b357806023830112156101b357816024612680936004013591016125b1565b9060843590565b60005b83811061269a5750506000910152565b818101518382015260200161268a565b90815180825260208080930193019160005b8281106126ca575050505090565b835160ff16855293810193928101926001016126bc565b3d1561270c573d906126f28261249a565b916127006040519384612479565b82523d6000602084013e565b606090565b90612738575080511561272657805190602001fd5b604051630a12f52160e11b8152600490fd5b8151158061276b575b612749575090565b604051639996b31560e01b81526001600160a01b039091166004820152602490fd5b50803b15612741565b1561277b57565b60405162461bcd60e51b815260206004820152600d60248201526c2932b8bab4b9329030b236b4b760991b6044820152606490fd5b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71038054821015610e57576000527f24dce7d009eaf46d4ec29568bec52a38300813a10a1ff28032237c3f0f12ea4c0190600090565b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71048054821015610e57576000527f62b06dc26f501623e58fdbd953a9d10d4870fbffb250857082446df79c892fda0190600090565b600080516020613c248339815191528054821015610e57576000527fc57babe4463de121fd7b5ee80397226177742ade571baa7924e650ee0952850c0190600090565b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71058054821015610e57576000527f26342f1c22dc3e90844bb4f44a8d0111b5e1e5242173ad4ce54e343d8a41cdbf0190600090565b6128fb816124b5565b5461297d577fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f71038054600160401b811015610e6d57826121ae826001612942940185556127b0565b5461294c826124b5565b556001600160a01b03167f2bf05609716bc4b090ad0e99b47b91881c7517771259c625df05db7e9d8c8181600080a2565b60405162461bcd60e51b815260206004820152601260248201527120b63932b0b23c903090383937b837b9b2b960711b6044820152606490fd5b9060405191828154918282526020928383019160005283600020936000905b8282106129ee575050506129ec92500383612479565b565b85546001600160a01b0316845260019586019588955093810193909101906129d6565b801561029a576000190190565b15612a2557565b606460405162461bcd60e51b815260206004820152602060248201527f5468726573686f6c64206d7573742062652067726561746572207468616e20306044820152fd5b9190820180921161029a57565b60405190612a838261245e565b600b82526a4e656f582042726964676560a81b6020830152565b15612aa457565b60405162461bcd60e51b815260206004820152602660248201527f4661696c656420746f206f7665727772697465206578697374696e67206578656044820152656375746f727360d01b6064820152608490fd5b600160401b8211610e6d57805491808255828110612b1557505050565b60009182526020822092830192015b828110612b3057505050565b818155600101612b24565b929190611601576001600160401b038211610e6d57612b5a8284612af8565b916000908152602080822093825b848110612b7757505050505050565b8135916001600160a01b0383168303612b9b57908360019201928188015501612b68565b8480fd5b7fd1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f710590815491600160401b831015610e6d5782612be39160016129ec9501905561289d565b90919082549060031b91821b91600019901b1916179055565b612c0581612c84565b9060019081602181850194612c198661249a565b95612c276040519788612479565b808752612c36601f199161249a565b01366020880137850101905b612c4d575b50505090565b6000190190600a906f181899199a1a9b1b9c1cb0b131b232b360811b8282061a835304918215612c7f57919082612c42565b612c47565b6000907a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000080821015612d52575b50600a906d04ee2d6d415b85acef810000000080821015612d45575b50662386f26fc1000080821015612d38575b506305f5e10080821015612d2b575b5061271080821015612d1e575b506064811015612d10575b1015612d0a5790565b60010190565b606460029104920191612d01565b6004910492019138612cf6565b6008910492019138612ce9565b6010910492019138612cda565b6020910492019138612cc8565b604092509004600a612cac565b600019811461029a5760010190565b8051821015610e575760209160051b010190565b908151811015610e57570160200190565b8060405191608083018381106001600160401b03821117610e6d5760405260428352602083016060368237835115610e5757603090538251600190811015610e5757607860218501536041905b808211612e10575050612df1575090565b6044906040519063e22e27eb60e01b8252600482015260206024820152fd5b9091600f8116906010821015612e5457612e4e916f181899199a1a9b1b9c1cb0b131b232b360811b901a612e448588612d82565b5360041c92612a11565b90612de0565b60246000634e487b7160e01b81526032600452fd5b908151815190818111600014612e825750505050600190565b10612ef95760005b8251811015612ef1576001600160a01b0380612ea68386612d6e565b511681612eb38486612d6e565b51161015612ec45750505050600190565b80612ecf8386612d6e565b511690612edc8385612d6e565b511611612ef157612eec90612d5f565b612e8a565b505050600090565b5050600090565b15612f0757565b60405162461bcd60e51b815260206004820152601960248201527f4172726179206c656e6774682073686f756c6420657175616c000000000000006044820152606490fd5b9391909293612f5e8451835114612f00565b612f6b8451865114612f00565b8451612f768461289d565b90549060031b1c116132e657612f8b8361285a565b4291549060031b1c10156132a157600080516020613c248339815191525460019384810180821161029a5780869311613231575b5061023a612fcc91612805565b6000915b61310c575b5050826000905b612fe9575b505050505050565b8551811015613107576001600160a01b03806130058389612d6e565b5116906130128388612d6e565b5161301d8487612d6e565b5183156130c25760018060ff1b0381169060ff90811c91601b830180931161029a57600091816130717f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0608094111561332b565b6040958651928b845260209616868401528683015260608201528280528a5afa156130b85750916130ac6130b192879594600051161461332b565b612d5f565b9091612fdc565b513d6000823e3d90fd5b60405162461bcd60e51b815260206004820152601e60248201527f5369676e65722063616e6e6f7420626520656d707479206164647265737300006044820152606490fd5b612fe1565b84875183101561322b57506001600160a01b038061312a848a612d6e565b511660005b8481106131ce57506000918783815b613190575b505050501561315c576131568592612d5f565b91612fd0565b60405162461bcd60e51b815260206004820152600c60248201526b2737b716b2bc32b1baba37b960a11b6044820152606490fd5b85518110156131c957826131a48288612d6e565b511684146131bb576131b590612d5f565b8161313e565b509250505038808781613143565b613143565b81836131da838d612d6e565b5116146131ef576131ea90612d5f565b61312f565b60405162461bcd60e51b81526020600482015260146024820152734475706c696361746564206578656375746f727360601b6044820152606490fd5b50612fd5565b61323c91925061285a565b4291549060031b1c111561325257839038612fbf565b60405162461bcd60e51b815260206004820152602160248201527f4578656375746f7273206f66206e65787420696e6465782069732061637469766044820152606560f81b6064820152608490fd5b60405162461bcd60e51b815260206004820152601860248201527f4578656375746f7273206e6f74207965742061637469766500000000000000006044820152606490fd5b60405162461bcd60e51b815260206004820152601760248201527f446f6573206e6f74206d656574207468726573686f6c640000000000000000006044820152606490fd5b1561333257565b60405162461bcd60e51b8152602060048201526011602482015270496e76616c6964207369676e617475726560781b6044820152606490fd5b60ff166000527fd6c54e2ae807cd214b40b716718abbdcf0be862340bc50cb8180c058254f4b01602052604060002090565b60ff1660ff811461029a5760010190565b60ff60019116019060ff821161029a57565b906133ca8261252e565b6133d76040519182612479565b82815280926133e8601f199161252e565b0190602036910137565b156133f957565b60405162461bcd60e51b815260206004820152601a60248201527f546f6b656e20696e6465782063616e6e6f74206265207a65726f0000000000006044820152606490fd5b1561344557565b60405162461bcd60e51b815260206004820152602260248201527f52657175657374206e6f742066726f6d207468652063757272656e742063686160448201526134b760f11b6064820152608490fd5b1561349c57565b60405162461bcd60e51b815260206004820152600d60248201526c125b9d985b1a59081c995c5259609a1b6044820152606490fd5b156134d857565b60405162461bcd60e51b815260206004820152600f60248201526e151c985b9cd9995c8819985a5b1959608a1b6044820152606490fd5b6040516323b872dd60e01b60208201526001600160a01b03928316602482015292909116604483015260648083019390935291815260a08101918183106001600160401b03841117610e6d576129ec926040525b60018060a01b03169061358d600080836020829551910182875af16135866126e1565b9084612711565b9081519182151592836135bd575b5050506135a55750565b60249060405190635274afe760e01b82526004820152fd5b8192935090602091810103126135e85760200151908115918215036135e5575038808061359b565b80fd5b5080fd5b60d01c64ffffffffff1690426202a2ff19810190811161029a5782111561365d57603c420180421161029a5782101561362157565b60405162461bcd60e51b81526020600482015260146024820152736372656174656454696d6520746f6f206c61746560601b6044820152606490fd5b60405162461bcd60e51b81526020600482015260156024820152746372656174656454696d6520746f6f206561726c7960581b6044820152606490fd5b60c01c60ff166000908152600080516020613be483398151915260205260409020546001600160a01b03169081156136ce57565b60405162461bcd60e51b8152602060048201526012602482015271092dcecc2d8d2c840e8ded6cadc92dcc8caf60731b6044820152606490fd5b60ff16604d811161029a57600a0a90565b6001600160401b038160801c169081156137d35760c090811c60ff169081106137b05761374760ff9161336b565b5416600681111561377b576005190160ff811161029a5761376790613708565b9081810291818304149015171561029a5790565b60060360ff811161029a5761378f90613708565b90811561379a570490565b634e487b7160e01b600052601260045260246000fd5b60409092919210156137be57565b9064e8d4a510008082029182040361029a5790565b606460405162461bcd60e51b815260206004820152602060248201527f416d6f756e74206d7573742062652067726561746572207468616e207a65726f6044820152fd5b600f8160c81c166001811460001461392f5750613832612a76565b5180600301908160031161029a576020810180921161029a5760620180911161029a5761385e90612bfc565b90613929605a61387561386f612a76565b93612d93565b926040519384916020830196790ca2ba3432b932bab69029b4b3b732b21026b2b9b9b0b3b29d0560311b88526138b5815180926020603a88019101612687565b8301605b60f81b603a8201526138d5825180936020603b85019101612687565b01612e8560f11b603b8201527f5369676e20746f20657865637574652061206c6f636b2d6d696e743a0a000000603d82015261391a8251809360208785019101612687565b0103603a810184520182612479565b51902090565b60028103613a315750613940612a76565b5180600301908160031161029a576022810180921161029a5760640180911161029a5761396c90612bfc565b90613929605c61397d61386f612a76565b926040519384916020830196790ca2ba3432b932bab69029b4b3b732b21026b2b9b9b0b3b29d0560311b88526139bd815180926020603a88019101612687565b8301605b60f81b603a8201526139dd825180936020603b85019101612687565b01612e8560f11b603b8201527f5369676e20746f20657865637574652061206275726e2d756e6c6f636b3a0a00603d820152613a228251809360208785019101612687565b0103603c810184520182612479565b600314613a3e5750600090565b613a46612a76565b5180600301908160031161029a576020810180921161029a5760620180911161029a57613a7290612bfc565b90613929605a613a8361386f612a76565b926040519384916020830196790ca2ba3432b932bab69029b4b3b732b21026b2b9b9b0b3b29d0560311b8852613ac3815180926020603a88019101612687565b8301605b60f81b603a820152613ae3825180936020603b85019101612687565b01612e8560f11b603b8201527f5369676e20746f20657865637574652061206275726e2d6d696e743a0a000000603d82015261391a8251809360208785019101612687565b15613b2f57565b60405162461bcd60e51b815260206004820152601c60248201527f5761697420756e74696c206578706972656420746f2063616e63656c000000006044820152606490fd5b60405163a9059cbb60e01b60208201526001600160a01b03909216602483015260448083019390935291815260808101916001600160401b03831182841017610e6d576129ec9260405261356356fed1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f7101d6c54e2ae807cd214b40b716718abbdcf0be862340bc50cb8180c058254f4b00d1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f7100d1028ee8b04e383c5a05bb344e0e3bf65a78ced42fbbac56a26c8b6f5a4f7106a164736f6c6343000814000a

313:6539:23:-:0;;;;;;;;;-1:-1:-1;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;4904:30:21;313:6539:23;;4904:30:21;:::i;:::-;313:6539:23;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;-1:-1:-1;;313:6539:23;;;;;;;;;5367:47:21;5428:35;5367:47;5428:35;:::i;:::-;313:6539:23;;5466:15:21;313:6539:23;;;;5428:53:21;5424:94;;313:6539:23;5539:30:21;313:6539:23;5539:30:21;;;:::i;:::-;313:6539:23;;:::i;:::-;5591:33:21;;;;:::i;:::-;313:6539:23;;;;;;5648:35:21;;;;:::i;:::-;313:6539:23;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;5424:94:21;5497:10;;;;:::i;:::-;5424:94;;;313:6539:23;;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;;:::i;:::-;;;:::i;:::-;-1:-1:-1;;;;;;;;;;;313:6539:23;-1:-1:-1;;;;;313:6539:23;;961:50:21;;313:6539:23;;969:10:21;:24;961:50;:::i;:::-;313:6539:23;;;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;;;;;;;;;;;;1315:53:22;1323:14;;;1315:53;:::i;:::-;313:6539:23;;1386:23:22;;;313:6539:23;;;1470:23:22;;1491:1;;313:6539:23;1496:2:22;1470:67;313:6539:23;1563:1:22;1551:13;;1563:1;;1588:15;313:6539:23;1588:15:22;;313:6539:23;;;1547:441:22;2046:33;1547:441;;313:6539:23;;;;;;;;;;;;;;-1:-1:-1;;;;;;313:6539:23;;;;;;;;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;-1:-1:-1;313:6539:23;;;;;;;;2046:33:22;;;;313:6539:23;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;1547:441:22;1685:2;1673:14;;1685:2;;1711:16;313:6539:23;1711:16:22;;;:36;;;1669:319;313:6539:23;;;1669:319:22;2046:33;1669:319;1547:441;;313:6539:23;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;1711:36:22;1731:16;1744:3;1731:16;;1711:36;;1669:319;1838:17;;1852:3;1838:17;;313:6539:23;;2046:33:22;1938:28;;;;:::i;:::-;313:6539:23;;;;;;;;;1547:441:22;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1470:67:22;313:6539:23;;-1:-1:-1;;;1501:36:22;;;313:6539:23;;;1501:36:22;;;;;;;313:6539:23;1501:36:22;;;1470:67;313:6539:23;1470:67:22;;;;1501:36;;;;;;;;;;;;;;;:::i;:::-;;;313:6539:23;;;;;;;;;;;;;1501:36:22;;;;;;;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;;2868:3:22;313:6539:23;;;;;2859:7:22;;;;2901:3;;;:::i;:::-;313:6539:23;;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;;;;;-1:-1:-1;;;;;313:6539:23;2887:72:22;;2868:3;;;;:::i;:::-;2852:5;;2887:72;2939:5;;2868:3;2939:5;;:::i;:::-;2887:72;;;;;2859:7;313:6539:23;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;-1:-1:-1;;313:6539:23;;;:::i;:::-;;;;;;;;;;3071:16:22;3034;;;:::i;:::-;3071;;:::i;:::-;3123:5;313:6539:23;;3130:7:22;313:6539:23;;;;3130:7:22;;;313:6539:23;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;3139:3:22;3172;;;;:::i;:::-;313:6539:23;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;;;;;;;;;;;;;;3158:404:22;;3139:3;;;;;;:::i;:::-;3123:5;;3158:404;3241:3;3544;3241;;;;;3139;3241;;:::i;:::-;313:6539:23;;;;;;;;;;;;;3210:35:22;;;;;:::i;:::-;313:6539:23;3276:3:22;;;:::i;:::-;3263:16;;;;;:::i;:::-;313:6539:23;;;;;3301:3:22;;;;:::i;:::-;313:6539:23;3301:8:22;313:6539:23;;;3333:15:22;3347:1;3333:15;;;:::i;:::-;313:6539:23;3544:3:22;:::i;:::-;3158:404;;;;;3297:230;3383:3;3377;;;;:::i;:::-;313:6539:23;3377:9:22;3383:3;;;3410:16;3424:2;3410:16;;;:::i;3373:154::-;3473:35;3504:3;3487:21;3504:3;;;:::i;:::-;3487:21;:::i;:::-;313:6539:23;;3473:35:22;;;:::i;313:6539:23:-;;;;;;-1:-1:-1;;313:6539:23;;;;;;:::i;:::-;-1:-1:-1;;;;;;;;;;;313:6539:23;-1:-1:-1;;;;;313:6539:23;;;;2391:19:21;313:6539:23;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;2391:38:21;313:6539:23;1091:10:21;:42;313:6539:23;;-1:-1:-1;;;;;;;;;;;313:6539:23;;-1:-1:-1;;;;;;313:6539:23;-1:-1:-1;;;;;313:6539:23;;;;;;2946:37:21;;313:6539:23;2946:37:21;;313:6539:23;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;2391:38:21;;;;;313:6539:23;;;;;;-1:-1:-1;;313:6539:23;;;;;3345:22:21;313:6539:23;;3345:22:21;:::i;:::-;313:6539:23;;;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;3566:8:21;313:6539:23;;:::i;:::-;961:50:21;313:6539:23;;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;969:10:21;:24;961:50;:::i;:::-;3566:8;:::i;313:6539:23:-;;;;5596:8;313:6539;;;:::i;:::-;;;;;;;;;5387:14;313:6539;;;;;;;;;;;;;;5426:22;5418:48;313:6539;5426:22;;5418:48;:::i;:::-;5494:35;;;:::i;:::-;5596:8;:::i;:::-;313:6539;;;;5387:14;313:6539;;;;;;;-1:-1:-1;;;;;;313:6539:23;;;;;5678:18;313:6539;5678:18;:::i;:::-;5726:17;;;;;:::i;:::-;313:6539;;;5757:23;;5446:1;;5815:33;5862:35;5815:33;;313:6539;5815:33;;;;;;;;;:::i;:::-;;5862:35;:::i;:::-;6285:37;313:6539;6285:37;;313:6539;5753:517;313:6539;;5980:4;313:6539;4571:3:22;313:6539:23;5959:25;5955:86;;5753:517;313:6539;;;;6139:6;;;;:::i;:::-;5753:517;;6054:206;6238:6;;;:::i;5955:86::-;-1:-1:-1;;;;;;;;;;;313:6539:23;;;;-1:-1:-1;5955:86:23;;313:6539;;;;;;-1:-1:-1;;313:6539:23;;;;;;;;;;;:::i;:::-;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;-1:-1:-1;;313:6539:23;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;:::i;:::-;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;:::i;:::-;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;:::i;:::-;;;7035:58:21;313:6539:23;;7043:13:21;;7035:58;:::i;:::-;7143:8;7125:15;313:6539:23;7125:15:21;;;313:6539:23;;;;;;;7111:40:21;313:6539:23;;;7255:6:21;7125:15;313:6539:23;7125:15:21;;313:6539:23;;;;;7223:38:21;313:6539:23;;;1209:41:19;;:::i;:::-;313:6539:23;;;;;;;;1005:13:19;7469:2:21;1005:13:19;7469:2:21;1005:13:19;;;;;;7464:2:21;313:6539:23;;7464:2:21;313:6539:23;;;7428:66:21;;;:::i;:::-;7503:21;313:6539:23;;7503:21:21;:::i;:::-;313:6539:23;7498:2:21;313:6539:23;;;7498:2:21;313:6539:23;;;;;;;;;;7428:101:21;;;:::i;:::-;7533:7;313:6539:23;;;;;;;7550:20:21;313:6539:23;;7550:20:21;:::i;:::-;313:6539:23;;7533:7:21;313:6539:23;;;7533:7:21;313:6539:23;;;;;;;;;;7411:165:21;7428:147;;;;:::i;:::-;7411:165;:::i;:::-;1209:41:19;;;:::i;:::-;313:6539:23;1005:13:19;313:6539:23;1005:13:19;;;:::i;:::-;313:6539:23;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;;;;9032:13:21;313:6539:23;9027:322:21;9065:3;313:6539:23;;9047:16:21;;;;;-1:-1:-1;;;;;9128:8:21;;;;:::i;:::-;313:6539:23;;2105:26:16;;313:6539:23;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;;2198:15:16;313:6539:23;;;2198:15:16;313:6539:23;;;;;;;2223:15:16;313:6539:23;;;2223:15:16;313:6539:23;2281:5:16;313:6539:23;2281:5:16;;;;2401:15;2397:96;;-1:-1:-1;9065:3:21;;9155:6;;;;313:6539:23;9197:31:21;313:6539:23;;;;1005:13:19;313:6539:23;;;9197:31:21;;313:6539:23;9197:31:21;;;313:6539:23;;1005:13:19;:::i;:::-;;;;;;313:6539:23;1005:13:19;;;9197:31:21;313:6539:23;9197:31:21;;;;;;;:::i;:::-;9151:188;9065:3;:::i;:::-;9032:13;;;9151:188;313:6539:23;9284:39:21;313:6539:23;;;;;1005:13:19;313:6539:23;;;9284:39:21;;313:6539:23;9284:39:21;;;1005:13:19;;;:::i;:::-;;;;313:6539:23;;1005:13:19;;313:6539:23;1005:13:19;;;313:6539:23;;1005:13:19;:::i;:::-;;;;;313:6539:23;1005:13:19;;;9284:39:21;313:6539:23;9284:39:21;;;;;;;:::i;2397:96:16:-;313:6539:23;;;;2439:43:16;;;;;;313:6539:23;2439:43:16;;313:6539:23;;;311:18:16;;313:6539:23;2439:43:16;2288:3;2330:16;2343:3;2330:16;;2319:28;;;;;;;2288:3;;-1:-1:-1;;;2319:28:16;;2307:40;;;;:::i;:::-;;313:6539:23;;2288:3:16;;:::i;:::-;2253:26;;2319:28;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;9047:16:21;;;;;;1005:13:19;7926:66:21;9047:16;;;;;1005:13:19;9047:16:21;7352:563;1005:13:19;9047:16:21;;1005:13:19;9047:16:21;7801:29;7736:27;313:6539:23;;7736:27:21;:::i;:::-;313:6539:23;;7801:29:21;:::i;:::-;7879:26;313:6539:23;;7879:26:21;:::i;:::-;313:6539:23;;;7352:563:21;;;313:6539:23;7352:563:21;;1005:13:19;-1:-1:-1;;;1005:13:19;;;313:6539:23;;1005:13:19;;313:6539:23;1005:13:19;;;;;;:::i;:::-;;;-1:-1:-1;;;1005:13:19;;;;;313:6539:23;;1005:13:19;;313:6539:23;1005:13:19;;;;;;:::i;:::-;;;;;;;;;;;;;;;313:6539:23;;1005:13:19;;313:6539:23;1005:13:19;;;;;;:::i;:::-;;-1:-1:-1;;;1005:13:19;;;;;313:6539:23;;1005:13:19;;313:6539:23;1005:13:19;;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;1005:13:19;;;;;313:6539:23;;1005:13:19;;313:6539:23;1005:13:19;;;;;;:::i;:::-;;;;;;;;;;;;;313:6539:23;;1005:13:19;;313:6539:23;1005:13:19;;;;;;:::i;:::-;;7352:563:21;;;;;;;;;:::i;:::-;313:6539:23;7342:574:21;;313:6539:23;;1005:13:19;;:::i;:::-;313:6539:23;;1005:13:19;;:::i;:::-;313:6539:23;;;;;1005:13:19;;:::i;:::-;7926:66:21;;:::i;:::-;313:6539:23;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;;8113:44:21;;8109:772;8125:25;;;8173:20;;1005:13:19;;;;-1:-1:-1;;;1005:13:19;;;;;;;;;;313:6539:23;1005:13:19;;;;;;:::i;:::-;;;:::i;:::-;8226:39:21;313:6539:23;;8226:39:21;:::i;:::-;1005:13:19;;;;;;;;;;;313:6539:23;1005:13:19;;;;;;:::i;:::-;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;8109:772:21;8376:35;8821;8376;;8821:49;8376:35;8703:45;8376:35;8353:101;8376:35;;;:::i;:::-;313:6539:23;;;;;;;;8361:50:21;;8353:101;:::i;:::-;8468:97;8489:33;;;:::i;:::-;313:6539:23;;;;;;;;8476:46:21;;8468:97;:::i;:::-;8579:110;8587:59;8615:30;;;:::i;:::-;313:6539:23;;1005:13:19;313:6539:23;1005:13:19;;;:::i;:::-;313:6539:23;;:::i;:::-;8587:59:21;;:::i;:::-;8579:110;:::i;:::-;8703:30;;;:::i;:45::-;8762;:33;;;:::i;:::-;313:6539:23;;;;;;;;;;;;;;;;;;;;;;8762:45:21;8821:35;:::i;313:6539:23:-;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;3129:8;313:6539;;;:::i;:::-;;;;;;;;;2923:12;313:6539;;;;;;;;;;;;;;2960:21;2952:47;2923:12;2960:21;;2952:47;:::i;3129:8::-;313:6539;;;2923:12;313:6539;;;;;2923:12;-1:-1:-1;;;;;313:6539:23;;;;;;;;3209:18;;;:::i;:::-;3257:17;;;;:::i;:::-;313:6539;;;;;;3284:36;313:6539;;;;;;3284:36;:::i;:::-;313:6539;;3336:34;313:6539;3336:34;;313:6539;;;;;;;-1:-1:-1;;313:6539:23;;;;;;:::i;:::-;;;:::i;:::-;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;;;;:::i;:::-;8837:64:0;313:6539:23;;;;;;;;;4301:16:0;313:6539:23;;;;4726:16:0;;:34;;;;313:6539:23;;4790:16:0;:50;;;;313:6539:23;4855:13:0;:30;;;;313:6539:23;4851:91:0;;;-1:-1:-1;;313:6539:23;;;;;;1005:13:19;;811:8:23;;313:6539;;;;;4979:67:0;;313:6539:23;;;-1:-1:-1;;;;;;;;;;;313:6539:23;-1:-1:-1;;;;;313:6539:23;;;;;;;;;1746:35:21;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;-1:-1:-1;;;;;;313:6539:23;-1:-1:-1;;;;;313:6539:23;;;;;;;2674:35:21;;;;811:8:23;:::i;:::-;313:6539;1005:13:19;;:::i;:::-;313:6539:23;5859:23:21;313:6539:23;;;;;5946:13:21;5938:58;5946:13;;;5938:58;:::i;:::-;6006:20;313:6539:23;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6052:39:21;;;;;;;;:::i;:::-;-1:-1:-1;;;;;;;;;;;1005:13:19;;;;;;;;;;;313:6539:23;1005:13:19;;;;;:::i;:::-;313:6539:23;;;;;;;;;;;;;;;;;;;5066:101:0;;313:6539:23;5066:101:0;5142:14;313:6539:23;;;;;;;;;;;;;5142:14:0;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;1005:13:19;313:6539:23;;1005:13:19;313:6539:23;;1005:13:19;313:6539:23;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;4979:67:0;-1:-1:-1;;313:6539:23;;;;;4979:67:0;;;4851:91;313:6539:23;;-1:-1:-1;;;4908:23:0;;313:6539:23;;4908:23:0;4855:30;4872:13;;;4855:30;;;4790:50;4818:4;4810:25;:30;;-1:-1:-1;4790:50:0;;4726:34;;;-1:-1:-1;4726:34:0;;313:6539:23;;;;;;-1:-1:-1;;313:6539:23;;;;;;:::i;:::-;-1:-1:-1;;;;;;;;;;;313:6539:23;;;-1:-1:-1;;;;;313:6539:23;;;;856:62:21;961:50;969:10;:24;;961:50;:::i;:::-;313:6539:23;;;-1:-1:-1;;;;;313:6539:23;;;;;;2001:37:21;313:6539:23;2001:37:21;;313:6539:23;;;;;;;-1:-1:-1;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;3493:21;3485:47;313:6539;3493:21;;3485:47;:::i;:::-;313:6539;;3997:3:22;313:6539:23;;1106:8:19;313:6539:23;;;;;;;3542:105;3550:15;;:64;3542:105;:::i;:::-;313:6539;;;;;;;;;;;;-1:-1:-1;;;;;;313:6539:23;;;3712:18;313:6539;3712:18;:::i;:::-;3760:17;;;;;:::i;:::-;313:6539;;;3792:23;;313:6539;;3850:32;3896:35;3850:32;;313:6539;3850:32;;;;;;;;;:::i;3896:35::-;4317;313:6539;4317:35;;313:6539;3788:514;313:6539;;4014:4;313:6539;4571:3:22;313:6539:23;3993:25;3989:86;;3788:514;313:6539;;;;4172:6;;;;:::i;:::-;3788:514;;4088:204;4270:6;;;:::i;3989:86::-;-1:-1:-1;;;;;;;;;;;313:6539:23;;;;-1:-1:-1;3989:86:23;;313:6539;;;;;;-1:-1:-1;;313:6539:23;;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;;;;;;6411:14;313:6539;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;6442:48;313:6539;6450:22;;6442:48;:::i;:::-;313:6539;;3997:3:22;313:6539:23;;1159:8:19;313:6539:23;;;;;;;6500:111;6508:15;;:70;6500:111;:::i;:::-;313:6539;;;;6411:14;313:6539;;;;;;;-1:-1:-1;;;;;;313:6539:23;;;6678:18;313:6539;6678:18;:::i;:::-;6726:17;;;;:::i;:::-;313:6539;;;;;;6753:36;313:6539;;;;;;6753:36;:::i;:::-;313:6539;;6805:38;313:6539;6805:38;;313:6539;;;;;;;-1:-1:-1;;313:6539:23;;;;;;:::i;:::-;-1:-1:-1;;;;;;;;;;;313:6539:23;-1:-1:-1;;;;;313:6539:23;961:50:21;;313:6539:23;;969:10:21;:24;961:50;:::i;:::-;313:6539:23;;;2159:14:22;2151:53;2159:14;;;2151:53;:::i;:::-;313:6539:23;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;;;;;;;;2336:23:22;;;313:6539:23;;;2458:3:22;313:6539:23;2538:35:22;313:6539:23;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;2444:17:22;;2440:83;;313:6539:23;;;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;2538:35:22;313:6539:23;2440:83:22;2484:28;;;:::i;:::-;313:6539:23;;-1:-1:-1;;313:6539:23;;;2440:83:22;;313:6539:23;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;-1:-1:-1;;;;;313:6539:23;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;5111:6:1;-1:-1:-1;;;;;313:6539:23;5102:4:1;5094:23;5090:145;;313:6539:23;;;1327:66:5;313:6539:23;;;5090:145:1;313:6539:23;;-1:-1:-1;;;5195:29:1;;313:6539:23;;5195:29:1;313:6539:23;;;-1:-1:-1;;313:6539:23;;;;;;:::i;:::-;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4688:6:1;313:6539:23;;4679:4:1;4671:23;;;:120;;;;313:6539:23;4654:251:1;;;961:50:21;313:6539:23;-1:-1:-1;;;;;;;;;;;313:6539:23;;969:10:21;:24;961:50;:::i;:::-;313:6539:23;;-1:-1:-1;;;6151:52:1;;313:6539:23;;;;;;;;;6151:52:1;;;;;313:6539:23;6151:52:1;;;313:6539:23;-1:-1:-1;;6147:437:1;;313:6539:23;;-1:-1:-1;;;6513:60:1;;313:6539:23;6513:60:1;;313:6539:23;;;;;6513:60:1;6147:437;1327:66:5;;;;6245:40:1;;;;6241:120;;2263:29:5;;;:34;2259:119;;-1:-1:-1;313:6539:23;;-1:-1:-1;;;;;;313:6539:23;;;;;;;;2922:27:5;-1:-1:-1;;2922:27:5;313:6539:23;;2964:15:5;:11;;4255:25:13;313:6539:23;4297:55:13;4255:25;;;;;;;;;;:::i;:::-;4297:55;;:::i;2960:148:5:-;6648:9;;;;;6644:70;;313:6539:23;6644:70:5;-1:-1:-1;;;6684:19:5;;313:6539:23;;6684:19:5;2259:119;313:6539:23;;-1:-1:-1;;;2320:47:5;;313:6539:23;2320:47:5;;313:6539:23;;;2320:47:5;6241:120:1;313:6539:23;;6312:34:1;;;;;;313:6539:23;6312:34:1;;313:6539:23;6312:34:1;6151:52;;;;;;;;;;;;;;;;;:::i;:::-;;;313:6539:23;;;;;6151:52:1;;;;;;;;;;4671:120;313:6539:23;;;1327:66:5;313:6539:23;;4749:42:1;;4671:120;;;313:6539:23;;;;;;-1:-1:-1;;313:6539:23;;;;;5108:32:21;313:6539:23;;5108:32:21;:::i;313:6539:23:-;;;;;;-1:-1:-1;;313:6539:23;;;;;;;;538:49;313:6539;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;;4705:27:21;313:6539:23;;4705:27:21;:::i;313:6539:23:-;;;;;;;;;;;;;;:::i;:::-;;;;;;-1:-1:-1;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6808:84:22;313:6539:23;;6849:3:22;313:6539:23;;6816:37:22;6808:84;:::i;:::-;1523:29:23;;;:::i;:::-;;313:6539;4571:3:22;313:6539:23;;1622:4;1613:13;;:18;313:6539;;;;;;;;;;;;;-1:-1:-1;;;;;313:6539:23;1675:59;;313:6539;;1683:33;1675:59;:::i;:::-;313:6539;1764:10;1792:21;313:6539;;;1862:18;;;:::i;:::-;1910:17;;;;;:::i;:::-;313:6539;1941:23;313:6539;1941:23;;1937:128;;;;313:6539;;;;;;;;;;;;;-1:-1:-1;;;;;;313:6539:23;1764:10;313:6539;;;2128:4;2119:13;:17;2128:4;;-1:-1:-1;;;;;;;;;;;313:6539:23;;2200:19;;;313:6539;;-1:-1:-1;2258:261:23;;;2324:29;313:6539;2324:29;;;;2371:35;2324:29;;;;;:::i;2371:35::-;1764:10;2671:34;;313:6539;2671:34;;313:6539;2258:261;1764:10;2497:6;1764:10;;2497:6;;:::i;:::-;2258:261;;313:6539;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;2115:541;2539:23;;;;;2535:121;;2115:541;;;;;2535:121;2638:6;2631:4;;1764:10;;2638:6;;:::i;:::-;2535:121;;;;1937:128;1988:9;;:19;313:6539;1937:128;313:6539;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;;:::i;:::-;-1:-1:-1;;;;;;;;;;;313:6539:23;-1:-1:-1;;;;;313:6539:23;;961:50:21;;313:6539:23;;969:10:21;:24;961:50;:::i;:::-;4078:26;;;:::i;:::-;313:6539:23;4122:9:21;;313:6539:23;;;4177:26:21;;;:::i;:::-;313:6539:23;4228:15:21;313:6539:23;;;4264:11:21;;;4260:196;;313:6539:23;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;:::i;:::-;;;;;;;;;;;;;;4501:25:21;313:6539:23;4501:25:21;;313:6539:23;;;;;;;;;;;;;4260:196:21;-1:-1:-1;;313:6539:23;;;;;;;;;4314:24:21;;;;:::i;:::-;313:6539:23;;;;;;;;;;;;;;;;4352:41:21;:26;;4407:30;4352:26;;:::i;:::-;:41;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;;4352:41:21;4407:30;:::i;:::-;313:6539:23;4260:196:21;;;;313:6539:23;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;;;;:::i;:::-;1299:10:21;1282:28;1299:10;1282:28;:::i;:::-;313:6539:23;1282:32:21;313:6539:23;;6808:84:22;313:6539:23;;6849:3:22;313:6539:23;;6816:37:22;6808:84;:::i;:::-;4720:29:23;;;:::i;:::-;;1282:16:21;4788:4:23;313:6539;4571:3:22;313:6539:23;4767:25;:30;313:6539;;;;;;1282:16:21;313:6539:23;;;;;;-1:-1:-1;;;;;313:6539:23;;;4843:61;;313:6539;;4851:35;4843:61;:::i;:::-;313:6539;4922:22;313:6539;4922:22;;313:6539;;;4994:18;;;:::i;:::-;5042:17;;;;:::i;:::-;313:6539;;;;;;;;;;;;;;;;;;;;;;;;1282:16:21;313:6539:23;;;;;;;-1:-1:-1;;;;;;313:6539:23;;;;;5164:37;;313:6539;5164:37;313:6539;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;3152:26:21;313:6539:23;;:::i;3152:26:21:-;313:6539:23;;;;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;:::o;:::-;;;;-1:-1:-1;;;;;313:6539:23;;;;;;:::o;:::-;;;;;;;;;;;;;;;-1:-1:-1;313:6539:23;;;;;;;;;;;:::o;:::-;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;:::o;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;:::o;:::-;-1:-1:-1;;;;;313:6539:23;;;;;;-1:-1:-1;;313:6539:23;;;;:::o;:::-;-1:-1:-1;;;;;313:6539:23;;;;;3152:16:21;313:6539:23;;;;;;:::o;:::-;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;;;;;;:::o;:::-;-1:-1:-1;;;;;313:6539:23;;;;;;;;;:::o;:::-;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::o;:::-;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;-1:-1:-1;;313:6539:23;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;313:6539:23;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;-1:-1:-1;313:6539:23;;;;:::o;:::-;;;:::o;4625:582:13:-;;4797:8;;-1:-1:-1;313:6539:23;;5874:21:13;:17;;6046:142;;;;;;5870:383;313:6539:23;;-1:-1:-1;;;6225:17:13;;;;;4793:408;313:6539:23;;5045:22:13;:49;;;4793:408;5041:119;;5173:17;;:::o;5041:119::-;313:6539:23;;-1:-1:-1;;;5121:24:13;;-1:-1:-1;;;;;313:6539:23;;;5121:24:13;;;313:6539:23;;;5121:24:13;5045:49;5071:18;;;:23;5045:49;;313:6539:23;;;;:::o;:::-;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;4228:15:21;313:6539:23;;;;;;;-1:-1:-1;313:6539:23;;;;-1:-1:-1;313:6539:23;:::o;:::-;4705:20:21;313:6539:23;;;;;;;-1:-1:-1;313:6539:23;;;;-1:-1:-1;313:6539:23;:::o;:::-;-1:-1:-1;;;;;;;;;;;313:6539:23;;;;;;;-1:-1:-1;313:6539:23;;;;-1:-1:-1;313:6539:23;:::o;:::-;8489:23:21;313:6539:23;;;;;;;-1:-1:-1;313:6539:23;;;;-1:-1:-1;313:6539:23;:::o;3588:332:21:-;3720:26;;;:::i;:::-;313:6539:23;;;3784:15:21;313:6539:23;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;:::i;:::-;;3824:26:21;;;:::i;:::-;313:6539:23;-1:-1:-1;;;;;313:6539:23;3890:23:21;-1:-1:-1;;3890:23:21;3588:332::o;313:6539:23:-;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;313:6539:23;;-1:-1:-1;313:6539:23;;-1:-1:-1;313:6539:23;;;;;;;;;;;;;;;;:::i;:::-;:::o;:::-;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;;;-1:-1:-1;313:6539:23;;;;;;;;;;;;;;;-1:-1:-1;;313:6539:23;;:::o;:::-;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1209:41:19:-;313:6539:23;;;;;;:::i;:::-;1209:41:19;313:6539:23;;-1:-1:-1;;;1209:41:19;;;;:::o;1005:13::-;;;;:::o;:::-;313:6539:23;;-1:-1:-1;;;1005:13:19;;;;;;;;;;;313:6539:23;1005:13:19;313:6539:23;;;1005:13:19;-1:-1:-1;;;1005:13:19;;;;;;;;-1:-1:-1;;;1005:13:19;;;;313:6539:23;;1005:13:19;;;;;;;;;;;;:::o;:::-;-1:-1:-1;313:6539:23;;;;;;1005:13:19;;;;;;;;;;;;;;:::o;:::-;313:6539:23;;;1005:13:19;;;;;;;;;;-1:-1:-1;;;;;1005:13:19;;;;;;;;:::i;:::-;-1:-1:-1;;313:6539:23;;;;;;;1005:13:19;;;;;;;;;;;;;;:::o;:::-;;;;-1:-1:-1;;;;;313:6539:23;;;;;;1005:13:19;;;;;;;;;;;;;313:6539:23;;;;1005:13:19;5859:23:21;1005:13:19;;;;-1:-1:-1;;;1005:13:19;;;;;;;;;;;;;;;:::i;:::-;;313:6539:23;;;;;;;;;;;;;;;;;;;;;637:698:16;759:17;;;:::i;:::-;779:1;;313:6539:23;;921:76:16;313:6539:23;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;921:76:16;;;1010:282;779:1;;;1010:282;1305:13;;;637:698;:::o;1010:282::-;-1:-1:-1;;313:6539:23;;1115:95:16;;-1:-1:-1;;;1115:95:16;;;;313:6539:23;1115:95:16;313:6539:23;1260:10:16;;;1256:21;;1010:282;;;;;1256:21;1272:5;;12214:916:17;12303:1;12351:8;;12342:17;;;;12338:103;;12214:916;12467:8;13038:7;12467:8;;12458:17;;;;12454:103;;12214:916;12583:8;;12574:17;;;;12570:103;;12214:916;12699:7;;12690:16;;;;12686:100;;12214:916;12812:7;;12803:16;;;;12799:100;;12214:916;12916:16;12925:7;12916:16;;;12912:100;;12214:916;13029:16;;13025:66;;12214:916;:::o;13025:66::-;13075:1;313:6539:23;12214:916:17;:::o;12912:100::-;12925:7;12996:1;313:6539:23;;;;12912:100:17;;;12799;12883:1;313:6539:23;;;;12799:100:17;;;;12686;12770:1;313:6539:23;;;;12686:100:17;;;;12570:103;12656:2;313:6539:23;;;;12570:103:17;;;;12454;12540:2;313:6539:23;;;;12454:103:17;;;;12338;12424:2;;-1:-1:-1;313:6539:23;;13038:7:17;12338:103;;313:6539:23;-1:-1:-1;;313:6539:23;;;;;;;:::o;:::-;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;:::o;2005:525:16:-;2105:26;1005:13:19;313:6539:23;;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;1005:13:19;313:6539:23;;;;6699:2:22;313:6539:23;;;;;;;;;;;2198:15:16;;;313:6539:23;;1005:13:19;313:6539:23;;;;;;2223:15:16;313:6539:23;;;2223:15:16;313:6539:23;2248:140:16;2281:5;;;;;;2401:15;;2397:96;;2502:21;2005:525;:::o;2397:96::-;311:18;313:6539:23;1005:13:19;313:6539:23;2439:43:16;;;;;;2376:1;2439:43;;313:6539:23;6699:2:22;311:18:16;;;313:6539:23;2439:43:16;2288:3;2330:16;;2343:3;2330:16;;2319:28;;;;;;;2288:3;;-1:-1:-1;;;2319:28:16;;2307:40;;;;:::i;:::-;;2376:1;313:6539:23;2288:3:16;;:::i;:::-;2253:26;;;2319:28;313:6539:23;-1:-1:-1;313:6539:23;;;;;;2376:1:16;313:6539:23;;9385:503:21;;313:6539:23;;;;9498:27:21;;;;9494:145;9498:27;;;9541:11;;;;9548:4;9541:11;:::o;9494:145::-;9573:27;9569:70;;-1:-1:-1;9686:3:21;313:6539:23;;9668:16:21;;;;;-1:-1:-1;;;;;313:6539:23;9709:8:21;;;;:::i;:::-;313:6539:23;;9720:8:21;;;;;:::i;:::-;313:6539:23;;-1:-1:-1;313:6539:23;;;9748:11:21;;;;313:6539:23;9748:11:21;:::o;9705:145::-;9784:8;;;;;:::i;:::-;313:6539:23;;9795:8:21;;;;;:::i;:::-;313:6539:23;;-1:-1:-1;9780:70:21;;9686:3;9705:145;9686:3;:::i;:::-;9653:13;;9780:70;9823:12;;;-1:-1:-1;9823:12:21;:::o;9569:70::-;9616:12;;-1:-1:-1;9616:12:21;:::o;313:6539:23:-;;;;:::o;:::-;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;9894:603:21;;;;;;10107:68;313:6539:23;;;;10115:30:21;10107:68;:::i;:::-;10185:66;313:6539:23;;;;10193:28:21;10185:66;:::i;:::-;313:6539:23;;10699:33:21;;;:::i;:::-;313:6539:23;;;;;;-1:-1:-1;313:6539:23;;10838:35:21;;;:::i;:::-;10791:15;313:6539:23;;;;;;10891:23:21;313:6539:23;;;-1:-1:-1;;;;;;;;;;;313:6539:23;11004:1:21;313:6539:23;;;;;;;;;10958:47:21;;;;10954:230;;9894:603;11230:30;;313:6539:23;11230:30:21;;:::i;313:6539:23:-;-1:-1:-1;11270:546:21;11004:1;;;11270:546;10323:13;;;-1:-1:-1;10318:173:21;11004:1;;;10318:173;9894:603;;;;;;:::o;10360:3::-;313:6539:23;;10338:20:21;;;;;-1:-1:-1;;;;;313:6539:23;10398:12:21;;;;:::i;:::-;313:6539:23;;10449:4:21;;;;;:::i;:::-;313:6539:23;10455:14:21;;;;:::i;:::-;313:6539:23;11950:20:21;;313:6539:23;;;12049:66:21;;;;12027:89;;12049:66;;313:6539:23;;;;12174:2:21;313:6539:23;;;;;;;-1:-1:-1;12195:80:21;;12187:110;12209:66;313:6539:23;12195:80:21;;;12187:110;:::i;:::-;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;12326:26:21;;;;;;;;;;;12308:66;10360:3;12326:26;;;;-1:-1:-1;12326:26:21;313:6539:23;12316:36:21;12308:66;:::i;:::-;10360:3;:::i;:::-;10323:13;;;;12326:26;313:6539:23;;-1:-1:-1;313:6539:23;;;;;;;;-1:-1:-1;;;313:6539:23;;;11230:20:21;313:6539:23;;;;;;;;;;;;;;;;10338:20:21;;;11312:3;313:6539:23;;;11290:20:21;;;;;-1:-1:-1;;;;;;313:6539:23;11350:12:21;;;;:::i;:::-;313:6539:23;;-1:-1:-1;11396:5:21;;;;;;-1:-1:-1;;;11554:13:21;-1:-1:-1;11554:13:21;11004:1;;;11549:208;313:6539:23;;;;;;;11312:3:21;;;;:::i;:::-;11275:13;;;313:6539:23;;;-1:-1:-1;;;313:6539:23;;;11230:20:21;313:6539:23;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;11598:3:21;313:6539:23;;11569:27:21;;;;;11637:19;;;;;:::i;:::-;313:6539:23;;11625:31:21;;11621:122;;11598:3;;;:::i;:::-;11554:13;;;11621:122;11680:17;;;;;11719:5;;;;;;11569:27;;;11403:3;11434:12;;;;;;:::i;:::-;313:6539:23;;11434:24:21;313:6539:23;;11403:3:21;;;:::i;:::-;11381:13;;313:6539:23;;;-1:-1:-1;;;313:6539:23;;;11230:20:21;313:6539:23;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;11290:20:21;;;;10954:230;11047:39;;;;;:::i;:::-;10791:15;313:6539:23;;;;;;11108:27:21;313:6539:23;;;10954:230:21;;;;;313:6539:23;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;2484:16:22;313:6539:23;;;;;;:::o;:::-;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;:::o;:::-;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;;;;:::i;:::-;;;;;;;;:::o;:::-;;;;:::o;:::-;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;;;890:4:19;;;;:::o;:::-;313:6539:23;;-1:-1:-1;;;890:4:19;;;;;;;;;;;313:6539:23;890:4:19;313:6539:23;;;890:4:19;-1:-1:-1;;;890:4:19;;;;;;;313:6539:23;;;;:::o;:::-;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;:::o;:::-;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;1702:188:12;313:6539:23;;-1:-1:-1;;;1829:53:12;;;;-1:-1:-1;;;;;313:6539:23;;;1829:53:12;;;313:6539:23;;;;;;;;;;;;;;;;;1829:53:12;;;313:6539:23;;;;;;;-1:-1:-1;;;;;313:6539:23;;;;;1829:53:12;313:6539:23;;;4059:629:12;313:6539:23;;;;;;2847:1:13;3510:55;2847:1;3462:31;;;;;;;;;;;;;;:::i;:::-;3510:55;;;:::i;:::-;313:6539:23;;;4551:22:12;;;;:57;;;;4059:629;4547:135;;;;;4059:629;:::o;4547:135::-;313:6539:23;;;;4631:40:12;;;;;;;;;313:6539:23;4631:40:12;4551:57;4578:30;;;;;3462:31:13;4578:30:12;;;313:6539:23;;;;3462:31:13;4578:30:12;313:6539:23;;;;;;;;;;4551:57:12;;;;;;313:6539:23;;;;;;;3851:370:22;3997:3;313:6539:23;;;;4058:15:22;-1:-1:-1;;313:6539:23;;;;;;;4044:46:22;;1059:8:19;;;4170:9:22;4058:15;313:6539:23;4058:15:22;;313:6539:23;;;4138:41:22;;1059:8:19;;;3851:370:22:o;1059:8:19:-;313:6539:23;;-1:-1:-1;;;1059:8:19;;;;;;;;;;;313:6539:23;-1:-1:-1;;;313:6539:23;;;1059:8:19;;;;;313:6539:23;;-1:-1:-1;;;1059:8:19;;;;;;;;;;;313:6539:23;-1:-1:-1;;;313:6539:23;;;1059:8:19;;;;4588:311:22;4781:3;313:6539:23;;;-1:-1:-1;313:6539:23;;;-1:-1:-1;;;;;;;;;;;313:6539:23;;;;;;-1:-1:-1;;;;;313:6539:23;;4846:23:22;;313:6539:23;;4588:311:22:o;313:6539:23:-;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;-1:-1:-1;;;313:6539:23;;;;;;;;;;;;;;;;;;:::o;4905:666:22:-;-1:-1:-1;;;;;313:6539:23;5018:3:22;313:6539:23;4999:44:22;5061:10;;;313:6539:23;;5161:3:22;313:6539:23;;;;;;5179:17:22;;5161:3;;5296:28;313:6539:23;5296:28:22;;:::i;:::-;313:6539:23;;5353:1:22;5342:12;;5353:1;;;-1:-1:-1;;313:6539:23;;;;;;5384:20:22;;;:::i;:::-;1005:13:19;;;;;;;;;;;;;;;5338:150:22;4905:666::o;5338:150::-;5353:1;313:6539:23;;;;;;5453:20:22;;;:::i;:::-;313:6539:23;;;;;;5338:150:22;313:6539:23:o;:::-;;;;-1:-1:-1;313:6539:23;;;;;-1:-1:-1;313:6539:23;5175:390:22;5522:2;5508:16;;;;;;5504:61;;4905:666::o;5504:61::-;5550:4;;1005:13:19;;;;;;;;;5504:61:22;313:6539:23:o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;5577:1177:22;5716:4;313:6539:23;4571:3:22;313:6539:23;5695:25:22;5752:1;5734:19;;5730:998;5752:1;;;1209:41:19;;;:::i;:::-;313:6539:23;;5854:1:22;313:6539:23;;;5854:1:22;313:6539:23;;;;;;;;;;;;;;;;;;5837:60:22;;;:::i;:::-;1209:41:19;5786:260:22;313:6539:23;5993:39:22;1209:41:19;;:::i;:::-;5993:39:22;;:::i;:::-;313:6539:23;;;5786:260:22;;;313:6539:23;5786:260:22;;1005:13:19;-1:-1:-1;;;1005:13:19;;;313:6539:23;;;;;;;;1005:13:19;;;:::i;:::-;;;-1:-1:-1;;;313:6539:23;1005:13:19;;;;313:6539:23;;1005:13:19;;313:6539:23;1005:13:19;;;;;;:::i;:::-;;;;;;;;;313:6539:23;1005:13:19;;;313:6539:23;1005:13:19;313:6539:23;;;;;;;;1005:13:19;;;:::i;:::-;;5786:260:22;313:6539:23;5786:260:22;;;;;;;:::i;:::-;313:6539:23;5776:271:22;;5769:278;:::o;5730:998::-;6086:1;6068:19;;6086:1;;1209:41:19;;;:::i;:::-;313:6539:23;;6188:1:22;313:6539:23;;;6188:1:22;313:6539:23;;;;;;;;;;;;;;;;;;6171:60:22;;;:::i;:::-;1209:41:19;6120:262:22;313:6539:23;6329:39:22;1209:41:19;;:::i;6329:39:22:-;313:6539:23;;;6120:262:22;;;6365:2;6120:262;;1005:13:19;-1:-1:-1;;;1005:13:19;;;313:6539:23;;;;6365:2:22;313:6539:23;;;1005:13:19;;;:::i;:::-;;;-1:-1:-1;;;313:6539:23;1005:13:19;;;;313:6539:23;;1005:13:19;;6365:2:22;1005:13:19;;;;;;:::i;:::-;;;;;;;;;313:6539:23;1005:13:19;;;313:6539:23;1005:13:19;313:6539:23;;;;6365:2:22;313:6539:23;;;1005:13:19;;;:::i;:::-;;6120:262:22;;;;;;;;;:::i;6064:664::-;6422:1;6404:19;6400:328;;6064:664;6744:3;5577:1177;:::o;6400:328::-;1209:41:19;;:::i;:::-;313:6539:23;;6422:1:22;313:6539:23;;;6422:1:22;313:6539:23;;;;;;;;;;;;;;;;;;6507:60:22;;;:::i;:::-;1209:41:19;6456:260:22;313:6539:23;6663:39:22;1209:41:19;;:::i;6663:39:22:-;313:6539:23;;;6456:260:22;;;313:6539:23;6456:260:22;;1005:13:19;-1:-1:-1;;;1005:13:19;;;313:6539:23;;;;;;;;1005:13:19;;;:::i;:::-;;;-1:-1:-1;;;313:6539:23;1005:13:19;;;;313:6539:23;;1005:13:19;;313:6539:23;1005:13:19;;;;;;:::i;:::-;;;;;;;;;313:6539:23;1005:13:19;;;313:6539:23;1005:13:19;313:6539:23;;;;;;;;1005:13:19;;;:::i;1106:8::-;;;;:::o;:::-;313:6539:23;;-1:-1:-1;;;1106:8:19;;;;;;;;;;;313:6539:23;1106:8:19;313:6539:23;;;1106:8:19;;;;1303:160:12;313:6539:23;;-1:-1:-1;;;1412:43:12;;;;-1:-1:-1;;;;;313:6539:23;;;1412:43:12;;;313:6539:23;;;;;;;;;1412:43:12;;;313:6539:23;;;;-1:-1:-1;;;;;313:6539:23;;;;;;;;1412:43:12;313:6539:23;;;1412:43:12;:::i

none