Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-08-12
*/

// SPDX-License-Identifier: MIT
// File: @openzeppelin/contracts/token/ERC20/IERC20.sol


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

// File: contracts/CashVest.sol


pragma solidity ^0.8.20;


contract Vesting {
    IERC20 public token;
    address public owner;

    enum VestingScheduleType { Presale1, Presale2 }

    struct VestingSchedule {
        uint256 totalAmount;
        uint256 claimedAmount;
        uint256 startTime;
        uint256 duration;
    }

    // Mapping from beneficiary to vesting schedule type to VestingSchedule
    mapping(address => mapping(VestingScheduleType => VestingSchedule)) public vestingSchedules;

    event TokensClaimed(address indexed user, uint256 amount, VestingScheduleType vestingType);

    constructor(address _token) {
        token = IERC20(_token);
        owner = msg.sender;
    }

    modifier onlyOwner() {
        require(msg.sender == owner, "Only owner can call this function");
        _;
    }

    function addVestingSchedules(
        address[] calldata _beneficiaries,
        uint256[] calldata _amounts,
        uint256[] calldata _startTimes,
        uint256[] calldata _durations,
        VestingScheduleType[] calldata _vestingTypes
    ) external onlyOwner {
        require(_beneficiaries.length == _amounts.length, "Array length mismatch");
        require(_beneficiaries.length == _startTimes.length, "Array length mismatch");
        require(_beneficiaries.length == _durations.length, "Array length mismatch");
        require(_beneficiaries.length == _vestingTypes.length, "Array length mismatch");

        for (uint256 i = 0; i < _beneficiaries.length; i++) {
            address beneficiary = _beneficiaries[i];
            uint256 totalAmount = _amounts[i];
            uint256 startTime = _startTimes[i];
            uint256 duration = _durations[i];
            VestingScheduleType vestingType = _vestingTypes[i];

            require(vestingSchedules[beneficiary][vestingType].totalAmount == 0, "Vesting schedule already exists for this type");

            vestingSchedules[beneficiary][vestingType] = VestingSchedule({
                totalAmount: totalAmount,
                claimedAmount: 0,
                startTime: startTime,
                duration: duration
            });
        }
    }

    function claim(VestingScheduleType vestingType) external {
        VestingSchedule storage schedule = vestingSchedules[msg.sender][vestingType];
        require(schedule.totalAmount > 0, "No vesting schedule for this type");
        uint256 currentTime = block.timestamp;
        require(currentTime >= schedule.startTime, "Vesting period has not started yet");

        uint256 vestedAmount = _vestedAmount(schedule);
        uint256 claimableAmount = vestedAmount - schedule.claimedAmount;
        require(claimableAmount > 0, "No tokens available for claim");

        schedule.claimedAmount = vestedAmount;
        token.transfer(msg.sender, claimableAmount);

        emit TokensClaimed(msg.sender, claimableAmount, vestingType);
    }

    function _vestedAmount(VestingSchedule memory schedule) internal view returns (uint256) {
        uint256 currentTime = block.timestamp;
        if (currentTime >= schedule.startTime + schedule.duration) {
            return schedule.totalAmount;
        } else {
            return (schedule.totalAmount * (currentTime - schedule.startTime)) / schedule.duration;
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_token","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"enum Vesting.VestingScheduleType","name":"vestingType","type":"uint8"}],"name":"TokensClaimed","type":"event"},{"inputs":[{"internalType":"address[]","name":"_beneficiaries","type":"address[]"},{"internalType":"uint256[]","name":"_amounts","type":"uint256[]"},{"internalType":"uint256[]","name":"_startTimes","type":"uint256[]"},{"internalType":"uint256[]","name":"_durations","type":"uint256[]"},{"internalType":"enum Vesting.VestingScheduleType[]","name":"_vestingTypes","type":"uint8[]"}],"name":"addVestingSchedules","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"enum Vesting.VestingScheduleType","name":"vestingType","type":"uint8"}],"name":"claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"enum Vesting.VestingScheduleType","name":"","type":"uint8"}],"name":"vestingSchedules","outputs":[{"internalType":"uint256","name":"totalAmount","type":"uint256"},{"internalType":"uint256","name":"claimedAmount","type":"uint256"},{"internalType":"uint256","name":"startTime","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"}],"stateMutability":"view","type":"function"}]

608060405234801561000f575f80fd5b50604051610a88380380610a8883398101604081905261002e9161005b565b5f80546001600160a01b039092166001600160a01b03199283161790556001805490911633179055610088565b5f6020828403121561006b575f80fd5b81516001600160a01b0381168114610081575f80fd5b9392505050565b6109f3806100955f395ff3fe608060405234801561000f575f80fd5b5060043610610055575f3560e01c80631bcf8d63146100595780632963f592146100bc5780638da5cb5b146100d157806395d4063f146100fc578063fc0c546a1461010f575b5f80fd5b6100976100673660046106f8565b600260208181525f9384526040808520909152918352912080546001820154928201546003909201549092919084565b6040805194855260208501939093529183015260608201526080015b60405180910390f35b6100cf6100ca366004610771565b610121565b005b6001546100e4906001600160a01b031681565b6040516001600160a01b0390911681526020016100b3565b6100cf61010a366004610857565b61041c565b5f546100e4906001600160a01b031681565b6001546001600160a01b0316331461018a5760405162461bcd60e51b815260206004820152602160248201527f4f6e6c79206f776e65722063616e2063616c6c20746869732066756e6374696f6044820152603760f91b60648201526084015b60405180910390fd5b8887146101a95760405162461bcd60e51b815260040161018190610870565b8885146101c85760405162461bcd60e51b815260040161018190610870565b8883146101e75760405162461bcd60e51b815260040161018190610870565b8881146102065760405162461bcd60e51b815260040161018190610870565b5f5b8981101561040f575f8b8b838181106102235761022361089f565b905060200201602081019061023891906108b3565b90505f8a8a8481811061024d5761024d61089f565b9050602002013590505f8989858181106102695761026961089f565b9050602002013590505f8888868181106102855761028561089f565b9050602002013590505f8787878181106102a1576102a161089f565b90506020020160208101906102b69190610857565b6001600160a01b0386165f9081526002602052604081209192508260018111156102e2576102e26108cc565b60018111156102f3576102f36108cc565b815260208101919091526040015f2054156103665760405162461bcd60e51b815260206004820152602d60248201527f56657374696e67207363686564756c6520616c7265616479206578697374732060448201526c666f722074686973207479706560981b6064820152608401610181565b604080516080810182528581525f6020808301829052828401879052606083018690526001600160a01b03891682526002905291822090918360018111156103b0576103b06108cc565b60018111156103c1576103c16108cc565b81526020019081526020015f205f820151815f015560208201518160010155604082015181600201556060820151816003015590505050505050508080610407906108f4565b915050610208565b5050505050505050505050565b335f9081526002602052604081208183600181111561043d5761043d6108cc565b600181111561044e5761044e6108cc565b81526020019081526020015f2090505f815f0154116104b95760405162461bcd60e51b815260206004820152602160248201527f4e6f2076657374696e67207363686564756c6520666f722074686973207479706044820152606560f81b6064820152608401610181565b6002810154429081101561051a5760405162461bcd60e51b815260206004820152602260248201527f56657374696e6720706572696f6420686173206e6f7420737461727465642079604482015261195d60f21b6064820152608401610181565b604080516080810182528354815260018401546020820152600284015491810191909152600383015460608201525f906105539061067a565b90505f836001015482610566919061090c565b90505f81116105b75760405162461bcd60e51b815260206004820152601d60248201527f4e6f20746f6b656e7320617661696c61626c6520666f7220636c61696d0000006044820152606401610181565b600184018290555f5460405163a9059cbb60e01b8152336004820152602481018390526001600160a01b039091169063a9059cbb906044016020604051808303815f875af115801561060b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061062f9190610925565b50336001600160a01b03167f53784b3fa987ce4f3566245eefd7537f99a526db5a6213c14e1bbe9c99d37b23828760405161066b929190610944565b60405180910390a25050505050565b606081015160408201515f9142916106929190610974565b811061069e5750505190565b606083015160408401516106b2908361090c565b84516106be9190610987565b6106c8919061099e565b9392505050565b80356001600160a01b03811681146106e5575f80fd5b919050565b8035600281106106e5575f80fd5b5f8060408385031215610709575f80fd5b610712836106cf565b9150610720602084016106ea565b90509250929050565b5f8083601f840112610739575f80fd5b50813567ffffffffffffffff811115610750575f80fd5b6020830191508360208260051b850101111561076a575f80fd5b9250929050565b5f805f805f805f805f8060a08b8d03121561078a575f80fd5b8a3567ffffffffffffffff808211156107a1575f80fd5b6107ad8e838f01610729565b909c509a5060208d01359150808211156107c5575f80fd5b6107d18e838f01610729565b909a50985060408d01359150808211156107e9575f80fd5b6107f58e838f01610729565b909850965060608d013591508082111561080d575f80fd5b6108198e838f01610729565b909650945060808d0135915080821115610831575f80fd5b5061083e8d828e01610729565b915080935050809150509295989b9194979a5092959850565b5f60208284031215610867575f80fd5b6106c8826106ea565b602080825260159082015274082e4e4c2f240d8cadccee8d040dad2e6dac2e8c6d605b1b604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156108c3575f80fd5b6106c8826106cf565b634e487b7160e01b5f52602160045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b5f60018201610905576109056108e0565b5060010190565b8181038181111561091f5761091f6108e0565b92915050565b5f60208284031215610935575f80fd5b815180151581146106c8575f80fd5b828152604081016002831061096757634e487b7160e01b5f52602160045260245ffd5b8260208301529392505050565b8082018082111561091f5761091f6108e0565b808202811582820484141761091f5761091f6108e0565b5f826109b857634e487b7160e01b5f52601260045260245ffd5b50049056fea264697066735822122030c205315b0910eeadd986c57adcd880aed79904463e185e5be11ee4b17092d564736f6c6343000814003300000000000000000000000048ac9ca5a88e25bc75caa89df9846a5adeb4ced1

0x608060405234801561000f575f80fd5b5060043610610055575f3560e01c80631bcf8d63146100595780632963f592146100bc5780638da5cb5b146100d157806395d4063f146100fc578063fc0c546a1461010f575b5f80fd5b6100976100673660046106f8565b600260208181525f9384526040808520909152918352912080546001820154928201546003909201549092919084565b6040805194855260208501939093529183015260608201526080015b60405180910390f35b6100cf6100ca366004610771565b610121565b005b6001546100e4906001600160a01b031681565b6040516001600160a01b0390911681526020016100b3565b6100cf61010a366004610857565b61041c565b5f546100e4906001600160a01b031681565b6001546001600160a01b0316331461018a5760405162461bcd60e51b815260206004820152602160248201527f4f6e6c79206f776e65722063616e2063616c6c20746869732066756e6374696f6044820152603760f91b60648201526084015b60405180910390fd5b8887146101a95760405162461bcd60e51b815260040161018190610870565b8885146101c85760405162461bcd60e51b815260040161018190610870565b8883146101e75760405162461bcd60e51b815260040161018190610870565b8881146102065760405162461bcd60e51b815260040161018190610870565b5f5b8981101561040f575f8b8b838181106102235761022361089f565b905060200201602081019061023891906108b3565b90505f8a8a8481811061024d5761024d61089f565b9050602002013590505f8989858181106102695761026961089f565b9050602002013590505f8888868181106102855761028561089f565b9050602002013590505f8787878181106102a1576102a161089f565b90506020020160208101906102b69190610857565b6001600160a01b0386165f9081526002602052604081209192508260018111156102e2576102e26108cc565b60018111156102f3576102f36108cc565b815260208101919091526040015f2054156103665760405162461bcd60e51b815260206004820152602d60248201527f56657374696e67207363686564756c6520616c7265616479206578697374732060448201526c666f722074686973207479706560981b6064820152608401610181565b604080516080810182528581525f6020808301829052828401879052606083018690526001600160a01b03891682526002905291822090918360018111156103b0576103b06108cc565b60018111156103c1576103c16108cc565b81526020019081526020015f205f820151815f015560208201518160010155604082015181600201556060820151816003015590505050505050508080610407906108f4565b915050610208565b5050505050505050505050565b335f9081526002602052604081208183600181111561043d5761043d6108cc565b600181111561044e5761044e6108cc565b81526020019081526020015f2090505f815f0154116104b95760405162461bcd60e51b815260206004820152602160248201527f4e6f2076657374696e67207363686564756c6520666f722074686973207479706044820152606560f81b6064820152608401610181565b6002810154429081101561051a5760405162461bcd60e51b815260206004820152602260248201527f56657374696e6720706572696f6420686173206e6f7420737461727465642079604482015261195d60f21b6064820152608401610181565b604080516080810182528354815260018401546020820152600284015491810191909152600383015460608201525f906105539061067a565b90505f836001015482610566919061090c565b90505f81116105b75760405162461bcd60e51b815260206004820152601d60248201527f4e6f20746f6b656e7320617661696c61626c6520666f7220636c61696d0000006044820152606401610181565b600184018290555f5460405163a9059cbb60e01b8152336004820152602481018390526001600160a01b039091169063a9059cbb906044016020604051808303815f875af115801561060b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061062f9190610925565b50336001600160a01b03167f53784b3fa987ce4f3566245eefd7537f99a526db5a6213c14e1bbe9c99d37b23828760405161066b929190610944565b60405180910390a25050505050565b606081015160408201515f9142916106929190610974565b811061069e5750505190565b606083015160408401516106b2908361090c565b84516106be9190610987565b6106c8919061099e565b9392505050565b80356001600160a01b03811681146106e5575f80fd5b919050565b8035600281106106e5575f80fd5b5f8060408385031215610709575f80fd5b610712836106cf565b9150610720602084016106ea565b90509250929050565b5f8083601f840112610739575f80fd5b50813567ffffffffffffffff811115610750575f80fd5b6020830191508360208260051b850101111561076a575f80fd5b9250929050565b5f805f805f805f805f8060a08b8d03121561078a575f80fd5b8a3567ffffffffffffffff808211156107a1575f80fd5b6107ad8e838f01610729565b909c509a5060208d01359150808211156107c5575f80fd5b6107d18e838f01610729565b909a50985060408d01359150808211156107e9575f80fd5b6107f58e838f01610729565b909850965060608d013591508082111561080d575f80fd5b6108198e838f01610729565b909650945060808d0135915080821115610831575f80fd5b5061083e8d828e01610729565b915080935050809150509295989b9194979a5092959850565b5f60208284031215610867575f80fd5b6106c8826106ea565b602080825260159082015274082e4e4c2f240d8cadccee8d040dad2e6dac2e8c6d605b1b604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156108c3575f80fd5b6106c8826106cf565b634e487b7160e01b5f52602160045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b5f60018201610905576109056108e0565b5060010190565b8181038181111561091f5761091f6108e0565b92915050565b5f60208284031215610935575f80fd5b815180151581146106c8575f80fd5b828152604081016002831061096757634e487b7160e01b5f52602160045260245ffd5b8260208301529392505050565b8082018082111561091f5761091f6108e0565b808202811582820484141761091f5761091f6108e0565b5f826109b857634e487b7160e01b5f52601260045260245ffd5b50049056fea264697066735822122030c205315b0910eeadd986c57adcd880aed79904463e185e5be11ee4b17092d564736f6c63430008140033

00000000000000000000000048ac9ca5a88e25bc75caa89df9846a5adeb4ced1

-----Decoded View---------------
Arg [0] : _token (address): 0x48Ac9ca5a88e25Bc75cAa89Df9846a5aDeB4ced1

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000048ac9ca5a88e25bc75caa89df9846a5adeb4ced1

2988:3308:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3355:91;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;892:25:1;;;948:2;933:18;;926:34;;;;976:18;;;969:34;1034:2;1019:18;;1012:34;879:3;864:19;3355:91:0;;;;;;;;3785:1352;;;;;;:::i;:::-;;:::i;:::-;;3038:20;;;;;-1:-1:-1;;;;;3038:20:0;;;;;;-1:-1:-1;;;;;3340:32:1;;;3322:51;;3310:2;3295:18;3038:20:0;3176:203:1;5145:754:0;;;;;;:::i;:::-;;:::i;3012:19::-;;;;;-1:-1:-1;;;;;3012:19:0;;;3785:1352;3714:5;;-1:-1:-1;;;;;3714:5:0;3700:10;:19;3692:65;;;;-1:-1:-1;;;3692:65:0;;4037:2:1;3692:65:0;;;4019:21:1;4076:2;4056:18;;;4049:30;4115:34;4095:18;;;4088:62;-1:-1:-1;;;4166:18:1;;;4159:31;4207:19;;3692:65:0;;;;;;;;;4077:40;;::::1;4069:74;;;;-1:-1:-1::0;;;4069:74:0::1;;;;;;;:::i;:::-;4162:43:::0;;::::1;4154:77;;;;-1:-1:-1::0;;;4154:77:0::1;;;;;;;:::i;:::-;4250:42:::0;;::::1;4242:76;;;;-1:-1:-1::0;;;4242:76:0::1;;;;;;;:::i;:::-;4337:45:::0;;::::1;4329:79;;;;-1:-1:-1::0;;;4329:79:0::1;;;;;;;:::i;:::-;4426:9;4421:709;4441:25:::0;;::::1;4421:709;;;4488:19;4510:14;;4525:1;4510:17;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;4488:39;;4542:19;4564:8;;4573:1;4564:11;;;;;;;:::i;:::-;;;;;;;4542:33;;4590:17;4610:11;;4622:1;4610:14;;;;;;;:::i;:::-;;;;;;;4590:34;;4639:16;4658:10;;4669:1;4658:13;;;;;;;:::i;:::-;;;;;;;4639:32;;4686:31;4720:13;;4734:1;4720:16;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;4761:29:0;::::1;;::::0;;;:16:::1;:29;::::0;;;;4686:50;;-1:-1:-1;4686:50:0;4761:42:::1;::::0;::::1;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;4761:42:0;:54;:59;4753:117:::1;;;::::0;-1:-1:-1;;;4753:117:0;;5244:2:1;4753:117:0::1;::::0;::::1;5226:21:1::0;5283:2;5263:18;;;5256:30;5322:34;5302:18;;;5295:62;-1:-1:-1;;;5373:18:1;;;5366:43;5426:19;;4753:117:0::1;5042:409:1::0;4753:117:0::1;4932:186;::::0;;::::1;::::0;::::1;::::0;;;;;-1:-1:-1;4932:186:0::1;::::0;;::::1;::::0;;;;;;;;;;;;;;;-1:-1:-1;;;;;4887:29:0;::::1;::::0;;:16:::1;:29:::0;;;;;4932:186;;4917:11;4887:42:::1;::::0;::::1;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;;;;;:231;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4473:657;;;;;4468:3;;;;;:::i;:::-;;;;4421:709;;;;3785:1352:::0;;;;;;;;;;:::o;5145:754::-;5265:10;5213:32;5248:28;;;:16;:28;;;;;5213:32;5277:11;5248:41;;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;;;;;5213:76;;5331:1;5308:8;:20;;;:24;5300:70;;;;-1:-1:-1;;;5300:70:0;;5930:2:1;5300:70:0;;;5912:21:1;5969:2;5949:18;;;5942:30;6008:34;5988:18;;;5981:62;-1:-1:-1;;;6059:18:1;;;6052:31;6100:19;;5300:70:0;5728:397:1;5300:70:0;5452:18;;;;5403:15;;5437:33;;;5429:80;;;;-1:-1:-1;;;5429:80:0;;6332:2:1;5429:80:0;;;6314:21:1;6371:2;6351:18;;;6344:30;6410:34;6390:18;;;6383:62;-1:-1:-1;;;6461:18:1;;;6454:32;6503:19;;5429:80:0;6130:398:1;5429:80:0;5545:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5522:20;;5545:23;;:13;:23::i;:::-;5522:46;;5579:23;5620:8;:22;;;5605:12;:37;;;;:::i;:::-;5579:63;;5679:1;5661:15;:19;5653:61;;;;-1:-1:-1;;;5653:61:0;;6868:2:1;5653:61:0;;;6850:21:1;6907:2;6887:18;;;6880:30;6946:31;6926:18;;;6919:59;6995:18;;5653:61:0;6666:353:1;5653:61:0;5727:22;;;:37;;;5775:5;;:43;;-1:-1:-1;;;5775:43:0;;5790:10;5775:43;;;7198:51:1;7265:18;;;7258:34;;;-1:-1:-1;;;;;5775:5:0;;;;:14;;7171:18:1;;5775:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5850:10;-1:-1:-1;;;;;5836:55:0;;5862:15;5879:11;5836:55;;;;;;;:::i;:::-;;;;;;;;5202:697;;;;5145:754;:::o;5907:386::-;6094:17;;;;6073:18;;;;5986:7;;6028:15;;6073:38;;6094:17;6073:38;:::i;:::-;6058:11;:53;6054:232;;-1:-1:-1;;6135:20:0;;5907:386::o;6054:232::-;6257:17;;;;6234:18;;;;6220:32;;:11;:32;:::i;:::-;6196:20;;:57;;;;:::i;:::-;6195:79;;;;:::i;:::-;6188:86;5907:386;-1:-1:-1;;;5907:386:0:o;14:173:1:-;82:20;;-1:-1:-1;;;;;131:31:1;;121:42;;111:70;;177:1;174;167:12;111:70;14:173;;;:::o;192:160::-;277:20;;326:1;316:12;;306:40;;342:1;339;332:12;357:299;447:6;455;508:2;496:9;487:7;483:23;479:32;476:52;;;524:1;521;514:12;476:52;547:29;566:9;547:29;:::i;:::-;537:39;;595:55;646:2;635:9;631:18;595:55;:::i;:::-;585:65;;357:299;;;;;:::o;1057:367::-;1120:8;1130:6;1184:3;1177:4;1169:6;1165:17;1161:27;1151:55;;1202:1;1199;1192:12;1151:55;-1:-1:-1;1225:20:1;;1268:18;1257:30;;1254:50;;;1300:1;1297;1290:12;1254:50;1337:4;1329:6;1325:17;1313:29;;1397:3;1390:4;1380:6;1377:1;1373:14;1365:6;1361:27;1357:38;1354:47;1351:67;;;1414:1;1411;1404:12;1351:67;1057:367;;;;;:::o;1429:1742::-;1681:6;1689;1697;1705;1713;1721;1729;1737;1745;1753;1806:3;1794:9;1785:7;1781:23;1777:33;1774:53;;;1823:1;1820;1813:12;1774:53;1863:9;1850:23;1892:18;1933:2;1925:6;1922:14;1919:34;;;1949:1;1946;1939:12;1919:34;1988:70;2050:7;2041:6;2030:9;2026:22;1988:70;:::i;:::-;2077:8;;-1:-1:-1;1962:96:1;-1:-1:-1;2165:2:1;2150:18;;2137:32;;-1:-1:-1;2181:16:1;;;2178:36;;;2210:1;2207;2200:12;2178:36;2249:72;2313:7;2302:8;2291:9;2287:24;2249:72;:::i;:::-;2340:8;;-1:-1:-1;2223:98:1;-1:-1:-1;2428:2:1;2413:18;;2400:32;;-1:-1:-1;2444:16:1;;;2441:36;;;2473:1;2470;2463:12;2441:36;2512:72;2576:7;2565:8;2554:9;2550:24;2512:72;:::i;:::-;2603:8;;-1:-1:-1;2486:98:1;-1:-1:-1;2691:2:1;2676:18;;2663:32;;-1:-1:-1;2707:16:1;;;2704:36;;;2736:1;2733;2726:12;2704:36;2775:72;2839:7;2828:8;2817:9;2813:24;2775:72;:::i;:::-;2866:8;;-1:-1:-1;2749:98:1;-1:-1:-1;2954:3:1;2939:19;;2926:33;;-1:-1:-1;2971:16:1;;;2968:36;;;3000:1;2997;2990:12;2968:36;;3039:72;3103:7;3092:8;3081:9;3077:24;3039:72;:::i;:::-;3013:98;;3130:8;3120:18;;;3157:8;3147:18;;;1429:1742;;;;;;;;;;;;;:::o;3384:225::-;3465:6;3518:2;3506:9;3497:7;3493:23;3489:32;3486:52;;;3534:1;3531;3524:12;3486:52;3557:46;3593:9;3557:46;:::i;4237:345::-;4439:2;4421:21;;;4478:2;4458:18;;;4451:30;-1:-1:-1;;;4512:2:1;4497:18;;4490:51;4573:2;4558:18;;4237:345::o;4587:127::-;4648:10;4643:3;4639:20;4636:1;4629:31;4679:4;4676:1;4669:15;4703:4;4700:1;4693:15;4719:186;4778:6;4831:2;4819:9;4810:7;4806:23;4802:32;4799:52;;;4847:1;4844;4837:12;4799:52;4870:29;4889:9;4870:29;:::i;4910:127::-;4971:10;4966:3;4962:20;4959:1;4952:31;5002:4;4999:1;4992:15;5026:4;5023:1;5016:15;5456:127;5517:10;5512:3;5508:20;5505:1;5498:31;5548:4;5545:1;5538:15;5572:4;5569:1;5562:15;5588:135;5627:3;5648:17;;;5645:43;;5668:18;;:::i;:::-;-1:-1:-1;5715:1:1;5704:13;;5588:135::o;6533:128::-;6600:9;;;6621:11;;;6618:37;;;6635:18;;:::i;:::-;6533:128;;;;:::o;7303:277::-;7370:6;7423:2;7411:9;7402:7;7398:23;7394:32;7391:52;;;7439:1;7436;7429:12;7391:52;7471:9;7465:16;7524:5;7517:13;7510:21;7503:5;7500:32;7490:60;;7546:1;7543;7536:12;7585:421;7779:25;;;7767:2;7752:18;;7834:1;7823:13;;7813:144;;7879:10;7874:3;7870:20;7867:1;7860:31;7914:4;7911:1;7904:15;7942:4;7939:1;7932:15;7813:144;7993:6;7988:2;7977:9;7973:18;7966:34;7585:421;;;;;:::o;8011:125::-;8076:9;;;8097:10;;;8094:36;;;8110:18;;:::i;8141:168::-;8214:9;;;8245;;8262:15;;;8256:22;;8242:37;8232:71;;8283:18;;:::i;8314:217::-;8354:1;8380;8370:132;;8424:10;8419:3;8415:20;8412:1;8405:31;8459:4;8456:1;8449:15;8487:4;8484:1;8477:15;8370:132;-1:-1:-1;8516:9:1;;8314:217::o

ipfs://30c205315b0910eeadd986c57adcd880aed79904463e185e5be11ee4b17092d5