Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
• interface IERC20
•    - function transfer(address to, uint256 ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function allowance(address owner, add ...
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function renounceOwnership()
•    - function proposeOwnership(address new ...
•    - function acceptOwnership()
•    - function _setOwner(address newOwner)
•  contract DGMVTokenVesting is Ownab ... *
•    - function setVesting(address account, ...
•    - function vestedToken(address account)
•    - function releasableToken(address acco ...
•    - function _setVesting(address account, ...
•    - function releaseMyToken()
•    - function releaseToken(address account ...
•    - function _releasableAmount(address ac ...
•    - function _vestedAmount(address accoun ...
•    - function revoke(address account)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-02-17
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.0;


/**
 * @title SafeMath
 * @dev Unsigned math operations with safety checks that revert on error
 */
library SafeMath {
    /**
     * @dev Multiplies two unsigned integers, reverts on overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b,  "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
       
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
       
        return c;
    }

    /**
     * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Adds two unsigned integers, reverts on overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
     * reverts when dividing by zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0,  "SafeMath: modulo by zero");
        return a % b;
    }
}
/**
* @title interface of ERC 20 token
* 
*/

interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

    function approve(address spender, uint256 value) external returns (bool);

    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function totalSupply() external view returns (uint256);

    function balanceOf(address who) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}
 
/**
 * @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).
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
abstract contract Ownable is Context {
    address private _owner;
    address private _newOwner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _setOwner(_msgSender());
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _setOwner(address(0));
    }

    /**
     * @dev Propose the new Owner of the smart contract 
     */
    function proposeOwnership(address newOwner) public onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _newOwner = newOwner;
    }

    /**
     * @dev Accept the ownership of the smart contract as a new Owner
     */
    function acceptOwnership() public {
        require(msg.sender == _newOwner, "Ownable: caller is not the new owner");
        require(_owner != address(0), "Ownable: ownership is renounched already");
        emit OwnershipTransferred(_owner, _newOwner);
        _owner = _newOwner;
    }

    function _setOwner(address newOwner) private {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}


contract DGMVTokenVesting is Ownable{
    
    using SafeMath for uint256; 
    
    address public immutable DGMV_TOKEN; // Contract Address of DGMV Token
    
    struct VestedToken{
        uint256 cliff;
        uint256 start;
        uint256 duration;
        uint256 releasedToken;
        uint256 totalToken;
        bool revoked;
    }
    
    mapping (address => VestedToken) public vestedUser; 
    event TokenReleased(address indexed account, uint256 amount);
    event VestingRevoked(address indexed account);
    
    constructor (address dgmv_token){
        require(dgmv_token != address(0));
        DGMV_TOKEN = dgmv_token;
    }
  
     /**
     * @dev this will set the beneficiary with vesting 
     * parameters provided
     * @param account address of the beneficiary for vesting
     * @param amount  totalToken to be vested
     * @param cliff In seconds of one period in vesting
     * @param duration In seconds of total vesting 
     * @param startAt UNIX timestamp in seconds from where vesting will start
     */
     function setVesting(address account, uint256 amount, uint256 cliff, uint256 duration, uint256 startAt ) external returns(bool){
         VestedToken storage vested = vestedUser[account];
         if(vested.start > 0){
             require(vested.revoked);
             uint unclaimedTokens = _vestedAmount(account).sub(vested.releasedToken);
             require(unclaimedTokens == 0);
         }
         IERC20(DGMV_TOKEN).transferFrom(_msgSender(), address(this) ,amount);
         _setVesting(account, amount, cliff, duration, startAt);
         return true;
     }
     
     /**
     * @dev Calculates the amount that has already vested.
     * @param account address of the user
     */
     function vestedToken(address account) external view returns (uint256) {
       return _vestedAmount(account);
    }
    
    /**
     * @dev Calculates the amount that has already vested but hasn't been released yet.
     * @param account address of user
     */
     function releasableToken(address account) external view returns (uint256) {
       return _vestedAmount(account).sub(vestedUser[account].releasedToken);
    }
     
     /**
      * @dev Internal function to set default vesting parameters
      * @param account address of the beneficiary for vesting
      * @param amount  totalToken to be vested
      * @param cliff In seconds of one period in vestin
      * @param duration In seconds of total vesting duration
      * @param startAt UNIX timestamp in seconds from where vesting will start
      *
      */
     function _setVesting(address account, uint256 amount, uint256 cliff, uint256 duration, uint256 startAt) internal {
         require(account!=address(0));
         require(startAt >= block.timestamp);
         require(cliff<=duration);
         VestedToken storage vested = vestedUser[account];
         vested.cliff = cliff;
         vested.start = startAt;
         vested.duration = duration;
         vested.totalToken = amount;
         vested.releasedToken = 0;
         vested.revoked = false;
     }

    /**
     * @notice Transfers vested tokens to beneficiary.
     * anyone can release their token 
     */
    function releaseMyToken() external returns(bool) {
        releaseToken(msg.sender);
        return true;
    }
    
     /**
     * @notice Transfers vested tokens to the given account.
     * @param account address of the vested user
     */
    function releaseToken(address account) public {
       require(account != address(0));
       VestedToken storage vested = vestedUser[account];
       uint256 unreleasedToken = _releasableAmount(account);  // total releasable token currently
       require(unreleasedToken>0);
       vested.releasedToken = vested.releasedToken.add(unreleasedToken);
       IERC20(DGMV_TOKEN).transfer(account,unreleasedToken);
       emit TokenReleased(account, unreleasedToken);
    }
    
    /**
     * @dev Calculates the amount that has already vested but hasn't been released yet.
     * @param account address of user
     */
    function _releasableAmount(address account) internal view returns (uint256) {
        return _vestedAmount(account).sub(vestedUser[account].releasedToken);
    }

  
    /**
     * @dev Calculates the amount that has already vested.
     * @param account address of the user
     */
    function _vestedAmount(address account) internal view returns (uint256) {
        VestedToken storage vested = vestedUser[account];
        uint256 totalToken = vested.totalToken;
        if(block.timestamp <  vested.start.add(vested.cliff)){
            return 0;
        }else if(block.timestamp >= vested.start.add(vested.duration) || vested.revoked){
            return totalToken;
        }else{
            uint256 numberOfPeriods = (block.timestamp.sub(vested.start)).div(vested.cliff);
            return totalToken.mul(numberOfPeriods.mul(vested.cliff)).div(vested.duration);
        }
    }
    
    /**
     * @notice Allows the owner to revoke the vesting. Tokens already vested
     * remain in the contract, the rest are returned to the owner.
     * @param account address in which the vesting is revoked
     */
    function revoke(address account) external onlyOwner returns(bool) {
        VestedToken storage vested = vestedUser[account];
        require(!vested.revoked);
        uint256 balance = vested.totalToken;
        uint256 vestedAmount = _vestedAmount(account);
        uint256 refund = balance.sub(vestedAmount);
        require(refund > 0);
        vested.revoked = true;
        vested.totalToken = vestedAmount;
        IERC20(DGMV_TOKEN).transfer(owner(), refund);
        emit VestingRevoked(account);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"dgmv_token","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"TokenReleased","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"VestingRevoked","type":"event"},{"inputs":[],"name":"DGMV_TOKEN","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"acceptOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"proposeOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"releasableToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"releaseMyToken","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"releaseToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"revoke","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"cliff","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"uint256","name":"startAt","type":"uint256"}],"name":"setVesting","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"vestedToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"vestedUser","outputs":[{"internalType":"uint256","name":"cliff","type":"uint256"},{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"},{"internalType":"uint256","name":"releasedToken","type":"uint256"},{"internalType":"uint256","name":"totalToken","type":"uint256"},{"internalType":"bool","name":"revoked","type":"bool"}],"stateMutability":"view","type":"function"}]

60a06040523480156200001157600080fd5b5060405162001c2938038062001c298339818101604052810190620000379190620001b3565b620000576200004b620000d060201b60201c565b620000d860201b60201c565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156200009257600080fd5b8073ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff1660601b81525050506200022d565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081519050620001ad8162000213565b92915050565b600060208284031215620001c657600080fd5b6000620001d6848285016200019c565b91505092915050565b6000620001ec82620001f3565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6200021e81620001df565b81146200022a57600080fd5b50565b60805160601c6119c8620002616000396000818161025601528181610318015281816107450152610bb601526119c86000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806379ba50971161007157806379ba50971461018d5780637e851e13146101975780638195ed24146101b557806386cb9498146101ea5780638da5cb5b1461021a578063e545f94114610238576100b4565b80631eda4cf4146100b95780632a2eddde146100d75780633cfb4dcf14610107578063710bf32214610137578063715018a61461015357806374a8f1031461015d575b600080fd5b6100c1610254565b6040516100ce919061156f565b60405180910390f35b6100f160048036038101906100ec919061120a565b610278565b6040516100fe91906115ea565b60405180910390f35b610121600480360381019061011c91906111e1565b6103e8565b60405161012e9190611705565b60405180910390f35b610151600480360381019061014c91906111e1565b61044e565b005b61015b61057e565b005b610177600480360381019061017291906111e1565b610606565b60405161018491906115ea565b60405180910390f35b610195610848565b005b61019f610a68565b6040516101ac91906115ea565b60405180910390f35b6101cf60048036038101906101ca91906111e1565b610a7a565b6040516101e196959493929190611720565b60405180910390f35b61020460048036038101906101ff91906111e1565b610ac3565b6040516102119190611705565b60405180910390f35b610222610ad5565b60405161022f919061156f565b60405180910390f35b610252600480360381019061024d91906111e1565b610afe565b005b7f000000000000000000000000000000000000000000000000000000000000000081565b600080600260008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050600081600101541115610316578060050160009054906101000a900460ff166102e457600080fd5b600061030582600301546102f78a610cb5565b610df090919063ffffffff16565b90506000811461031457600080fd5b505b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166323b872dd61035a610e4f565b30896040518463ffffffff1660e01b815260040161037a9392919061158a565b602060405180830381600087803b15801561039457600080fd5b505af11580156103a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103cc9190611281565b506103da8787878787610e57565b600191505095945050505050565b6000610447600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206003015461043984610cb5565b610df090919063ffffffff16565b9050919050565b610456610e4f565b73ffffffffffffffffffffffffffffffffffffffff16610474610ad5565b73ffffffffffffffffffffffffffffffffffffffff16146104ca576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c1906116c5565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561053a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053190611605565b60405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b610586610e4f565b73ffffffffffffffffffffffffffffffffffffffff166105a4610ad5565b73ffffffffffffffffffffffffffffffffffffffff16146105fa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f1906116c5565b60405180910390fd5b6106046000610f41565b565b6000610610610e4f565b73ffffffffffffffffffffffffffffffffffffffff1661062e610ad5565b73ffffffffffffffffffffffffffffffffffffffff1614610684576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067b906116c5565b60405180910390fd5b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090508060050160009054906101000a900460ff16156106e357600080fd5b60008160040154905060006106f785610cb5565b9050600061070e8284610df090919063ffffffff16565b90506000811161071d57600080fd5b60018460050160006101000a81548160ff0219169083151502179055508184600401819055507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663a9059cbb610787610ad5565b836040518363ffffffff1660e01b81526004016107a59291906115c1565b602060405180830381600087803b1580156107bf57600080fd5b505af11580156107d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f79190611281565b508573ffffffffffffffffffffffffffffffffffffffff167f68d870ac0aff3819234e8a1fc8f357b40d75212f2dc8594b97690fa205b3bab260405160405180910390a26001945050505050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146108d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108cf906116e5565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610968576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161095f90611685565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000610a7333610afe565b6001905090565b60026020528060005260406000206000915090508060000154908060010154908060020154908060030154908060040154908060050160009054906101000a900460ff16905086565b6000610ace82610cb5565b9050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610b3857600080fd5b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090506000610b8683611005565b905060008111610b9557600080fd5b610bac81836003015461106b90919063ffffffff16565b82600301819055507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663a9059cbb84836040518363ffffffff1660e01b8152600401610c0f9291906115c1565b602060405180830381600087803b158015610c2957600080fd5b505af1158015610c3d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c619190611281565b508273ffffffffffffffffffffffffffffffffffffffff167f9cf9e3ab58b33f06d81842ea0ad850b6640c6430d6396973312e1715792e7a9182604051610ca89190611705565b60405180910390a2505050565b600080600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050600081600401549050610d1d8260000154836001015461106b90919063ffffffff16565b421015610d2f57600092505050610deb565b610d4a8260020154836001015461106b90919063ffffffff16565b42101580610d6657508160050160009054906101000a900460ff165b15610d75578092505050610deb565b6000610da48360000154610d96856001015442610df090919063ffffffff16565b6110c990919063ffffffff16565b9050610de58360020154610dd7610dc886600001548561112790919063ffffffff16565b8561112790919063ffffffff16565b6110c990919063ffffffff16565b93505050505b919050565b600082821115610e35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e2c90611645565b60405180910390fd5b60008284610e439190611873565b90508091505092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415610e9157600080fd5b42811015610e9e57600080fd5b81831115610eab57600080fd5b6000600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090508381600001819055508181600101819055508281600201819055508481600401819055506000816003018190555060008160050160006101000a81548160ff021916908315150217905550505050505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b6000611064600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206003015461105684610cb5565b610df090919063ffffffff16565b9050919050565b600080828461107a9190611792565b9050838110156110bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110b690611625565b60405180910390fd5b8091505092915050565b600080821161110d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110490611665565b60405180910390fd5b6000828461111b91906117e8565b90508091505092915050565b60008083141561113a576000905061119c565b600082846111489190611819565b905082848261115791906117e8565b14611197576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118e906116a5565b60405180910390fd5b809150505b92915050565b6000813590506111b18161194d565b92915050565b6000815190506111c681611964565b92915050565b6000813590506111db8161197b565b92915050565b6000602082840312156111f357600080fd5b6000611201848285016111a2565b91505092915050565b600080600080600060a0868803121561122257600080fd5b6000611230888289016111a2565b9550506020611241888289016111cc565b9450506040611252888289016111cc565b9350506060611263888289016111cc565b9250506080611274888289016111cc565b9150509295509295909350565b60006020828403121561129357600080fd5b60006112a1848285016111b7565b91505092915050565b6112b3816118a7565b82525050565b6112c2816118b9565b82525050565b60006112d5602683611781565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061133b601b83611781565b91507f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006000830152602082019050919050565b600061137b601e83611781565b91507f536166654d6174683a207375627472616374696f6e206f766572666c6f7700006000830152602082019050919050565b60006113bb601a83611781565b91507f536166654d6174683a206469766973696f6e206279207a65726f0000000000006000830152602082019050919050565b60006113fb602883611781565b91507f4f776e61626c653a206f776e6572736869702069732072656e6f756e6368656460008301527f20616c72656164790000000000000000000000000000000000000000000000006020830152604082019050919050565b6000611461602183611781565b91507f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f60008301527f77000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006114c7602083611781565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b6000611507602483611781565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206e6577206f60008301527f776e6572000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b611569816118e5565b82525050565b600060208201905061158460008301846112aa565b92915050565b600060608201905061159f60008301866112aa565b6115ac60208301856112aa565b6115b96040830184611560565b949350505050565b60006040820190506115d660008301856112aa565b6115e36020830184611560565b9392505050565b60006020820190506115ff60008301846112b9565b92915050565b6000602082019050818103600083015261161e816112c8565b9050919050565b6000602082019050818103600083015261163e8161132e565b9050919050565b6000602082019050818103600083015261165e8161136e565b9050919050565b6000602082019050818103600083015261167e816113ae565b9050919050565b6000602082019050818103600083015261169e816113ee565b9050919050565b600060208201905081810360008301526116be81611454565b9050919050565b600060208201905081810360008301526116de816114ba565b9050919050565b600060208201905081810360008301526116fe816114fa565b9050919050565b600060208201905061171a6000830184611560565b92915050565b600060c0820190506117356000830189611560565b6117426020830188611560565b61174f6040830187611560565b61175c6060830186611560565b6117696080830185611560565b61177660a08301846112b9565b979650505050505050565b600082825260208201905092915050565b600061179d826118e5565b91506117a8836118e5565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156117dd576117dc6118ef565b5b828201905092915050565b60006117f3826118e5565b91506117fe836118e5565b92508261180e5761180d61191e565b5b828204905092915050565b6000611824826118e5565b915061182f836118e5565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615611868576118676118ef565b5b828202905092915050565b600061187e826118e5565b9150611889836118e5565b92508282101561189c5761189b6118ef565b5b828203905092915050565b60006118b2826118c5565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b611956816118a7565b811461196157600080fd5b50565b61196d816118b9565b811461197857600080fd5b50565b611984816118e5565b811461198f57600080fd5b5056fea264697066735822122096976b2502c7f6ea733649514130d7a245589ab7fba8107dbb80029b76917e2964736f6c634300080000330000000000000000000000008eedefe828a0f16c8fc80e46a87bc0f1de2d960c

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c806379ba50971161007157806379ba50971461018d5780637e851e13146101975780638195ed24146101b557806386cb9498146101ea5780638da5cb5b1461021a578063e545f94114610238576100b4565b80631eda4cf4146100b95780632a2eddde146100d75780633cfb4dcf14610107578063710bf32214610137578063715018a61461015357806374a8f1031461015d575b600080fd5b6100c1610254565b6040516100ce919061156f565b60405180910390f35b6100f160048036038101906100ec919061120a565b610278565b6040516100fe91906115ea565b60405180910390f35b610121600480360381019061011c91906111e1565b6103e8565b60405161012e9190611705565b60405180910390f35b610151600480360381019061014c91906111e1565b61044e565b005b61015b61057e565b005b610177600480360381019061017291906111e1565b610606565b60405161018491906115ea565b60405180910390f35b610195610848565b005b61019f610a68565b6040516101ac91906115ea565b60405180910390f35b6101cf60048036038101906101ca91906111e1565b610a7a565b6040516101e196959493929190611720565b60405180910390f35b61020460048036038101906101ff91906111e1565b610ac3565b6040516102119190611705565b60405180910390f35b610222610ad5565b60405161022f919061156f565b60405180910390f35b610252600480360381019061024d91906111e1565b610afe565b005b7f0000000000000000000000008eedefe828a0f16c8fc80e46a87bc0f1de2d960c81565b600080600260008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050600081600101541115610316578060050160009054906101000a900460ff166102e457600080fd5b600061030582600301546102f78a610cb5565b610df090919063ffffffff16565b90506000811461031457600080fd5b505b7f0000000000000000000000008eedefe828a0f16c8fc80e46a87bc0f1de2d960c73ffffffffffffffffffffffffffffffffffffffff166323b872dd61035a610e4f565b30896040518463ffffffff1660e01b815260040161037a9392919061158a565b602060405180830381600087803b15801561039457600080fd5b505af11580156103a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103cc9190611281565b506103da8787878787610e57565b600191505095945050505050565b6000610447600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206003015461043984610cb5565b610df090919063ffffffff16565b9050919050565b610456610e4f565b73ffffffffffffffffffffffffffffffffffffffff16610474610ad5565b73ffffffffffffffffffffffffffffffffffffffff16146104ca576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c1906116c5565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561053a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053190611605565b60405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b610586610e4f565b73ffffffffffffffffffffffffffffffffffffffff166105a4610ad5565b73ffffffffffffffffffffffffffffffffffffffff16146105fa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f1906116c5565b60405180910390fd5b6106046000610f41565b565b6000610610610e4f565b73ffffffffffffffffffffffffffffffffffffffff1661062e610ad5565b73ffffffffffffffffffffffffffffffffffffffff1614610684576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067b906116c5565b60405180910390fd5b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090508060050160009054906101000a900460ff16156106e357600080fd5b60008160040154905060006106f785610cb5565b9050600061070e8284610df090919063ffffffff16565b90506000811161071d57600080fd5b60018460050160006101000a81548160ff0219169083151502179055508184600401819055507f0000000000000000000000008eedefe828a0f16c8fc80e46a87bc0f1de2d960c73ffffffffffffffffffffffffffffffffffffffff1663a9059cbb610787610ad5565b836040518363ffffffff1660e01b81526004016107a59291906115c1565b602060405180830381600087803b1580156107bf57600080fd5b505af11580156107d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f79190611281565b508573ffffffffffffffffffffffffffffffffffffffff167f68d870ac0aff3819234e8a1fc8f357b40d75212f2dc8594b97690fa205b3bab260405160405180910390a26001945050505050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146108d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108cf906116e5565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610968576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161095f90611685565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000610a7333610afe565b6001905090565b60026020528060005260406000206000915090508060000154908060010154908060020154908060030154908060040154908060050160009054906101000a900460ff16905086565b6000610ace82610cb5565b9050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610b3857600080fd5b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090506000610b8683611005565b905060008111610b9557600080fd5b610bac81836003015461106b90919063ffffffff16565b82600301819055507f0000000000000000000000008eedefe828a0f16c8fc80e46a87bc0f1de2d960c73ffffffffffffffffffffffffffffffffffffffff1663a9059cbb84836040518363ffffffff1660e01b8152600401610c0f9291906115c1565b602060405180830381600087803b158015610c2957600080fd5b505af1158015610c3d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c619190611281565b508273ffffffffffffffffffffffffffffffffffffffff167f9cf9e3ab58b33f06d81842ea0ad850b6640c6430d6396973312e1715792e7a9182604051610ca89190611705565b60405180910390a2505050565b600080600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050600081600401549050610d1d8260000154836001015461106b90919063ffffffff16565b421015610d2f57600092505050610deb565b610d4a8260020154836001015461106b90919063ffffffff16565b42101580610d6657508160050160009054906101000a900460ff165b15610d75578092505050610deb565b6000610da48360000154610d96856001015442610df090919063ffffffff16565b6110c990919063ffffffff16565b9050610de58360020154610dd7610dc886600001548561112790919063ffffffff16565b8561112790919063ffffffff16565b6110c990919063ffffffff16565b93505050505b919050565b600082821115610e35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e2c90611645565b60405180910390fd5b60008284610e439190611873565b90508091505092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415610e9157600080fd5b42811015610e9e57600080fd5b81831115610eab57600080fd5b6000600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090508381600001819055508181600101819055508281600201819055508481600401819055506000816003018190555060008160050160006101000a81548160ff021916908315150217905550505050505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b6000611064600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206003015461105684610cb5565b610df090919063ffffffff16565b9050919050565b600080828461107a9190611792565b9050838110156110bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110b690611625565b60405180910390fd5b8091505092915050565b600080821161110d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110490611665565b60405180910390fd5b6000828461111b91906117e8565b90508091505092915050565b60008083141561113a576000905061119c565b600082846111489190611819565b905082848261115791906117e8565b14611197576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118e906116a5565b60405180910390fd5b809150505b92915050565b6000813590506111b18161194d565b92915050565b6000815190506111c681611964565b92915050565b6000813590506111db8161197b565b92915050565b6000602082840312156111f357600080fd5b6000611201848285016111a2565b91505092915050565b600080600080600060a0868803121561122257600080fd5b6000611230888289016111a2565b9550506020611241888289016111cc565b9450506040611252888289016111cc565b9350506060611263888289016111cc565b9250506080611274888289016111cc565b9150509295509295909350565b60006020828403121561129357600080fd5b60006112a1848285016111b7565b91505092915050565b6112b3816118a7565b82525050565b6112c2816118b9565b82525050565b60006112d5602683611781565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061133b601b83611781565b91507f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006000830152602082019050919050565b600061137b601e83611781565b91507f536166654d6174683a207375627472616374696f6e206f766572666c6f7700006000830152602082019050919050565b60006113bb601a83611781565b91507f536166654d6174683a206469766973696f6e206279207a65726f0000000000006000830152602082019050919050565b60006113fb602883611781565b91507f4f776e61626c653a206f776e6572736869702069732072656e6f756e6368656460008301527f20616c72656164790000000000000000000000000000000000000000000000006020830152604082019050919050565b6000611461602183611781565b91507f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f60008301527f77000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006114c7602083611781565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b6000611507602483611781565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206e6577206f60008301527f776e6572000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b611569816118e5565b82525050565b600060208201905061158460008301846112aa565b92915050565b600060608201905061159f60008301866112aa565b6115ac60208301856112aa565b6115b96040830184611560565b949350505050565b60006040820190506115d660008301856112aa565b6115e36020830184611560565b9392505050565b60006020820190506115ff60008301846112b9565b92915050565b6000602082019050818103600083015261161e816112c8565b9050919050565b6000602082019050818103600083015261163e8161132e565b9050919050565b6000602082019050818103600083015261165e8161136e565b9050919050565b6000602082019050818103600083015261167e816113ae565b9050919050565b6000602082019050818103600083015261169e816113ee565b9050919050565b600060208201905081810360008301526116be81611454565b9050919050565b600060208201905081810360008301526116de816114ba565b9050919050565b600060208201905081810360008301526116fe816114fa565b9050919050565b600060208201905061171a6000830184611560565b92915050565b600060c0820190506117356000830189611560565b6117426020830188611560565b61174f6040830187611560565b61175c6060830186611560565b6117696080830185611560565b61177660a08301846112b9565b979650505050505050565b600082825260208201905092915050565b600061179d826118e5565b91506117a8836118e5565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156117dd576117dc6118ef565b5b828201905092915050565b60006117f3826118e5565b91506117fe836118e5565b92508261180e5761180d61191e565b5b828204905092915050565b6000611824826118e5565b915061182f836118e5565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615611868576118676118ef565b5b828202905092915050565b600061187e826118e5565b9150611889836118e5565b92508282101561189c5761189b6118ef565b5b828203905092915050565b60006118b2826118c5565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b611956816118a7565b811461196157600080fd5b50565b61196d816118b9565b811461197857600080fd5b50565b611984816118e5565b811461198f57600080fd5b5056fea264697066735822122096976b2502c7f6ea733649514130d7a245589ab7fba8107dbb80029b76917e2964736f6c63430008000033

0000000000000000000000008eedefe828a0f16c8fc80e46a87bc0f1de2d960c

-----Decoded View---------------
Arg [0] : dgmv_token (address): 0x8EEdEFe828A0f16C8fc80e46a87Bc0f1De2d960c

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000008eedefe828a0f16c8fc80e46a87bc0f1de2d960c

5227:5876:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5316:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6309:579;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7300:160;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4463:184;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4285:94;;;:::i;:::-;;10556:544;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4744:293;;;:::i;:::-;;8518:114;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5595:50;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;;:::i;:::-;;;;;;;;7024:117;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3799:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8775:477;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5316:35;;;:::o;6309:579::-;6430:4;6447:26;6476:10;:19;6487:7;6476:19;;;;;;;;;;;;;;;6447:48;;6525:1;6510:6;:12;;;:16;6507:204;;;6551:6;:14;;;;;;;;;;;;6543:23;;;;;;6582:20;6605:48;6632:6;:20;;;6605:22;6619:7;6605:13;:22::i;:::-;:26;;:48;;;;:::i;:::-;6582:71;;6696:1;6677:15;:20;6669:29;;;;;;6507:204;;6729:10;6722:31;;;6754:12;:10;:12::i;:::-;6776:4;6783:6;6722:68;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6802:54;6814:7;6823:6;6831:5;6838:8;6848:7;6802:11;:54::i;:::-;6875:4;6868:11;;;6309:579;;;;;;;:::o;7300:160::-;7365:7;7391:61;7418:10;:19;7429:7;7418:19;;;;;;;;;;;;;;;:33;;;7391:22;7405:7;7391:13;:22::i;:::-;:26;;:61;;;;:::i;:::-;7384:68;;7300:160;;;:::o;4463:184::-;4030:12;:10;:12::i;:::-;4019:23;;:7;:5;:7::i;:::-;:23;;;4011:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4563:1:::1;4543:22;;:8;:22;;;;4535:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;4631:8;4619:9;;:20;;;;;;;;;;;;;;;;;;4463:184:::0;:::o;4285:94::-;4030:12;:10;:12::i;:::-;4019:23;;:7;:5;:7::i;:::-;:23;;;4011:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4350:21:::1;4368:1;4350:9;:21::i;:::-;4285:94::o:0;10556:544::-;10616:4;4030:12;:10;:12::i;:::-;4019:23;;:7;:5;:7::i;:::-;:23;;;4011:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10633:26:::1;10662:10;:19;10673:7;10662:19;;;;;;;;;;;;;;;10633:48;;10701:6;:14;;;;;;;;;;;;10700:15;10692:24;;;::::0;::::1;;10727:15;10745:6;:17;;;10727:35;;10773:20;10796:22;10810:7;10796:13;:22::i;:::-;10773:45;;10829:14;10846:25;10858:12;10846:7;:11;;:25;;;;:::i;:::-;10829:42;;10899:1;10890:6;:10;10882:19;;;::::0;::::1;;10929:4;10912:6;:14;;;:21;;;;;;;;;;;;;;;;;;10964:12;10944:6;:17;;:32;;;;10994:10;10987:27;;;11015:7;:5;:7::i;:::-;11024:6;10987:44;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11062:7;11047:23;;;;;;;;;;;;11088:4;11081:11;;;;;;10556:544:::0;;;:::o;4744:293::-;4811:9;;;;;;;;;;;4797:23;;:10;:23;;;4789:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;4898:1;4880:20;;:6;;;;;;;;;;:20;;;;4872:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;4990:9;;;;;;;;;;;4961:39;;4982:6;;;;;;;;;;4961:39;;;;;;;;;;;;5020:9;;;;;;;;;;;5011:6;;:18;;;;;;;;;;;;;;;;;;4744:293::o;8518:114::-;8561:4;8578:24;8591:10;8578:12;:24::i;:::-;8620:4;8613:11;;8518:114;:::o;5595:50::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7024:117::-;7085:7;7111:22;7125:7;7111:13;:22::i;:::-;7104:29;;7024:117;;;:::o;3799:87::-;3845:7;3872:6;;;;;;;;;;;3865:13;;3799:87;:::o;8775:477::-;8858:1;8839:21;;:7;:21;;;;8831:30;;;;;;8871:26;8900:10;:19;8911:7;8900:19;;;;;;;;;;;;;;;8871:48;;8929:23;8955:26;8973:7;8955:17;:26::i;:::-;8929:52;;9052:1;9036:15;:17;9028:26;;;;;;9087:41;9112:15;9087:6;:20;;;:24;;:41;;;;:::i;:::-;9064:6;:20;;:64;;;;9145:10;9138:27;;;9166:7;9174:15;9138:52;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9219:7;9205:39;;;9228:15;9205:39;;;;;;:::i;:::-;;;;;;;;8775:477;;;:::o;9706:611::-;9769:7;9789:26;9818:10;:19;9829:7;9818:19;;;;;;;;;;;;;;;9789:48;;9848:18;9869:6;:17;;;9848:38;;9919:30;9936:6;:12;;;9919:6;:12;;;:16;;:30;;;;:::i;:::-;9900:15;:49;9897:413;;;9972:1;9965:8;;;;;;9897:413;10012:33;10029:6;:15;;;10012:6;:12;;;:16;;:33;;;;:::i;:::-;9993:15;:52;;:70;;;;10049:6;:14;;;;;;;;;;;;9993:70;9990:320;;;10086:10;10079:17;;;;;;9990:320;10127:23;10153:53;10193:6;:12;;;10154:33;10174:6;:12;;;10154:15;:19;;:33;;;;:::i;:::-;10153:39;;:53;;;;:::i;:::-;10127:79;;10228:70;10282:6;:15;;;10228:49;10243:33;10263:6;:12;;;10243:15;:19;;:33;;;;:::i;:::-;10228:10;:14;;:49;;;;:::i;:::-;:53;;:70;;;;:::i;:::-;10221:77;;;;;9706:611;;;;:::o;1004:184::-;1062:7;1095:1;1090;:6;;1082:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;1142:9;1158:1;1154;:5;;;;:::i;:::-;1142:17;;1179:1;1172:8;;;1004:184;;;;:::o;2955:98::-;3008:7;3035:10;3028:17;;2955:98;:::o;7879:517::-;8029:1;8012:19;;:7;:19;;;;8004:28;;;;;;8063:15;8052:7;:26;;8044:35;;;;;;8106:8;8099:5;:15;;8091:24;;;;;;8127:26;8156:10;:19;8167:7;8156:19;;;;;;;;;;;;;;;8127:48;;8202:5;8187:6;:12;;:20;;;;8234:7;8219:6;:12;;:22;;;;8271:8;8253:6;:15;;:26;;;;8311:6;8291;:17;;:26;;;;8352:1;8329:6;:20;;:24;;;;8382:5;8365:6;:14;;;:22;;;;;;;;;;;;;;;;;;7879:517;;;;;;:::o;5045:173::-;5101:16;5120:6;;;;;;;;;;;5101:25;;5146:8;5137:6;;:17;;;;;;;;;;;;;;;;;;5201:8;5170:40;;5191:8;5170:40;;;;;;;;;;;;5045:173;;:::o;9410:163::-;9477:7;9504:61;9531:10;:19;9542:7;9531:19;;;;;;;;;;;;;;;:33;;;9504:22;9518:7;9504:13;:22::i;:::-;:26;;:61;;;;:::i;:::-;9497:68;;9410:163;;;:::o;1276:181::-;1334:7;1354:9;1370:1;1366;:5;;;;:::i;:::-;1354:17;;1395:1;1390;:6;;1382:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;1448:1;1441:8;;;1276:181;;;;:::o;671:195::-;729:7;770:1;766;:5;758:44;;;;;;;;;;;;:::i;:::-;;;;;;;;;813:9;829:1;825;:5;;;;:::i;:::-;813:17;;857:1;850:8;;;671:195;;;;:::o;275:261::-;333:7;372:1;367;:6;363:47;;;397:1;390:8;;;;363:47;422:9;438:1;434;:5;;;;:::i;:::-;422:17;;467:1;462;458;:5;;;;:::i;:::-;:10;450:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;527:1;520:8;;;275:261;;;;;:::o;7:139:1:-;;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:137::-;;237:6;231:13;222:22;;253:30;277:5;253:30;:::i;:::-;212:77;;;;:::o;295:139::-;;379:6;366:20;357:29;;395:33;422:5;395:33;:::i;:::-;347:87;;;;:::o;440:262::-;;548:2;536:9;527:7;523:23;519:32;516:2;;;564:1;561;554:12;516:2;607:1;632:53;677:7;668:6;657:9;653:22;632:53;:::i;:::-;622:63;;578:117;506:196;;;;:::o;708:844::-;;;;;;884:3;872:9;863:7;859:23;855:33;852:2;;;901:1;898;891:12;852:2;944:1;969:53;1014:7;1005:6;994:9;990:22;969:53;:::i;:::-;959:63;;915:117;1071:2;1097:53;1142:7;1133:6;1122:9;1118:22;1097:53;:::i;:::-;1087:63;;1042:118;1199:2;1225:53;1270:7;1261:6;1250:9;1246:22;1225:53;:::i;:::-;1215:63;;1170:118;1327:2;1353:53;1398:7;1389:6;1378:9;1374:22;1353:53;:::i;:::-;1343:63;;1298:118;1455:3;1482:53;1527:7;1518:6;1507:9;1503:22;1482:53;:::i;:::-;1472:63;;1426:119;842:710;;;;;;;;:::o;1558:278::-;;1674:2;1662:9;1653:7;1649:23;1645:32;1642:2;;;1690:1;1687;1680:12;1642:2;1733:1;1758:61;1811:7;1802:6;1791:9;1787:22;1758:61;:::i;:::-;1748:71;;1704:125;1632:204;;;;:::o;1842:118::-;1929:24;1947:5;1929:24;:::i;:::-;1924:3;1917:37;1907:53;;:::o;1966:109::-;2047:21;2062:5;2047:21;:::i;:::-;2042:3;2035:34;2025:50;;:::o;2081:370::-;;2244:67;2308:2;2303:3;2244:67;:::i;:::-;2237:74;;2341:34;2337:1;2332:3;2328:11;2321:55;2407:8;2402:2;2397:3;2393:12;2386:30;2442:2;2437:3;2433:12;2426:19;;2227:224;;;:::o;2457:325::-;;2620:67;2684:2;2679:3;2620:67;:::i;:::-;2613:74;;2717:29;2713:1;2708:3;2704:11;2697:50;2773:2;2768:3;2764:12;2757:19;;2603:179;;;:::o;2788:328::-;;2951:67;3015:2;3010:3;2951:67;:::i;:::-;2944:74;;3048:32;3044:1;3039:3;3035:11;3028:53;3107:2;3102:3;3098:12;3091:19;;2934:182;;;:::o;3122:324::-;;3285:67;3349:2;3344:3;3285:67;:::i;:::-;3278:74;;3382:28;3378:1;3373:3;3369:11;3362:49;3437:2;3432:3;3428:12;3421:19;;3268:178;;;:::o;3452:372::-;;3615:67;3679:2;3674:3;3615:67;:::i;:::-;3608:74;;3712:34;3708:1;3703:3;3699:11;3692:55;3778:10;3773:2;3768:3;3764:12;3757:32;3815:2;3810:3;3806:12;3799:19;;3598:226;;;:::o;3830:365::-;;3993:67;4057:2;4052:3;3993:67;:::i;:::-;3986:74;;4090:34;4086:1;4081:3;4077:11;4070:55;4156:3;4151:2;4146:3;4142:12;4135:25;4186:2;4181:3;4177:12;4170:19;;3976:219;;;:::o;4201:330::-;;4364:67;4428:2;4423:3;4364:67;:::i;:::-;4357:74;;4461:34;4457:1;4452:3;4448:11;4441:55;4522:2;4517:3;4513:12;4506:19;;4347:184;;;:::o;4537:368::-;;4700:67;4764:2;4759:3;4700:67;:::i;:::-;4693:74;;4797:34;4793:1;4788:3;4784:11;4777:55;4863:6;4858:2;4853:3;4849:12;4842:28;4896:2;4891:3;4887:12;4880:19;;4683:222;;;:::o;4911:118::-;4998:24;5016:5;4998:24;:::i;:::-;4993:3;4986:37;4976:53;;:::o;5035:222::-;;5166:2;5155:9;5151:18;5143:26;;5179:71;5247:1;5236:9;5232:17;5223:6;5179:71;:::i;:::-;5133:124;;;;:::o;5263:442::-;;5450:2;5439:9;5435:18;5427:26;;5463:71;5531:1;5520:9;5516:17;5507:6;5463:71;:::i;:::-;5544:72;5612:2;5601:9;5597:18;5588:6;5544:72;:::i;:::-;5626;5694:2;5683:9;5679:18;5670:6;5626:72;:::i;:::-;5417:288;;;;;;:::o;5711:332::-;;5870:2;5859:9;5855:18;5847:26;;5883:71;5951:1;5940:9;5936:17;5927:6;5883:71;:::i;:::-;5964:72;6032:2;6021:9;6017:18;6008:6;5964:72;:::i;:::-;5837:206;;;;;:::o;6049:210::-;;6174:2;6163:9;6159:18;6151:26;;6187:65;6249:1;6238:9;6234:17;6225:6;6187:65;:::i;:::-;6141:118;;;;:::o;6265:419::-;;6469:2;6458:9;6454:18;6446:26;;6518:9;6512:4;6508:20;6504:1;6493:9;6489:17;6482:47;6546:131;6672:4;6546:131;:::i;:::-;6538:139;;6436:248;;;:::o;6690:419::-;;6894:2;6883:9;6879:18;6871:26;;6943:9;6937:4;6933:20;6929:1;6918:9;6914:17;6907:47;6971:131;7097:4;6971:131;:::i;:::-;6963:139;;6861:248;;;:::o;7115:419::-;;7319:2;7308:9;7304:18;7296:26;;7368:9;7362:4;7358:20;7354:1;7343:9;7339:17;7332:47;7396:131;7522:4;7396:131;:::i;:::-;7388:139;;7286:248;;;:::o;7540:419::-;;7744:2;7733:9;7729:18;7721:26;;7793:9;7787:4;7783:20;7779:1;7768:9;7764:17;7757:47;7821:131;7947:4;7821:131;:::i;:::-;7813:139;;7711:248;;;:::o;7965:419::-;;8169:2;8158:9;8154:18;8146:26;;8218:9;8212:4;8208:20;8204:1;8193:9;8189:17;8182:47;8246:131;8372:4;8246:131;:::i;:::-;8238:139;;8136:248;;;:::o;8390:419::-;;8594:2;8583:9;8579:18;8571:26;;8643:9;8637:4;8633:20;8629:1;8618:9;8614:17;8607:47;8671:131;8797:4;8671:131;:::i;:::-;8663:139;;8561:248;;;:::o;8815:419::-;;9019:2;9008:9;9004:18;8996:26;;9068:9;9062:4;9058:20;9054:1;9043:9;9039:17;9032:47;9096:131;9222:4;9096:131;:::i;:::-;9088:139;;8986:248;;;:::o;9240:419::-;;9444:2;9433:9;9429:18;9421:26;;9493:9;9487:4;9483:20;9479:1;9468:9;9464:17;9457:47;9521:131;9647:4;9521:131;:::i;:::-;9513:139;;9411:248;;;:::o;9665:222::-;;9796:2;9785:9;9781:18;9773:26;;9809:71;9877:1;9866:9;9862:17;9853:6;9809:71;:::i;:::-;9763:124;;;;:::o;9893:763::-;;10158:3;10147:9;10143:19;10135:27;;10172:71;10240:1;10229:9;10225:17;10216:6;10172:71;:::i;:::-;10253:72;10321:2;10310:9;10306:18;10297:6;10253:72;:::i;:::-;10335;10403:2;10392:9;10388:18;10379:6;10335:72;:::i;:::-;10417;10485:2;10474:9;10470:18;10461:6;10417:72;:::i;:::-;10499:73;10567:3;10556:9;10552:19;10543:6;10499:73;:::i;:::-;10582:67;10644:3;10633:9;10629:19;10620:6;10582:67;:::i;:::-;10125:531;;;;;;;;;:::o;10662:169::-;;10780:6;10775:3;10768:19;10820:4;10815:3;10811:14;10796:29;;10758:73;;;;:::o;10837:305::-;;10896:20;10914:1;10896:20;:::i;:::-;10891:25;;10930:20;10948:1;10930:20;:::i;:::-;10925:25;;11084:1;11016:66;11012:74;11009:1;11006:81;11003:2;;;11090:18;;:::i;:::-;11003:2;11134:1;11131;11127:9;11120:16;;10881:261;;;;:::o;11148:185::-;;11205:20;11223:1;11205:20;:::i;:::-;11200:25;;11239:20;11257:1;11239:20;:::i;:::-;11234:25;;11278:1;11268:2;;11283:18;;:::i;:::-;11268:2;11325:1;11322;11318:9;11313:14;;11190:143;;;;:::o;11339:348::-;;11402:20;11420:1;11402:20;:::i;:::-;11397:25;;11436:20;11454:1;11436:20;:::i;:::-;11431:25;;11624:1;11556:66;11552:74;11549:1;11546:81;11541:1;11534:9;11527:17;11523:105;11520:2;;;11631:18;;:::i;:::-;11520:2;11679:1;11676;11672:9;11661:20;;11387:300;;;;:::o;11693:191::-;;11753:20;11771:1;11753:20;:::i;:::-;11748:25;;11787:20;11805:1;11787:20;:::i;:::-;11782:25;;11826:1;11823;11820:8;11817:2;;;11831:18;;:::i;:::-;11817:2;11876:1;11873;11869:9;11861:17;;11738:146;;;;:::o;11890:96::-;;11956:24;11974:5;11956:24;:::i;:::-;11945:35;;11935:51;;;:::o;11992:90::-;;12069:5;12062:13;12055:21;12044:32;;12034:48;;;:::o;12088:126::-;;12165:42;12158:5;12154:54;12143:65;;12133:81;;;:::o;12220:77::-;;12286:5;12275:16;;12265:32;;;:::o;12303:180::-;12351:77;12348:1;12341:88;12448:4;12445:1;12438:15;12472:4;12469:1;12462:15;12489:180;12537:77;12534:1;12527:88;12634:4;12631:1;12624:15;12658:4;12655:1;12648:15;12675:122;12748:24;12766:5;12748:24;:::i;:::-;12741:5;12738:35;12728:2;;12787:1;12784;12777:12;12728:2;12718:79;:::o;12803:116::-;12873:21;12888:5;12873:21;:::i;:::-;12866:5;12863:32;12853:2;;12909:1;12906;12899:12;12853:2;12843:76;:::o;12925:122::-;12998:24;13016:5;12998:24;:::i;:::-;12991:5;12988:35;12978:2;;13037:1;13034;13027:12;12978:2;12968:79;:::o

ipfs://96976b2502c7f6ea733649514130d7a245589ab7fba8107dbb80029b76917e29