Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract Ownable    - function transferOwnership(address ne ...  contract ERC20    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function _transfer(address from, addr ...  contract ERC20Mintable is ERC20    - function _mint(address to, uint256 am ...    - function _burn(address from, uint256 ...  contract Sloth is ERC20Mintable, O ... *    - function setMinter(address minter, bo ...    - function mint(address to, uint256 amo ...    - function burn(address from, uint256 a ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-18
*/

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

pragma solidity 0.5.17;

library SafeMath {

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

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0);
        uint256 c = a / b;
        return c;
    }

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

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

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }
}

contract Ownable {
    address public owner;

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

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

    modifier onlyOwner() {
        require(msg.sender == owner, "permission denied");
        _;
    }

    function transferOwnership(address newOwner) public onlyOwner {
        require(newOwner != address(0), "invalid address");
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }
}

contract ERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) internal _balances;
    mapping (address => mapping (address => uint256)) internal _allowed;
    
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);

    uint256 internal _totalSupply;

    /**
    * @dev Total number of tokens in existence
    */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param owner The address to query the balance of.
    * @return A uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address owner) public view returns (uint256) {
        return _balances[owner];
    }

    /**
    * @dev Function to check the amount of tokens that an owner allowed to a spender.
    * @param owner address The address which owns the funds.
    * @param spender address The address which will spend the funds.
    * @return A uint256 specifying the amount of tokens still available for the spender.
    */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowed[owner][spender];
    }

    /**
    * @dev Transfer token to a specified address
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    /**
    * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
    * 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
    * @param spender The address which will spend the funds.
    * @param value The amount of tokens to be spent.
    */
    function approve(address spender, uint256 value) public returns (bool) {
        _allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    /**
    * @dev Transfer tokens from one address to another.
    * Note that while this function emits an Approval event, this is not required as per the specification,
    * and other compliant implementations may not emit the event.
    * @param from address The address which you want to send tokens from
    * @param to address The address which you want to transfer to
    * @param value uint256 the amount of tokens to be transferred
    */
    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        if (from != msg.sender && _allowed[from][msg.sender] != uint256(-1))
            _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);
        _transfer(from, to, value);
        return true;
    }

    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0));
        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }

}

contract ERC20Mintable is ERC20 {
    string public name;
    string public symbol;
    uint8 public decimals;

    function _mint(address to, uint256 amount) internal {
        _balances[to] = _balances[to].add(amount);
        _totalSupply = _totalSupply.add(amount);
        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal {
        _balances[from] = _balances[from].sub(amount);
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(from, address(0), amount);
    }
}

contract Sloth is ERC20Mintable, Ownable {
    using SafeMath for uint256;
    
    mapping (address => bool) public isMinter;

    constructor() public {
        name = "Sloth Finance";
        symbol = "Sloth";
        decimals = 18;
    }

    function setMinter(address minter, bool flag) external onlyOwner {
        isMinter[minter] = flag;
    }

    function mint(address to, uint256 amount) external {
        require(isMinter[msg.sender], "Not Minter");
        _mint(to, amount);
    }

    function burn(address from, uint256 amount) external {
        if (from != msg.sender && _allowed[from][msg.sender] != uint256(-1))
            _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(amount);
        require(_balances[from] >= amount, "insufficient-balance");
        _burn(from, amount);
    }
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"minter","type":"address"},{"internalType":"bool","name":"flag","type":"bool"}],"name":"setMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5060058054610100600160a81b031916336101000217905560408051808201909152600d8082526c536c6f74682046696e616e636560981b602090920191825261005c9160039161009c565b50604080518082019091526005808252640a6d8dee8d60db1b60209092019182526100899160049161009c565b506005805460ff19166012179055610137565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100dd57805160ff191683800117855561010a565b8280016001018555821561010a579182015b8281111561010a5782518255916020019190600101906100ef565b5061011692915061011a565b5090565b61013491905b808211156101165760008155600101610120565b90565b610b9b806101466000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c80638da5cb5b11610097578063aa271e1a11610066578063aa271e1a146102fd578063cf456ae714610323578063dd62ed3e14610351578063f2fde38b1461037f576100f5565b80638da5cb5b1461027957806395d89b411461029d5780639dc29fac146102a5578063a9059cbb146102d1576100f5565b806323b872dd116100d357806323b872dd146101d1578063313ce5671461020757806340c10f191461022557806370a0823114610253576100f5565b806306fdde03146100fa578063095ea7b31461017757806318160ddd146101b7575b600080fd5b6101026103a5565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013c578181015183820152602001610124565b50505050905090810190601f1680156101695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101a36004803603604081101561018d57600080fd5b506001600160a01b038135169060200135610433565b604080519115158252519081900360200190f35b6101bf610499565b60408051918252519081900360200190f35b6101a3600480360360608110156101e757600080fd5b506001600160a01b0381358116916020810135909116906040013561049f565b61020f610552565b6040805160ff9092168252519081900360200190f35b6102516004803603604081101561023b57600080fd5b506001600160a01b03813516906020013561055b565b005b6101bf6004803603602081101561026957600080fd5b50356001600160a01b03166105ba565b6102816105d5565b604080516001600160a01b039092168252519081900360200190f35b6101026105e9565b610251600480360360408110156102bb57600080fd5b506001600160a01b038135169060200135610644565b6101a3600480360360408110156102e757600080fd5b506001600160a01b03813516906020013561074e565b6101a36004803603602081101561031357600080fd5b50356001600160a01b0316610764565b6102516004803603604081101561033957600080fd5b506001600160a01b0381351690602001351515610779565b6101bf6004803603604081101561036757600080fd5b506001600160a01b03813581169160200135166107fc565b6102516004803603602081101561039557600080fd5b50356001600160a01b0316610827565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561042b5780601f106104005761010080835404028352916020019161042b565b820191906000526020600020905b81548152906001019060200180831161040e57829003601f168201915b505050505081565b3360008181526001602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60025490565b60006001600160a01b03841633148015906104df57506001600160a01b038416600090815260016020908152604080832033845290915290205460001914155b1561053d576001600160a01b0384166000908152600160209081526040808320338452909152902054610518908363ffffffff61093316565b6001600160a01b03851660009081526001602090815260408083203384529091529020555b610548848484610948565b5060019392505050565b60055460ff1681565b3360009081526006602052604090205460ff166105ac576040805162461bcd60e51b815260206004820152600a6024820152692737ba1026b4b73a32b960b11b604482015290519081900360640190fd5b6105b68282610a13565b5050565b6001600160a01b031660009081526020819052604090205490565b60055461010090046001600160a01b031681565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561042b5780601f106104005761010080835404028352916020019161042b565b6001600160a01b038216331480159061068257506001600160a01b038216600090815260016020908152604080832033845290915290205460001914155b156106e0576001600160a01b03821660009081526001602090815260408083203384529091529020546106bb908263ffffffff61093316565b6001600160a01b03831660009081526001602090815260408083203384529091529020555b6001600160a01b038216600090815260208190526040902054811115610744576040805162461bcd60e51b8152602060048201526014602482015273696e73756666696369656e742d62616c616e636560601b604482015290519081900360640190fd5b6105b68282610ab0565b600061075b338484610948565b50600192915050565b60066020526000908152604090205460ff1681565b60055461010090046001600160a01b031633146107d1576040805162461bcd60e51b81526020600482015260116024820152701c195c9b5a5cdcda5bdb8819195b9a5959607a1b604482015290519081900360640190fd5b6001600160a01b03919091166000908152600660205260409020805460ff1916911515919091179055565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60055461010090046001600160a01b0316331461087f576040805162461bcd60e51b81526020600482015260116024820152701c195c9b5a5cdcda5bdb8819195b9a5959607a1b604482015290519081900360640190fd5b6001600160a01b0381166108cc576040805162461bcd60e51b815260206004820152600f60248201526e696e76616c6964206164647265737360881b604482015290519081900360640190fd5b6005546040516001600160a01b0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b60008282111561094257600080fd5b50900390565b6001600160a01b03821661095b57600080fd5b6001600160a01b038316600090815260208190526040902054610984908263ffffffff61093316565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546109b9908263ffffffff610b4d16565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6001600160a01b038216600090815260208190526040902054610a3c908263ffffffff610b4d16565b6001600160a01b038316600090815260208190526040902055600254610a68908263ffffffff610b4d16565b6002556040805182815290516001600160a01b038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6001600160a01b038216600090815260208190526040902054610ad9908263ffffffff61093316565b6001600160a01b038316600090815260208190526040902055600254610b05908263ffffffff61093316565b6002556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600082820183811015610b5f57600080fd5b939250505056fea265627a7a723158202085ece6261aac734e5c3ac21c1238f74ff7ae38b15e3109dce8f17610847e8b64736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c80638da5cb5b11610097578063aa271e1a11610066578063aa271e1a146102fd578063cf456ae714610323578063dd62ed3e14610351578063f2fde38b1461037f576100f5565b80638da5cb5b1461027957806395d89b411461029d5780639dc29fac146102a5578063a9059cbb146102d1576100f5565b806323b872dd116100d357806323b872dd146101d1578063313ce5671461020757806340c10f191461022557806370a0823114610253576100f5565b806306fdde03146100fa578063095ea7b31461017757806318160ddd146101b7575b600080fd5b6101026103a5565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013c578181015183820152602001610124565b50505050905090810190601f1680156101695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101a36004803603604081101561018d57600080fd5b506001600160a01b038135169060200135610433565b604080519115158252519081900360200190f35b6101bf610499565b60408051918252519081900360200190f35b6101a3600480360360608110156101e757600080fd5b506001600160a01b0381358116916020810135909116906040013561049f565b61020f610552565b6040805160ff9092168252519081900360200190f35b6102516004803603604081101561023b57600080fd5b506001600160a01b03813516906020013561055b565b005b6101bf6004803603602081101561026957600080fd5b50356001600160a01b03166105ba565b6102816105d5565b604080516001600160a01b039092168252519081900360200190f35b6101026105e9565b610251600480360360408110156102bb57600080fd5b506001600160a01b038135169060200135610644565b6101a3600480360360408110156102e757600080fd5b506001600160a01b03813516906020013561074e565b6101a36004803603602081101561031357600080fd5b50356001600160a01b0316610764565b6102516004803603604081101561033957600080fd5b506001600160a01b0381351690602001351515610779565b6101bf6004803603604081101561036757600080fd5b506001600160a01b03813581169160200135166107fc565b6102516004803603602081101561039557600080fd5b50356001600160a01b0316610827565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561042b5780601f106104005761010080835404028352916020019161042b565b820191906000526020600020905b81548152906001019060200180831161040e57829003601f168201915b505050505081565b3360008181526001602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60025490565b60006001600160a01b03841633148015906104df57506001600160a01b038416600090815260016020908152604080832033845290915290205460001914155b1561053d576001600160a01b0384166000908152600160209081526040808320338452909152902054610518908363ffffffff61093316565b6001600160a01b03851660009081526001602090815260408083203384529091529020555b610548848484610948565b5060019392505050565b60055460ff1681565b3360009081526006602052604090205460ff166105ac576040805162461bcd60e51b815260206004820152600a6024820152692737ba1026b4b73a32b960b11b604482015290519081900360640190fd5b6105b68282610a13565b5050565b6001600160a01b031660009081526020819052604090205490565b60055461010090046001600160a01b031681565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561042b5780601f106104005761010080835404028352916020019161042b565b6001600160a01b038216331480159061068257506001600160a01b038216600090815260016020908152604080832033845290915290205460001914155b156106e0576001600160a01b03821660009081526001602090815260408083203384529091529020546106bb908263ffffffff61093316565b6001600160a01b03831660009081526001602090815260408083203384529091529020555b6001600160a01b038216600090815260208190526040902054811115610744576040805162461bcd60e51b8152602060048201526014602482015273696e73756666696369656e742d62616c616e636560601b604482015290519081900360640190fd5b6105b68282610ab0565b600061075b338484610948565b50600192915050565b60066020526000908152604090205460ff1681565b60055461010090046001600160a01b031633146107d1576040805162461bcd60e51b81526020600482015260116024820152701c195c9b5a5cdcda5bdb8819195b9a5959607a1b604482015290519081900360640190fd5b6001600160a01b03919091166000908152600660205260409020805460ff1916911515919091179055565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60055461010090046001600160a01b0316331461087f576040805162461bcd60e51b81526020600482015260116024820152701c195c9b5a5cdcda5bdb8819195b9a5959607a1b604482015290519081900360640190fd5b6001600160a01b0381166108cc576040805162461bcd60e51b815260206004820152600f60248201526e696e76616c6964206164647265737360881b604482015290519081900360640190fd5b6005546040516001600160a01b0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b60008282111561094257600080fd5b50900390565b6001600160a01b03821661095b57600080fd5b6001600160a01b038316600090815260208190526040902054610984908263ffffffff61093316565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546109b9908263ffffffff610b4d16565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6001600160a01b038216600090815260208190526040902054610a3c908263ffffffff610b4d16565b6001600160a01b038316600090815260208190526040902055600254610a68908263ffffffff610b4d16565b6002556040805182815290516001600160a01b038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6001600160a01b038216600090815260208190526040902054610ad9908263ffffffff61093316565b6001600160a01b038316600090815260208190526040902055600254610b05908263ffffffff61093316565b6002556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600082820183811015610b5f57600080fd5b939250505056fea265627a7a723158202085ece6261aac734e5c3ac21c1238f74ff7ae38b15e3109dce8f17610847e8b64736f6c63430005110032

5568:851:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5568:851:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5043:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;5043:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3749:201;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3749:201:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1923:91;;;:::i;:::-;;;;;;;;;;;;;;;;4416:311;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4416:311:0;;;;;;;;;;;;;;;;;:::i;5095:21::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5941:141;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5941:141:0;;;;;;;;:::i;:::-;;2229:106;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2229:106:0;-1:-1:-1;;;;;2229:106:0;;:::i;951:20::-;;;:::i;:::-;;;;-1:-1:-1;;;;;951:20:0;;;;;;;;;;;;;;5068;;;:::i;6090:320::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6090:320:0;;;;;;;;:::i;2970:140::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2970:140:0;;;;;;;;:::i;5655:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5655:41:0;-1:-1:-1;;;;;5655:41:0;;:::i;5826:107::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5826:107:0;;;;;;;;;;:::i;2669:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2669:131:0;;;;;;;;;;:::i;1247:211::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1247:211:0;-1:-1:-1;;;;;1247:211:0;;:::i;5043:18::-;;;;;;;;;;;;;;;-1:-1:-1;;5043:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3749:201::-;3840:10;3814:4;3831:20;;;:8;:20;;;;;;;;-1:-1:-1;;;;;3831:29:0;;;;;;;;;;;:37;;;3884:36;;;;;;;3814:4;;3831:29;;3840:10;;3884:36;;;;;;;;-1:-1:-1;3938:4:0;3749:201;;;;:::o;1923:91::-;1994:12;;1923:91;:::o;4416:311::-;4495:4;-1:-1:-1;;;;;4516:18:0;;4524:10;4516:18;;;;:63;;-1:-1:-1;;;;;;4538:14:0;;;;;;:8;:14;;;;;;;;4553:10;4538:26;;;;;;;;-1:-1:-1;;4538:41:0;;4516:63;4512:148;;;-1:-1:-1;;;;;4623:14:0;;;;;;:8;:14;;;;;;;;4638:10;4623:26;;;;;;;;:37;;4654:5;4623:37;:30;:37;:::i;:::-;-1:-1:-1;;;;;4594:14:0;;;;;;:8;:14;;;;;;;;4609:10;4594:26;;;;;;;:66;4512:148;4671:26;4681:4;4687:2;4691:5;4671:9;:26::i;:::-;-1:-1:-1;4715:4:0;4416:311;;;;;:::o;5095:21::-;;;;;;:::o;5941:141::-;6020:10;6011:20;;;;:8;:20;;;;;;;;6003:43;;;;;-1:-1:-1;;;6003:43:0;;;;;;;;;;;;-1:-1:-1;;;6003:43:0;;;;;;;;;;;;;;;6057:17;6063:2;6067:6;6057:5;:17::i;:::-;5941:141;;:::o;2229:106::-;-1:-1:-1;;;;;2311:16:0;2284:7;2311:16;;;;;;;;;;;;2229:106::o;951:20::-;;;;;;-1:-1:-1;;;;;951:20:0;;:::o;5068:::-;;;;;;;;;;;;;;;-1:-1:-1;;5068:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6090:320;-1:-1:-1;;;;;6158:18:0;;6166:10;6158:18;;;;:63;;-1:-1:-1;;;;;;6180:14:0;;;;;;:8;:14;;;;;;;;6195:10;6180:26;;;;;;;;-1:-1:-1;;6180:41:0;;6158:63;6154:149;;;-1:-1:-1;;;;;6265:14:0;;;;;;:8;:14;;;;;;;;6280:10;6265:26;;;;;;;;:38;;6296:6;6265:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;6236:14:0;;;;;;:8;:14;;;;;;;;6251:10;6236:26;;;;;;;:67;6154:149;-1:-1:-1;;;;;6322:15:0;;:9;:15;;;;;;;;;;;:25;-1:-1:-1;6322:25:0;6314:58;;;;;-1:-1:-1;;;6314:58:0;;;;;;;;;;;;-1:-1:-1;;;6314:58:0;;;;;;;;;;;;;;;6383:19;6389:4;6395:6;6383:5;:19::i;2970:140::-;3031:4;3048:32;3058:10;3070:2;3074:5;3048:9;:32::i;:::-;-1:-1:-1;3098:4:0;2970:140;;;;:::o;5655:41::-;;;;;;;;;;;;;;;:::o;5826:107::-;1192:5;;;;;-1:-1:-1;;;;;1192:5:0;1178:10;:19;1170:49;;;;;-1:-1:-1;;;1170:49:0;;;;;;;;;;;;-1:-1:-1;;;1170:49:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;5902:16:0;;;;;;;;:8;:16;;;;;:23;;-1:-1:-1;;5902:23:0;;;;;;;;;;5826:107::o;2669:131::-;-1:-1:-1;;;;;2768:15:0;;;2741:7;2768:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;2669:131::o;1247:211::-;1192:5;;;;;-1:-1:-1;;;;;1192:5:0;1178:10;:19;1170:49;;;;;-1:-1:-1;;;1170:49:0;;;;;;;;;;;;-1:-1:-1;;;1170:49:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;1328:22:0;;1320:50;;;;;-1:-1:-1;;;1320:50:0;;;;;;;;;;;;-1:-1:-1;;;1320:50:0;;;;;;;;;;;;;;;1407:5;;1386:37;;-1:-1:-1;;;;;1386:37:0;;;;1407:5;;;;;1386:37;;;;;1434:5;:16;;-1:-1:-1;;;;;1434:16:0;;;;;-1:-1:-1;;;;;;1434:16:0;;;;;;;;;1247:211::o;484:148::-;542:7;575:1;570;:6;;562:15;;;;;;-1:-1:-1;600:5:0;;;484:148::o;4735:260::-;-1:-1:-1;;;;;4823:16:0;;4815:25;;;;;;-1:-1:-1;;;;;4869:15:0;;:9;:15;;;;;;;;;;;:26;;4889:5;4869:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;4851:15:0;;;:9;:15;;;;;;;;;;;:44;;;;4922:13;;;;;;;:24;;4940:5;4922:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;4906:13:0;;;:9;:13;;;;;;;;;;;;:40;;;;4962:25;;;;;;;4906:13;;4962:25;;;;;;;;;;;;;4735:260;;;:::o;5125:210::-;-1:-1:-1;;;;;5204:13:0;;:9;:13;;;;;;;;;;;:25;;5222:6;5204:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;5188:13:0;;:9;:13;;;;;;;;;;:41;5255:12;;:24;;5272:6;5255:24;:16;:24;:::i;:::-;5240:12;:39;5295:32;;;;;;;;-1:-1:-1;;;;;5295:32:0;;;5312:1;;5295:32;;;;;;;;;5125:210;;:::o;5343:218::-;-1:-1:-1;;;;;5426:15:0;;:9;:15;;;;;;;;;;;:27;;5446:6;5426:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;5408:15:0;;:9;:15;;;;;;;;;;:45;5479:12;;:24;;5496:6;5479:24;:16;:24;:::i;:::-;5464:12;:39;5519:34;;;;;;;;5542:1;;-1:-1:-1;;;;;5519:34:0;;;;;;;;;;;;5343:218;;:::o;640:148::-;698:7;730:5;;;754:6;;;;746:15;;;;;;779:1;640:148;-1:-1:-1;;;640:148:0:o

bzzr://2085ece6261aac734e5c3ac21c1238f74ff7ae38b15e3109dce8f17610847e8b