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 PreSale 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-11-16
*/

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 = 1666; 
    
    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) <= 1 ether, "Max investment allowed is 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**2);
    }
    
    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"}]

608060405261068260025534801561001657600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610e52806100a66000396000f3fe60806040526004361061008a5760003560e01c806399288dbb1161005957806399288dbb146105325780639d76ea5814610561578063b66a0e5d146105b8578063ee55efee146105cf578063f2fde38b146105e657610409565b80631aaf64011461040e57806326a4e8d2146104255780638da5cb5b1461047657806393e74ba4146104cd57610409565b3661040957600160149054906101000a900460ff16610111576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b670de0b6b3a764000061016c34600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461063790919063ffffffff16565b11156101c3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180610dfc6021913960400191505060405180910390fd5b60006101ce34610653565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561027957600080fd5b505af115801561028d573d6000803e3d6000fd5b505050506040513d60208110156102a357600080fd5b8101908080519060200190929190505050610309576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180610dd66026913960400191505060405180910390fd5b61035b34600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461063790919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f19350505050158015610405573d6000803e3d6000fd5b5050005b600080fd5b34801561041a57600080fd5b50610423610684565b005b34801561043157600080fd5b506104746004803603602081101561044857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108c8565b005b34801561048257600080fd5b5061048b610a29565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156104d957600080fd5b5061051c600480360360208110156104f057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a4e565b6040518082815260200191505060405180910390f35b34801561053e57600080fd5b50610547610a66565b604051808215151515815260200191505060405180910390f35b34801561056d57600080fd5b50610576610a79565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105c457600080fd5b506105cd610a9f565b005b3480156105db57600080fd5b506105e4610b97565b005b3480156105f257600080fd5b506106356004803603602081101561060957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c8f565b005b60008082840190508381101561064957fe5b8091505092915050565b600061067d606461066f60025485610d8590919063ffffffff16565b610dbc90919063ffffffff16565b9050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106dd57600080fd5b600160149054906101000a900460ff1615610760576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f706c6561736520636c6f7365207468652073616c65206669727374000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636d1b229d600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561083d57600080fd5b505afa158015610851573d6000803e3d6000fd5b505050506040513d602081101561086757600080fd5b81019080805190602001909291905050506040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b1580156108ae57600080fd5b505af11580156108c2573d6000803e3d6000fd5b50505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461092157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f746f6b656e206164647265737320616c7265616479207365740000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915090505481565b600160149054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610af857600080fd5b600160149054906101000a900460ff1615610b7b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f53616c65206973206f70656e000000000000000000000000000000000000000081525060200191505060405180910390fd5b60018060146101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610bf057600080fd5b600160149054906101000a900460ff16610c72576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b6000600160146101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ce857600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b600080831415610d985760009050610db6565b6000828402905082848281610da957fe5b0414610db157fe5b809150505b92915050565b600080828481610dc857fe5b049050809150509291505056fe496e73756666696369656e742062616c616e6365206f662073616c6520636f6e7472616374214d617820696e766573746d656e7420616c6c6f7765642069732031206574686572a2646970667358221220d51f96837f099dbcd2a650de9c088655a5bb79019f12bd5d962e4b6565d5ca5b64736f6c63430006000033

0x60806040526004361061008a5760003560e01c806399288dbb1161005957806399288dbb146105325780639d76ea5814610561578063b66a0e5d146105b8578063ee55efee146105cf578063f2fde38b146105e657610409565b80631aaf64011461040e57806326a4e8d2146104255780638da5cb5b1461047657806393e74ba4146104cd57610409565b3661040957600160149054906101000a900460ff16610111576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b670de0b6b3a764000061016c34600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461063790919063ffffffff16565b11156101c3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180610dfc6021913960400191505060405180910390fd5b60006101ce34610653565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561027957600080fd5b505af115801561028d573d6000803e3d6000fd5b505050506040513d60208110156102a357600080fd5b8101908080519060200190929190505050610309576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180610dd66026913960400191505060405180910390fd5b61035b34600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461063790919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f19350505050158015610405573d6000803e3d6000fd5b5050005b600080fd5b34801561041a57600080fd5b50610423610684565b005b34801561043157600080fd5b506104746004803603602081101561044857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108c8565b005b34801561048257600080fd5b5061048b610a29565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156104d957600080fd5b5061051c600480360360208110156104f057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a4e565b6040518082815260200191505060405180910390f35b34801561053e57600080fd5b50610547610a66565b604051808215151515815260200191505060405180910390f35b34801561056d57600080fd5b50610576610a79565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105c457600080fd5b506105cd610a9f565b005b3480156105db57600080fd5b506105e4610b97565b005b3480156105f257600080fd5b506106356004803603602081101561060957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c8f565b005b60008082840190508381101561064957fe5b8091505092915050565b600061067d606461066f60025485610d8590919063ffffffff16565b610dbc90919063ffffffff16565b9050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106dd57600080fd5b600160149054906101000a900460ff1615610760576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f706c6561736520636c6f7365207468652073616c65206669727374000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636d1b229d600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561083d57600080fd5b505afa158015610851573d6000803e3d6000fd5b505050506040513d602081101561086757600080fd5b81019080805190602001909291905050506040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b1580156108ae57600080fd5b505af11580156108c2573d6000803e3d6000fd5b50505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461092157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f746f6b656e206164647265737320616c7265616479207365740000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915090505481565b600160149054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610af857600080fd5b600160149054906101000a900460ff1615610b7b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f53616c65206973206f70656e000000000000000000000000000000000000000081525060200191505060405180910390fd5b60018060146101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610bf057600080fd5b600160149054906101000a900460ff16610c72576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f53616c65206973206e6f74206f70656e0000000000000000000000000000000081525060200191505060405180910390fd5b6000600160146101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ce857600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b600080831415610d985760009050610db6565b6000828402905082848281610da957fe5b0414610db157fe5b809150505b92915050565b600080828481610dc857fe5b049050809150509291505056fe496e73756666696369656e742062616c616e6365206f662073616c6520636f6e7472616374214d617820696e766573746d656e7420616c6c6f7765642069732031206574686572a2646970667358221220d51f96837f099dbcd2a650de9c088655a5bb79019f12bd5d962e4b6565d5ca5b64736f6c63430006000033

2108:1697:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2918:8;;;;;;;;;;;2910:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3013:7;2966:43;2999:9;2966:16;:28;2983:10;2966:28;;;;;;;;;;;;;;;;:32;;:43;;;;:::i;:::-;:54;;2958:100;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3079:14;3096:25;3111:9;3096:14;:25::i;:::-;3079:42;;3157:12;;;;;;;;;;;3150:29;;;3180:10;3192:6;3150:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3150:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3150:49:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3150:49:0;;;;;;;;;;;;;;;;3142:100;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3294:43;3327:9;3294:16;:28;3311:10;3294:28;;;;;;;;;;;;;;;;:32;;:43;;;;:::i;:::-;3263:16;:28;3280:10;3263:28;;;;;;;;;;;;;;;:74;;;;3403:5;;;;;;;;;;;:14;;:25;3418:9;3403:25;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3403:25:0;2873:563;2108:1697;;;;;3596:206;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3596:206:0;;;:::i;:::-;;2543:188;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2543:188:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2543:188:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;1218:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1218:28:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2279:51;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2279:51:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2279: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;:::-;;;;;;;;;;;;;;;;;;;;;;;2413:118;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2413:118:0;;;:::i;:::-;;2743:122;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2743: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;3448:136::-;3510:7;3536:40;3570:5;3537:27;3548:15;;3537:6;:10;;:27;;;;:::i;:::-;3536:33;;:40;;;;:::i;:::-;3529:47;;3448:136;;;:::o;3596:206::-;1452:5;;;;;;;;;;;1438:19;;:10;:19;;;1430:28;;;;;;3662:8:::1;;;;;;;;;;;3661:9;3653:49;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;3720:12;;;;;;;;;;;3713:31;;;3752:12;;;;;;;;;;;3745:30;;;3784:4;3745:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;3745:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;3745:45:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26::::0;19:12:::1;2:2;3745:45:0;;;;;;;;;;;;;;;;3713:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;3713:78:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;3713:78:0;;;;3596:206::o:0;2543:188::-;1452:5;;;;;;;;;;;1438:19;;:10;:19;;;1430:28;;;;;;2652:1:::1;2628:26;;:12;;;;;;;;;;;:26;;;2620:64;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;2710:13;2695:12;;:28;;;;;;;;;;;;;;;;;;2543:188:::0;:::o;1218:28::-;;;;;;;;;;;;;:::o;2279:51::-;;;;;;;;;;;;;;;;;:::o;2208:20::-;;;;;;;;;;;;;:::o;2174:27::-;;;;;;;;;;;;;:::o;2413:118::-;1452:5;;;;;;;;;;;1438:19;;:10;:19;;;1430:28;;;;;;2472:8:::1;;;;;;;;;;;2471:9;2463:34;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;2519:4;2508:8:::0;::::1;:15;;;;;;;;;;;;;;;;;;2413:118::o:0;2743:122::-;1452:5;;;;;;;;;;;1438:19;;:10;:19;;;1430:28;;;;;;2801:8:::1;;;;;;;;;;;2793:37;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;2852:5;2841:8;;:16;;;;;;;;;;;;;;;;;;2743: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://d51f96837f099dbcd2a650de9c088655a5bb79019f12bd5d962e4b6565d5ca5b