Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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;
  }
}

// ----------------------------------------------------------------------------
// Owned contract
// ----------------------------------------------------------------------------
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);
    }
}


// ----------------------------------------------------------------------------
// ERC Token Standard #20 Interface
// ----------------------------------------------------------------------------
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 PreSale is Owned {
    using SafeMath for uint256;
    address public tokenAddress;
    bool public saleOpen;
    uint256 tokenRatePerEth = 125; 
    
    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 
                && usersInvestments[msg.sender].add(msg.value) >= 100 finney, 
                "Installment must be in range of 2 to 0.1 ether");
        
        uint256 tokens = getTokenAmount(msg.value);
        
        require(IToken(tokenAddress).transfer(msg.sender, tokens), "Insufficient balance of sale contract!");
        
        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);
    }
    
    function burnUnSoldTokens() external onlyOwner{
        require(!saleOpen, "please close the sale first");
        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"}]

6080604052607d60025534801561001557600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610ec4806100a56000396000f3fe60806040526004361061008a5760003560e01c806399288dbb1161005957806399288dbb146105975780639d76ea58146105c6578063b66a0e5d1461061d578063ee55efee14610634578063f2fde38b1461064b5761046e565b80631aaf64011461047357806326a4e8d21461048a5780638da5cb5b146104db57806393e74ba4146105325761046e565b3661046e57600160149054906101000a900460ff16610111576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b671bc16d674ec8000061016c34600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069c90919063ffffffff16565b111580156101d3575067016345785d8a00006101d034600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069c90919063ffffffff16565b10155b610228576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180610e61602e913960400191505060405180910390fd5b6000610233346106b8565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156102de57600080fd5b505af11580156102f2573d6000803e3d6000fd5b505050506040513d602081101561030857600080fd5b810190808051906020019092919050505061036e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180610e3b6026913960400191505060405180910390fd5b6103c034600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069c90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f1935050505015801561046a573d6000803e3d6000fd5b5050005b600080fd5b34801561047f57600080fd5b506104886106e9565b005b34801561049657600080fd5b506104d9600480360360208110156104ad57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061092d565b005b3480156104e757600080fd5b506104f0610a8e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561053e57600080fd5b506105816004803603602081101561055557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ab3565b6040518082815260200191505060405180910390f35b3480156105a357600080fd5b506105ac610acb565b604051808215151515815260200191505060405180910390f35b3480156105d257600080fd5b506105db610ade565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561062957600080fd5b50610632610b04565b005b34801561064057600080fd5b50610649610bfc565b005b34801561065757600080fd5b5061069a6004803603602081101561066e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610cf4565b005b6000808284019050838110156106ae57fe5b8091505092915050565b60006106e2600a6106d460025485610dea90919063ffffffff16565b610e2190919063ffffffff16565b9050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461074257600080fd5b600160149054906101000a900460ff16156107c5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f706c6561736520636c6f7365207468652073616c65206669727374000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636d1b229d600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156108a257600080fd5b505afa1580156108b6573d6000803e3d6000fd5b505050506040513d60208110156108cc57600080fd5b81019080805190602001909291905050506040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561091357600080fd5b505af1158015610927573d6000803e3d6000fd5b50505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461098657600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a4a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f746f6b656e206164647265737320616c7265616479207365740000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915090505481565b600160149054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b5d57600080fd5b600160149054906101000a900460ff1615610be0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f53616c65206973206f70656e000000000000000000000000000000000000000081525060200191505060405180910390fd5b60018060146101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c5557600080fd5b600160149054906101000a900460ff16610cd7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b6000600160146101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d4d57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b600080831415610dfd5760009050610e1b565b6000828402905082848281610e0e57fe5b0414610e1657fe5b809150505b92915050565b600080828481610e2d57fe5b049050809150509291505056fe496e73756666696369656e742062616c616e6365206f662073616c6520636f6e747261637421496e7374616c6c6d656e74206d75737420626520696e2072616e6765206f66203220746f20302e31206574686572a2646970667358221220ab4e83fa41fc024d0693f364b15106bca867ea6a9dfb3637164cbd73faf5d5ab64736f6c63430006000033

0x60806040526004361061008a5760003560e01c806399288dbb1161005957806399288dbb146105975780639d76ea58146105c6578063b66a0e5d1461061d578063ee55efee14610634578063f2fde38b1461064b5761046e565b80631aaf64011461047357806326a4e8d21461048a5780638da5cb5b146104db57806393e74ba4146105325761046e565b3661046e57600160149054906101000a900460ff16610111576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b671bc16d674ec8000061016c34600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069c90919063ffffffff16565b111580156101d3575067016345785d8a00006101d034600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069c90919063ffffffff16565b10155b610228576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180610e61602e913960400191505060405180910390fd5b6000610233346106b8565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156102de57600080fd5b505af11580156102f2573d6000803e3d6000fd5b505050506040513d602081101561030857600080fd5b810190808051906020019092919050505061036e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180610e3b6026913960400191505060405180910390fd5b6103c034600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069c90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f1935050505015801561046a573d6000803e3d6000fd5b5050005b600080fd5b34801561047f57600080fd5b506104886106e9565b005b34801561049657600080fd5b506104d9600480360360208110156104ad57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061092d565b005b3480156104e757600080fd5b506104f0610a8e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561053e57600080fd5b506105816004803603602081101561055557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ab3565b6040518082815260200191505060405180910390f35b3480156105a357600080fd5b506105ac610acb565b604051808215151515815260200191505060405180910390f35b3480156105d257600080fd5b506105db610ade565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561062957600080fd5b50610632610b04565b005b34801561064057600080fd5b50610649610bfc565b005b34801561065757600080fd5b5061069a6004803603602081101561066e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610cf4565b005b6000808284019050838110156106ae57fe5b8091505092915050565b60006106e2600a6106d460025485610dea90919063ffffffff16565b610e2190919063ffffffff16565b9050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461074257600080fd5b600160149054906101000a900460ff16156107c5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f706c6561736520636c6f7365207468652073616c65206669727374000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636d1b229d600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156108a257600080fd5b505afa1580156108b6573d6000803e3d6000fd5b505050506040513d60208110156108cc57600080fd5b81019080805190602001909291905050506040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561091357600080fd5b505af1158015610927573d6000803e3d6000fd5b50505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461098657600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a4a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f746f6b656e206164647265737320616c7265616479207365740000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915090505481565b600160149054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b5d57600080fd5b600160149054906101000a900460ff1615610be0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f53616c65206973206f70656e000000000000000000000000000000000000000081525060200191505060405180910390fd5b60018060146101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c5557600080fd5b600160149054906101000a900460ff16610cd7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b6000600160146101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d4d57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b600080831415610dfd5760009050610e1b565b6000828402905082848281610e0e57fe5b0414610e1657fe5b809150505b92915050565b600080828481610e2d57fe5b049050809150509291505056fe496e73756666696369656e742062616c616e6365206f662073616c6520636f6e747261637421496e7374616c6c6d656e74206d75737420626520696e2072616e6765206f66203220746f20302e31206574686572a2646970667358221220ab4e83fa41fc024d0693f364b15106bca867ea6a9dfb3637164cbd73faf5d5ab64736f6c63430006000033

2108:1803:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2917:8;;;;;;;;;;;2909:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3012:7;2965:43;2998:9;2965:16;:28;2982:10;2965:28;;;;;;;;;;;;;;;;:32;;:43;;;;:::i;:::-;:54;;:133;;;;;3088:10;3041:43;3074:9;3041:16;:28;3058:10;3041:28;;;;;;;;;;;;;;;;:32;;:43;;;;:::i;:::-;:57;;2965:133;2957:210;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3188:14;3205:25;3220:9;3205:14;:25::i;:::-;3188:42;;3266:12;;;;;;;;;;;3259:29;;;3289:10;3301:6;3259:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3259:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3259:49:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3259:49:0;;;;;;;;;;;;;;;;3251:100;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3403:43;3436:9;3403:16;:28;3420:10;3403:28;;;;;;;;;;;;;;;;:32;;:43;;;;:::i;:::-;3372:16;:28;3389:10;3372:28;;;;;;;;;;;;;;;:74;;;;3512:5;;;;;;;;;;;:14;;:25;3527:9;3512:25;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3512:25:0;2872:673;2108:1803;;;;;3702:206;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3702:206:0;;;:::i;:::-;;2542:188;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2542:188:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2542:188:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;1218:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1218:28:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2278:51;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2278:51:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2278:51:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2208:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2208:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2174:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2174:27:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2412:118;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2412:118:0;;;:::i;:::-;;2742:122;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2742:122:0;;;:::i;:::-;;1486:166;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1486:166:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1486:166:0;;;;;;;;;;;;;;;;;;;:::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;3557:::-;3619:7;3645:37;3679:2;3646:27;3657:15;;3646:6;:10;;:27;;;;:::i;:::-;3645:33;;:37;;;;:::i;:::-;3638:44;;3557:133;;;:::o;3702:206::-;1452:5;;;;;;;;;;;1438:19;;:10;:19;;;1430:28;;;;;;3768:8:::1;;;;;;;;;;;3767:9;3759:49;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;3826:12;;;;;;;;;;;3819:31;;;3858:12;;;;;;;;;;;3851:30;;;3890:4;3851:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;3851:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;3851:45:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26::::0;19:12:::1;2:2;3851:45:0;;;;;;;;;;;;;;;;3819:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;3819:78:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;3819:78:0;;;;3702:206::o:0;2542:188::-;1452:5;;;;;;;;;;;1438:19;;:10;:19;;;1430:28;;;;;;2651:1:::1;2627:26;;:12;;;;;;;;;;;:26;;;2619:64;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;2709:13;2694:12;;:28;;;;;;;;;;;;;;;;;;2542:188:::0;:::o;1218:28::-;;;;;;;;;;;;;:::o;2278:51::-;;;;;;;;;;;;;;;;;:::o;2208:20::-;;;;;;;;;;;;;:::o;2174:27::-;;;;;;;;;;;;;:::o;2412:118::-;1452:5;;;;;;;;;;;1438:19;;:10;:19;;;1430:28;;;;;;2471:8:::1;;;;;;;;;;;2470:9;2462:34;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;2518:4;2507:8:::0;::::1;:15;;;;;;;;;;;;;;;;;;2412:118::o:0;2742:122::-;1452:5;;;;;;;;;;;1438:19;;:10;:19;;;1430:28;;;;;;2800:8:::1;;;;;;;;;;;2792:37;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;2851:5;2840:8;;:16;;;;;;;;;;;;;;;;;;2742:122::o:0;1486:166::-;1452:5;;;;;;;;;;;1438:19;;:10;:19;;;1430:28;;;;;;1576:9:::1;1568:5;::::0;:17:::1;;;;;;;;;;;;;;;;;;1634:9;1601:43;;1622:10;1601:43;;;;;;;;;;;;1486: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://ab4e83fa41fc024d0693f364b15106bca867ea6a9dfb3637164cbd73faf5d5ab