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)
•  contract Ownable
•    - function transferOwnership(address ne ...
•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract BasicToken is ERC20Basic
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract CNDT is StandardToken, Ow ... *
•    - function transfer(address _to, uint _ ...
•    - function transferFrom(address _from, ...
•    - function emergencyERC20Drain( ERC20 t ...
•    - function mint(address receiver, uint2 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.1;

library SafeMath {
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a * b;
        assert(a == 0 || 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;
    }
}

contract Ownable {
    address public owner;


    /**
     * @dev The Ownable constructor sets the original `owner` of the contract to the sender
     * account.
     */
    constructor() public {
        owner = msg.sender;
    }


    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }


    /**
     * @dev Allows the current owner to transfer control of the contract to a newOwner.
     * @param newOwner The address to transfer ownership to.
     */
    function transferOwnership(address newOwner) onlyOwner public{
        if (newOwner != address(0)) {
            owner = newOwner;
        }
    }

}

contract ERC20Basic {
    uint256 public totalSupply;
    function balanceOf(address who) public view returns (uint256);
    function transfer(address to, uint256 value) public returns (bool);

    // KYBER-NOTE! code changed to comply with ERC20 standard
    event Transfer(address indexed _from, address indexed _to, uint _value);
    //event Transfer(address indexed from, address indexed to, uint256 value);
}

contract BasicToken is ERC20Basic {
    using SafeMath for uint256;

    mapping(address => uint256) balances;

    /**
    * @dev transfer token for 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) {
        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

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

}

contract ERC20 is ERC20Basic {
    function allowance(address owner, address spender) public view returns (uint256);
    function transferFrom(address from, address to, uint256 value) public returns (bool);
    function approve(address spender, uint256 value) public returns (bool);

    // KYBER-NOTE! code changed to comply with ERC20 standard
    event Approval(address indexed _owner, address indexed _spender, uint _value);
    //event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract StandardToken is ERC20, BasicToken {

    mapping (address => mapping (address => uint256)) allowed;


    /**
     * @dev Transfer tokens from one address to another
     * @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 amout of tokens to be transfered
     */
    function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
        uint256 _allowance = allowed[_from][msg.sender];

        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        allowed[_from][msg.sender] = _allowance.sub(_value);
        emit Transfer(_from, _to, _value);
        return true;
    }

    /**
     * @dev Aprove the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * @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) {

        // To change the approve amount you first have to reduce the addresses`
        //  allowance to zero by calling `approve(_spender, 0)` if it is not
        //  already 0 to mitigate the race condition described here:
        //  https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
        require((_value == 0) || (allowed[msg.sender][_spender] == 0));

        allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    /**
     * @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 specifing the amount of tokens still avaible for the spender.
     */
    function allowance(address _owner, address _spender) public view returns (uint256 remaining) {
        return allowed[_owner][_spender];
    }

}

contract CNDT is StandardToken, Ownable {
    string  public  constant name = "CNDT";
    string  public  constant symbol = "CNDT";
    uint    public  constant decimals = 18;

    modifier validDestination( address to ) {
        require(to != address(0x0));
        require(to != address(this) );
        _;
    }

    constructor() public {
        totalSupply = 2000000000 * (10 ** decimals);
        address to = msg.sender;
        balances[to] = totalSupply;
        emit Transfer(address(0x0), to, totalSupply);
        transferOwnership(msg.sender); // admin could drain tokens that were sent here by mistake
    }

    function transfer(address _to, uint _value)
    validDestination(_to)
    public returns (bool) {
        return super.transfer(_to, _value);
    }

    function transferFrom(address _from, address _to, uint _value)
    validDestination(_to)
    public returns (bool) {
        return super.transferFrom(_from, _to, _value);
    }


    function emergencyERC20Drain( ERC20 token, uint amount ) onlyOwner public {
        token.transfer( owner, amount );
    }

    function mint(address receiver, uint256 amount ) onlyOwner public {
        require(amount > 0);
        totalSupply = totalSupply.add(amount);
        balances[receiver] = balances[receiver].add(amount);
        emit Transfer(address(0x0), receiver, 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":"_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":"remaining","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":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"contract ERC20","name":"token","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"emergencyERC20Drain","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"receiver","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":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"}]

608060405234801561001057600080fd5b50600380546001600160a01b031916339081179091556b06765c793fa10079d0000000600081815582815260016020908152604080832084905580519384525184937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92908290030190a361008d336001600160e01b0361009316565b506100d8565b6003546001600160a01b031633146100aa57600080fd5b6001600160a01b038116156100d557600380546001600160a01b0319166001600160a01b0383161790555b50565b610860806100e76000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c578063a9059cbb11610066578063a9059cbb14610261578063db0e16f11461028d578063dd62ed3e146102b9578063f2fde38b146102e7576100cf565b806370a08231146102175780638da5cb5b1461023d57806395d89b41146100d4576100cf565b806306fdde03146100d4578063095ea7b31461015157806318160ddd1461019157806323b872dd146101ab578063313ce567146101e157806340c10f19146101e9575b600080fd5b6100dc61030d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101165781810151838201526020016100fe565b50505050905090810190601f1680156101435780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61017d6004803603604081101561016757600080fd5b506001600160a01b03813516906020013561032d565b604080519115158252519081900360200190f35b6101996103cd565b60408051918252519081900360200190f35b61017d600480360360608110156101c157600080fd5b506001600160a01b038135811691602081013590911690604001356103d3565b610199610413565b610215600480360360408110156101ff57600080fd5b506001600160a01b038135169060200135610418565b005b6101996004803603602081101561022d57600080fd5b50356001600160a01b03166104d2565b6102456104ed565b604080516001600160a01b039092168252519081900360200190f35b61017d6004803603604081101561027757600080fd5b506001600160a01b0381351690602001356104fc565b610215600480360360408110156102a357600080fd5b506001600160a01b03813516906020013561053a565b610199600480360360408110156102cf57600080fd5b506001600160a01b03813581169160200135166105d7565b610215600480360360208110156102fd57600080fd5b50356001600160a01b0316610602565b6040518060400160405280600481526020016310d3911560e21b81525081565b600081158061035d57503360009081526002602090815260408083206001600160a01b0387168452909152902054155b61036657600080fd5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b6000826001600160a01b0381166103e957600080fd5b6001600160a01b0381163014156103ff57600080fd5b61040a858585610647565b95945050505050565b601281565b6003546001600160a01b0316331461042f57600080fd5b6000811161043c57600080fd5b60005461044f908263ffffffff61075316565b60009081556001600160a01b03831681526001602052604090205461047a908263ffffffff61075316565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b031660009081526001602052604090205490565b6003546001600160a01b031681565b6000826001600160a01b03811661051257600080fd5b6001600160a01b03811630141561052857600080fd5b6105328484610769565b949350505050565b6003546001600160a01b0316331461055157600080fd5b6003546040805163a9059cbb60e01b81526001600160a01b0392831660048201526024810184905290519184169163a9059cbb916044808201926020929091908290030181600087803b1580156105a757600080fd5b505af11580156105bb573d6000803e3d6000fd5b505050506040513d60208110156105d157600080fd5b50505050565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6003546001600160a01b0316331461061957600080fd5b6001600160a01b0381161561064457600380546001600160a01b0319166001600160a01b0383161790555b50565b6001600160a01b03831660008181526002602090815260408083203384528252808320549383526001909152812054909190610689908463ffffffff61081916565b6001600160a01b0380871660009081526001602052604080822093909355908616815220546106be908463ffffffff61075316565b6001600160a01b0385166000908152600160205260409020556106e7818463ffffffff61081916565b6001600160a01b03808716600081815260026020908152604080832033845282529182902094909455805187815290519288169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a3506001949350505050565b60008282018381101561076257fe5b9392505050565b33600090815260016020526040812054610789908363ffffffff61081916565b33600090815260016020526040808220929092556001600160a01b038516815220546107bb908363ffffffff61075316565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b60008282111561082557fe5b5090039056fea265627a7a72315820067dd0b7acdc0a7ab71c3de212130135ce29716f5271585128d3c0db2da76db764736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c578063a9059cbb11610066578063a9059cbb14610261578063db0e16f11461028d578063dd62ed3e146102b9578063f2fde38b146102e7576100cf565b806370a08231146102175780638da5cb5b1461023d57806395d89b41146100d4576100cf565b806306fdde03146100d4578063095ea7b31461015157806318160ddd1461019157806323b872dd146101ab578063313ce567146101e157806340c10f19146101e9575b600080fd5b6100dc61030d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101165781810151838201526020016100fe565b50505050905090810190601f1680156101435780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61017d6004803603604081101561016757600080fd5b506001600160a01b03813516906020013561032d565b604080519115158252519081900360200190f35b6101996103cd565b60408051918252519081900360200190f35b61017d600480360360608110156101c157600080fd5b506001600160a01b038135811691602081013590911690604001356103d3565b610199610413565b610215600480360360408110156101ff57600080fd5b506001600160a01b038135169060200135610418565b005b6101996004803603602081101561022d57600080fd5b50356001600160a01b03166104d2565b6102456104ed565b604080516001600160a01b039092168252519081900360200190f35b61017d6004803603604081101561027757600080fd5b506001600160a01b0381351690602001356104fc565b610215600480360360408110156102a357600080fd5b506001600160a01b03813516906020013561053a565b610199600480360360408110156102cf57600080fd5b506001600160a01b03813581169160200135166105d7565b610215600480360360208110156102fd57600080fd5b50356001600160a01b0316610602565b6040518060400160405280600481526020016310d3911560e21b81525081565b600081158061035d57503360009081526002602090815260408083206001600160a01b0387168452909152902054155b61036657600080fd5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b6000826001600160a01b0381166103e957600080fd5b6001600160a01b0381163014156103ff57600080fd5b61040a858585610647565b95945050505050565b601281565b6003546001600160a01b0316331461042f57600080fd5b6000811161043c57600080fd5b60005461044f908263ffffffff61075316565b60009081556001600160a01b03831681526001602052604090205461047a908263ffffffff61075316565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b031660009081526001602052604090205490565b6003546001600160a01b031681565b6000826001600160a01b03811661051257600080fd5b6001600160a01b03811630141561052857600080fd5b6105328484610769565b949350505050565b6003546001600160a01b0316331461055157600080fd5b6003546040805163a9059cbb60e01b81526001600160a01b0392831660048201526024810184905290519184169163a9059cbb916044808201926020929091908290030181600087803b1580156105a757600080fd5b505af11580156105bb573d6000803e3d6000fd5b505050506040513d60208110156105d157600080fd5b50505050565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6003546001600160a01b0316331461061957600080fd5b6001600160a01b0381161561064457600380546001600160a01b0319166001600160a01b0383161790555b50565b6001600160a01b03831660008181526002602090815260408083203384528252808320549383526001909152812054909190610689908463ffffffff61081916565b6001600160a01b0380871660009081526001602052604080822093909355908616815220546106be908463ffffffff61075316565b6001600160a01b0385166000908152600160205260409020556106e7818463ffffffff61081916565b6001600160a01b03808716600081815260026020908152604080832033845282529182902094909455805187815290519288169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a3506001949350505050565b60008282018381101561076257fe5b9392505050565b33600090815260016020526040812054610789908363ffffffff61081916565b33600090815260016020526040808220929092556001600160a01b038516815220546107bb908363ffffffff61075316565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b60008282111561082557fe5b5090039056fea265627a7a72315820067dd0b7acdc0a7ab71c3de212130135ce29716f5271585128d3c0db2da76db764736f6c63430005110032

5536:1403:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5536:1403:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5583:38;;;:::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;5583:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4454:591;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4454:591:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1582:26;;;:::i;:::-;;;;;;;;;;;;;;;;6343:181;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6343:181:0;;;;;;;;;;;;;;;;;:::i;5675:38::-;;;:::i;6666:270::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6666:270:0;;;;;;;;:::i;:::-;;2753:115;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2753:115:0;-1:-1:-1;;;;;2753:115:0;;:::i;825:20::-;;;:::i;:::-;;;;-1:-1:-1;;;;;825:20:0;;;;;;;;;;;;;;6184:151;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6184:151:0;;;;;;;;:::i;6534:124::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6534:124:0;;;;;;;;:::i;5383:144::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5383:144:0;;;;;;;;;;:::i;1396:150::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1396:150:0;-1:-1:-1;;;;;1396:150:0;;:::i;5583:38::-;;;;;;;;;;;;;;-1:-1:-1;;;5583:38:0;;;;:::o;4454:591::-;4521:4;4857:11;;;4856:53;;-1:-1:-1;4882:10:0;4874:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4874:29:0;;;;;;;;;;:34;4856:53;4848:62;;;;;;4931:10;4923:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4923:29:0;;;;;;;;;;;;:38;;;4977;;;;;;;4923:29;;4931:10;4977:38;;;;;;;;;;;-1:-1:-1;5033:4:0;4454:591;;;;:::o;1582:26::-;;;;:::o;6343:181::-;6454:4;6428:3;-1:-1:-1;;;;;5781:18:0;;5773:27;;;;;;-1:-1:-1;;;;;5819:19:0;;5833:4;5819:19;;5811:29;;;;;;6478:38;6497:5;6504:3;6509:6;6478:18;:38::i;:::-;6471:45;6343:181;-1:-1:-1;;;;;6343:181:0:o;5675:38::-;5711:2;5675:38;:::o;6666:270::-;1191:5;;-1:-1:-1;;;;;1191:5:0;1177:10;:19;1169:28;;;;;;6760:1;6751:6;:10;6743:19;;;;;;6787:11;;:23;;6803:6;6787:23;:15;:23;:::i;:::-;6773:11;:37;;;-1:-1:-1;;;;;6842:18:0;;;;:8;:18;;;;;;:30;;6865:6;6842:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;6821:18:0;;;;;;:8;:18;;;;;;;;:51;;;;6888:40;;;;;;;6821:18;;;;6888:40;;;;;;;;;;6666:270;;:::o;2753:115::-;-1:-1:-1;;;;;2844:16:0;2809:15;2844:16;;;:8;:16;;;;;;;2753:115::o;825:20::-;;;-1:-1:-1;;;;;825:20:0;;:::o;6184:151::-;6276:4;6250:3;-1:-1:-1;;;;;5781:18:0;;5773:27;;;;;;-1:-1:-1;;;;;5819:19:0;;5833:4;5819:19;;5811:29;;;;;;6300:27;6315:3;6320:6;6300:14;:27::i;:::-;6293:34;6184:151;-1:-1:-1;;;;6184:151:0:o;6534:124::-;1191:5;;-1:-1:-1;;;;;1191:5:0;1177:10;:19;1169:28;;;;;;6635:5;;6619:31;;;-1:-1:-1;;;6619:31:0;;-1:-1:-1;;;;;6635:5:0;;;6619:31;;;;;;;;;;;;:14;;;;;;:31;;;;;;;;;;;;;;;6635:5;6619:14;:31;;;5:2:-1;;;;30:1;27;20:12;5:2;6619:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6619:31:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;6534:124:0:o;5383:144::-;-1:-1:-1;;;;;5494:15:0;;;5457:17;5494:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;5383:144::o;1396:150::-;1191:5;;-1:-1:-1;;;;;1191:5:0;1177:10;:19;1169:28;;;;;;-1:-1:-1;;;;;1472:22:0;;;1468:71;;1511:5;:16;;-1:-1:-1;;;;;;1511:16:0;-1:-1:-1;;;;;1511:16:0;;;;;1468:71;1396:150;:::o;3812:392::-;-1:-1:-1;;;;;3932:14:0;;3894:4;3932:14;;;:7;:14;;;;;;;;3947:10;3932:26;;;;;;;;3989:15;;;:8;:15;;;;;;3894:4;;3932:26;3989:27;;4009:6;3989:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;3971:15:0;;;;;;;:8;:15;;;;;;:45;;;;4043:13;;;;;;;:25;;4061:6;4043:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4027:13:0;;;;;;:8;:13;;;;;:41;4108:22;:10;4123:6;4108:22;:14;:22;:::i;:::-;-1:-1:-1;;;;;4079:14:0;;;;;;;:7;:14;;;;;;;;4094:10;4079:26;;;;;;;;:51;;;;4146:28;;;;;;;;;;;4079:14;;4146:28;;;;;;;;;;;-1:-1:-1;4192:4:0;;3812:392;-1:-1:-1;;;;3812:392:0:o;647:147::-;705:7;737:5;;;760:6;;;;753:14;;;;785:1;647:147;-1:-1:-1;;;647:147:0:o;2266:266::-;2378:10;2329:4;2369:20;;;:8;:20;;;;;;:32;;2394:6;2369:32;:24;:32;:::i;:::-;2355:10;2346:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;2428:13:0;;;;;;:25;;2446:6;2428:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2412:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;2469:33;;;;;;;2412:13;;2478:10;;2469:33;;;;;;;;;;-1:-1:-1;2520:4:0;2266:266;;;;:::o;516:123::-;574:7;606:1;601;:6;;594:14;;;;-1:-1:-1;626:5:0;;;516:123::o

bzzr://067dd0b7acdc0a7ab71c3de212130135ce29716f5271585128d3c0db2da76db7