/**
 *Submitted for verification at sepolia.basescan.org on 2025-05-20
*/

// Sources flattened with hardhat v2.22.18 https://hardhat.org

// SPDX-License-Identifier: MIT

// File @openzeppelin/contracts/utils/[email protected]

// Original license: 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;
    }
}


// File @openzeppelin/contracts/access/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)

pragma solidity ^0.8.20;

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

    /**
     * @dev The caller account is not authorized to perform an operation.
     */
    error OwnableUnauthorizedAccount(address account);

    /**
     * @dev The owner is not a valid owner account. (eg. `address(0)`)
     */
    error OwnableInvalidOwner(address owner);

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

    /**
     * @dev Initializes the contract setting the address provided by the deployer as the initial owner.
     */
    constructor(address initialOwner) {
        if (initialOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(initialOwner);
    }

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

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        if (owner() != _msgSender()) {
            revert OwnableUnauthorizedAccount(_msgSender());
        }
    }

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

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(newOwner);
    }

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


// File @openzeppelin/contracts/interfaces/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

/**
 * @dev Standard ERC-20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-20 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 ERC-721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in ERC-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 ERC-1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-1155 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);
}


// File @openzeppelin/contracts/token/ERC20/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC-20 standard as defined in the ERC.
 */
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);
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.20;

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


// File @openzeppelin/contracts/token/ERC20/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.2.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.20;




/**
 * @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 ERC-20
 * applications.
 */
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}.
     *
     * Skips emitting an {Approval} event indicating an allowance update. This is not
     * required by the ERC. See {xref-ERC20-_approve-address-address-uint256-bool-}[_approve].
     *
     * 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:
     *
     * ```solidity
     * 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);
            }
        }
    }
}


// File contracts/interfaces/IVesting.sol

// Original license: SPDX_License_Identifier: MIT
pragma solidity ^0.8.0;

interface IVesting {
    function beneficiary() external view returns(address);
    function startVesting() external;
}


// File contracts/LinearTokenVesting.sol

// Original license: SPDX_License_Identifier: MIT
pragma solidity ^0.8.0;



/// @title LinearTokenVesting
/// @notice This contract implements the vesting strategy for the remaining ZEN supply.  
contract LinearTokenVesting is Ownable, IVesting {
    
    uint8 private _allowedOwnershipTransfers = 2;

    ERC20 public token;
    address public beneficiary;

    uint256 public amountForEachClaim;
    uint256 public startTimestamp;
    uint256 public timeBetweenClaims; 
    uint256 public intervalsToClaim;
    uint256 public intervalsAlreadyClaimed;

    event Claimed(address indexed claimer, address indexed beneficiary, uint256 claimAmount, uint256 timestamp);
    event ChangedBeneficiary(address indexed newBeneficiary, address indexed oldBeneficiary);
    event ChangedVestingParams(
                                uint256 newTimeBetweenClaims, 
                                uint256 newIntervalsToClaim, 
                                uint256 oldTimeBetweenClaims, 
                                uint256 oldIntervalsToClaim);

    error AddressParameterCantBeZero();
    error TokenAndBeneficiaryCantBeTheSame();
    error AmountCantBeZero();
    error InvalidTimes();
    error InvalidNumOfIntervals();
    error NothingToClaim();
    error ClaimCompleted();
    error UnauthorizedOperation();
    error ERC20NotSet();
    error VestingNotStartedYet();
    error VestingAlreadyStarted();
    error UnauthorizedAccount(address account);
    error ImmutableOwner();

    /// @notice Smart contract constructor
    /// @param _beneficiary the account that will receive the vested zen
    /// @param _timeBetweenClaims The minimum time in seconds that must be waited between claims
    /// @param _intervalsToClaim The number of vesting periods 
    constructor(address _beneficiary, uint256 _timeBetweenClaims, uint256 _intervalsToClaim) Ownable(msg.sender) {
        _setBeneficiary(_beneficiary);
        _setVestingParams(_timeBetweenClaims, _intervalsToClaim);
    }

    /// @notice Set official ZEN ERC-20 smart contract that will be used for initial transfer and start vesting
    /// @param addr Address of the ERC20
    function setERC20(address addr) public onlyOwner {
        if (address(token) != address(0)) revert UnauthorizedOperation();  //ERC-20 address already set
        if(addr == address(0)) revert AddressParameterCantBeZero();
        if(addr == beneficiary) revert TokenAndBeneficiaryCantBeTheSame();
        token = ERC20(addr);
    }

    /// @notice This function is called by the ERC20 when minting has ended, to notify that the vesting period can start.
    function startVesting() public {
        if (msg.sender != address(token)) revert UnauthorizedOperation(); 
        if (amountForEachClaim != 0 || startTimestamp != 0) revert VestingAlreadyStarted(); //already called

        uint256 totalToVest = token.balanceOf(address(this));
        if (totalToVest == 0) revert AmountCantBeZero();
        amountForEachClaim = totalToVest / intervalsToClaim;
        startTimestamp = block.timestamp;
    } 

    /// @notice This function is called for transfer to beneficiary the amount that was accrued from the last claim. If it is called before at least one interval has passed, the claim fails. 
    ///         If more than one period have passed, the sum of amounts of the passed periods is transferred. 
    function claim() public {
        if (address(token) == address(0)) revert ERC20NotSet();
        if (startTimestamp == 0) revert VestingNotStartedYet();
        if (intervalsAlreadyClaimed == intervalsToClaim) revert ClaimCompleted();

        uint256 periodsPassed = (block.timestamp - (startTimestamp + timeBetweenClaims * intervalsAlreadyClaimed)) / timeBetweenClaims;
        if (periodsPassed == 0) revert NothingToClaim();

        uint256 intervalsToClaimNow = _min(intervalsToClaim - intervalsAlreadyClaimed, periodsPassed); 
        intervalsAlreadyClaimed += intervalsToClaimNow;       
        uint256 amountToClaimNow;
        if (intervalsAlreadyClaimed < intervalsToClaim) {
            amountToClaimNow = intervalsToClaimNow * amountForEachClaim;
        }
        else {
            amountToClaimNow = token.balanceOf(address(this));
        }

        emit Claimed(msg.sender, beneficiary, amountToClaimNow, block.timestamp);

        token.transfer(beneficiary, amountToClaimNow);
    }

    /// @notice Changes the beneficiary of the vesting
    /// @param newBeneficiary Address of the new beneficiary
    function changeBeneficiary(address newBeneficiary) public onlyOwner {
        if (intervalsAlreadyClaimed == intervalsToClaim) revert UnauthorizedOperation();
        if (newBeneficiary == address(token)) revert TokenAndBeneficiaryCantBeTheSame();

        address oldBeneficiary = beneficiary;
        _setBeneficiary(newBeneficiary);
        emit ChangedBeneficiary(newBeneficiary, oldBeneficiary);
    }

    /// @notice Changes the number of vesting intervals and their duration. After this method has been called, the supply not claimed yet (i.e the balance of this contract) will be able to be claimed 
    /// in a time equal to newTimeBetweenClaims * newNumberOfIntervalsToClaim. Note that the remaining supply includes the amounts already accrued but not claimed yet.
    /// @param newTimeBetweenClaims New duration in seconds of a vesting interval
    /// @param newNumberOfIntervalsToClaim Number of intervals that need to pass for vesting the remaining supply
    function changeVestingParams(uint256 newTimeBetweenClaims, uint256 newNumberOfIntervalsToClaim) public onlyOwner {
        if (intervalsAlreadyClaimed == intervalsToClaim) revert UnauthorizedOperation();
        uint256 oldTimeBetweenClaims = timeBetweenClaims;
        uint256 oldNumberOfIntervalsToClaim = intervalsToClaim;
        _setVestingParams(newTimeBetweenClaims, newNumberOfIntervalsToClaim);

        // if startVesting was already called, startTimestamp, amountForEachClaim and intervalsAlreadyClaimed need to be reset
        if (startTimestamp != 0){
            uint256 totalToVest = token.balanceOf(address(this));
            amountForEachClaim = totalToVest / intervalsToClaim;
            startTimestamp = block.timestamp;
            intervalsAlreadyClaimed = 0;
        }
        emit ChangedVestingParams(newTimeBetweenClaims, newNumberOfIntervalsToClaim, oldTimeBetweenClaims, oldNumberOfIntervalsToClaim);
    }

    function _min(uint256 a, uint256 b) internal pure returns(uint256) {
        return a < b? a : b;
    }

    function _setBeneficiary(address newBeneficiary) internal {
        if(newBeneficiary == address(0)) revert AddressParameterCantBeZero();
        beneficiary = newBeneficiary;
    }

    function _setVestingParams(uint256 newTimeBetweenClaims, uint256 newNumberOfIntervalsToClaim) internal {
        if(newNumberOfIntervalsToClaim == 0) revert InvalidNumOfIntervals(); 
        if(newTimeBetweenClaims == 0) revert InvalidTimes();

        timeBetweenClaims = newTimeBetweenClaims;
        intervalsToClaim = newNumberOfIntervalsToClaim;        
    }

    function _transferOwnership(address newOwner) internal override {
        if (_allowedOwnershipTransfers == 0) revert ImmutableOwner();

        unchecked {--_allowedOwnershipTransfers;}
        super._transferOwnership(newOwner);
   }
}

[{"inputs":[{"internalType":"address","name":"_beneficiary","type":"address"},{"internalType":"uint256","name":"_timeBetweenClaims","type":"uint256"},{"internalType":"uint256","name":"_intervalsToClaim","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"AddressParameterCantBeZero","type":"error"},{"inputs":[],"name":"AmountCantBeZero","type":"error"},{"inputs":[],"name":"ClaimCompleted","type":"error"},{"inputs":[],"name":"ERC20NotSet","type":"error"},{"inputs":[],"name":"ImmutableOwner","type":"error"},{"inputs":[],"name":"InvalidNumOfIntervals","type":"error"},{"inputs":[],"name":"InvalidTimes","type":"error"},{"inputs":[],"name":"NothingToClaim","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"inputs":[],"name":"TokenAndBeneficiaryCantBeTheSame","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"UnauthorizedAccount","type":"error"},{"inputs":[],"name":"UnauthorizedOperation","type":"error"},{"inputs":[],"name":"VestingAlreadyStarted","type":"error"},{"inputs":[],"name":"VestingNotStartedYet","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"newBeneficiary","type":"address"},{"indexed":true,"internalType":"address","name":"oldBeneficiary","type":"address"}],"name":"ChangedBeneficiary","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"newTimeBetweenClaims","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newIntervalsToClaim","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"oldTimeBetweenClaims","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"oldIntervalsToClaim","type":"uint256"}],"name":"ChangedVestingParams","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"claimer","type":"address"},{"indexed":true,"internalType":"address","name":"beneficiary","type":"address"},{"indexed":false,"internalType":"uint256","name":"claimAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"Claimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"inputs":[],"name":"amountForEachClaim","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"beneficiary","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newBeneficiary","type":"address"}],"name":"changeBeneficiary","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newTimeBetweenClaims","type":"uint256"},{"internalType":"uint256","name":"newNumberOfIntervalsToClaim","type":"uint256"}],"name":"changeVestingParams","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"intervalsAlreadyClaimed","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"intervalsToClaim","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"setERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTimestamp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"startVesting","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"timeBetweenClaims","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"contract ERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x60806040525f805460ff60a01b1916600160a11b179055348015610021575f5ffd5b50604051610cbb380380610cbb833981016040819052610040916101c8565b338061006557604051631e4fbdf760e01b81525f600482015260240160405180910390fd5b61006e8161008a565b50610078836100e5565b610082828261012e565b505050610207565b5f8054600160a01b900460ff1690036100b657604051638863b38f60e01b815260040160405180910390fd5b5f80545f1960ff600160a01b808404821692909201160260ff60a01b199091161790556100e281610179565b50565b6001600160a01b03811661010c5760405163c387fe1560e01b815260040160405180910390fd5b600280546001600160a01b0319166001600160a01b0392909216919091179055565b805f0361014e57604051638ea90cbf60e01b815260040160405180910390fd5b815f0361016e57604051637e44c36f60e11b815260040160405180910390fd5b600591909155600655565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b5f5f5f606084860312156101da575f5ffd5b83516001600160a01b03811681146101f0575f5ffd5b602085015160409095015190969495509392505050565b610aa7806102145f395ff3fe608060405234801561000f575f5ffd5b50600436106100f0575f3560e01c8063ae92e61c11610093578063e6fd48bc11610063578063e6fd48bc146101b0578063f2fde38b146101b9578063f9140f7f146101cc578063fc0c546a146101d5575f5ffd5b8063ae92e61c14610179578063c29a6fda14610182578063dc07065714610195578063deb36e32146101a8575f5ffd5b80634e71d92d116100ce5780634e71d92d14610144578063692d36a71461014e578063715018a6146101615780638da5cb5b14610169575f5ffd5b806338af3eed146100f45780633be283e9146101245780633f69cb001461013b575b5f5ffd5b600254610107906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b61012d60065481565b60405190815260200161011b565b61012d60075481565b61014c6101e8565b005b61014c61015c36600461097e565b610435565b61014c61054e565b5f546001600160a01b0316610107565b61012d60035481565b61014c61019036600461099e565b610561565b61014c6101a336600461099e565b61060b565b61014c6106bf565b61012d60045481565b61014c6101c736600461099e565b6107bc565b61012d60055481565b600154610107906001600160a01b031681565b6001546001600160a01b031661021157604051637bbede1f60e11b815260040160405180910390fd5b6004545f036102335760405163641c0b2160e11b815260040160405180910390fd5b600654600754036102575760405163275d416d60e21b815260040160405180910390fd5b5f60055460075460055461026b91906109df565b60045461027891906109f6565b6102829042610a09565b61028c9190610a1c565b9050805f036102ae576040516312d37ee560e31b815260040160405180910390fd5b5f6102c86007546006546102c29190610a09565b836107fe565b90508060075f8282546102db91906109f6565b925050819055505f6006546007541015610303576003546102fc90836109df565b9050610370565b6001546040516370a0823160e01b81523060048201526001600160a01b03909116906370a0823190602401602060405180830381865afa158015610349573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061036d9190610a3b565b90505b600254604080518381524260208201526001600160a01b039092169133917f2f6639d24651730c7bf57c95ddbf96d66d11477e4ec626876f92c22e5f365e68910160405180910390a360015460025460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810184905291169063a9059cbb906044016020604051808303815f875af115801561040b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061042f9190610a52565b50505050565b61043d610817565b6006546007540361046157604051635ee8231160e01b815260040160405180910390fd5b6005546006546104718484610843565b60045415610500576001546040516370a0823160e01b81523060048201525f916001600160a01b0316906370a0823190602401602060405180830381865afa1580156104bf573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104e39190610a3b565b9050600654816104f39190610a1c565b60035550426004555f6007555b6040805185815260208101859052908101839052606081018290527f9cef914ceeeeda20f16e41daa8acec1596a28a6ade3a2052ef13ed94beee928e9060800160405180910390a150505050565b610556610817565b61055f5f61088e565b565b610569610817565b6001546001600160a01b03161561059357604051635ee8231160e01b815260040160405180910390fd5b6001600160a01b0381166105ba5760405163c387fe1560e01b815260040160405180910390fd5b6002546001600160a01b03908116908216036105e9576040516399d8ae3360e01b815260040160405180910390fd5b600180546001600160a01b0319166001600160a01b0392909216919091179055565b610613610817565b6006546007540361063757604051635ee8231160e01b815260040160405180910390fd5b6001546001600160a01b0390811690821603610666576040516399d8ae3360e01b815260040160405180910390fd5b6002546001600160a01b031661067b826108e6565b806001600160a01b0316826001600160a01b03167f948b7fd6001c5a82456f922e394fd549fed19d11220898d726ffb430fb951e9460405160405180910390a35050565b6001546001600160a01b031633146106ea57604051635ee8231160e01b815260040160405180910390fd5b6003541515806106fb575060045415155b15610719576040516372de7acd60e01b815260040160405180910390fd5b6001546040516370a0823160e01b81523060048201525f916001600160a01b0316906370a0823190602401602060405180830381865afa15801561075f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107839190610a3b565b9050805f036107a5576040516346f1397d60e01b815260040160405180910390fd5b6006546107b29082610a1c565b6003555042600455565b6107c4610817565b6001600160a01b0381166107f257604051631e4fbdf760e01b81525f60048201526024015b60405180910390fd5b6107fb8161088e565b50565b5f81831061080c578161080e565b825b90505b92915050565b5f546001600160a01b0316331461055f5760405163118cdaa760e01b81523360048201526024016107e9565b805f0361086357604051638ea90cbf60e01b815260040160405180910390fd5b815f0361088357604051637e44c36f60e11b815260040160405180910390fd5b600591909155600655565b5f8054600160a01b900460ff1690036108ba57604051638863b38f60e01b815260040160405180910390fd5b5f80545f1960ff600160a01b808404821692909201160260ff60a01b199091161790556107fb8161092f565b6001600160a01b03811661090d5760405163c387fe1560e01b815260040160405180910390fd5b600280546001600160a01b0319166001600160a01b0392909216919091179055565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b5f5f6040838503121561098f575f5ffd5b50508035926020909101359150565b5f602082840312156109ae575f5ffd5b81356001600160a01b03811681146109c4575f5ffd5b9392505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417610811576108116109cb565b80820180821115610811576108116109cb565b81810381811115610811576108116109cb565b5f82610a3657634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215610a4b575f5ffd5b5051919050565b5f60208284031215610a62575f5ffd5b815180151581146109c4575f5ffdfea2646970667358221220fccf81d5a305b940bce8c44664ab7f722df15f3a5d052b6052931731beafd33964736f6c634300081b0033000000000000000000000000485f68ed974d59b8b5e9ac99b40322f80d7364360000000000000000000000000000000000000000000000000000000000278d000000000000000000000000000000000000000000000000000000000000000030

0x608060405234801561000f575f5ffd5b50600436106100f0575f3560e01c8063ae92e61c11610093578063e6fd48bc11610063578063e6fd48bc146101b0578063f2fde38b146101b9578063f9140f7f146101cc578063fc0c546a146101d5575f5ffd5b8063ae92e61c14610179578063c29a6fda14610182578063dc07065714610195578063deb36e32146101a8575f5ffd5b80634e71d92d116100ce5780634e71d92d14610144578063692d36a71461014e578063715018a6146101615780638da5cb5b14610169575f5ffd5b806338af3eed146100f45780633be283e9146101245780633f69cb001461013b575b5f5ffd5b600254610107906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b61012d60065481565b60405190815260200161011b565b61012d60075481565b61014c6101e8565b005b61014c61015c36600461097e565b610435565b61014c61054e565b5f546001600160a01b0316610107565b61012d60035481565b61014c61019036600461099e565b610561565b61014c6101a336600461099e565b61060b565b61014c6106bf565b61012d60045481565b61014c6101c736600461099e565b6107bc565b61012d60055481565b600154610107906001600160a01b031681565b6001546001600160a01b031661021157604051637bbede1f60e11b815260040160405180910390fd5b6004545f036102335760405163641c0b2160e11b815260040160405180910390fd5b600654600754036102575760405163275d416d60e21b815260040160405180910390fd5b5f60055460075460055461026b91906109df565b60045461027891906109f6565b6102829042610a09565b61028c9190610a1c565b9050805f036102ae576040516312d37ee560e31b815260040160405180910390fd5b5f6102c86007546006546102c29190610a09565b836107fe565b90508060075f8282546102db91906109f6565b925050819055505f6006546007541015610303576003546102fc90836109df565b9050610370565b6001546040516370a0823160e01b81523060048201526001600160a01b03909116906370a0823190602401602060405180830381865afa158015610349573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061036d9190610a3b565b90505b600254604080518381524260208201526001600160a01b039092169133917f2f6639d24651730c7bf57c95ddbf96d66d11477e4ec626876f92c22e5f365e68910160405180910390a360015460025460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810184905291169063a9059cbb906044016020604051808303815f875af115801561040b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061042f9190610a52565b50505050565b61043d610817565b6006546007540361046157604051635ee8231160e01b815260040160405180910390fd5b6005546006546104718484610843565b60045415610500576001546040516370a0823160e01b81523060048201525f916001600160a01b0316906370a0823190602401602060405180830381865afa1580156104bf573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104e39190610a3b565b9050600654816104f39190610a1c565b60035550426004555f6007555b6040805185815260208101859052908101839052606081018290527f9cef914ceeeeda20f16e41daa8acec1596a28a6ade3a2052ef13ed94beee928e9060800160405180910390a150505050565b610556610817565b61055f5f61088e565b565b610569610817565b6001546001600160a01b03161561059357604051635ee8231160e01b815260040160405180910390fd5b6001600160a01b0381166105ba5760405163c387fe1560e01b815260040160405180910390fd5b6002546001600160a01b03908116908216036105e9576040516399d8ae3360e01b815260040160405180910390fd5b600180546001600160a01b0319166001600160a01b0392909216919091179055565b610613610817565b6006546007540361063757604051635ee8231160e01b815260040160405180910390fd5b6001546001600160a01b0390811690821603610666576040516399d8ae3360e01b815260040160405180910390fd5b6002546001600160a01b031661067b826108e6565b806001600160a01b0316826001600160a01b03167f948b7fd6001c5a82456f922e394fd549fed19d11220898d726ffb430fb951e9460405160405180910390a35050565b6001546001600160a01b031633146106ea57604051635ee8231160e01b815260040160405180910390fd5b6003541515806106fb575060045415155b15610719576040516372de7acd60e01b815260040160405180910390fd5b6001546040516370a0823160e01b81523060048201525f916001600160a01b0316906370a0823190602401602060405180830381865afa15801561075f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107839190610a3b565b9050805f036107a5576040516346f1397d60e01b815260040160405180910390fd5b6006546107b29082610a1c565b6003555042600455565b6107c4610817565b6001600160a01b0381166107f257604051631e4fbdf760e01b81525f60048201526024015b60405180910390fd5b6107fb8161088e565b50565b5f81831061080c578161080e565b825b90505b92915050565b5f546001600160a01b0316331461055f5760405163118cdaa760e01b81523360048201526024016107e9565b805f0361086357604051638ea90cbf60e01b815260040160405180910390fd5b815f0361088357604051637e44c36f60e11b815260040160405180910390fd5b600591909155600655565b5f8054600160a01b900460ff1690036108ba57604051638863b38f60e01b815260040160405180910390fd5b5f80545f1960ff600160a01b808404821692909201160260ff60a01b199091161790556107fb8161092f565b6001600160a01b03811661090d5760405163c387fe1560e01b815260040160405180910390fd5b600280546001600160a01b0319166001600160a01b0392909216919091179055565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b5f5f6040838503121561098f575f5ffd5b50508035926020909101359150565b5f602082840312156109ae575f5ffd5b81356001600160a01b03811681146109c4575f5ffd5b9392505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417610811576108116109cb565b80820180821115610811576108116109cb565b81810381811115610811576108116109cb565b5f82610a3657634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215610a4b575f5ffd5b5051919050565b5f60208284031215610a62575f5ffd5b815180151581146109c4575f5ffdfea2646970667358221220fccf81d5a305b940bce8c44664ab7f722df15f3a5d052b6052931731beafd33964736f6c634300081b0033

26499:7256:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26639:26;;;;;-1:-1:-1;;;;;26639:26:0;;;;;;-1:-1:-1;;;;;178:32:1;;;160:51;;148:2;133:18;26639:26:0;;;;;;;;26790:31;;;;;;;;;368:25:1;;;356:2;341:18;26790:31:0;222:177:1;26828:38:0;;;;;;29729:1026;;;:::i;:::-;;31871:950;;;;;;:::i;:::-;;:::i;3572:103::-;;;:::i;2897:87::-;2943:7;2970:6;-1:-1:-1;;;;;2970:6:0;2897:87;;26674:33;;;;;;28494:337;;;;;;:::i;:::-;;:::i;30881:413::-;;;;;;:::i;:::-;;:::i;28962:453::-;;;:::i;26714:29::-;;;;;;3830:220;;;;;;:::i;:::-;;:::i;26750:32::-;;;;;;26614:18;;;;;-1:-1:-1;;;;;26614:18:0;;;29729:1026;29776:5;;-1:-1:-1;;;;;29776:5:0;29764:54;;29805:13;;-1:-1:-1;;;29805:13:0;;;;;;;;;;;29764:54;29833:14;;29851:1;29833:19;29829:54;;29861:22;;-1:-1:-1;;;29861:22:0;;;;;;;;;;;29829:54;29925:16;;29898:23;;:43;29894:72;;29950:16;;-1:-1:-1;;;29950:16:0;;;;;;;;;;;29894:72;29979:21;30088:17;;30060:23;;30040:17;;:43;;;;:::i;:::-;30023:14;;:60;;;;:::i;:::-;30004:80;;:15;:80;:::i;:::-;30003:102;;;;:::i;:::-;29979:126;;30120:13;30137:1;30120:18;30116:47;;30147:16;;-1:-1:-1;;;30147:16:0;;;;;;;;;;;30116:47;30176:27;30206:63;30230:23;;30211:16;;:42;;;;:::i;:::-;30255:13;30206:4;:63::i;:::-;30176:93;;30308:19;30281:23;;:46;;;;;;;:::i;:::-;;;;;;;;30345:24;30410:16;;30384:23;;:42;30380:225;;;30484:18;;30462:40;;:19;:40;:::i;:::-;30443:59;;30380:225;;;30563:5;;:30;;-1:-1:-1;;;30563:30:0;;30587:4;30563:30;;;160:51:1;-1:-1:-1;;;;;30563:5:0;;;;:15;;133:18:1;;30563:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;30544:49;;30380:225;30642:11;;30622:67;;;2420:25:1;;;30673:15:0;2476:2:1;2461:18;;2454:34;-1:-1:-1;;;;;30642:11:0;;;;30630:10;;30622:67;;2393:18:1;30622:67:0;;;;;;;30702:5;;30717:11;;30702:45;;-1:-1:-1;;;30702:45:0;;-1:-1:-1;;;;;30717:11:0;;;30702:45;;;2673:51:1;2740:18;;;2733:34;;;30702:5:0;;;:14;;2646:18:1;;30702:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;29753:1002;;;29729:1026::o;31871:950::-;2783:13;:11;:13::i;:::-;32026:16:::1;;31999:23;;:43:::0;31995:79:::1;;32051:23;;-1:-1:-1::0;;;32051:23:0::1;;;;;;;;;;;31995:79;32116:17;::::0;32182:16:::1;::::0;32209:68:::1;32227:20:::0;32249:27;32209:17:::1;:68::i;:::-;32422:14;::::0;:19;32418:258:::1;;32479:5;::::0;:30:::1;::::0;-1:-1:-1;;;32479:30:0;;32503:4:::1;32479:30;::::0;::::1;160:51:1::0;32457:19:0::1;::::0;-1:-1:-1;;;;;32479:5:0::1;::::0;:15:::1;::::0;133:18:1;;32479:30:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;32457:52;;32559:16;;32545:11;:30;;;;:::i;:::-;32524:18;:51:::0;-1:-1:-1;32607:15:0::1;32590:14;:32:::0;-1:-1:-1;32637:23:0::1;:27:::0;32418:258:::1;32691:122;::::0;;3291:25:1;;;3347:2;3332:18;;3325:34;;;3375:18;;;3368:34;;;3433:2;3418:18;;3411:34;;;32691:122:0::1;::::0;3278:3:1;3263:19;32691:122:0::1;;;;;;;31984:837;;31871:950:::0;;:::o;3572:103::-;2783:13;:11;:13::i;:::-;3637:30:::1;3664:1;3637:18;:30::i;:::-;3572:103::o:0;28494:337::-;2783:13;:11;:13::i;:::-;28566:5:::1;::::0;-1:-1:-1;;;;;28566:5:0::1;28558:28:::0;28554:64:::1;;28595:23;;-1:-1:-1::0;;;28595:23:0::1;;;;;;;;;;;28554:64;-1:-1:-1::0;;;;;28662:18:0;::::1;28659:58;;28689:28;;-1:-1:-1::0;;;28689:28:0::1;;;;;;;;;;;28659:58;28739:11;::::0;-1:-1:-1;;;;;28739:11:0;;::::1;28731:19:::0;;::::1;::::0;28728:65:::1;;28759:34;;-1:-1:-1::0;;;28759:34:0::1;;;;;;;;;;;28728:65;28804:5;:19:::0;;-1:-1:-1;;;;;;28804:19:0::1;-1:-1:-1::0;;;;;28804:19:0;;;::::1;::::0;;;::::1;::::0;;28494:337::o;30881:413::-;2783:13;:11;:13::i;:::-;30991:16:::1;;30964:23;;:43:::0;30960:79:::1;;31016:23;;-1:-1:-1::0;;;31016:23:0::1;;;;;;;;;;;30960:79;31080:5;::::0;-1:-1:-1;;;;;31080:5:0;;::::1;31054:32:::0;;::::1;::::0;31050:79:::1;;31095:34;;-1:-1:-1::0;;;31095:34:0::1;;;;;;;;;;;31050:79;31167:11;::::0;-1:-1:-1;;;;;31167:11:0::1;31189:31;31205:14:::0;31189:15:::1;:31::i;:::-;31271:14;-1:-1:-1::0;;;;;31236:50:0::1;31255:14;-1:-1:-1::0;;;;;31236:50:0::1;;;;;;;;;;;30949:345;30881:413:::0;:::o;28962:453::-;29030:5;;-1:-1:-1;;;;;29030:5:0;29008:10;:28;29004:64;;29045:23;;-1:-1:-1;;;29045:23:0;;;;;;;;;;;29004:64;29084:18;;:23;;;:46;;-1:-1:-1;29111:14:0;;:19;;29084:46;29080:82;;;29139:23;;-1:-1:-1;;;29139:23:0;;;;;;;;;;;29080:82;29214:5;;:30;;-1:-1:-1;;;29214:30:0;;29238:4;29214:30;;;160:51:1;29192:19:0;;-1:-1:-1;;;;;29214:5:0;;:15;;133:18:1;;29214:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;29192:52;;29259:11;29274:1;29259:16;29255:47;;29284:18;;-1:-1:-1;;;29284:18:0;;;;;;;;;;;29255:47;29348:16;;29334:30;;:11;:30;:::i;:::-;29313:18;:51;-1:-1:-1;29392:15:0;29375:14;:32;28962:453::o;3830:220::-;2783:13;:11;:13::i;:::-;-1:-1:-1;;;;;3915:22:0;::::1;3911:93;;3961:31;::::0;-1:-1:-1;;;3961:31:0;;3989:1:::1;3961:31;::::0;::::1;160:51:1::0;133:18;;3961:31:0::1;;;;;;;;3911:93;4014:28;4033:8;4014:18;:28::i;:::-;3830:220:::0;:::o;32829:105::-;32887:7;32918:1;32914;:5;:12;;32925:1;32914:12;;;32921:1;32914:12;32907:19;;32829:105;;;;;:::o;3062:166::-;2943:7;2970:6;-1:-1:-1;;;;;2970:6:0;931:10;3122:23;3118:103;;3169:40;;-1:-1:-1;;;3169:40:0;;931:10;3169:40;;;160:51:1;133:18;;3169:40:0;14:203:1;33134:370:0;33251:27;33282:1;33251:32;33248:67;;33292:23;;-1:-1:-1;;;33292:23:0;;;;;;;;;;;33248:67;33330:20;33354:1;33330:25;33327:51;;33364:14;;-1:-1:-1;;;33364:14:0;;;;;;;;;;;33327:51;33391:17;:40;;;;33442:16;:46;33134:370::o;33512:240::-;33591:26;;;-1:-1:-1;;;33591:26:0;;;;:31;;33587:60;;33631:16;;-1:-1:-1;;;33631:16:0;;;;;;;;;;;33587:60;33673:26;33671:28;;-1:-1:-1;;33671:28:0;-1:-1:-1;;;33671:28:0;;;;;;;;;;;-1:-1:-1;;;;33671:28:0;;;;;;33711:34;33736:8;33711:24;:34::i;32942:184::-;-1:-1:-1;;;;;33014:28:0;;33011:68;;33051:28;;-1:-1:-1;;;33051:28:0;;;;;;;;;;;33011:68;33090:11;:28;;-1:-1:-1;;;;;;33090:28:0;-1:-1:-1;;;;;33090:28:0;;;;;;;;;;32942:184::o;4210:191::-;4284:16;4303:6;;-1:-1:-1;;;;;4320:17:0;;;-1:-1:-1;;;;;;4320:17:0;;;;;;4353:40;;4303:6;;;;;;;4353:40;;4284:16;4353:40;4273:128;4210:191;:::o;404:346:1:-;472:6;480;533:2;521:9;512:7;508:23;504:32;501:52;;;549:1;546;539:12;501:52;-1:-1:-1;;594:23:1;;;714:2;699:18;;;686:32;;-1:-1:-1;404:346:1:o;755:286::-;814:6;867:2;855:9;846:7;842:23;838:32;835:52;;;883:1;880;873:12;835:52;909:23;;-1:-1:-1;;;;;961:31:1;;951:42;;941:70;;1007:1;1004;997:12;941:70;1030:5;755:286;-1:-1:-1;;;755:286:1:o;1267:127::-;1328:10;1323:3;1319:20;1316:1;1309:31;1359:4;1356:1;1349:15;1383:4;1380:1;1373:15;1399:168;1472:9;;;1503;;1520:15;;;1514:22;;1500:37;1490:71;;1541:18;;:::i;1572:125::-;1637:9;;;1658:10;;;1655:36;;;1671:18;;:::i;1702:128::-;1769:9;;;1790:11;;;1787:37;;;1804:18;;:::i;1835:217::-;1875:1;1901;1891:132;;1945:10;1940:3;1936:20;1933:1;1926:31;1980:4;1977:1;1970:15;2008:4;2005:1;1998:15;1891:132;-1:-1:-1;2037:9:1;;1835:217::o;2057:184::-;2127:6;2180:2;2168:9;2159:7;2155:23;2151:32;2148:52;;;2196:1;2193;2186:12;2148:52;-1:-1:-1;2219:16:1;;2057:184;-1:-1:-1;2057:184:1:o;2778:277::-;2845:6;2898:2;2886:9;2877:7;2873:23;2869:32;2866:52;;;2914:1;2911;2904:12;2866:52;2946:9;2940:16;2999:5;2992:13;2985:21;2978:5;2975:32;2965:60;;3021:1;3018;3011:12

ipfs://fccf81d5a305b940bce8c44664ab7f722df15f3a5d052b6052931731beafd339