Token

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 Seal is ERC20Mintable, Ow ... *    - 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-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 Seal is ERC20Mintable, Ownable {
    using SafeMath for uint256;
    
    mapping (address => bool) public isMinter;

    constructor() public {
        name = "Seal Finance";
        symbol = "Seal";
        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"}]

608060405234801561001057600080fd5b5060058054610100600160a81b031916336101000217905560408051808201909152600c8082526b5365616c2046696e616e636560a01b602090920191825261005b91600391610098565b506040805180820190915260048082526314d9585b60e21b60209092019182526100859181610098565b506005805460ff19166012179055610133565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100d957805160ff1916838001178555610106565b82800160010185558215610106579182015b828111156101065782518255916020019190600101906100eb565b50610112929150610116565b5090565b61013091905b80821115610112576000815560010161011c565b90565b610b9b806101426000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c80638da5cb5b11610097578063aa271e1a11610066578063aa271e1a146102fd578063cf456ae714610323578063dd62ed3e14610351578063f2fde38b1461037f576100f5565b80638da5cb5b1461027957806395d89b411461029d5780639dc29fac146102a5578063a9059cbb146102d1576100f5565b806323b872dd116100d357806323b872dd146101d1578063313ce5671461020757806340c10f191461022557806370a0823114610253576100f5565b806306fdde03146100fa578063095ea7b31461017757806318160ddd146101b7575b600080fd5b6101026103a5565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013c578181015183820152602001610124565b50505050905090810190601f1680156101695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101a36004803603604081101561018d57600080fd5b506001600160a01b038135169060200135610433565b604080519115158252519081900360200190f35b6101bf610499565b60408051918252519081900360200190f35b6101a3600480360360608110156101e757600080fd5b506001600160a01b0381358116916020810135909116906040013561049f565b61020f610552565b6040805160ff9092168252519081900360200190f35b6102516004803603604081101561023b57600080fd5b506001600160a01b03813516906020013561055b565b005b6101bf6004803603602081101561026957600080fd5b50356001600160a01b03166105ba565b6102816105d5565b604080516001600160a01b039092168252519081900360200190f35b6101026105e9565b610251600480360360408110156102bb57600080fd5b506001600160a01b038135169060200135610644565b6101a3600480360360408110156102e757600080fd5b506001600160a01b03813516906020013561074e565b6101a36004803603602081101561031357600080fd5b50356001600160a01b0316610764565b6102516004803603604081101561033957600080fd5b506001600160a01b0381351690602001351515610779565b6101bf6004803603604081101561036757600080fd5b506001600160a01b03813581169160200135166107fc565b6102516004803603602081101561039557600080fd5b50356001600160a01b0316610827565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561042b5780601f106104005761010080835404028352916020019161042b565b820191906000526020600020905b81548152906001019060200180831161040e57829003601f168201915b505050505081565b3360008181526001602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60025490565b60006001600160a01b03841633148015906104df57506001600160a01b038416600090815260016020908152604080832033845290915290205460001914155b1561053d576001600160a01b0384166000908152600160209081526040808320338452909152902054610518908363ffffffff61093316565b6001600160a01b03851660009081526001602090815260408083203384529091529020555b610548848484610948565b5060019392505050565b60055460ff1681565b3360009081526006602052604090205460ff166105ac576040805162461bcd60e51b815260206004820152600a6024820152692737ba1026b4b73a32b960b11b604482015290519081900360640190fd5b6105b68282610a13565b5050565b6001600160a01b031660009081526020819052604090205490565b60055461010090046001600160a01b031681565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561042b5780601f106104005761010080835404028352916020019161042b565b6001600160a01b038216331480159061068257506001600160a01b038216600090815260016020908152604080832033845290915290205460001914155b156106e0576001600160a01b03821660009081526001602090815260408083203384529091529020546106bb908263ffffffff61093316565b6001600160a01b03831660009081526001602090815260408083203384529091529020555b6001600160a01b038216600090815260208190526040902054811115610744576040805162461bcd60e51b8152602060048201526014602482015273696e73756666696369656e742d62616c616e636560601b604482015290519081900360640190fd5b6105b68282610ab0565b600061075b338484610948565b50600192915050565b60066020526000908152604090205460ff1681565b60055461010090046001600160a01b031633146107d1576040805162461bcd60e51b81526020600482015260116024820152701c195c9b5a5cdcda5bdb8819195b9a5959607a1b604482015290519081900360640190fd5b6001600160a01b03919091166000908152600660205260409020805460ff1916911515919091179055565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60055461010090046001600160a01b0316331461087f576040805162461bcd60e51b81526020600482015260116024820152701c195c9b5a5cdcda5bdb8819195b9a5959607a1b604482015290519081900360640190fd5b6001600160a01b0381166108cc576040805162461bcd60e51b815260206004820152600f60248201526e696e76616c6964206164647265737360881b604482015290519081900360640190fd5b6005546040516001600160a01b0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b60008282111561094257600080fd5b50900390565b6001600160a01b03821661095b57600080fd5b6001600160a01b038316600090815260208190526040902054610984908263ffffffff61093316565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546109b9908263ffffffff610b4d16565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6001600160a01b038216600090815260208190526040902054610a3c908263ffffffff610b4d16565b6001600160a01b038316600090815260208190526040902055600254610a68908263ffffffff610b4d16565b6002556040805182815290516001600160a01b038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6001600160a01b038216600090815260208190526040902054610ad9908263ffffffff61093316565b6001600160a01b038316600090815260208190526040902055600254610b05908263ffffffff61093316565b6002556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600082820183811015610b5f57600080fd5b939250505056fea265627a7a72315820782bf31045610e759808b28c5dce5360f612d22306ff62b4ba00bda0910a54d764736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c80638da5cb5b11610097578063aa271e1a11610066578063aa271e1a146102fd578063cf456ae714610323578063dd62ed3e14610351578063f2fde38b1461037f576100f5565b80638da5cb5b1461027957806395d89b411461029d5780639dc29fac146102a5578063a9059cbb146102d1576100f5565b806323b872dd116100d357806323b872dd146101d1578063313ce5671461020757806340c10f191461022557806370a0823114610253576100f5565b806306fdde03146100fa578063095ea7b31461017757806318160ddd146101b7575b600080fd5b6101026103a5565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013c578181015183820152602001610124565b50505050905090810190601f1680156101695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101a36004803603604081101561018d57600080fd5b506001600160a01b038135169060200135610433565b604080519115158252519081900360200190f35b6101bf610499565b60408051918252519081900360200190f35b6101a3600480360360608110156101e757600080fd5b506001600160a01b0381358116916020810135909116906040013561049f565b61020f610552565b6040805160ff9092168252519081900360200190f35b6102516004803603604081101561023b57600080fd5b506001600160a01b03813516906020013561055b565b005b6101bf6004803603602081101561026957600080fd5b50356001600160a01b03166105ba565b6102816105d5565b604080516001600160a01b039092168252519081900360200190f35b6101026105e9565b610251600480360360408110156102bb57600080fd5b506001600160a01b038135169060200135610644565b6101a3600480360360408110156102e757600080fd5b506001600160a01b03813516906020013561074e565b6101a36004803603602081101561031357600080fd5b50356001600160a01b0316610764565b6102516004803603604081101561033957600080fd5b506001600160a01b0381351690602001351515610779565b6101bf6004803603604081101561036757600080fd5b506001600160a01b03813581169160200135166107fc565b6102516004803603602081101561039557600080fd5b50356001600160a01b0316610827565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561042b5780601f106104005761010080835404028352916020019161042b565b820191906000526020600020905b81548152906001019060200180831161040e57829003601f168201915b505050505081565b3360008181526001602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60025490565b60006001600160a01b03841633148015906104df57506001600160a01b038416600090815260016020908152604080832033845290915290205460001914155b1561053d576001600160a01b0384166000908152600160209081526040808320338452909152902054610518908363ffffffff61093316565b6001600160a01b03851660009081526001602090815260408083203384529091529020555b610548848484610948565b5060019392505050565b60055460ff1681565b3360009081526006602052604090205460ff166105ac576040805162461bcd60e51b815260206004820152600a6024820152692737ba1026b4b73a32b960b11b604482015290519081900360640190fd5b6105b68282610a13565b5050565b6001600160a01b031660009081526020819052604090205490565b60055461010090046001600160a01b031681565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561042b5780601f106104005761010080835404028352916020019161042b565b6001600160a01b038216331480159061068257506001600160a01b038216600090815260016020908152604080832033845290915290205460001914155b156106e0576001600160a01b03821660009081526001602090815260408083203384529091529020546106bb908263ffffffff61093316565b6001600160a01b03831660009081526001602090815260408083203384529091529020555b6001600160a01b038216600090815260208190526040902054811115610744576040805162461bcd60e51b8152602060048201526014602482015273696e73756666696369656e742d62616c616e636560601b604482015290519081900360640190fd5b6105b68282610ab0565b600061075b338484610948565b50600192915050565b60066020526000908152604090205460ff1681565b60055461010090046001600160a01b031633146107d1576040805162461bcd60e51b81526020600482015260116024820152701c195c9b5a5cdcda5bdb8819195b9a5959607a1b604482015290519081900360640190fd5b6001600160a01b03919091166000908152600660205260409020805460ff1916911515919091179055565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60055461010090046001600160a01b0316331461087f576040805162461bcd60e51b81526020600482015260116024820152701c195c9b5a5cdcda5bdb8819195b9a5959607a1b604482015290519081900360640190fd5b6001600160a01b0381166108cc576040805162461bcd60e51b815260206004820152600f60248201526e696e76616c6964206164647265737360881b604482015290519081900360640190fd5b6005546040516001600160a01b0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b60008282111561094257600080fd5b50900390565b6001600160a01b03821661095b57600080fd5b6001600160a01b038316600090815260208190526040902054610984908263ffffffff61093316565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546109b9908263ffffffff610b4d16565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6001600160a01b038216600090815260208190526040902054610a3c908263ffffffff610b4d16565b6001600160a01b038316600090815260208190526040902055600254610a68908263ffffffff610b4d16565b6002556040805182815290516001600160a01b038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6001600160a01b038216600090815260208190526040902054610ad9908263ffffffff61093316565b6001600160a01b038316600090815260208190526040902055600254610b05908263ffffffff61093316565b6002556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600082820183811015610b5f57600080fd5b939250505056fea265627a7a72315820782bf31045610e759808b28c5dce5360f612d22306ff62b4ba00bda0910a54d764736f6c63430005110032

5497:848:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5497:848:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4972: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;4972:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3678:201;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3678:201:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1852:91;;;:::i;:::-;;;;;;;;;;;;;;;;4345:311;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4345:311:0;;;;;;;;;;;;;;;;;:::i;5024:21::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5867:141;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5867:141:0;;;;;;;;:::i;:::-;;2158:106;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2158:106:0;-1:-1:-1;;;;;2158:106:0;;:::i;880:20::-;;;:::i;:::-;;;;-1:-1:-1;;;;;880:20:0;;;;;;;;;;;;;;4997;;;:::i;6016:320::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6016:320:0;;;;;;;;:::i;2899:140::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2899:140:0;;;;;;;;:::i;5583:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5583:41:0;-1:-1:-1;;;;;5583:41:0;;:::i;5752:107::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5752:107:0;;;;;;;;;;:::i;2598:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2598:131:0;;;;;;;;;;:::i;1176:211::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1176:211:0;-1:-1:-1;;;;;1176:211:0;;:::i;4972:18::-;;;;;;;;;;;;;;;-1:-1:-1;;4972:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3678:201::-;3769:10;3743:4;3760:20;;;:8;:20;;;;;;;;-1:-1:-1;;;;;3760:29:0;;;;;;;;;;;:37;;;3813:36;;;;;;;3743:4;;3760:29;;3769:10;;3813:36;;;;;;;;-1:-1:-1;3867:4:0;3678:201;;;;:::o;1852:91::-;1923:12;;1852:91;:::o;4345:311::-;4424:4;-1:-1:-1;;;;;4445:18:0;;4453:10;4445:18;;;;:63;;-1:-1:-1;;;;;;4467:14:0;;;;;;:8;:14;;;;;;;;4482:10;4467:26;;;;;;;;-1:-1:-1;;4467:41:0;;4445:63;4441:148;;;-1:-1:-1;;;;;4552:14:0;;;;;;:8;:14;;;;;;;;4567:10;4552:26;;;;;;;;:37;;4583:5;4552:37;:30;:37;:::i;:::-;-1:-1:-1;;;;;4523:14:0;;;;;;:8;:14;;;;;;;;4538:10;4523:26;;;;;;;:66;4441:148;4600:26;4610:4;4616:2;4620:5;4600:9;:26::i;:::-;-1:-1:-1;4644:4:0;4345:311;;;;;:::o;5024:21::-;;;;;;:::o;5867:141::-;5946:10;5937:20;;;;:8;:20;;;;;;;;5929:43;;;;;-1:-1:-1;;;5929:43:0;;;;;;;;;;;;-1:-1:-1;;;5929:43:0;;;;;;;;;;;;;;;5983:17;5989:2;5993:6;5983:5;:17::i;:::-;5867:141;;:::o;2158:106::-;-1:-1:-1;;;;;2240:16:0;2213:7;2240:16;;;;;;;;;;;;2158:106::o;880:20::-;;;;;;-1:-1:-1;;;;;880:20:0;;:::o;4997:::-;;;;;;;;;;;;;;;-1:-1:-1;;4997:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6016:320;-1:-1:-1;;;;;6084:18:0;;6092:10;6084:18;;;;:63;;-1:-1:-1;;;;;;6106:14:0;;;;;;:8;:14;;;;;;;;6121:10;6106:26;;;;;;;;-1:-1:-1;;6106:41:0;;6084:63;6080:149;;;-1:-1:-1;;;;;6191:14:0;;;;;;:8;:14;;;;;;;;6206:10;6191:26;;;;;;;;:38;;6222:6;6191:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;6162:14:0;;;;;;:8;:14;;;;;;;;6177:10;6162:26;;;;;;;:67;6080:149;-1:-1:-1;;;;;6248:15:0;;:9;:15;;;;;;;;;;;:25;-1:-1:-1;6248:25:0;6240:58;;;;;-1:-1:-1;;;6240:58:0;;;;;;;;;;;;-1:-1:-1;;;6240:58:0;;;;;;;;;;;;;;;6309:19;6315:4;6321:6;6309:5;:19::i;2899:140::-;2960:4;2977:32;2987:10;2999:2;3003:5;2977:9;:32::i;:::-;-1:-1:-1;3027:4:0;2899:140;;;;:::o;5583:41::-;;;;;;;;;;;;;;;:::o;5752:107::-;1121:5;;;;;-1:-1:-1;;;;;1121:5:0;1107:10;:19;1099:49;;;;;-1:-1:-1;;;1099:49:0;;;;;;;;;;;;-1:-1:-1;;;1099:49:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;5828:16:0;;;;;;;;:8;:16;;;;;:23;;-1:-1:-1;;5828:23:0;;;;;;;;;;5752:107::o;2598:131::-;-1:-1:-1;;;;;2697:15:0;;;2670:7;2697:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;2598:131::o;1176:211::-;1121:5;;;;;-1:-1:-1;;;;;1121:5:0;1107:10;:19;1099:49;;;;;-1:-1:-1;;;1099:49:0;;;;;;;;;;;;-1:-1:-1;;;1099:49:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;1257:22:0;;1249:50;;;;;-1:-1:-1;;;1249:50:0;;;;;;;;;;;;-1:-1:-1;;;1249:50:0;;;;;;;;;;;;;;;1336:5;;1315:37;;-1:-1:-1;;;;;1315:37:0;;;;1336:5;;;;;1315:37;;;;;1363:5;:16;;-1:-1:-1;;;;;1363:16:0;;;;;-1:-1:-1;;;;;;1363:16:0;;;;;;;;;1176:211::o;413:148::-;471:7;504:1;499;:6;;491:15;;;;;;-1:-1:-1;529:5:0;;;413:148::o;4664:260::-;-1:-1:-1;;;;;4752:16:0;;4744:25;;;;;;-1:-1:-1;;;;;4798:15:0;;:9;:15;;;;;;;;;;;:26;;4818:5;4798:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;4780:15:0;;;:9;:15;;;;;;;;;;;:44;;;;4851:13;;;;;;;:24;;4869:5;4851:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;4835:13:0;;;:9;:13;;;;;;;;;;;;:40;;;;4891:25;;;;;;;4835:13;;4891:25;;;;;;;;;;;;;4664:260;;;:::o;5054:210::-;-1:-1:-1;;;;;5133:13:0;;:9;:13;;;;;;;;;;;:25;;5151:6;5133:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;5117:13:0;;:9;:13;;;;;;;;;;:41;5184:12;;:24;;5201:6;5184:24;:16;:24;:::i;:::-;5169:12;:39;5224:32;;;;;;;;-1:-1:-1;;;;;5224:32:0;;;5241:1;;5224:32;;;;;;;;;5054:210;;:::o;5272:218::-;-1:-1:-1;;;;;5355:15:0;;:9;:15;;;;;;;;;;;:27;;5375:6;5355:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;5337:15:0;;:9;:15;;;;;;;;;;:45;5408:12;;:24;;5425:6;5408:24;:16;:24;:::i;:::-;5393:12;:39;5448:34;;;;;;;;5471:1;;-1:-1:-1;;;;;5448:34:0;;;;;;;;;;;;5272:218;;:::o;569:148::-;627:7;659:5;;;683:6;;;;675:15;;;;;;708:1;569:148;-1:-1:-1;;;569:148:0:o

bzzr://782bf31045610e759808b28c5dce5360f612d22306ff62b4ba00bda0910a54d7