Contract

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 ...
•  contract VRDStaking *
•    - function stake(uint256 _amount)
•    - function requestUnstake()
•    - function unstake()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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

// ooooo  oooo oooooooooo  ooooooooo             oooooooo8 ooooooooooo   o      oooo   oooo ooooo oooo   oooo  ooooooo8  
//  888    88   888    888  888    88o          888        88  888  88  888      888  o88    888   8888o  88 o888    88  
//   888  88    888oooo88   888    888 ooooooooo 888oooooo     888     8  88     888888      888   88 888o88 888    oooo 
//    88888     888  88o    888    888                  888    888    8oooo88    888  88o    888   88   8888 888o    88  
//     888     o888o  88o8 o888ooo88            o88oooo888    o888o o88o  o888o o888o o888o o888o o88o    88  888ooo888                                                                                                    

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the value of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the value of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves a `value` amount of tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 value) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets a `value` amount of tokens as the allowance of `spender` over the
     * caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 value) external returns (bool);

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to` using the
     * allowance mechanism. `value` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address from, address to, uint256 value) external returns (bool);
}

// File: contracts/VRDStaking.sol
pragma solidity ^0.8.20;


contract VRDStaking {
    IERC20 public vrdToken;

    struct Stake {
        uint256 amountStaked;
        address stakerAddress;
        uint256 unstakeRequestTimestamp; // Timestamp when the unstake request was made
        bool isStaked;
    }

    event Staked(uint256 amount,address staker,uint256 timestamp);
    event UnStaked(address staker,uint256 timestamp);
    event RequestUnstake(address staker,uint256 timestamp);

    mapping(address => Stake) public stakes;
    constructor(address _vrdTokenAddress) {
        vrdToken = IERC20(_vrdTokenAddress);
    }

    function stake(uint256 _amount) external {
        require(_amount > 0, "Amount must be greater than 0");
        require(vrdToken.transferFrom(msg.sender, address(this), _amount), "VRD Transfer failed");
   
        Stake storage stake = stakes[msg.sender];

        stake.amountStaked += _amount;
        stake.stakerAddress = msg.sender;
        stake.isStaked = true;
        stake.unstakeRequestTimestamp = 0; // Resetting the unstake request timestamp
        emit Staked(_amount,msg.sender,block.timestamp);
    }

    function requestUnstake() external {
        Stake storage stake = stakes[msg.sender];
        require(stake.amountStaked > 0, "No tokens to unstake");
        require(stake.amountStaked > 0, "Nothing staked");
        require(stake.unstakeRequestTimestamp == 0, "Unstake request already made");

        stake.isStaked = false;
        stake.unstakeRequestTimestamp = block.timestamp;
        emit RequestUnstake(msg.sender,block.timestamp);
    }

    function unstake() external {
        Stake storage stake = stakes[msg.sender];
        require(stake.amountStaked > 0, "Nothing staked");
        require(block.timestamp >= stake.unstakeRequestTimestamp + 14 days, "Unstake request is still in the notice period");
        
        require(vrdToken.transfer(msg.sender, stake.amountStaked), "Transfer failed");
        
        stake.amountStaked = 0;
        stake.unstakeRequestTimestamp = 0; // Resetting the unstake request timestamp
        emit UnStaked(msg.sender,block.timestamp);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_vrdTokenAddress","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"staker","type":"address"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"RequestUnstake","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"address","name":"staker","type":"address"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"Staked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"staker","type":"address"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"UnStaked","type":"event"},{"inputs":[],"name":"requestUnstake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"stake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"stakes","outputs":[{"internalType":"uint256","name":"amountStaked","type":"uint256"},{"internalType":"address","name":"stakerAddress","type":"address"},{"internalType":"uint256","name":"unstakeRequestTimestamp","type":"uint256"},{"internalType":"bool","name":"isStaked","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unstake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"vrdToken","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

608060405234801561000f575f80fd5b50604051610e4f380380610e4f833981810160405281019061003191906100d4565b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550506100ff565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6100a38261007a565b9050919050565b6100b381610099565b81146100bd575f80fd5b50565b5f815190506100ce816100aa565b92915050565b5f602082840312156100e9576100e8610076565b5b5f6100f6848285016100c0565b91505092915050565b610d438061010c5f395ff3fe608060405234801561000f575f80fd5b5060043610610055575f3560e01c806316934fc4146100595780632def66201461008c578063a694fc3a14610096578063c5f3feda146100b2578063fc63958e146100d0575b5f80fd5b610073600480360381019061006e9190610741565b6100da565b60405161008394939291906107ad565b60405180910390f35b610094610131565b005b6100b060048036038101906100ab919061081a565b610334565b005b6100ba610550565b6040516100c791906108a0565b60405180910390f35b6100d8610573565b005b6001602052805f5260405f205f91509050805f015490806001015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690806002015490806003015f9054906101000a900460ff16905084565b5f60015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2090505f815f0154116101b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101ad90610913565b60405180910390fd5b6212750081600201546101c9919061095e565b42101561020b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161020290610a01565b60405180910390fd5b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33835f01546040518363ffffffff1660e01b8152600401610268929190610a1f565b6020604051808303815f875af1158015610284573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102a89190610a70565b6102e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102de90610ae5565b60405180910390fd5b5f815f01819055505f81600201819055507f79d3df6837cc49ff0e09fd3258e6e45594e0703445bb06825e9d75156eaee8f03342604051610329929190610a1f565b60405180910390a150565b5f8111610376576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036d90610b4d565b60405180910390fd5b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b81526004016103d293929190610b6b565b6020604051808303815f875af11580156103ee573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104129190610a70565b610451576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161044890610bea565b60405180910390fd5b5f60015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20905081815f015f8282546104a3919061095e565b9250508190555033816001015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001816003015f6101000a81548160ff0219169083151502179055505f81600201819055507f18dcd430020e4d4899772fd94a8b40451dc5044dfb70bc46b532eeae431c864f82334260405161054493929190610c08565b60405180910390a15050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2090505f815f0154116105f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ef90610c87565b60405180910390fd5b5f815f01541161063d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161063490610913565b60405180910390fd5b5f816002015414610683576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067a90610cef565b60405180910390fd5b5f816003015f6101000a81548160ff0219169083151502179055504281600201819055507f4dc53348f72f413fae8abef5bcca774d65cfb89737cabe42ec856c2412e281d633426040516106d8929190610a1f565b60405180910390a150565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610710826106e7565b9050919050565b61072081610706565b811461072a575f80fd5b50565b5f8135905061073b81610717565b92915050565b5f60208284031215610756576107556106e3565b5b5f6107638482850161072d565b91505092915050565b5f819050919050565b61077e8161076c565b82525050565b61078d81610706565b82525050565b5f8115159050919050565b6107a781610793565b82525050565b5f6080820190506107c05f830187610775565b6107cd6020830186610784565b6107da6040830185610775565b6107e7606083018461079e565b95945050505050565b6107f98161076c565b8114610803575f80fd5b50565b5f81359050610814816107f0565b92915050565b5f6020828403121561082f5761082e6106e3565b5b5f61083c84828501610806565b91505092915050565b5f819050919050565b5f61086861086361085e846106e7565b610845565b6106e7565b9050919050565b5f6108798261084e565b9050919050565b5f61088a8261086f565b9050919050565b61089a81610880565b82525050565b5f6020820190506108b35f830184610891565b92915050565b5f82825260208201905092915050565b7f4e6f7468696e67207374616b65640000000000000000000000000000000000005f82015250565b5f6108fd600e836108b9565b9150610908826108c9565b602082019050919050565b5f6020820190508181035f83015261092a816108f1565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6109688261076c565b91506109738361076c565b925082820190508082111561098b5761098a610931565b5b92915050565b7f556e7374616b652072657175657374206973207374696c6c20696e20746865205f8201527f6e6f7469636520706572696f6400000000000000000000000000000000000000602082015250565b5f6109eb602d836108b9565b91506109f682610991565b604082019050919050565b5f6020820190508181035f830152610a18816109df565b9050919050565b5f604082019050610a325f830185610784565b610a3f6020830184610775565b9392505050565b610a4f81610793565b8114610a59575f80fd5b50565b5f81519050610a6a81610a46565b92915050565b5f60208284031215610a8557610a846106e3565b5b5f610a9284828501610a5c565b91505092915050565b7f5472616e73666572206661696c656400000000000000000000000000000000005f82015250565b5f610acf600f836108b9565b9150610ada82610a9b565b602082019050919050565b5f6020820190508181035f830152610afc81610ac3565b9050919050565b7f416d6f756e74206d7573742062652067726561746572207468616e20300000005f82015250565b5f610b37601d836108b9565b9150610b4282610b03565b602082019050919050565b5f6020820190508181035f830152610b6481610b2b565b9050919050565b5f606082019050610b7e5f830186610784565b610b8b6020830185610784565b610b986040830184610775565b949350505050565b7f565244205472616e73666572206661696c6564000000000000000000000000005f82015250565b5f610bd46013836108b9565b9150610bdf82610ba0565b602082019050919050565b5f6020820190508181035f830152610c0181610bc8565b9050919050565b5f606082019050610c1b5f830186610775565b610c286020830185610784565b610c356040830184610775565b949350505050565b7f4e6f20746f6b656e7320746f20756e7374616b650000000000000000000000005f82015250565b5f610c716014836108b9565b9150610c7c82610c3d565b602082019050919050565b5f6020820190508181035f830152610c9e81610c65565b9050919050565b7f556e7374616b65207265717565737420616c7265616479206d616465000000005f82015250565b5f610cd9601c836108b9565b9150610ce482610ca5565b602082019050919050565b5f6020820190508181035f830152610d0681610ccd565b905091905056fea2646970667358221220ddc5da77628f0975645deb75e8e7df175fe2055a386d3a2010ce916728a3124464736f6c63430008140033000000000000000000000000f25304e75026e6a35fedca3b0889ae5c4d3c55d8

0x608060405234801561000f575f80fd5b5060043610610055575f3560e01c806316934fc4146100595780632def66201461008c578063a694fc3a14610096578063c5f3feda146100b2578063fc63958e146100d0575b5f80fd5b610073600480360381019061006e9190610741565b6100da565b60405161008394939291906107ad565b60405180910390f35b610094610131565b005b6100b060048036038101906100ab919061081a565b610334565b005b6100ba610550565b6040516100c791906108a0565b60405180910390f35b6100d8610573565b005b6001602052805f5260405f205f91509050805f015490806001015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690806002015490806003015f9054906101000a900460ff16905084565b5f60015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2090505f815f0154116101b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101ad90610913565b60405180910390fd5b6212750081600201546101c9919061095e565b42101561020b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161020290610a01565b60405180910390fd5b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33835f01546040518363ffffffff1660e01b8152600401610268929190610a1f565b6020604051808303815f875af1158015610284573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102a89190610a70565b6102e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102de90610ae5565b60405180910390fd5b5f815f01819055505f81600201819055507f79d3df6837cc49ff0e09fd3258e6e45594e0703445bb06825e9d75156eaee8f03342604051610329929190610a1f565b60405180910390a150565b5f8111610376576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036d90610b4d565b60405180910390fd5b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b81526004016103d293929190610b6b565b6020604051808303815f875af11580156103ee573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104129190610a70565b610451576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161044890610bea565b60405180910390fd5b5f60015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20905081815f015f8282546104a3919061095e565b9250508190555033816001015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001816003015f6101000a81548160ff0219169083151502179055505f81600201819055507f18dcd430020e4d4899772fd94a8b40451dc5044dfb70bc46b532eeae431c864f82334260405161054493929190610c08565b60405180910390a15050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2090505f815f0154116105f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ef90610c87565b60405180910390fd5b5f815f01541161063d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161063490610913565b60405180910390fd5b5f816002015414610683576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067a90610cef565b60405180910390fd5b5f816003015f6101000a81548160ff0219169083151502179055504281600201819055507f4dc53348f72f413fae8abef5bcca774d65cfb89737cabe42ec856c2412e281d633426040516106d8929190610a1f565b60405180910390a150565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610710826106e7565b9050919050565b61072081610706565b811461072a575f80fd5b50565b5f8135905061073b81610717565b92915050565b5f60208284031215610756576107556106e3565b5b5f6107638482850161072d565b91505092915050565b5f819050919050565b61077e8161076c565b82525050565b61078d81610706565b82525050565b5f8115159050919050565b6107a781610793565b82525050565b5f6080820190506107c05f830187610775565b6107cd6020830186610784565b6107da6040830185610775565b6107e7606083018461079e565b95945050505050565b6107f98161076c565b8114610803575f80fd5b50565b5f81359050610814816107f0565b92915050565b5f6020828403121561082f5761082e6106e3565b5b5f61083c84828501610806565b91505092915050565b5f819050919050565b5f61086861086361085e846106e7565b610845565b6106e7565b9050919050565b5f6108798261084e565b9050919050565b5f61088a8261086f565b9050919050565b61089a81610880565b82525050565b5f6020820190506108b35f830184610891565b92915050565b5f82825260208201905092915050565b7f4e6f7468696e67207374616b65640000000000000000000000000000000000005f82015250565b5f6108fd600e836108b9565b9150610908826108c9565b602082019050919050565b5f6020820190508181035f83015261092a816108f1565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6109688261076c565b91506109738361076c565b925082820190508082111561098b5761098a610931565b5b92915050565b7f556e7374616b652072657175657374206973207374696c6c20696e20746865205f8201527f6e6f7469636520706572696f6400000000000000000000000000000000000000602082015250565b5f6109eb602d836108b9565b91506109f682610991565b604082019050919050565b5f6020820190508181035f830152610a18816109df565b9050919050565b5f604082019050610a325f830185610784565b610a3f6020830184610775565b9392505050565b610a4f81610793565b8114610a59575f80fd5b50565b5f81519050610a6a81610a46565b92915050565b5f60208284031215610a8557610a846106e3565b5b5f610a9284828501610a5c565b91505092915050565b7f5472616e73666572206661696c656400000000000000000000000000000000005f82015250565b5f610acf600f836108b9565b9150610ada82610a9b565b602082019050919050565b5f6020820190508181035f830152610afc81610ac3565b9050919050565b7f416d6f756e74206d7573742062652067726561746572207468616e20300000005f82015250565b5f610b37601d836108b9565b9150610b4282610b03565b602082019050919050565b5f6020820190508181035f830152610b6481610b2b565b9050919050565b5f606082019050610b7e5f830186610784565b610b8b6020830185610784565b610b986040830184610775565b949350505050565b7f565244205472616e73666572206661696c6564000000000000000000000000005f82015250565b5f610bd46013836108b9565b9150610bdf82610ba0565b602082019050919050565b5f6020820190508181035f830152610c0181610bc8565b9050919050565b5f606082019050610c1b5f830186610775565b610c286020830185610784565b610c356040830184610775565b949350505050565b7f4e6f20746f6b656e7320746f20756e7374616b650000000000000000000000005f82015250565b5f610c716014836108b9565b9150610c7c82610c3d565b602082019050919050565b5f6020820190508181035f830152610c9e81610c65565b9050919050565b7f556e7374616b65207265717565737420616c7265616479206d616465000000005f82015250565b5f610cd9601c836108b9565b9150610ce482610ca5565b602082019050919050565b5f6020820190508181035f830152610d0681610ccd565b905091905056fea2646970667358221220ddc5da77628f0975645deb75e8e7df175fe2055a386d3a2010ce916728a3124464736f6c63430008140033

000000000000000000000000f25304e75026e6a35fedca3b0889ae5c4d3c55d8

-----Decoded View---------------
Arg [0] : _vrdTokenAddress (address): 0xf25304e75026E6a35FEDcA3B0889aE5c4D3C55D8

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000f25304e75026e6a35fedca3b0889ae5c4d3c55d8

3735:2156:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4184:39;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;;;;;5334:554;;;:::i;:::-;;4330:531;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3762:22;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4869:457;;;:::i;:::-;;4184:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5334:554::-;5373:19;5395:6;:18;5402:10;5395:18;;;;;;;;;;;;;;;5373:40;;5453:1;5432:5;:18;;;:22;5424:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;5543:7;5511:5;:29;;;:39;;;;:::i;:::-;5492:15;:58;;5484:116;;;;;;;;;;;;:::i;:::-;;;;;;;;;5629:8;;;;;;;;;;:17;;;5647:10;5659:5;:18;;;5629:49;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5621:77;;;;;;;;;;;;:::i;:::-;;;;;;;;;5740:1;5719:5;:18;;:22;;;;5784:1;5752:5;:29;;:33;;;;5844:36;5853:10;5864:15;5844:36;;;;;;;:::i;:::-;;;;;;;;5362:526;5334:554::o;4330:531::-;4400:1;4390:7;:11;4382:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;4454:8;;;;;;;;;;:21;;;4476:10;4496:4;4503:7;4454:57;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4446:89;;;;;;;;;;;;:::i;:::-;;;;;;;;;4551:19;4573:6;:18;4580:10;4573:18;;;;;;;;;;;;;;;4551:40;;4626:7;4604:5;:18;;;:29;;;;;;;:::i;:::-;;;;;;;;4666:10;4644:5;:19;;;:32;;;;;;;;;;;;;;;;;;4704:4;4687:5;:14;;;:21;;;;;;;;;;;;;;;;;;4751:1;4719:5;:29;;:33;;;;4811:42;4818:7;4826:10;4837:15;4811:42;;;;;;;;:::i;:::-;;;;;;;;4371:490;4330:531;:::o;3762:22::-;;;;;;;;;;;;:::o;4869:457::-;4915:19;4937:6;:18;4944:10;4937:18;;;;;;;;;;;;;;;4915:40;;4995:1;4974:5;:18;;;:22;4966:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;5061:1;5040:5;:18;;;:22;5032:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;5133:1;5100:5;:29;;;:34;5092:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;5197:5;5180;:14;;;:22;;;;;;;;;;;;;;;;;;5245:15;5213:5;:29;;:47;;;;5276:42;5291:10;5302:15;5276:42;;;;;;;:::i;:::-;;;;;;;;4904:422;4869:457::o;88:117:1:-;197:1;194;187:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:139::-;742:5;780:6;767:20;758:29;;796:33;823:5;796:33;:::i;:::-;696:139;;;;:::o;841:329::-;900:6;949:2;937:9;928:7;924:23;920:32;917:119;;;955:79;;:::i;:::-;917:119;1075:1;1100:53;1145:7;1136:6;1125:9;1121:22;1100:53;:::i;:::-;1090:63;;1046:117;841:329;;;;:::o;1176:77::-;1213:7;1242:5;1231:16;;1176:77;;;:::o;1259:118::-;1346:24;1364:5;1346:24;:::i;:::-;1341:3;1334:37;1259:118;;:::o;1383:::-;1470:24;1488:5;1470:24;:::i;:::-;1465:3;1458:37;1383:118;;:::o;1507:90::-;1541:7;1584:5;1577:13;1570:21;1559:32;;1507:90;;;:::o;1603:109::-;1684:21;1699:5;1684:21;:::i;:::-;1679:3;1672:34;1603:109;;:::o;1718:541::-;1889:4;1927:3;1916:9;1912:19;1904:27;;1941:71;2009:1;1998:9;1994:17;1985:6;1941:71;:::i;:::-;2022:72;2090:2;2079:9;2075:18;2066:6;2022:72;:::i;:::-;2104;2172:2;2161:9;2157:18;2148:6;2104:72;:::i;:::-;2186:66;2248:2;2237:9;2233:18;2224:6;2186:66;:::i;:::-;1718:541;;;;;;;:::o;2265:122::-;2338:24;2356:5;2338:24;:::i;:::-;2331:5;2328:35;2318:63;;2377:1;2374;2367:12;2318:63;2265:122;:::o;2393:139::-;2439:5;2477:6;2464:20;2455:29;;2493:33;2520:5;2493:33;:::i;:::-;2393:139;;;;:::o;2538:329::-;2597:6;2646:2;2634:9;2625:7;2621:23;2617:32;2614:119;;;2652:79;;:::i;:::-;2614:119;2772:1;2797:53;2842:7;2833:6;2822:9;2818:22;2797:53;:::i;:::-;2787:63;;2743:117;2538:329;;;;:::o;2873:60::-;2901:3;2922:5;2915:12;;2873:60;;;:::o;2939:142::-;2989:9;3022:53;3040:34;3049:24;3067:5;3049:24;:::i;:::-;3040:34;:::i;:::-;3022:53;:::i;:::-;3009:66;;2939:142;;;:::o;3087:126::-;3137:9;3170:37;3201:5;3170:37;:::i;:::-;3157:50;;3087:126;;;:::o;3219:139::-;3282:9;3315:37;3346:5;3315:37;:::i;:::-;3302:50;;3219:139;;;:::o;3364:157::-;3464:50;3508:5;3464:50;:::i;:::-;3459:3;3452:63;3364:157;;:::o;3527:248::-;3633:4;3671:2;3660:9;3656:18;3648:26;;3684:84;3765:1;3754:9;3750:17;3741:6;3684:84;:::i;:::-;3527:248;;;;:::o;3781:169::-;3865:11;3899:6;3894:3;3887:19;3939:4;3934:3;3930:14;3915:29;;3781:169;;;;:::o;3956:164::-;4096:16;4092:1;4084:6;4080:14;4073:40;3956:164;:::o;4126:366::-;4268:3;4289:67;4353:2;4348:3;4289:67;:::i;:::-;4282:74;;4365:93;4454:3;4365:93;:::i;:::-;4483:2;4478:3;4474:12;4467:19;;4126:366;;;:::o;4498:419::-;4664:4;4702:2;4691:9;4687:18;4679:26;;4751:9;4745:4;4741:20;4737:1;4726:9;4722:17;4715:47;4779:131;4905:4;4779:131;:::i;:::-;4771:139;;4498:419;;;:::o;4923:180::-;4971:77;4968:1;4961:88;5068:4;5065:1;5058:15;5092:4;5089:1;5082:15;5109:191;5149:3;5168:20;5186:1;5168:20;:::i;:::-;5163:25;;5202:20;5220:1;5202:20;:::i;:::-;5197:25;;5245:1;5242;5238:9;5231:16;;5266:3;5263:1;5260:10;5257:36;;;5273:18;;:::i;:::-;5257:36;5109:191;;;;:::o;5306:232::-;5446:34;5442:1;5434:6;5430:14;5423:58;5515:15;5510:2;5502:6;5498:15;5491:40;5306:232;:::o;5544:366::-;5686:3;5707:67;5771:2;5766:3;5707:67;:::i;:::-;5700:74;;5783:93;5872:3;5783:93;:::i;:::-;5901:2;5896:3;5892:12;5885:19;;5544:366;;;:::o;5916:419::-;6082:4;6120:2;6109:9;6105:18;6097:26;;6169:9;6163:4;6159:20;6155:1;6144:9;6140:17;6133:47;6197:131;6323:4;6197:131;:::i;:::-;6189:139;;5916:419;;;:::o;6341:332::-;6462:4;6500:2;6489:9;6485:18;6477:26;;6513:71;6581:1;6570:9;6566:17;6557:6;6513:71;:::i;:::-;6594:72;6662:2;6651:9;6647:18;6638:6;6594:72;:::i;:::-;6341:332;;;;;:::o;6679:116::-;6749:21;6764:5;6749:21;:::i;:::-;6742:5;6739:32;6729:60;;6785:1;6782;6775:12;6729:60;6679:116;:::o;6801:137::-;6855:5;6886:6;6880:13;6871:22;;6902:30;6926:5;6902:30;:::i;:::-;6801:137;;;;:::o;6944:345::-;7011:6;7060:2;7048:9;7039:7;7035:23;7031:32;7028:119;;;7066:79;;:::i;:::-;7028:119;7186:1;7211:61;7264:7;7255:6;7244:9;7240:22;7211:61;:::i;:::-;7201:71;;7157:125;6944:345;;;;:::o;7295:165::-;7435:17;7431:1;7423:6;7419:14;7412:41;7295:165;:::o;7466:366::-;7608:3;7629:67;7693:2;7688:3;7629:67;:::i;:::-;7622:74;;7705:93;7794:3;7705:93;:::i;:::-;7823:2;7818:3;7814:12;7807:19;;7466:366;;;:::o;7838:419::-;8004:4;8042:2;8031:9;8027:18;8019:26;;8091:9;8085:4;8081:20;8077:1;8066:9;8062:17;8055:47;8119:131;8245:4;8119:131;:::i;:::-;8111:139;;7838:419;;;:::o;8263:179::-;8403:31;8399:1;8391:6;8387:14;8380:55;8263:179;:::o;8448:366::-;8590:3;8611:67;8675:2;8670:3;8611:67;:::i;:::-;8604:74;;8687:93;8776:3;8687:93;:::i;:::-;8805:2;8800:3;8796:12;8789:19;;8448:366;;;:::o;8820:419::-;8986:4;9024:2;9013:9;9009:18;9001:26;;9073:9;9067:4;9063:20;9059:1;9048:9;9044:17;9037:47;9101:131;9227:4;9101:131;:::i;:::-;9093:139;;8820:419;;;:::o;9245:442::-;9394:4;9432:2;9421:9;9417:18;9409:26;;9445:71;9513:1;9502:9;9498:17;9489:6;9445:71;:::i;:::-;9526:72;9594:2;9583:9;9579:18;9570:6;9526:72;:::i;:::-;9608;9676:2;9665:9;9661:18;9652:6;9608:72;:::i;:::-;9245:442;;;;;;:::o;9693:169::-;9833:21;9829:1;9821:6;9817:14;9810:45;9693:169;:::o;9868:366::-;10010:3;10031:67;10095:2;10090:3;10031:67;:::i;:::-;10024:74;;10107:93;10196:3;10107:93;:::i;:::-;10225:2;10220:3;10216:12;10209:19;;9868:366;;;:::o;10240:419::-;10406:4;10444:2;10433:9;10429:18;10421:26;;10493:9;10487:4;10483:20;10479:1;10468:9;10464:17;10457:47;10521:131;10647:4;10521:131;:::i;:::-;10513:139;;10240:419;;;:::o;10665:442::-;10814:4;10852:2;10841:9;10837:18;10829:26;;10865:71;10933:1;10922:9;10918:17;10909:6;10865:71;:::i;:::-;10946:72;11014:2;11003:9;10999:18;10990:6;10946:72;:::i;:::-;11028;11096:2;11085:9;11081:18;11072:6;11028:72;:::i;:::-;10665:442;;;;;;:::o;11113:170::-;11253:22;11249:1;11241:6;11237:14;11230:46;11113:170;:::o;11289:366::-;11431:3;11452:67;11516:2;11511:3;11452:67;:::i;:::-;11445:74;;11528:93;11617:3;11528:93;:::i;:::-;11646:2;11641:3;11637:12;11630:19;;11289:366;;;:::o;11661:419::-;11827:4;11865:2;11854:9;11850:18;11842:26;;11914:9;11908:4;11904:20;11900:1;11889:9;11885:17;11878:47;11942:131;12068:4;11942:131;:::i;:::-;11934:139;;11661:419;;;:::o;12086:178::-;12226:30;12222:1;12214:6;12210:14;12203:54;12086:178;:::o;12270:366::-;12412:3;12433:67;12497:2;12492:3;12433:67;:::i;:::-;12426:74;;12509:93;12598:3;12509:93;:::i;:::-;12627:2;12622:3;12618:12;12611:19;;12270:366;;;:::o;12642:419::-;12808:4;12846:2;12835:9;12831:18;12823:26;;12895:9;12889:4;12885:20;12881:1;12870:9;12866:17;12859:47;12923:131;13049:4;12923:131;:::i;:::-;12915:139;;12642:419;;;:::o

ipfs://ddc5da77628f0975645deb75e8e7df175fe2055a386d3a2010ce916728a31244