Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•    - function _msgSender()
•    - function _msgData()
•    - function _contextSuffixLength()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•  contract VRVesting is Ownable *
•    - function addVestingRound(
•    - function addWallets(
•    - function deleteWallets(
•    - function claim()
•    - function getVestingStart(uint vesting ...
•    - function getClaimable(
•    - function getVestingRound(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// 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: @openzeppelin/contracts/interfaces/IERC20.sol


// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/IERC20.sol)

pragma solidity ^0.8.20;


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


// 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/Ownable.sol


// 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: vesting.sol


pragma solidity ^0.8.0;



contract VRVesting is Ownable {
    uint48 public constant HUNDRED_PERCENT = 1e6;

    struct User {
        uint120 amount;
        uint16 vestingRoundId;
        uint120 claimed;
    }

    struct VestingRound { 
        uint48 linearVestingStart;
        uint48 linearVestingEnd;
        uint48[] unlockTimestamps;
        uint48[] unlockPercentages;
    }

    IERC20 public token;
    uint public vestingRoundCount;
    mapping(address => User) public users;
    mapping(uint => VestingRound) vestingRounds;

    event Claim(address user, uint amount);
    event AddVestingRound(uint id, uint48 linearVestingStart, uint48 linearVestingEnd, uint48[] unlockTimestamps, uint48[] unlockPercentages);
    event AddWallets(address[] wallets, uint120[] amounts, uint16[] vestingRoundIds);
    event DeleteWallets(address[] wallets);

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

    // ======================= OWNER FUNCTIONS ======================= //

    function addVestingRound(
        uint48 linearVestingStart,
        uint48 linearVestingEnd,
        uint48[] calldata unlockTimestamps,
        uint48[] calldata unlockPercentages
    ) external onlyOwner {
        if (linearVestingStart > 0) {
            require(unlockTimestamps.length == 0, "unlockTimestamps not empty");
            require(unlockPercentages.length == 0, "unlockPercentages not empty");
            require(linearVestingEnd > linearVestingStart, "end > start timestamp");
        } else {
            require(linearVestingEnd == 0, "linearVestingEnd not zero");
            require(unlockTimestamps.length == unlockPercentages.length, "different array lengths");
            
            for (uint i = 1; i < unlockTimestamps.length; i++) {
                require(unlockTimestamps[i] > unlockTimestamps[i - 1], "invalid unlockTimestamps");
            }

            uint48 unlockPercentagesSum = 0;
            for (uint i = 0; i < unlockPercentages.length; i++) {
                unlockPercentagesSum += unlockPercentages[i];
            } 
            require(unlockPercentagesSum == HUNDRED_PERCENT, "unlockPercentages sum not 100%");
        }

        vestingRounds[vestingRoundCount++] = VestingRound(
            linearVestingStart,
            linearVestingEnd,
            unlockTimestamps,
            unlockPercentages
        );

        emit AddVestingRound(vestingRoundCount - 1, linearVestingStart, linearVestingEnd, unlockTimestamps, unlockPercentages);
    }

    function addWallets(
        address[] calldata wallets,
        uint120[] calldata amounts,
        uint16[] calldata vestingRoundIds,
        bool applyDecimals
    ) external onlyOwner {
        require(wallets.length == amounts.length, "different array lengths");
        require(amounts.length == vestingRoundIds.length, "different array lengths");

        for (uint i; i < wallets.length; i++) {
            require(users[wallets[i]].amount == 0, "whitelisted already");
            require(vestingRoundIds[i] < vestingRoundCount, "invalid vestingRoundId");

            uint120 amount = amounts[i];
            if (applyDecimals) {
                amount *= 1e18;
            }

            users[wallets[i]] = User(
                amount,
                vestingRoundIds[i],
                0
            );
        }

        emit AddWallets(wallets, amounts, vestingRoundIds);
    }

    function deleteWallets(
        address[] calldata wallets
    ) external onlyOwner {
        for (uint i; i < wallets.length; i++) {
            delete users[wallets[i]];
        }

        emit DeleteWallets(wallets);
    }

    // ======================= EXTERNAL FUNCTIONS ======================= //

    function claim() external {
        User storage user = users[msg.sender];

        uint48 vestingStart = getVestingStart(user.vestingRoundId);

        require(user.amount > 0, "not whitelisted");
        require(block.timestamp > vestingStart, "vesting not started");
        require(user.claimed < user.amount, "claimed all");

        uint claimable = getClaimable(msg.sender);

        user.claimed += uint120(claimable);
        token.transfer(msg.sender, claimable);

        emit Claim(msg.sender, claimable);
    }

    // ======================= VIEW FUNCTIONS ======================= //

    function getVestingStart(uint vestingRoundId) public view returns (uint48) {
        VestingRound storage vestingRound = vestingRounds[vestingRoundId];

        if (vestingRound.linearVestingStart > 0) {
            return vestingRound.linearVestingStart;
        } else {
            return vestingRound.unlockTimestamps[0];
        }
    }

    function getClaimable(
        address wallet
    ) public view returns (uint) {
        User storage user = users[wallet];
        VestingRound storage vestingRound = vestingRounds[user.vestingRoundId];

        if (vestingRound.linearVestingStart > 0) {
            if (block.timestamp > vestingRound.linearVestingEnd) {
                return user.amount - user.claimed;
            } else {
                return uint(user.amount) * (block.timestamp - vestingRound.linearVestingStart) / (vestingRound.linearVestingEnd - vestingRound.linearVestingStart) - user.claimed;
            }
        } else {
            uint48 cumulativePercentage = 0;
            for (uint i; i < vestingRound.unlockTimestamps.length; i++) {
                if (vestingRound.unlockTimestamps[i] > block.timestamp) {
                    break;
                }
                cumulativePercentage += vestingRound.unlockPercentages[i];
            }

            return uint(user.amount) * cumulativePercentage / HUNDRED_PERCENT - user.claimed;
        }
    }

    function getVestingRound(
        uint vestingRoundId
    ) external view returns (VestingRound memory vestingRound) {
        return vestingRounds[vestingRoundId];
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IERC20","name":"_token","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint48","name":"linearVestingStart","type":"uint48"},{"indexed":false,"internalType":"uint48","name":"linearVestingEnd","type":"uint48"},{"indexed":false,"internalType":"uint48[]","name":"unlockTimestamps","type":"uint48[]"},{"indexed":false,"internalType":"uint48[]","name":"unlockPercentages","type":"uint48[]"}],"name":"AddVestingRound","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address[]","name":"wallets","type":"address[]"},{"indexed":false,"internalType":"uint120[]","name":"amounts","type":"uint120[]"},{"indexed":false,"internalType":"uint16[]","name":"vestingRoundIds","type":"uint16[]"}],"name":"AddWallets","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Claim","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address[]","name":"wallets","type":"address[]"}],"name":"DeleteWallets","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":"HUNDRED_PERCENT","outputs":[{"internalType":"uint48","name":"","type":"uint48"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint48","name":"linearVestingStart","type":"uint48"},{"internalType":"uint48","name":"linearVestingEnd","type":"uint48"},{"internalType":"uint48[]","name":"unlockTimestamps","type":"uint48[]"},{"internalType":"uint48[]","name":"unlockPercentages","type":"uint48[]"}],"name":"addVestingRound","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"wallets","type":"address[]"},{"internalType":"uint120[]","name":"amounts","type":"uint120[]"},{"internalType":"uint16[]","name":"vestingRoundIds","type":"uint16[]"},{"internalType":"bool","name":"applyDecimals","type":"bool"}],"name":"addWallets","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"wallets","type":"address[]"}],"name":"deleteWallets","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"wallet","type":"address"}],"name":"getClaimable","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"vestingRoundId","type":"uint256"}],"name":"getVestingRound","outputs":[{"components":[{"internalType":"uint48","name":"linearVestingStart","type":"uint48"},{"internalType":"uint48","name":"linearVestingEnd","type":"uint48"},{"internalType":"uint48[]","name":"unlockTimestamps","type":"uint48[]"},{"internalType":"uint48[]","name":"unlockPercentages","type":"uint48[]"}],"internalType":"struct VRVesting.VestingRound","name":"vestingRound","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"vestingRoundId","type":"uint256"}],"name":"getVestingStart","outputs":[{"internalType":"uint48","name":"","type":"uint48"}],"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":[],"name":"token","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"users","outputs":[{"internalType":"uint120","name":"amount","type":"uint120"},{"internalType":"uint16","name":"vestingRoundId","type":"uint16"},{"internalType":"uint120","name":"claimed","type":"uint120"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"vestingRoundCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

0x608060405234801561000f575f80fd5b50600436106100e5575f3560e01c80638eab5d0011610088578063a87430ba11610063578063a87430ba146101c8578063ca2324eb14610235578063f2fde38b14610248578063fc0c546a1461025b575f80fd5b80638eab5d001461018257806395aa6d2d14610195578063a583024b146101b5575f80fd5b80636ed93dd0116100c35780636ed93dd0146101195780637130b0eb1461013f578063715018a6146101565780638da5cb5b1461015e575f80fd5b806321888989146100e957806345a5405b146100fe5780634e71d92d14610111575b5f80fd5b6100fc6100f736600461121b565b61026e565b005b6100fc61010c366004611274565b61030b565b6100fc61077f565b610123620f424081565b60405165ffffffffffff90911681526020015b60405180910390f35b61014860025481565b604051908152602001610136565b6100fc610995565b5f546001600160a01b03165b6040516001600160a01b039091168152602001610136565b6100fc61019036600461130c565b6109a8565b6101a86101a33660046113b2565b610c95565b604051610136919061140b565b6101486101c3366004611479565b610df3565b6102086101d6366004611479565b60036020525f90815260409020546001600160781b038082169161ffff600160781b82041691600160881b9091041683565b604080516001600160781b03948516815261ffff9093166020840152921691810191909152606001610136565b6101236102433660046113b2565b610fe7565b6100fc610256366004611479565b611055565b60015461016a906001600160a01b031681565b610276611092565b5f5b818110156102cd5760035f84848481811061029557610295611499565b90506020020160208101906102aa9190611479565b6001600160a01b0316815260208101919091526040015f90812055600101610278565b507f67774df6a2db972a459b75a081f5c7358b131f3a3b5902418ed1353cbb588f7282826040516102ff9291906114e7565b60405180910390a15050565b610313611092565b65ffffffffffff86161561041e5782156103745760405162461bcd60e51b815260206004820152601a60248201527f756e6c6f636b54696d657374616d7073206e6f7420656d70747900000000000060448201526064015b60405180910390fd5b80156103c25760405162461bcd60e51b815260206004820152601b60248201527f756e6c6f636b50657263656e7461676573206e6f7420656d7074790000000000604482015260640161036b565b8565ffffffffffff168565ffffffffffff16116104195760405162461bcd60e51b81526020600482015260156024820152740656e64203e2073746172742074696d657374616d7605c1b604482015260640161036b565b6105ff565b65ffffffffffff8516156104745760405162461bcd60e51b815260206004820152601960248201527f6c696e65617256657374696e67456e64206e6f74207a65726f00000000000000604482015260640161036b565b8281146104935760405162461bcd60e51b815260040161036b906114fa565b60015b8381101561055b5784846104ab600184611545565b8181106104ba576104ba611499565b90506020020160208101906104cf919061155e565b65ffffffffffff168585838181106104e9576104e9611499565b90506020020160208101906104fe919061155e565b65ffffffffffff16116105535760405162461bcd60e51b815260206004820152601860248201527f696e76616c696420756e6c6f636b54696d657374616d70730000000000000000604482015260640161036b565b600101610496565b505f805b828110156105a25783838281811061057957610579611499565b905060200201602081019061058e919061155e565b6105989083611577565b915060010161055f565b5065ffffffffffff8116620f4240146105fd5760405162461bcd60e51b815260206004820152601e60248201527f756e6c6f636b50657263656e74616765732073756d206e6f7420313030250000604482015260640161036b565b505b60405180608001604052808765ffffffffffff1681526020018665ffffffffffff1681526020018585808060200260200160405190810160405280939291908181526020018383602002808284375f9201919091525050509082525060408051602085810282810182019093528582529283019290918691869182918501908490808284375f920182905250939094525050600280546004935090826106a48361159d565b90915550815260208082019290925260409081015f20835181548585015165ffffffffffff908116600160301b026bffffffffffffffffffffffff1990921692169190911717815590830151805191926107069260018501929091019061110d565b506060820151805161072291600284019160209091019061110d565b509050507f04669e2cbd2cc00f70508f0901a1cdc3b91c2127c6e042c3398c035c180ae18760016002546107569190611545565b87878787878760405161076f97969594939291906115ee565b60405180910390a1505050505050565b335f90815260036020526040812080549091906107a690600160781b900461ffff16610fe7565b82549091506001600160781b03166107f25760405162461bcd60e51b815260206004820152600f60248201526e1b9bdd081dda1a5d195b1a5cdd1959608a1b604482015260640161036b565b8065ffffffffffff16421161083f5760405162461bcd60e51b81526020600482015260136024820152721d995cdd1a5b99c81b9bdd081cdd185c9d1959606a1b604482015260640161036b565b81546001600160781b03808216600160881b90920416106108905760405162461bcd60e51b815260206004820152600b60248201526a18db185a5b595908185b1b60aa1b604482015260640161036b565b5f61089a33610df3565b8354909150819084906011906108c1908490600160881b90046001600160781b0316611640565b82546001600160781b039182166101009390930a92830291909202199091161790555060015460405163a9059cbb60e01b8152336004820152602481018390526001600160a01b039091169063a9059cbb906044016020604051808303815f875af1158015610932573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109569190611660565b5060408051338152602081018390527f47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4910160405180910390a1505050565b61099d611092565b6109a65f6110be565b565b6109b0611092565b8584146109cf5760405162461bcd60e51b815260040161036b906114fa565b8382146109ee5760405162461bcd60e51b815260040161036b906114fa565b5f5b86811015610c4a5760035f898984818110610a0d57610a0d611499565b9050602002016020810190610a229190611479565b6001600160a01b0316815260208101919091526040015f20546001600160781b031615610a875760405162461bcd60e51b815260206004820152601360248201527277686974656c697374656420616c726561647960681b604482015260640161036b565b600254848483818110610a9c57610a9c611499565b9050602002016020810190610ab1919061168c565b61ffff1610610afb5760405162461bcd60e51b81526020600482015260166024820152751a5b9d985b1a59081d995cdd1a5b99d49bdd5b99125960521b604482015260640161036b565b5f868683818110610b0e57610b0e611499565b9050602002016020810190610b2391906116bb565b90508215610b4057610b3d670de0b6b3a7640000826116d4565b90505b6040518060600160405280826001600160781b03168152602001868685818110610b6c57610b6c611499565b9050602002016020810190610b81919061168c565b61ffff1681526020015f6001600160781b031681525060035f8b8b86818110610bac57610bac611499565b9050602002016020810190610bc19190611479565b6001600160a01b0316815260208082019290925260409081015f20835181549385015194909201516001600160781b03908116600160881b0270ffffffffffffffffffffffffffffffffff61ffff909616600160781b0270ffffffffffffffffffffffffffffffffff1990951691909316179290921792909216919091179055506001016109f0565b507f1b07865ca20d6ee20afbce77b41729732bd80ee4661a6321a3e602f4f9746e10878787878787604051610c84969594939291906116ff565b60405180910390a150505050505050565b60408051608080820183525f8083526020808401829052606084860181905280850152858252600481529084902084519283018552805465ffffffffffff8082168552600160301b90910416838301526001810180548651818502810185018852818152959694959294860193830182828015610d5e57602002820191905f5260205f20905f905b82829054906101000a900465ffffffffffff1665ffffffffffff1681526020019060060190602082600501049283019260010382029150808411610d1d5790505b5050505050815260200160028201805480602002602001604051908101604052809291908181526020018280548015610de357602002820191905f5260205f20905f905b82829054906101000a900465ffffffffffff1665ffffffffffff1681526020019060060190602082600501049283019260010382029150808411610da25790505b5050505050815250509050919050565b6001600160a01b0381165f9081526003602090815260408083208054600160781b900461ffff16845260049092528220805465ffffffffffff1615610ef4578054600160301b900465ffffffffffff16421115610e79578154610e68906001600160781b03600160881b82048116911661179d565b6001600160781b0316949350505050565b81548154600160881b9091046001600160781b031690610eab9065ffffffffffff80821691600160301b9004166117bd565b825465ffffffffffff91821691610ec3911642611545565b8454610ed891906001600160781b03166117dc565b610ee291906117f3565b610eec9190611545565b949350505050565b5f805b6001830154811015610f9c5742836001018281548110610f1957610f19611499565b905f5260205f2090600591828204019190066006029054906101000a900465ffffffffffff1665ffffffffffff1611610f9c57826002018181548110610f6157610f61611499565b905f5260205f2090600591828204019190066006029054906101000a900465ffffffffffff1682610f929190611577565b9150600101610ef7565b5082546001600160781b03600160881b8204811691620f424091610fca9165ffffffffffff861691166117dc565b610fd491906117f3565b610fde9190611545565b95945050505050565b5f818152600460205260408120805465ffffffffffff1615611012575465ffffffffffff1692915050565b806001015f8154811061102757611027611499565b905f5260205f2090600591828204019190066006029054906101000a900465ffffffffffff16915050919050565b61105d611092565b6001600160a01b03811661108657604051631e4fbdf760e01b81525f600482015260240161036b565b61108f816110be565b50565b5f546001600160a01b031633146109a65760405163118cdaa760e01b815233600482015260240161036b565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b828054828255905f5260205f20906004016005900481019282156111af579160200282015f5b8382111561117b57835183826101000a81548165ffffffffffff021916908365ffffffffffff1602179055509260200192600601602081600501049283019260010302611133565b80156111ad5782816101000a81549065ffffffffffff021916905560060160208160050104928301926001030261117b565b505b506111bb9291506111bf565b5090565b5b808211156111bb575f81556001016111c0565b5f8083601f8401126111e3575f80fd5b50813567ffffffffffffffff8111156111fa575f80fd5b6020830191508360208260051b8501011115611214575f80fd5b9250929050565b5f806020838503121561122c575f80fd5b823567ffffffffffffffff811115611242575f80fd5b61124e858286016111d3565b90969095509350505050565b803565ffffffffffff8116811461126f575f80fd5b919050565b5f805f805f8060808789031215611289575f80fd5b6112928761125a565b95506112a06020880161125a565b9450604087013567ffffffffffffffff808211156112bc575f80fd5b6112c88a838b016111d3565b909650945060608901359150808211156112e0575f80fd5b506112ed89828a016111d3565b979a9699509497509295939492505050565b801515811461108f575f80fd5b5f805f805f805f6080888a031215611322575f80fd5b873567ffffffffffffffff80821115611339575f80fd5b6113458b838c016111d3565b909950975060208a013591508082111561135d575f80fd5b6113698b838c016111d3565b909750955060408a0135915080821115611381575f80fd5b5061138e8a828b016111d3565b90945092505060608801356113a2816112ff565b8091505092959891949750929550565b5f602082840312156113c2575f80fd5b5035919050565b5f815180845260208085019450602084015f5b8381101561140057815165ffffffffffff16875295820195908201906001016113dc565b509495945050505050565b602081525f65ffffffffffff8084511660208401528060208501511660408401525060408301516080606084015261144660a08401826113c9565b90506060840151601f19848303016080850152610fde82826113c9565b80356001600160a01b038116811461126f575f80fd5b5f60208284031215611489575f80fd5b61149282611463565b9392505050565b634e487b7160e01b5f52603260045260245ffd5b8183525f60208085019450825f5b85811015611400576001600160a01b036114d483611463565b16875295820195908201906001016114bb565b602081525f610eec6020830184866114ad565b60208082526017908201527f646966666572656e74206172726179206c656e67746873000000000000000000604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561155857611558611531565b92915050565b5f6020828403121561156e575f80fd5b6114928261125a565b65ffffffffffff81811683821601908082111561159657611596611531565b5092915050565b5f600182016115ae576115ae611531565b5060010190565b8183525f60208085019450825f5b858110156114005765ffffffffffff6115db8361125a565b16875295820195908201906001016115c3565b8781525f65ffffffffffff808916602084015280881660408401525060a0606083015261161f60a0830186886115b5565b82810360808401526116328185876115b5565b9a9950505050505050505050565b6001600160781b0381811683821601908082111561159657611596611531565b5f60208284031215611670575f80fd5b8151611492816112ff565b803561ffff8116811461126f575f80fd5b5f6020828403121561169c575f80fd5b6114928261167b565b80356001600160781b038116811461126f575f80fd5b5f602082840312156116cb575f80fd5b611492826116a5565b6001600160781b038181168382160280821691908281146116f7576116f7611531565b505092915050565b606081525f61171260608301888a6114ad565b828103602084810191909152868252879181015f5b88811015611753576001600160781b03611740856116a5565b1682529282019290820190600101611727565b50848103604086015285815281019150855f5b8681101561178d5761ffff61177a8361167b565b1684529282019290820190600101611766565b50919a9950505050505050505050565b6001600160781b0382811682821603908082111561159657611596611531565b65ffffffffffff82811682821603908082111561159657611596611531565b808202811582820484141761155857611558611531565b5f8261180d57634e487b7160e01b5f52601260045260245ffd5b50049056fea2646970667358221220b14e88903238b3294428ae1712ac3ecf471e5dd5a8f4a6d0833df928f5fb1c6d64736f6c63430008160033

7307:6047:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10804:233;;;;;;:::i;:::-;;:::i;:::-;;8334:1534;;;;;;:::i;:::-;;:::i;11125:538::-;;;:::i;7344:44::-;;7385:3;7344:44;;;;;2095:14:1;2083:27;;;2065:46;;2053:2;2038:18;7344:44:0;;;;;;;;7714:29;;;;;;;;;2268:25:1;;;2256:2;2241:18;7714:29:0;2122:177:1;6414:103:0;;;:::i;5739:87::-;5785:7;5812:6;-1:-1:-1;;;;;5812:6:0;5739:87;;;-1:-1:-1;;;;;2468:32:1;;;2450:51;;2438:2;2423:18;5739:87:0;2304:203:1;9876:920:0;;;;;;:::i;:::-;;:::i;13177:174::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;12104:1065::-;;;;;;:::i;:::-;;:::i;7750:37::-;;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;;;7750:37:0;;;;;-1:-1:-1;;;7750:37:0;;;;-1:-1:-1;;;7750:37:0;;;;;;;;;;-1:-1:-1;;;;;5878:15:1;;;5860:34;;5942:6;5930:19;;;5925:2;5910:18;;5903:47;5986:15;;5966:18;;;5959:43;;;;5797:2;5782:18;7750:37:0;5609:399:1;11747:349:0;;;;;;:::i;:::-;;:::i;6672:220::-;;;;;;:::i;:::-;;:::i;7688:19::-;;;;;-1:-1:-1;;;;;7688:19:0;;;10804:233;5625:13;:11;:13::i;:::-;10906:6:::1;10901:89;10914:18:::0;;::::1;10901:89;;;10961:5;:17;10967:7;;10975:1;10967:10;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10961:17:0::1;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;10961:17:0;;;10954:24;;10934:3:::1;10901:89;;;;11007:22;11021:7;;11007:22;;;;;;;:::i;:::-;;;;;;;;10804:233:::0;;:::o;8334:1534::-;5625:13;:11;:13::i;:::-;8561:22:::1;::::0;::::1;::::0;8557:973:::1;;8608:28:::0;;8600:67:::1;;;::::0;-1:-1:-1;;;8600:67:0;;7315:2:1;8600:67:0::1;::::0;::::1;7297:21:1::0;7354:2;7334:18;;;7327:30;7393:28;7373:18;;;7366:56;7439:18;;8600:67:0::1;;;;;;;;;8690:29:::0;;8682:69:::1;;;::::0;-1:-1:-1;;;8682:69:0;;7670:2:1;8682:69:0::1;::::0;::::1;7652:21:1::0;7709:2;7689:18;;;7682:30;7748:29;7728:18;;;7721:57;7795:18;;8682:69:0::1;7468:351:1::0;8682:69:0::1;8793:18;8774:37;;:16;:37;;;8766:71;;;::::0;-1:-1:-1;;;8766:71:0;;8026:2:1;8766:71:0::1;::::0;::::1;8008:21:1::0;8065:2;8045:18;;;8038:30;-1:-1:-1;;;8084:18:1;;;8077:51;8145:18;;8766:71:0::1;7824:345:1::0;8766:71:0::1;8557:973;;;8878:21;::::0;::::1;::::0;8870:59:::1;;;::::0;-1:-1:-1;;;8870:59:0;;8376:2:1;8870:59:0::1;::::0;::::1;8358:21:1::0;8415:2;8395:18;;;8388:30;8454:27;8434:18;;;8427:55;8499:18;;8870:59:0::1;8174:349:1::0;8870:59:0::1;8952:51:::0;;::::1;8944:87;;;;-1:-1:-1::0;;;8944:87:0::1;;;;;;;:::i;:::-;9074:1;9060:168;9077:27:::0;;::::1;9060:168;;;9160:16:::0;;9177:5:::1;9181:1;9177::::0;:5:::1;:::i;:::-;9160:23;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;9138:45;;:16;;9155:1;9138:19;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;:45;;;9130:82;;;::::0;-1:-1:-1;;;9130:82:0;;9536:2:1;9130:82:0::1;::::0;::::1;9518:21:1::0;9575:2;9555:18;;;9548:30;9614:26;9594:18;;;9587:54;9658:18;;9130:82:0::1;9334:348:1::0;9130:82:0::1;9106:3;;9060:168;;;;9244:27;9295:6:::0;9290:131:::1;9307:28:::0;;::::1;9290:131;;;9385:17;;9403:1;9385:20;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;9361:44;::::0;;::::1;:::i;:::-;::::0;-1:-1:-1;9337:3:0::1;;9290:131;;;-1:-1:-1::0;9444:39:0::1;::::0;::::1;7385:3;9444:39;9436:82;;;::::0;-1:-1:-1;;;9436:82:0;;10070:2:1;9436:82:0::1;::::0;::::1;10052:21:1::0;10109:2;10089:18;;;10082:30;10148:32;10128:18;;;10121:60;10198:18;;9436:82:0::1;9868:354:1::0;9436:82:0::1;8855:675;8557:973;9579:150;;;;;;;;9606:18;9579:150;;;;;;9639:16;9579:150;;;;;;9670:16;;9579:150;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;::::0;;;;-1:-1:-1;;;9579:150:0;;;-1:-1:-1;9579:150:0::1;::::0;;::::1;::::0;;::::1;::::0;;;;;;;;;;;;;::::1;::::0;;;9701:17;;;;;;9579:150;::::1;::::0;9701:17;;9579:150;9701:17;9579:150;::::1;;::::0;::::1;::::0;;;-1:-1:-1;9579:150:0;;;;-1:-1:-1;;9556:17:0::1;:19:::0;;9542:13:::1;::::0;-1:-1:-1;9556:19:0;9579:150;9556:19:::1;::::0;::::1;:::i;:::-;::::0;;;-1:-1:-1;9542:34:0;;::::1;::::0;;::::1;::::0;;;;;;;;-1:-1:-1;9542:34:0;:187;;;;;;::::1;::::0;::::1;::::0;;::::1;-1:-1:-1::0;;;9542:187:0::1;-1:-1:-1::0;;9542:187:0;;;;::::1;::::0;;;;::::1;::::0;;;;::::1;::::0;;;:34;;:187:::1;::::0;;;::::1;::::0;;;::::1;::::0;::::1;:::i;:::-;-1:-1:-1::0;9542:187:0::1;::::0;::::1;::::0;;;::::1;::::0;::::1;::::0;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;:::i;:::-;;;;;9747:113;9783:1;9763:17;;:21;;;;:::i;:::-;9786:18;9806:16;9824;;9842:17;;9747:113;;;;;;;;;;;;:::i;:::-;;;;;;;;8334:1534:::0;;;;;;:::o;11125:538::-;11188:10;11162:17;11182;;;:5;:17;;;;;11250:19;;11182:17;;11162;11234:36;;-1:-1:-1;;;11250:19:0;;;;11234:15;:36::i;:::-;11291:11;;11212:58;;-1:-1:-1;;;;;;11291:11:0;11283:43;;;;-1:-1:-1;;;11283:43:0;;11797:2:1;11283:43:0;;;11779:21:1;11836:2;11816:18;;;11809:30;-1:-1:-1;;;11855:18:1;;;11848:45;11910:18;;11283:43:0;11595:339:1;11283:43:0;11363:12;11345:30;;:15;:30;11337:62;;;;-1:-1:-1;;;11337:62:0;;12141:2:1;11337:62:0;;;12123:21:1;12180:2;12160:18;;;12153:30;-1:-1:-1;;;12199:18:1;;;12192:49;12258:18;;11337:62:0;11939:343:1;11337:62:0;11433:11;;-1:-1:-1;;;;;11433:11:0;;;-1:-1:-1;;;11418:12:0;;;;:26;11410:50;;;;-1:-1:-1;;;11410:50:0;;12489:2:1;11410:50:0;;;12471:21:1;12528:2;12508:18;;;12501:30;-1:-1:-1;;;12547:18:1;;;12540:41;12598:18;;11410:50:0;12287:335:1;11410:50:0;11473:14;11490:24;11503:10;11490:12;:24::i;:::-;11527:34;;11473:41;;-1:-1:-1;11473:41:0;;11527:34;;:12;;:34;;11473:41;;-1:-1:-1;;;11527:34:0;;-1:-1:-1;;;;;11527:34:0;;:::i;:::-;;;-1:-1:-1;;;;;11527:34:0;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;11572:5:0;:37;;-1:-1:-1;;;11572:37:0;;11587:10;11572:37;;;13001:51:1;13068:18;;;13061:34;;;-1:-1:-1;;;;;11572:5:0;;;;:14;;12974:18:1;;11572:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;11627:28:0;;;11633:10;13001:51:1;;13083:2;13068:18;;13061:34;;;11627:28:0;;12974:18:1;11627:28:0;;;;;;;11151:512;;;11125:538::o;6414:103::-;5625:13;:11;:13::i;:::-;6479:30:::1;6506:1;6479:18;:30::i;:::-;6414:103::o:0;9876:920::-;5625:13;:11;:13::i;:::-;10088:32;;::::1;10080:68;;;;-1:-1:-1::0;;;10080:68:0::1;;;;;;;:::i;:::-;10167:40:::0;;::::1;10159:76;;;;-1:-1:-1::0;;;10159:76:0::1;;;;;;;:::i;:::-;10253:6;10248:478;10261:18:::0;;::::1;10248:478;;;10309:5;:17;10315:7;;10323:1;10315:10;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10309:17:0::1;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;10309:17:0;:24;-1:-1:-1;;;;;10309:24:0::1;:29:::0;10301:61:::1;;;::::0;-1:-1:-1;;;10301:61:0;;13558:2:1;10301:61:0::1;::::0;::::1;13540:21:1::0;13597:2;13577:18;;;13570:30;-1:-1:-1;;;13616:18:1;;;13609:49;13675:18;;10301:61:0::1;13356:343:1::0;10301:61:0::1;10406:17;;10385:15;;10401:1;10385:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;:38;;;10377:73;;;::::0;-1:-1:-1;;;10377:73:0;;14259:2:1;10377:73:0::1;::::0;::::1;14241:21:1::0;14298:2;14278:18;;;14271:30;-1:-1:-1;;;14317:18:1;;;14310:52;14379:18;;10377:73:0::1;14057:346:1::0;10377:73:0::1;10467:14;10484:7;;10492:1;10484:10;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;10467:27;;10513:13;10509:68;;;10547:14;10557:4;10547:14:::0;::::1;:::i;:::-;;;10509:68;10613:101;;;;;;;;10636:6;-1:-1:-1::0;;;;;10613:101:0::1;;;;;10661:15;;10677:1;10661:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;10613:101;;;;;;10698:1;-1:-1:-1::0;;;;;10613:101:0::1;;;::::0;10593:5:::1;:17;10599:7;;10607:1;10599:10;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10593:17:0::1;::::0;;::::1;::::0;;::::1;::::0;;;;;;;;-1:-1:-1;10593:17:0;:121;;;;;;::::1;::::0;;;;::::1;::::0;-1:-1:-1;;;;;10593:121:0;;::::1;-1:-1:-1::0;;;10593:121:0::1;::::0;::::1;::::0;;::::1;-1:-1:-1::0;;;10593:121:0::1;-1:-1:-1::0;;10593:121:0;;;;;;::::1;::::0;;;;::::1;::::0;;;::::1;::::0;;;::::1;::::0;;-1:-1:-1;10593:121:0;10281:3:::1;10248:478;;;;10743:45;10754:7;;10763;;10772:15;;10743:45;;;;;;;;;;;:::i;:::-;;;;;;;;9876:920:::0;;;;;;;:::o;13177:174::-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13314:29:0;;;:13;:29;;;;;;13307:36;;;;;;;;;;;;;;;-1:-1:-1;;;13307:36:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;13307:36:0;;13314:29;;13307:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13177:174;;;:::o;12104:1065::-;-1:-1:-1;;;;;12216:13:0;;12179:4;12216:13;;;:5;:13;;;;;;;;12290:19;;-1:-1:-1;;;12290:19:0;;;;12276:34;;:13;:34;;;;;12327:31;;;;:35;12323:839;;12401:29;;-1:-1:-1;;;12401:29:0;;;;12383:15;:47;12379:323;;;12472:12;;12458:26;;-1:-1:-1;;;;;;;;12472:12:0;;;;;12458:11;:26;:::i;:::-;-1:-1:-1;;;;;12451:33:0;;12104:1065;-1:-1:-1;;;;12104:1065:0:o;12379:323::-;12674:12;;12639:31;;-1:-1:-1;;;12674:12:0;;;-1:-1:-1;;;;;12674:12:0;;12607:63;;12639:31;;;;;-1:-1:-1;;;12607:29:0;;;:63;:::i;:::-;12571:31;;12532:139;;;;;12553:49;;12571:31;12553:15;:49;:::i;:::-;12537:11;;12532:71;;;-1:-1:-1;;;;;12537:11:0;12532:71;:::i;:::-;:139;;;;:::i;:::-;:154;;;;:::i;:::-;12525:161;12104:1065;-1:-1:-1;;;;12104:1065:0:o;12323:839::-;12734:27;12785:6;12780:274;12797:29;;;:36;12793:40;;12780:274;;;12898:15;12863:12;:29;;12893:1;12863:32;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:50;;;12938:5;12859:104;13005:12;:30;;13036:1;13005:33;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;12981:57;;;;;:::i;:::-;;-1:-1:-1;12835:3:0;;12780:274;;;-1:-1:-1;13138:12:0;;-1:-1:-1;;;;;;;;13138:12:0;;;;;7385:3;;13077:40;;:58;:40;;;13082:11;13077:40;:::i;:::-;:58;;;;:::i;:::-;:73;;;;:::i;:::-;13070:80;12104:1065;-1:-1:-1;;;;;12104:1065:0:o;11747:349::-;11814:6;11869:29;;;:13;:29;;;;;11915:31;;;;:35;11911:178;;11974:31;;;;11747:349;-1:-1:-1;;11747:349:0:o;11911:178::-;12045:12;:29;;12075:1;12045:32;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;12038:39;;;11747:349;;;:::o;6672:220::-;5625:13;:11;:13::i;:::-;-1:-1:-1;;;;;6757:22:0;::::1;6753:93;;6803:31;::::0;-1:-1:-1;;;6803:31:0;;6831:1:::1;6803:31;::::0;::::1;2450:51:1::0;2423:18;;6803:31:0::1;2304:203:1::0;6753:93:0::1;6856:28;6875:8;6856:18;:28::i;:::-;6672:220:::0;:::o;5904:166::-;5785:7;5812:6;-1:-1:-1;;;;;5812:6:0;3828:10;5964:23;5960:103;;6011:40;;-1:-1:-1;;;6011:40:0;;3828:10;6011:40;;;2450:51:1;2423:18;;6011:40:0;2304:203:1;7052:191:0;7126:16;7145:6;;-1:-1:-1;;;;;7162:17:0;;;-1:-1:-1;;;;;;7162:17:0;;;;;;7195:40;;7145:6;;;;;;;7195:40;;7126:16;7195:40;7115:128;7052:191;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;14:367:1;77:8;87:6;141:3;134:4;126:6;122:17;118:27;108:55;;159:1;156;149:12;108:55;-1:-1:-1;182:20:1;;225:18;214:30;;211:50;;;257:1;254;247:12;211:50;294:4;286:6;282:17;270:29;;354:3;347:4;337:6;334:1;330:14;322:6;318:27;314:38;311:47;308:67;;;371:1;368;361:12;308:67;14:367;;;;;:::o;386:437::-;472:6;480;533:2;521:9;512:7;508:23;504:32;501:52;;;549:1;546;539:12;501:52;589:9;576:23;622:18;614:6;611:30;608:50;;;654:1;651;644:12;608:50;693:70;755:7;746:6;735:9;731:22;693:70;:::i;:::-;782:8;;667:96;;-1:-1:-1;386:437:1;-1:-1:-1;;;;386:437:1:o;828:167::-;895:20;;955:14;944:26;;934:37;;924:65;;985:1;982;975:12;924:65;828:167;;;:::o;1000:916::-;1136:6;1144;1152;1160;1168;1176;1229:3;1217:9;1208:7;1204:23;1200:33;1197:53;;;1246:1;1243;1236:12;1197:53;1269:28;1287:9;1269:28;:::i;:::-;1259:38;;1316:37;1349:2;1338:9;1334:18;1316:37;:::i;:::-;1306:47;;1404:2;1393:9;1389:18;1376:32;1427:18;1468:2;1460:6;1457:14;1454:34;;;1484:1;1481;1474:12;1454:34;1523:70;1585:7;1576:6;1565:9;1561:22;1523:70;:::i;:::-;1612:8;;-1:-1:-1;1497:96:1;-1:-1:-1;1700:2:1;1685:18;;1672:32;;-1:-1:-1;1716:16:1;;;1713:36;;;1745:1;1742;1735:12;1713:36;;1784:72;1848:7;1837:8;1826:9;1822:24;1784:72;:::i;:::-;1000:916;;;;-1:-1:-1;1000:916:1;;-1:-1:-1;1000:916:1;;1875:8;;1000:916;-1:-1:-1;;;1000:916:1:o;2512:118::-;2598:5;2591:13;2584:21;2577:5;2574:32;2564:60;;2620:1;2617;2610:12;2635:1217;2798:6;2806;2814;2822;2830;2838;2846;2899:3;2887:9;2878:7;2874:23;2870:33;2867:53;;;2916:1;2913;2906:12;2867:53;2956:9;2943:23;2985:18;3026:2;3018:6;3015:14;3012:34;;;3042:1;3039;3032:12;3012:34;3081:70;3143:7;3134:6;3123:9;3119:22;3081:70;:::i;:::-;3170:8;;-1:-1:-1;3055:96:1;-1:-1:-1;3258:2:1;3243:18;;3230:32;;-1:-1:-1;3274:16:1;;;3271:36;;;3303:1;3300;3293:12;3271:36;3342:72;3406:7;3395:8;3384:9;3380:24;3342:72;:::i;:::-;3433:8;;-1:-1:-1;3316:98:1;-1:-1:-1;3521:2:1;3506:18;;3493:32;;-1:-1:-1;3537:16:1;;;3534:36;;;3566:1;3563;3556:12;3534:36;;3605:72;3669:7;3658:8;3647:9;3643:24;3605:72;:::i;:::-;3696:8;;-1:-1:-1;3579:98:1;-1:-1:-1;;3781:2:1;3766:18;;3753:32;3794:28;3753:32;3794:28;:::i;:::-;3841:5;3831:15;;;2635:1217;;;;;;;;;;:::o;3857:180::-;3916:6;3969:2;3957:9;3948:7;3944:23;3940:32;3937:52;;;3985:1;3982;3975:12;3937:52;-1:-1:-1;4008:23:1;;3857:180;-1:-1:-1;3857:180:1:o;4042:459::-;4094:3;4132:5;4126:12;4159:6;4154:3;4147:19;4185:4;4214;4209:3;4205:14;4198:21;;4253:4;4246:5;4242:16;4276:1;4286:190;4300:6;4297:1;4294:13;4286:190;;;4365:13;;4380:14;4361:34;4349:47;;4416:12;;;;4451:15;;;;4322:1;4315:9;4286:190;;;-1:-1:-1;4492:3:1;;4042:459;-1:-1:-1;;;;;4042:459:1:o;4506:729::-;4693:2;4682:9;4675:21;4656:4;4715:14;4784:2;4775:6;4769:13;4765:22;4760:2;4749:9;4745:18;4738:50;4852:2;4846;4838:6;4834:15;4828:22;4824:31;4819:2;4808:9;4804:18;4797:59;;4903:2;4895:6;4891:15;4885:22;4943:4;4938:2;4927:9;4923:18;4916:32;4971:62;5028:3;5017:9;5013:19;4999:12;4971:62;:::i;:::-;4957:76;;5082:2;5074:6;5070:15;5064:22;5156:2;5152:7;5140:9;5132:6;5128:22;5124:36;5117:4;5106:9;5102:20;5095:66;5178:51;5222:6;5206:14;5178:51;:::i;5240:173::-;5308:20;;-1:-1:-1;;;;;5357:31:1;;5347:42;;5337:70;;5403:1;5400;5393:12;5418:186;5477:6;5530:2;5518:9;5509:7;5505:23;5501:32;5498:52;;;5546:1;5543;5536:12;5498:52;5569:29;5588:9;5569:29;:::i;:::-;5559:39;5418:186;-1:-1:-1;;;5418:186:1:o;6234:127::-;6295:10;6290:3;6286:20;6283:1;6276:31;6326:4;6323:1;6316:15;6350:4;6347:1;6340:15;6366:449;6466:6;6461:3;6454:19;6436:3;6492:4;6521;6516:3;6512:14;6505:21;;6549:5;6572:1;6582:208;6596:6;6593:1;6590:13;6582:208;;;-1:-1:-1;;;;;6661:26:1;6680:6;6661:26;:::i;:::-;6657:52;6645:65;;6730:12;;;;6765:15;;;;6618:1;6611:9;6582:208;;6820:288;7009:2;6998:9;6991:21;6972:4;7029:73;7098:2;7087:9;7083:18;7075:6;7067;7029:73;:::i;8528:347::-;8730:2;8712:21;;;8769:2;8749:18;;;8742:30;8808:25;8803:2;8788:18;;8781:53;8866:2;8851:18;;8528:347::o;8880:127::-;8941:10;8936:3;8932:20;8929:1;8922:31;8972:4;8969:1;8962:15;8996:4;8993:1;8986:15;9012:128;9079:9;;;9100:11;;;9097:37;;;9114:18;;:::i;:::-;9012:128;;;;:::o;9145:184::-;9203:6;9256:2;9244:9;9235:7;9231:23;9227:32;9224:52;;;9272:1;9269;9262:12;9224:52;9295:28;9313:9;9295:28;:::i;9687:176::-;9754:14;9788:10;;;9800;;;9784:27;;9823:11;;;9820:37;;;9837:18;;:::i;:::-;9820:37;9687:176;;;;:::o;10227:135::-;10266:3;10287:17;;;10284:43;;10307:18;;:::i;:::-;-1:-1:-1;10354:1:1;10343:13;;10227:135::o;10367:442::-;10466:6;10461:3;10454:19;10436:3;10492:4;10521;10516:3;10512:14;10505:21;;10549:5;10572:1;10582:202;10596:6;10593:1;10590:13;10582:202;;;10688:14;10661:25;10679:6;10661:25;:::i;:::-;10657:46;10645:59;;10724:12;;;;10759:15;;;;10618:1;10611:9;10582:202;;10814:776;11167:6;11156:9;11149:25;11130:4;11193:14;11255:2;11247:6;11243:15;11238:2;11227:9;11223:18;11216:43;11307:2;11299:6;11295:15;11290:2;11279:9;11275:18;11268:43;;11347:3;11342:2;11331:9;11327:18;11320:31;11374:73;11442:3;11431:9;11427:19;11419:6;11411;11374:73;:::i;:::-;11496:9;11488:6;11484:22;11478:3;11467:9;11463:19;11456:51;11524:60;11577:6;11569;11561;11524:60;:::i;:::-;11516:68;10814:776;-1:-1:-1;;;;;;;;;;10814:776:1:o;12627:195::-;-1:-1:-1;;;;;12747:10:1;;;12759;;;12743:27;;12782:11;;;12779:37;;;12796:18;;:::i;13106:245::-;13173:6;13226:2;13214:9;13205:7;13201:23;13197:32;13194:52;;;13242:1;13239;13232:12;13194:52;13274:9;13268:16;13293:28;13315:5;13293:28;:::i;13704:159::-;13771:20;;13831:6;13820:18;;13810:29;;13800:57;;13853:1;13850;13843:12;13868:184;13926:6;13979:2;13967:9;13958:7;13954:23;13950:32;13947:52;;;13995:1;13992;13985:12;13947:52;14018:28;14036:9;14018:28;:::i;14408:186::-;14476:20;;-1:-1:-1;;;;;14525:44:1;;14515:55;;14505:83;;14584:1;14581;14574:12;14599:186;14658:6;14711:2;14699:9;14690:7;14686:23;14682:32;14679:52;;;14727:1;14724;14717:12;14679:52;14750:29;14769:9;14750:29;:::i;14790:272::-;-1:-1:-1;;;;;14926:10:1;;;14938;;;14922:27;14969:20;;;;14862:32;15008:24;;;14998:58;;15036:18;;:::i;:::-;14998:58;;14790:272;;;;:::o;15067:1348::-;15430:2;15419:9;15412:21;15393:4;15456:73;15525:2;15514:9;15510:18;15502:6;15494;15456:73;:::i;:::-;15586:22;;;15548:2;15566:18;;;15559:50;;;;15644:22;;;15720:6;;15682:15;;15744:1;15754:221;15768:6;15765:1;15762:13;15754:221;;;-1:-1:-1;;;;;15833:26:1;15852:6;15833:26;:::i;:::-;15829:65;15817:78;;15950:15;;;;15915:12;;;;15790:1;15783:9;15754:221;;;-1:-1:-1;16011:19:1;;;16006:2;15991:18;;15984:47;16065:19;;;16102:12;;;-1:-1:-1;16139:6:1;16165:1;16175:212;16191:6;16186:3;16183:15;16175:212;;;16291:6;16262:27;16280:8;16262:27;:::i;:::-;16258:40;16244:55;;16321:14;;;;16360:17;;;;16217:1;16208:11;16175:212;;;-1:-1:-1;16404:5:1;;15067:1348;-1:-1:-1;;;;;;;;;;15067:1348:1:o;16420:198::-;-1:-1:-1;;;;;16554:10:1;;;16542;;;16538:27;;16577:12;;;16574:38;;;16592:18;;:::i;16623:179::-;16691:14;16738:10;;;16726;;;16722:27;;16761:12;;;16758:38;;;16776:18;;:::i;16807:168::-;16880:9;;;16911;;16928:15;;;16922:22;;16908:37;16898:71;;16949:18;;:::i;16980:217::-;17020:1;17046;17036:132;;17090:10;17085:3;17081:20;17078:1;17071:31;17125:4;17122:1;17115:15;17153:4;17150:1;17143:15;17036:132;-1:-1:-1;17182:9:1;;16980:217::o

ipfs://b14e88903238b3294428ae1712ac3ecf471e5dd5a8f4a6d0833df928f5fb1c6d