Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IContracts
•    - function transfer(address, uint256)
• interface IErc20
•    - function balanceOf(address)
•    - function transfer(address, uint256)
•  contract UniqVestingSE *
•    - function bonus(address user)
•    - function initialized(address)
•    - function tokensTotal(address user)
•    - function pctWithdrawn(address user)
•    - function closeAdd()
•    - function calc()
•    - function balanceOf(address user)
•    - function claim()
•    - function giveOwnership(address _newOw ...
•    - function acceptOwnership()
•    - function addInvestor(address addr, ui ...
•    - function addInvestors(address[] calld ...
•    - function _addInvestor(address addr, u ...
•    - function rescueERC20(address _token)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-04-15
*/

// SPDX-License-Identifier: Ulicense
pragma solidity 0.8.2;

// Presale and good ERC20 contracts interaction interface
interface IContracts {
    function transfer(address, uint256) external returns (bool);
}

// Broken ERC20 transfer for rescue ERC20 tokens
interface IErc20 {
    function balanceOf(address) external returns (uint256);

    // some tokens (like USDT) not return bool as standard require
    function transfer(address, uint256) external;
}

/// @title Uniqly vesting contract
/// Users from external list (not presale contracts)
/// @author rav3n_pl
contract UniqVestingSE {
    // user is eligible to receive bonus NFT tokens (default=0)
    mapping(address => uint256) internal _bonus;

    /// it will be used by future contract
    function bonus(address user) external view returns (uint256) {
        return _bonus[user];
    }

    // always true, for ABI/backend compatibility
    function initialized(address) external pure returns (bool) {
        return true;
    }

    // total amount of token bought by presale contracts (default=0)
    mapping(address => uint256) internal _tokensTotal;

    function tokensTotal(address user) external view returns (uint256) {
        return _tokensTotal[user];
    }

    // percentage already withdrawn by user (default=0)
    mapping(address => uint256) internal _pctWithdrawn;

    function pctWithdrawn(address user) external view returns (uint256) {
        return _pctWithdrawn[user];
    }

    /// ERC20 token contract address
    address public immutable token;

    /// timestamp that users can start withdrawals
    uint256 public immutable dateStart;
    /// address of contract owner
    address public owner;

    // Manually disable adding investors to match main contract date
    bool addDisabled;

    function closeAdd() external onlyOwner {
        addDisabled = true;
    }

    /**
    @dev contract constructor
    @param _token address of ERC20 token contract
    @param _dateStart uint256 timestamp from when users can start withdrawing tokens 
    */
    constructor(address _token, uint256 _dateStart) {
        token = _token;
        dateStart = _dateStart;
        owner = msg.sender;
    }

    // for ABI/backend compatibility
    function calc() external view returns (uint256) {
        return _tokensTotal[msg.sender];
    }

    /**
    @dev Number of tokens eligible to withdraw
    @return number of tokens available for user
     */
    function balanceOf(address user) external view returns (uint256) {
        return (_tokensTotal[user] * (100 - _pctWithdrawn[user])) / 100;
    }

    /**
    @dev user call this function to withdraw tokens
    @return bool true if any token transfer made
    */
    function claim() external returns (bool) {
        // can't work before timestamp
        require(block.timestamp > dateStart, "Initial vesting in progress");

        // initial percent is 20
        uint256 pct = 20;
        uint256 time = dateStart + 1 weeks;
        // every week to date
        while (time < block.timestamp) {
            pct += 4;
            // can't be more than 100
            if (pct == 100) {
                break;
            }
            time += 1 weeks;
        }
        // do we have any % of tokens to withdraw?
        if (pct > _pctWithdrawn[msg.sender]) {
            uint256 thisTime = pct - _pctWithdrawn[msg.sender];
            // is user a patient one?
            // you've got a prize/s in near future!
            if (pct > 59) {
                // 60% for 1st bonus, even when initial 20% claimed
                // but no bonus at all if claimed more than 20%
                if (_pctWithdrawn[msg.sender] < 21) {
                    _bonus[msg.sender] = 1;
                    // second bonus after 100% and max 20% withdrawn
                    if (pct == 100 && thisTime > 79) {
                        _bonus[msg.sender] = 2;
                    }
                }
            }
            // how many tokens it would be...
            uint256 amt = (_tokensTotal[msg.sender] * thisTime) / 100;
            // yes, no reentrance please
            _pctWithdrawn[msg.sender] += thisTime;
            // transfer tokens counted
            return IContracts(token).transfer(msg.sender, amt);
        }
        // did nothing
        return false;
    }

    modifier onlyOwner {
        require(msg.sender == owner, "Only for Owner");
        _;
    }

    // change ownership in two steps to be sure about owner address
    address public newOwner;

    // only current owner can delegate new one
    function giveOwnership(address _newOwner) external onlyOwner {
        newOwner = _newOwner;
    }

    // new owner need to accept ownership
    function acceptOwnership() external {
        require(msg.sender == newOwner, "You are not New Owner");
        newOwner = address(0);
        owner = msg.sender;
    }

    /**
    @dev Add investor to vesting contract that not used collection contract
    @param addr - address to add
    @param amount - tokens due
    */
    function addInvestor(address addr, uint256 amount) external onlyOwner {
        require(!addDisabled, "Too late do add investors");
        _addInvestor(addr, amount);
    }

    /**
    @dev Add investors in bulk
    @param addr table of addresses
    @param amount table of amounts
    */
    function addInvestors(address[] calldata addr, uint256[] calldata amount)
        external
        onlyOwner
    {
        require(!addDisabled, "Too late do add investors");
        require(addr.length == amount.length, "Data length not match");
        for (uint256 i = 0; i < addr.length; i++) {
            _addInvestor(addr[i], amount[i]);
        }
    }

    // internal function adding investors
    function _addInvestor(address addr, uint256 amt) internal {
        require(_tokensTotal[addr] == 0, "Address already on list");
        _tokensTotal[addr] = amt;
    }

    /**
    @dev Function to recover accidentally send ERC20 tokens
    @param _token ERC20 token address
    */
    function rescueERC20(address _token) external onlyOwner {
        uint256 amt = IErc20(_token).balanceOf(address(this));
        require(amt > 0, "Nothing to rescue");
        IErc20(_token).transfer(owner, amt);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_token","type":"address"},{"internalType":"uint256","name":"_dateStart","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"acceptOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"addInvestor","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"addr","type":"address[]"},{"internalType":"uint256[]","name":"amount","type":"uint256[]"}],"name":"addInvestors","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"bonus","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"calc","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"claim","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"closeAdd","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"dateStart","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"giveOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"initialized","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"newOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"pctWithdrawn","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_token","type":"address"}],"name":"rescueERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"tokensTotal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

60c060405234801561001057600080fd5b50604051610d86380380610d8683398101604081905261002f9161005e565b60609190911b6001600160601b03191660805260a05260038054336001600160a01b0319909116179055610096565b60008060408385031215610070578182fd5b82516001600160a01b0381168114610086578283fd5b6020939093015192949293505050565b60805160601c60a051610cb36100d3600039600081816101cb0152818161044101526104b70152600081816102a401526106160152610cb36000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c8063a3b6120c116100a2578063d8cb4aa311610071578063d8cb4aa314610227578063e3a0a14814610250578063ec20b45714610263578063ecbf239814610276578063fc0c546a1461029f5761010b565b8063a3b6120c146101c6578063cbca47db146101ed578063ccec371614610201578063d4ee1d90146102145761010b565b806370a08231116100de57806370a082311461016b57806379ba50971461017e5780638da5cb5b1461018657806396f1b6be146101b15761010b565b806321c7901e14610110578063249eae4d146101365780634e71d92d1461014b57806350989b9c14610163575b600080fd5b61012361011e366004610acb565b6102c6565b6040519081526020015b60405180910390f35b610149610144366004610b15565b6102e5565b005b61015361043d565b604051901515815260200161012d565b6101496106af565b610123610179366004610acb565b6106ee565b610149610747565b600354610199906001600160a01b031681565b6040516001600160a01b03909116815260200161012d565b33600090815260016020526040902054610123565b6101237f000000000000000000000000000000000000000000000000000000000000000081565b6101536101fb366004610acb565b50600190565b61014961020f366004610acb565b6107b9565b600454610199906001600160a01b031681565b610123610235366004610acb565b6001600160a01b031660009081526020819052604090205490565b61014961025e366004610acb565b61090f565b610149610271366004610aec565b61095b565b610123610284366004610acb565b6001600160a01b031660009081526002602052604090205490565b6101997f000000000000000000000000000000000000000000000000000000000000000081565b6001600160a01b0381166000908152600160205260409020545b919050565b6003546001600160a01b031633146103185760405162461bcd60e51b815260040161030f90610bb6565b60405180910390fd5b600354600160a01b900460ff161561036e5760405162461bcd60e51b8152602060048201526019602482015278546f6f206c61746520646f2061646420696e766573746f727360381b604482015260640161030f565b8281146103b55760405162461bcd60e51b8152602060048201526015602482015274088c2e8c240d8cadccee8d040dcdee840dac2e8c6d605b1b604482015260640161030f565b60005b83811015610436576104248585838181106103e357634e487b7160e01b600052603260045260246000fd5b90506020020160208101906103f89190610acb565b84848481811061041857634e487b7160e01b600052603260045260246000fd5b905060200201356109e9565b8061042e81610c4c565b9150506103b8565b5050505050565b60007f000000000000000000000000000000000000000000000000000000000000000042116104ae5760405162461bcd60e51b815260206004820152601b60248201527f496e697469616c2076657374696e6720696e2070726f67726573730000000000604482015260640161030f565b601460006104df7f000000000000000000000000000000000000000000000000000000000000000062093a80610bde565b90505b42811015610519576104f5600483610bde565b9150816064141561050557610519565b61051262093a8082610bde565b90506104e2565b336000908152600260205260409020548211156106a5573360009081526002602052604081205461054a9084610c35565b9050603b8311156105a95733600090815260026020526040902054601511156105a957336000908152602081905260409020600190556064831480156105905750604f81115b156105a957336000908152602081905260409020600290555b336000908152600160205260408120546064906105c7908490610c16565b6105d19190610bf6565b336000908152600260205260408120805492935084929091906105f5908490610bde565b909155505060405163a9059cbb60e01b8152336004820152602481018290527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063a9059cbb90604401602060405180830381600087803b15801561066257600080fd5b505af1158015610676573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061069a9190610b7e565b9450505050506106ac565b6000925050505b90565b6003546001600160a01b031633146106d95760405162461bcd60e51b815260040161030f90610bb6565b6003805460ff60a01b1916600160a01b179055565b6001600160a01b0381166000908152600260205260408120546064906107149082610c35565b6001600160a01b0384166000908152600160205260409020546107379190610c16565b6107419190610bf6565b92915050565b6004546001600160a01b031633146107995760405162461bcd60e51b81526020600482015260156024820152742cb7ba9030b932903737ba102732bb9027bbb732b960591b604482015260640161030f565b600480546001600160a01b03199081169091556003805490911633179055565b6003546001600160a01b031633146107e35760405162461bcd60e51b815260040161030f90610bb6565b6040516370a0823160e01b81523060048201526000906001600160a01b038316906370a0823190602401602060405180830381600087803b15801561082757600080fd5b505af115801561083b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085f9190610b9e565b9050600081116108a55760405162461bcd60e51b81526020600482015260116024820152704e6f7468696e6720746f2072657363756560781b604482015260640161030f565b60035460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb90604401600060405180830381600087803b1580156108f357600080fd5b505af1158015610907573d6000803e3d6000fd5b505050505050565b6003546001600160a01b031633146109395760405162461bcd60e51b815260040161030f90610bb6565b600480546001600160a01b0319166001600160a01b0392909216919091179055565b6003546001600160a01b031633146109855760405162461bcd60e51b815260040161030f90610bb6565b600354600160a01b900460ff16156109db5760405162461bcd60e51b8152602060048201526019602482015278546f6f206c61746520646f2061646420696e766573746f727360381b604482015260640161030f565b6109e582826109e9565b5050565b6001600160a01b03821660009081526001602052604090205415610a4f5760405162461bcd60e51b815260206004820152601760248201527f4164647265737320616c7265616479206f6e206c697374000000000000000000604482015260640161030f565b6001600160a01b03909116600090815260016020526040902055565b80356001600160a01b03811681146102e057600080fd5b60008083601f840112610a93578182fd5b50813567ffffffffffffffff811115610aaa578182fd5b6020830191508360208083028501011115610ac457600080fd5b9250929050565b600060208284031215610adc578081fd5b610ae582610a6b565b9392505050565b60008060408385031215610afe578081fd5b610b0783610a6b565b946020939093013593505050565b60008060008060408587031215610b2a578182fd5b843567ffffffffffffffff80821115610b41578384fd5b610b4d88838901610a82565b90965094506020870135915080821115610b65578384fd5b50610b7287828801610a82565b95989497509550505050565b600060208284031215610b8f578081fd5b81518015158114610ae5578182fd5b600060208284031215610baf578081fd5b5051919050565b6020808252600e908201526d27b7363c903337b91027bbb732b960911b604082015260600190565b60008219821115610bf157610bf1610c67565b500190565b600082610c1157634e487b7160e01b81526012600452602481fd5b500490565b6000816000190483118215151615610c3057610c30610c67565b500290565b600082821015610c4757610c47610c67565b500390565b6000600019821415610c6057610c60610c67565b5060010190565b634e487b7160e01b600052601160045260246000fdfea2646970667358221220a4d50ef3ba07b6bec3b6d564d941ebd3464535ce1608d0dd8ba7c379e5848e4f64736f6c634300080200330000000000000000000000003758e00b100876c854636ef8db61988931bb802500000000000000000000000000000000000000000000000000000000607854f0

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c8063a3b6120c116100a2578063d8cb4aa311610071578063d8cb4aa314610227578063e3a0a14814610250578063ec20b45714610263578063ecbf239814610276578063fc0c546a1461029f5761010b565b8063a3b6120c146101c6578063cbca47db146101ed578063ccec371614610201578063d4ee1d90146102145761010b565b806370a08231116100de57806370a082311461016b57806379ba50971461017e5780638da5cb5b1461018657806396f1b6be146101b15761010b565b806321c7901e14610110578063249eae4d146101365780634e71d92d1461014b57806350989b9c14610163575b600080fd5b61012361011e366004610acb565b6102c6565b6040519081526020015b60405180910390f35b610149610144366004610b15565b6102e5565b005b61015361043d565b604051901515815260200161012d565b6101496106af565b610123610179366004610acb565b6106ee565b610149610747565b600354610199906001600160a01b031681565b6040516001600160a01b03909116815260200161012d565b33600090815260016020526040902054610123565b6101237f00000000000000000000000000000000000000000000000000000000607854f081565b6101536101fb366004610acb565b50600190565b61014961020f366004610acb565b6107b9565b600454610199906001600160a01b031681565b610123610235366004610acb565b6001600160a01b031660009081526020819052604090205490565b61014961025e366004610acb565b61090f565b610149610271366004610aec565b61095b565b610123610284366004610acb565b6001600160a01b031660009081526002602052604090205490565b6101997f0000000000000000000000003758e00b100876c854636ef8db61988931bb802581565b6001600160a01b0381166000908152600160205260409020545b919050565b6003546001600160a01b031633146103185760405162461bcd60e51b815260040161030f90610bb6565b60405180910390fd5b600354600160a01b900460ff161561036e5760405162461bcd60e51b8152602060048201526019602482015278546f6f206c61746520646f2061646420696e766573746f727360381b604482015260640161030f565b8281146103b55760405162461bcd60e51b8152602060048201526015602482015274088c2e8c240d8cadccee8d040dcdee840dac2e8c6d605b1b604482015260640161030f565b60005b83811015610436576104248585838181106103e357634e487b7160e01b600052603260045260246000fd5b90506020020160208101906103f89190610acb565b84848481811061041857634e487b7160e01b600052603260045260246000fd5b905060200201356109e9565b8061042e81610c4c565b9150506103b8565b5050505050565b60007f00000000000000000000000000000000000000000000000000000000607854f042116104ae5760405162461bcd60e51b815260206004820152601b60248201527f496e697469616c2076657374696e6720696e2070726f67726573730000000000604482015260640161030f565b601460006104df7f00000000000000000000000000000000000000000000000000000000607854f062093a80610bde565b90505b42811015610519576104f5600483610bde565b9150816064141561050557610519565b61051262093a8082610bde565b90506104e2565b336000908152600260205260409020548211156106a5573360009081526002602052604081205461054a9084610c35565b9050603b8311156105a95733600090815260026020526040902054601511156105a957336000908152602081905260409020600190556064831480156105905750604f81115b156105a957336000908152602081905260409020600290555b336000908152600160205260408120546064906105c7908490610c16565b6105d19190610bf6565b336000908152600260205260408120805492935084929091906105f5908490610bde565b909155505060405163a9059cbb60e01b8152336004820152602481018290527f0000000000000000000000003758e00b100876c854636ef8db61988931bb80256001600160a01b03169063a9059cbb90604401602060405180830381600087803b15801561066257600080fd5b505af1158015610676573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061069a9190610b7e565b9450505050506106ac565b6000925050505b90565b6003546001600160a01b031633146106d95760405162461bcd60e51b815260040161030f90610bb6565b6003805460ff60a01b1916600160a01b179055565b6001600160a01b0381166000908152600260205260408120546064906107149082610c35565b6001600160a01b0384166000908152600160205260409020546107379190610c16565b6107419190610bf6565b92915050565b6004546001600160a01b031633146107995760405162461bcd60e51b81526020600482015260156024820152742cb7ba9030b932903737ba102732bb9027bbb732b960591b604482015260640161030f565b600480546001600160a01b03199081169091556003805490911633179055565b6003546001600160a01b031633146107e35760405162461bcd60e51b815260040161030f90610bb6565b6040516370a0823160e01b81523060048201526000906001600160a01b038316906370a0823190602401602060405180830381600087803b15801561082757600080fd5b505af115801561083b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085f9190610b9e565b9050600081116108a55760405162461bcd60e51b81526020600482015260116024820152704e6f7468696e6720746f2072657363756560781b604482015260640161030f565b60035460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb90604401600060405180830381600087803b1580156108f357600080fd5b505af1158015610907573d6000803e3d6000fd5b505050505050565b6003546001600160a01b031633146109395760405162461bcd60e51b815260040161030f90610bb6565b600480546001600160a01b0319166001600160a01b0392909216919091179055565b6003546001600160a01b031633146109855760405162461bcd60e51b815260040161030f90610bb6565b600354600160a01b900460ff16156109db5760405162461bcd60e51b8152602060048201526019602482015278546f6f206c61746520646f2061646420696e766573746f727360381b604482015260640161030f565b6109e582826109e9565b5050565b6001600160a01b03821660009081526001602052604090205415610a4f5760405162461bcd60e51b815260206004820152601760248201527f4164647265737320616c7265616479206f6e206c697374000000000000000000604482015260640161030f565b6001600160a01b03909116600090815260016020526040902055565b80356001600160a01b03811681146102e057600080fd5b60008083601f840112610a93578182fd5b50813567ffffffffffffffff811115610aaa578182fd5b6020830191508360208083028501011115610ac457600080fd5b9250929050565b600060208284031215610adc578081fd5b610ae582610a6b565b9392505050565b60008060408385031215610afe578081fd5b610b0783610a6b565b946020939093013593505050565b60008060008060408587031215610b2a578182fd5b843567ffffffffffffffff80821115610b41578384fd5b610b4d88838901610a82565b90965094506020870135915080821115610b65578384fd5b50610b7287828801610a82565b95989497509550505050565b600060208284031215610b8f578081fd5b81518015158114610ae5578182fd5b600060208284031215610baf578081fd5b5051919050565b6020808252600e908201526d27b7363c903337b91027bbb732b960911b604082015260600190565b60008219821115610bf157610bf1610c67565b500190565b600082610c1157634e487b7160e01b81526012600452602481fd5b500490565b6000816000190483118215151615610c3057610c30610c67565b500290565b600082821015610c4757610c47610c67565b500390565b6000600019821415610c6057610c60610c67565b5060010190565b634e487b7160e01b600052601160045260246000fdfea2646970667358221220a4d50ef3ba07b6bec3b6d564d941ebd3464535ce1608d0dd8ba7c379e5848e4f64736f6c63430008020033

0000000000000000000000003758e00b100876c854636ef8db61988931bb802500000000000000000000000000000000000000000000000000000000607854f0

-----Decoded View---------------
Arg [0] : _token (address): 0x3758e00b100876C854636eF8Db61988931BB8025
Arg [1] : _dateStart (uint256): 1618498800

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 0000000000000000000000003758e00b100876c854636ef8db61988931bb8025
Arg [1] : 00000000000000000000000000000000000000000000000000000000607854f0

587:5861:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1161:111;;;;;;:::i;:::-;;:::i;:::-;;;5650:25:1;;;5638:2;5623:18;1161:111:0;;;;;;;;5507:369;;;;;;:::i;:::-;;:::i;:::-;;2801:1649;;;:::i;:::-;;;3026:14:1;;3019:22;3001:41;;2989:2;2974:18;2801:1649:0;2956:92:1;1846:76:0;;;:::i;2526:147::-;;;;;;:::i;:::-;;:::i;4862:172::-;;;:::i;1722:20::-;;;;;-1:-1:-1;;;;;1722:20:0;;;;;;-1:-1:-1;;;;;2538:32:1;;;2520:51;;2508:2;2493:18;1722:20:0;2475:102:1;2305:98:0;2384:10;2344:7;2371:24;;;:12;:24;;;;;;2305:98;;1646:34;;;;;936:89;;;;;;:::i;:::-;-1:-1:-1;1013:4:0;;936:89;6223:222;;;;;;:::i;:::-;;:::i;4631:23::-;;;;;-1:-1:-1;;;;;4631:23:0;;;778:99;;;;;;:::i;:::-;-1:-1:-1;;;;;857:12:0;830:7;857:12;;;;;;;;;;;;778:99;4711:100;;;;;;:::i;:::-;;:::i;5202:176::-;;;;;;:::i;:::-;;:::i;1396:113::-;;;;;;:::i;:::-;-1:-1:-1;;;;;1482:19:0;1455:7;1482:19;;;:13;:19;;;;;;;1396:113;1555:30;;;;;1161:111;-1:-1:-1;;;;;1246:18:0;;1219:7;1246:18;;;:12;:18;;;;;;1161:111;;;;:::o;5507:369::-;4510:5;;-1:-1:-1;;;;;4510:5:0;4496:10;:19;4488:46;;;;-1:-1:-1;;;4488:46:0;;;;;;;:::i;:::-;;;;;;;;;5643:11:::1;::::0;-1:-1:-1;;;5643:11:0;::::1;;;5642:12;5634:50;;;::::0;-1:-1:-1;;;5634:50:0;;5352:2:1;5634:50:0::1;::::0;::::1;5334:21:1::0;5391:2;5371:18;;;5364:30;-1:-1:-1;;;5410:18:1;;;5403:55;5475:18;;5634:50:0::1;5324:175:1::0;5634:50:0::1;5703:28:::0;;::::1;5695:62;;;::::0;-1:-1:-1;;;5695:62:0;;3605:2:1;5695:62:0::1;::::0;::::1;3587:21:1::0;3644:2;3624:18;;;3617:30;-1:-1:-1;;;3663:18:1;;;3656:51;3724:18;;5695:62:0::1;3577:171:1::0;5695:62:0::1;5773:9;5768:101;5788:15:::0;;::::1;5768:101;;;5825:32;5838:4;;5843:1;5838:7;;;;;-1:-1:-1::0;;;5838:7:0::1;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5847:6;;5854:1;5847:9;;;;;-1:-1:-1::0;;;5847:9:0::1;;;;;;;;;;;;;;;5825:12;:32::i;:::-;5805:3:::0;::::1;::::0;::::1;:::i;:::-;;;;5768:101;;;;5507:369:::0;;;;:::o;2801:1649::-;2836:4;2919:9;2901:15;:27;2893:67;;;;-1:-1:-1;;;2893:67:0;;3955:2:1;2893:67:0;;;3937:21:1;3994:2;3974:18;;;3967:30;4033:29;4013:18;;;4006:57;4080:18;;2893:67:0;3927:177:1;2893:67:0;3021:2;3007:11;3049:19;:9;3061:7;3049:19;:::i;:::-;3034:34;;3110:205;3124:15;3117:4;:22;3110:205;;;3156:8;3163:1;3156:8;;:::i;:::-;;;3222:3;3229;3222:10;3218:56;;;3253:5;;3218:56;3288:15;3296:7;3288:15;;:::i;:::-;;;3110:205;;;3401:10;3387:25;;;;:13;:25;;;;;;3381:31;;3377:1019;;;3468:10;3429:16;3454:25;;;:13;:25;;;;;;3448:31;;:3;:31;:::i;:::-;3429:50;;3596:2;3590:3;:8;3586:481;;;3771:10;3757:25;;;;:13;:25;;;;;;3785:2;-1:-1:-1;3753:299:0;;;3819:10;3812:6;:18;;;;;;;;;;3833:1;3812:22;;3938:3;3931:10;;:27;;;;;3956:2;3945:8;:13;3931:27;3927:106;;;3994:10;3987:6;:18;;;;;;;;;;4008:1;3987:22;;3927:106;4156:10;4128:11;4143:24;;;:12;:24;;;;;;4182:3;;4143:35;;4170:8;;4143:35;:::i;:::-;4142:43;;;;:::i;:::-;4256:10;4242:25;;;;:13;:25;;;;;:37;;4128:57;;-1:-1:-1;4271:8:0;;4242:25;;;:37;;4271:8;;4242:37;:::i;:::-;;;;-1:-1:-1;;4341:43:0;;-1:-1:-1;;;4341:43:0;;4368:10;4341:43;;;2756:51:1;2823:18;;;2816:34;;;4352:5:0;-1:-1:-1;;;;;4341:26:0;;;;2729:18:1;;4341:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4334:50;;;;;;;;3377:1019;4437:5;4430:12;;;;2801:1649;;:::o;1846:76::-;4510:5;;-1:-1:-1;;;;;4510:5:0;4496:10;:19;4488:46;;;;-1:-1:-1;;;4488:46:0;;;;;;;:::i;:::-;1896:11:::1;:18:::0;;-1:-1:-1;;;;1896:18:0::1;-1:-1:-1::0;;;1896:18:0::1;::::0;;1846:76::o;2526:147::-;-1:-1:-1;;;;;2638:19:0;;2582:7;2638:19;;;:13;:19;;;;;;2662:3;;2632:25;;2662:3;2632:25;:::i;:::-;-1:-1:-1;;;;;2610:18:0;;;;;;:12;:18;;;;;;:48;;;;:::i;:::-;2609:56;;;;:::i;:::-;2602:63;2526:147;-1:-1:-1;;2526:147:0:o;4862:172::-;4931:8;;-1:-1:-1;;;;;4931:8:0;4917:10;:22;4909:56;;;;-1:-1:-1;;;4909:56:0;;3255:2:1;4909:56:0;;;3237:21:1;3294:2;3274:18;;;3267:30;-1:-1:-1;;;3313:18:1;;;3306:51;3374:18;;4909:56:0;3227:171:1;4909:56:0;4976:8;:21;;-1:-1:-1;;;;;;4976:21:0;;;;;;5008:5;:18;;;;;5016:10;5008:18;;;4862:172::o;6223:222::-;4510:5;;-1:-1:-1;;;;;4510:5:0;4496:10;:19;4488:46;;;;-1:-1:-1;;;4488:46:0;;;;;;;:::i;:::-;6304:39:::1;::::0;-1:-1:-1;;;6304:39:0;;6337:4:::1;6304:39;::::0;::::1;2520:51:1::0;6290:11:0::1;::::0;-1:-1:-1;;;;;6304:24:0;::::1;::::0;::::1;::::0;2493:18:1;;6304:39:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6290:53;;6368:1;6362:3;:7;6354:37;;;::::0;-1:-1:-1;;;6354:37:0;;4311:2:1;6354:37:0::1;::::0;::::1;4293:21:1::0;4350:2;4330:18;;;4323:30;-1:-1:-1;;;4369:18:1;;;4362:47;4426:18;;6354:37:0::1;4283:167:1::0;6354:37:0::1;6426:5;::::0;6402:35:::1;::::0;-1:-1:-1;;;6402:35:0;;-1:-1:-1;;;;;6426:5:0;;::::1;6402:35;::::0;::::1;2756:51:1::0;2823:18;;;2816:34;;;6402:23:0;;::::1;::::0;::::1;::::0;2729:18:1;;6402:35:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;4545:1;6223:222:::0;:::o;4711:100::-;4510:5;;-1:-1:-1;;;;;4510:5:0;4496:10;:19;4488:46;;;;-1:-1:-1;;;4488:46:0;;;;;;;:::i;:::-;4783:8:::1;:20:::0;;-1:-1:-1;;;;;;4783:20:0::1;-1:-1:-1::0;;;;;4783:20:0;;;::::1;::::0;;;::::1;::::0;;4711:100::o;5202:176::-;4510:5;;-1:-1:-1;;;;;4510:5:0;4496:10;:19;4488:46;;;;-1:-1:-1;;;4488:46:0;;;;;;;:::i;:::-;5292:11:::1;::::0;-1:-1:-1;;;5292:11:0;::::1;;;5291:12;5283:50;;;::::0;-1:-1:-1;;;5283:50:0;;5352:2:1;5283:50:0::1;::::0;::::1;5334:21:1::0;5391:2;5371:18;;;5364:30;-1:-1:-1;;;5410:18:1;;;5403:55;5475:18;;5283:50:0::1;5324:175:1::0;5283:50:0::1;5344:26;5357:4;5363:6;5344:12;:26::i;:::-;5202:176:::0;;:::o;5927:171::-;-1:-1:-1;;;;;6004:18:0;;;;;;:12;:18;;;;;;:23;5996:59;;;;-1:-1:-1;;;5996:59:0;;4657:2:1;5996:59:0;;;4639:21:1;4696:2;4676:18;;;4669:30;4735:25;4715:18;;;4708:53;4778:18;;5996:59:0;4629:173:1;5996:59:0;-1:-1:-1;;;;;6066:18:0;;;;;;;:12;:18;;;;;:24;5927:171::o;14:173:1:-;82:20;;-1:-1:-1;;;;;131:31:1;;121:42;;111:2;;177:1;174;167:12;192:398;;;319:3;312:4;304:6;300:17;296:27;286:2;;344:8;334;327:26;286:2;-1:-1:-1;374:20:1;;417:18;406:30;;403:2;;;456:8;446;439:26;403:2;500:4;492:6;488:17;476:29;;563:3;556:4;548;540:6;536:17;528:6;524:30;520:41;517:50;514:2;;;580:1;577;570:12;514:2;276:314;;;;;:::o;595:196::-;;707:2;695:9;686:7;682:23;678:32;675:2;;;728:6;720;713:22;675:2;756:29;775:9;756:29;:::i;:::-;746:39;665:126;-1:-1:-1;;;665:126:1:o;796:264::-;;;925:2;913:9;904:7;900:23;896:32;893:2;;;946:6;938;931:22;893:2;974:29;993:9;974:29;:::i;:::-;964:39;1050:2;1035:18;;;;1022:32;;-1:-1:-1;;;883:177:1:o;1065:803::-;;;;;1264:2;1252:9;1243:7;1239:23;1235:32;1232:2;;;1285:6;1277;1270:22;1232:2;1330:9;1317:23;1359:18;1400:2;1392:6;1389:14;1386:2;;;1421:6;1413;1406:22;1386:2;1465:70;1527:7;1518:6;1507:9;1503:22;1465:70;:::i;:::-;1554:8;;-1:-1:-1;1439:96:1;-1:-1:-1;1642:2:1;1627:18;;1614:32;;-1:-1:-1;1658:16:1;;;1655:2;;;1692:6;1684;1677:22;1655:2;;1736:72;1800:7;1789:8;1778:9;1774:24;1736:72;:::i;:::-;1222:646;;;;-1:-1:-1;1827:8:1;-1:-1:-1;;;;1222:646:1:o;1873:297::-;;1993:2;1981:9;1972:7;1968:23;1964:32;1961:2;;;2014:6;2006;1999:22;1961:2;2051:9;2045:16;2104:5;2097:13;2090:21;2083:5;2080:32;2070:2;;2131:6;2123;2116:22;2175:194;;2298:2;2286:9;2277:7;2273:23;2269:32;2266:2;;;2319:6;2311;2304:22;2266:2;-1:-1:-1;2347:16:1;;2256:113;-1:-1:-1;2256:113:1:o;4807:338::-;5009:2;4991:21;;;5048:2;5028:18;;;5021:30;-1:-1:-1;;;5082:2:1;5067:18;;5060:44;5136:2;5121:18;;4981:164::o;5686:128::-;;5757:1;5753:6;5750:1;5747:13;5744:2;;;5763:18;;:::i;:::-;-1:-1:-1;5799:9:1;;5734:80::o;5819:217::-;;5885:1;5875:2;;-1:-1:-1;;;5910:31:1;;5964:4;5961:1;5954:15;5992:4;5917:1;5982:15;5875:2;-1:-1:-1;6021:9:1;;5865:171::o;6041:168::-;;6147:1;6143;6139:6;6135:14;6132:1;6129:21;6124:1;6117:9;6110:17;6106:45;6103:2;;;6154:18;;:::i;:::-;-1:-1:-1;6194:9:1;;6093:116::o;6214:125::-;;6282:1;6279;6276:8;6273:2;;;6287:18;;:::i;:::-;-1:-1:-1;6324:9:1;;6263:76::o;6344:135::-;;-1:-1:-1;;6404:17:1;;6401:2;;;6424:18;;:::i;:::-;-1:-1:-1;6471:1:1;6460:13;;6391:88::o;6484:127::-;6545:10;6540:3;6536:20;6533:1;6526:31;6576:4;6573:1;6566:15;6600:4;6597:1;6590:15

ipfs://a4d50ef3ba07b6bec3b6d564d941ebd3464535ce1608d0dd8ba7c379e5848e4f