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 ceil(uint a, uint m)
•  contract Owned
•    - function transferOwnership(address pa ...
• interface IToken
•    - function transfer(address to, uint256 ...
•    - function burnTokens(uint256 _amount)
•    - function balanceOf(address tokenOwner ...
•  contract PROITSRFISale is Owned *
•    - function startSale()
•    - function setTokenAddress(address toke ...
•    - function closeSale()
•    - function getTokenAmount(uint256 amoun ...
•    - function burnUnSoldTokens()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-12-14
*/

pragma solidity ^0.6.0;
// SPDX-License-Identifier: UNLICENSED

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 *
*/

library SafeMath {
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
      return 0;
    }
    uint256 c = a * b;
    assert(c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }

  function ceil(uint a, uint m) internal pure returns (uint r) {
    return (a + m - 1) / m * m;
  }
}

contract Owned {
    address payable public owner;

    event OwnershipTransferred(address indexed _from, address indexed _to);

    constructor() public {
        owner = msg.sender;
    }

    modifier onlyOwner {
        require(msg.sender == owner);
        _;
    }

    function transferOwnership(address payable _newOwner) public onlyOwner {
        owner = _newOwner;
        emit OwnershipTransferred(msg.sender, _newOwner);
    }
}

interface IToken {
    function transfer(address to, uint256 tokens) external returns (bool success);
    function burnTokens(uint256 _amount) external;
    function balanceOf(address tokenOwner) external view returns (uint256 balance);
}


contract PROITSRFISale is Owned {
    using SafeMath for uint256;
    address public tokenAddress;
    bool public saleOpen;
    uint256 tokenRatePerEth = 3500; 
    
    mapping(address => uint256) public usersInvestments;
    
    constructor() public {
        owner = msg.sender;
    }
    
    function startSale() external onlyOwner{
        require(!saleOpen, "Sale is open");
        saleOpen = true;
    }
    
    function setTokenAddress(address tokenContract) external onlyOwner{
        require(tokenAddress == address(0), "Token address already set");
        tokenAddress = tokenContract;
    }
    
    function closeSale() external onlyOwner{
        require(saleOpen, "Sale is not open");
        saleOpen = false;
    }

    receive() external payable{
        require(saleOpen, "Sale is not open");
        require(usersInvestments[msg.sender].add(msg.value) <= 2 ether, "Max participation is 3 ether");
        
        uint256 tokens = getTokenAmount(msg.value);
        
        require(IToken(tokenAddress).transfer(msg.sender, tokens), "Insufficient token balance, sale may be filld");
        
        usersInvestments[msg.sender] = usersInvestments[msg.sender].add(msg.value);
        
        // send received funds to the owner
        owner.transfer(msg.value);
    }
    
    function getTokenAmount(uint256 amount) internal view returns(uint256){
        return (amount.mul(tokenRatePerEth)).div(10**2);
    }
    
    function burnUnSoldTokens() external onlyOwner{
        require(!saleOpen, "Sale needs to be closed");
        IToken(tokenAddress).burnTokens(IToken(tokenAddress).balanceOf(address(this)));   
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"inputs":[],"name":"burnUnSoldTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"closeSale","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address payable","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"saleOpen","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"tokenContract","type":"address"}],"name":"setTokenAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startSale","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"tokenAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address payable","name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"usersInvestments","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052610dac60025534801561001657600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610df4806100a66000396000f3fe60806040526004361061008a5760003560e01c806399288dbb1161005957806399288dbb146105225780639d76ea581461054f578063b66a0e5d14610590578063ee55efee146105a7578063f2fde38b146105be5761040f565b80631aaf64011461041457806326a4e8d21461042b5780638da5cb5b1461047c57806393e74ba4146104bd5761040f565b3661040f57600160149054906101000a900460ff16610111576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b671bc16d674ec8000061016c34600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461060f90919063ffffffff16565b11156101e0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f4d61782070617274696369706174696f6e20697320332065746865720000000081525060200191505060405180910390fd5b60006101eb3461062b565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561028057600080fd5b505af1158015610294573d6000803e3d6000fd5b505050506040513d60208110156102aa57600080fd5b8101908080519060200190929190505050610310576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180610d92602d913960400191505060405180910390fd5b61036234600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461060f90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f1935050505015801561040b573d6000803e3d6000fd5b5050005b600080fd5b34801561042057600080fd5b5061042961065c565b005b34801561043757600080fd5b5061047a6004803603602081101561044e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610889565b005b34801561048857600080fd5b506104916109e9565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156104c957600080fd5b5061050c600480360360208110156104e057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a0d565b6040518082815260200191505060405180910390f35b34801561052e57600080fd5b50610537610a25565b60405180821515815260200191505060405180910390f35b34801561055b57600080fd5b50610564610a38565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561059c57600080fd5b506105a5610a5e565b005b3480156105b357600080fd5b506105bc610b55565b005b3480156105ca57600080fd5b5061060d600480360360208110156105e157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c4c565b005b60008082840190508381101561062157fe5b8091505092915050565b6000610655606461064760025485610d4190919063ffffffff16565b610d7890919063ffffffff16565b9050919050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106b457600080fd5b600160149054906101000a900460ff1615610737576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f53616c65206e6565647320746f20626520636c6f73656400000000000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636d1b229d600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156107fe57600080fd5b505afa158015610812573d6000803e3d6000fd5b505050506040513d602081101561082857600080fd5b81019080805190602001909291905050506040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561086f57600080fd5b505af1158015610883573d6000803e3d6000fd5b50505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146108e157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109a5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f546f6b656e206164647265737320616c7265616479207365740000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915090505481565b600160149054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ab657600080fd5b600160149054906101000a900460ff1615610b39576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f53616c65206973206f70656e000000000000000000000000000000000000000081525060200191505060405180910390fd5b60018060146101000a81548160ff021916908315150217905550565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610bad57600080fd5b600160149054906101000a900460ff16610c2f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b6000600160146101000a81548160ff021916908315150217905550565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ca457600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b600080831415610d545760009050610d72565b6000828402905082848281610d6557fe5b0414610d6d57fe5b809150505b92915050565b600080828481610d8457fe5b049050809150509291505056fe496e73756666696369656e7420746f6b656e2062616c616e63652c2073616c65206d61792062652066696c6c64a26469706673582212204a9490683039121289410e318c916870d9dd773e8f487574c3cfc3a5eb8781de64736f6c634300060c0033

0x60806040526004361061008a5760003560e01c806399288dbb1161005957806399288dbb146105225780639d76ea581461054f578063b66a0e5d14610590578063ee55efee146105a7578063f2fde38b146105be5761040f565b80631aaf64011461041457806326a4e8d21461042b5780638da5cb5b1461047c57806393e74ba4146104bd5761040f565b3661040f57600160149054906101000a900460ff16610111576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b671bc16d674ec8000061016c34600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461060f90919063ffffffff16565b11156101e0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f4d61782070617274696369706174696f6e20697320332065746865720000000081525060200191505060405180910390fd5b60006101eb3461062b565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561028057600080fd5b505af1158015610294573d6000803e3d6000fd5b505050506040513d60208110156102aa57600080fd5b8101908080519060200190929190505050610310576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180610d92602d913960400191505060405180910390fd5b61036234600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461060f90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f1935050505015801561040b573d6000803e3d6000fd5b5050005b600080fd5b34801561042057600080fd5b5061042961065c565b005b34801561043757600080fd5b5061047a6004803603602081101561044e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610889565b005b34801561048857600080fd5b506104916109e9565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156104c957600080fd5b5061050c600480360360208110156104e057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a0d565b6040518082815260200191505060405180910390f35b34801561052e57600080fd5b50610537610a25565b60405180821515815260200191505060405180910390f35b34801561055b57600080fd5b50610564610a38565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561059c57600080fd5b506105a5610a5e565b005b3480156105b357600080fd5b506105bc610b55565b005b3480156105ca57600080fd5b5061060d600480360360208110156105e157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c4c565b005b60008082840190508381101561062157fe5b8091505092915050565b6000610655606461064760025485610d4190919063ffffffff16565b610d7890919063ffffffff16565b9050919050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106b457600080fd5b600160149054906101000a900460ff1615610737576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f53616c65206e6565647320746f20626520636c6f73656400000000000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636d1b229d600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156107fe57600080fd5b505afa158015610812573d6000803e3d6000fd5b505050506040513d602081101561082857600080fd5b81019080805190602001909291905050506040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561086f57600080fd5b505af1158015610883573d6000803e3d6000fd5b50505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146108e157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109a5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f546f6b656e206164647265737320616c7265616479207365740000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915090505481565b600160149054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ab657600080fd5b600160149054906101000a900460ff1615610b39576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f53616c65206973206f70656e000000000000000000000000000000000000000081525060200191505060405180910390fd5b60018060146101000a81548160ff021916908315150217905550565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610bad57600080fd5b600160149054906101000a900460ff16610c2f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b6000600160146101000a81548160ff021916908315150217905550565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ca457600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b600080831415610d545760009050610d72565b6000828402905082848281610d6557fe5b0414610d6d57fe5b809150505b92915050565b600080828481610d8457fe5b049050809150509291505056fe496e73756666696369656e7420746f6b656e2062616c616e63652c2073616c65206d61792062652066696c6c64a26469706673582212204a9490683039121289410e318c916870d9dd773e8f487574c3cfc3a5eb8781de64736f6c634300060c0033

1726:1701:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2542:8;;;;;;;;;;;2534:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2637:7;2590:43;2623:9;2590:16;:28;2607:10;2590:28;;;;;;;;;;;;;;;;:32;;:43;;;;:::i;:::-;:54;;2582:95;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2698:14;2715:25;2730:9;2715:14;:25::i;:::-;2698:42;;2776:12;;;;;;;;;;;2769:29;;;2799:10;2811:6;2769:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2761:107;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2920:43;2953:9;2920:16;:28;2937:10;2920:28;;;;;;;;;;;;;;;;:32;;:43;;;;:::i;:::-;2889:16;:28;2906:10;2889:28;;;;;;;;;;;;;;;:74;;;;3029:5;;;;;;;;;;:14;;:25;3044:9;3029:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2497:565;1726:1701;;;;;3222:202;;;;;;;;;;;;;:::i;:::-;;2167:188;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1037:28;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;1903:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1832:20;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;1798:27;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2037:118;;;;;;;;;;;;;:::i;:::-;;2367:122;;;;;;;;;;;;;:::i;:::-;;1305:166;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;769:133;827:7;843:9;859:1;855;:5;843:17;;879:1;874;:6;;867:14;;;;895:1;888:8;;;769:133;;;;:::o;3074:136::-;3136:7;3162:40;3196:5;3163:27;3174:15;;3163:6;:10;;:27;;;;:::i;:::-;3162:33;;:40;;;;:::i;:::-;3155:47;;3074:136;;;:::o;3222:202::-;1271:5;;;;;;;;;;1257:19;;:10;:19;;;1249:28;;;;;;3288:8:::1;;;;;;;;;;;3287:9;3279:45;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;3342:12;;;;;;;;;;;3335:31;;;3374:12;;;;;;;;;;;3367:30;;;3406:4;3367:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;3335:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;3222:202::o:0;2167:188::-;1271:5;;;;;;;;;;1257:19;;:10;:19;;;1249:28;;;;;;2276:1:::1;2252:26;;:12;;;;;;;;;;;:26;;;2244:64;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;2334:13;2319:12;;:28;;;;;;;;;;;;;;;;;;2167:188:::0;:::o;1037:28::-;;;;;;;;;;;;:::o;1903:51::-;;;;;;;;;;;;;;;;;:::o;1832:20::-;;;;;;;;;;;;;:::o;1798:27::-;;;;;;;;;;;;;:::o;2037:118::-;1271:5;;;;;;;;;;1257:19;;:10;:19;;;1249:28;;;;;;2096:8:::1;;;;;;;;;;;2095:9;2087:34;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;2143:4;2132:8:::0;::::1;:15;;;;;;;;;;;;;;;;;;2037:118::o:0;2367:122::-;1271:5;;;;;;;;;;1257:19;;:10;:19;;;1249:28;;;;;;2425:8:::1;;;;;;;;;;;2417:37;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;2476:5;2465:8;;:16;;;;;;;;;;;;;;;;;;2367:122::o:0;1305:166::-;1271:5;;;;;;;;;;1257:19;;:10;:19;;;1249:28;;;;;;1395:9:::1;1387:5;::::0;:17:::1;;;;;;;;;;;;;;;;;;1453:9;1420:43;;1441:10;1420:43;;;;;;;;;;;;1305:166:::0;:::o;188:180::-;246:7;271:1;266;:6;262:37;;;290:1;283:8;;;;262:37;305:9;321:1;317;:5;305:17;;345:1;340;336;:5;;;;;;:10;329:18;;;;361:1;354:8;;;188:180;;;;;:::o;374:270::-;432:7;523:9;539:1;535;:5;;;;;;523:17;;637:1;630:8;;;374:270;;;;:::o

ipfs://4a9490683039121289410e318c916870d9dd773e8f487574c3cfc3a5eb8781de