Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20Interface    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function transfer(address to, uint to ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract Owned    - function transferOwnership(address _n ...    - function acceptOwnership() library SafeMath    - function add(uint a, uint b)    - function sub(uint a, uint b)  contract VNXLU is ERC20Interface, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function transfer(address to, uint to ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function allowance(address tokenOwner ...    - function ()    - function transferAnyERC20Token(addres ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-07-08
*/

pragma solidity ^0.5.9;

// ----------------------------------------------------------------------------
// ERC Token Standard #20 Interface
// https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md
// ----------------------------------------------------------------------------
contract ERC20Interface {
    function totalSupply() public view returns (uint);
    function balanceOf(address tokenOwner) public view returns (uint balance);
    function allowance(address tokenOwner, address spender) public view returns (uint remaining);
    function transfer(address to, uint tokens) public returns (bool success);
    function approve(address spender, uint tokens) public returns (bool success);
    function transferFrom(address from, address to, uint tokens) public returns (bool success);

    event Transfer(address indexed from, address indexed to, uint tokens);
    event Approval(address indexed tokenOwner, address indexed spender, uint tokens);
}

// ----------------------------------------------------------------------------
// Owned contract
// ----------------------------------------------------------------------------
contract Owned {
    address public owner;
    address public newOwner;

    event OwnershipTransferred(address indexed _from, address indexed _to);

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

    modifier onlyOwner {
        require(msg.sender == owner);
        _;
    }

    function transferOwnership(address _newOwner) public onlyOwner {
        newOwner = _newOwner;
    }
    function acceptOwnership() public {
        require(msg.sender == newOwner);
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
        newOwner = address(0);
    }
}

// ----------------------------------------------------------------------------
// Safe maths
// ----------------------------------------------------------------------------
library SafeMath {
    function add(uint a, uint b) internal pure returns (uint c) {
        c = a + b;
        require(c >= a);
    }
    function sub(uint a, uint b) internal pure returns (uint c) {
        require(b <= a);
        c = a - b;
    }
}

// ----------------------------------------------------------------------------
// ERC20 Token, with the addition of symbol, name and decimals and a
// fixed supply
// ----------------------------------------------------------------------------
contract VNXLU is ERC20Interface, Owned {
    using SafeMath for uint;

    string private _symbol  = "VNXLU";
    string private _name    = "VNX Exchange";
    uint8 private _decimals = 18;

    uint private _totalSupply;

    mapping(address => uint) balances;
    mapping(address => mapping(address => uint)) allowed;

    // ------------------------------------------------------------------------
    // Constructor
    // !!! initTotalTokens are in tokens, not in _totalSupply metrics
    // ------------------------------------------------------------------------
    constructor(uint initTotalTokens) public {
        _totalSupply = initTotalTokens * 10**uint(_decimals);
        balances[owner] = _totalSupply;
        emit Transfer(address(0), owner, _totalSupply);
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei.
     *
     * > Note that this information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * `IERC20.balanceOf` and `IERC20.transfer`.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }

    // ------------------------------------------------------------------------
    // Total supply
    // ------------------------------------------------------------------------
    function totalSupply() public view returns (uint res) {
        return _totalSupply.sub(balances[address(0)]);
    }

    // ------------------------------------------------------------------------
    // Get the token balance for account `tokenOwner`
    // ------------------------------------------------------------------------
    function balanceOf(address tokenOwner) public view returns (uint balance) {
        return balances[tokenOwner];
    }

    // ------------------------------------------------------------------------
    // Transfer the balance from token owner's account to `to` account
    // - Owner's account must have sufficient balance to transfer
    // - 0 value transfers are allowed
  	// ------------------------------------------------------------------------
    function transfer(address to, uint tokens) public returns (bool success) {
        balances[msg.sender] = balances[msg.sender].sub(tokens);
        balances[to] = balances[to].add(tokens);
        emit Transfer(msg.sender, to, tokens);
        return true;
    }

    // ------------------------------------------------------------------------
    // Token owner can approve for `spender` to transferFrom(...) `tokens`
    // from the token owner's account
    //
    // https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20-token-standard.md
    // recommends that there are no checks for the approval double-spend attack
    // as this should be implemented in user interfaces
    // ------------------------------------------------------------------------
    function approve(address spender, uint tokens) public returns (bool success) {
        allowed[msg.sender][spender] = tokens;
        emit Approval(msg.sender, spender, tokens);
        return true;
    }

    // ------------------------------------------------------------------------
    // Transfer `tokens` from the `from` account to the `to` account
    //
    // The calling account must already have sufficient tokens approve(...)-d
    // for spending from the `from` account and
    // - From account must have sufficient balance to transfer
    // - Spender must have sufficient allowance to transfer
    // - 0 value transfers are allowed
    // ------------------------------------------------------------------------
    function transferFrom(address from, address to, uint tokens) public returns (bool success) {
        balances[from] = balances[from].sub(tokens);
        allowed[from][msg.sender] = allowed[from][msg.sender].sub(tokens);
        balances[to] = balances[to].add(tokens);
        emit Transfer(from, to, tokens);
        return true;
    }

    // ------------------------------------------------------------------------
    // Returns the amount of tokens approved by the owner that can be
    // transferred to the spender's account
    // ------------------------------------------------------------------------
    function allowance(address tokenOwner, address spender) public view returns (uint remaining) {
        return allowed[tokenOwner][spender];
    }

    // ------------------------------------------------------------------------
    // Don't accept ETH
    // ------------------------------------------------------------------------
    function () external payable {
        revert();
    }

    // ------------------------------------------------------------------------
    // Owner can transfer out any accidentally sent ERC20 tokens
    // ------------------------------------------------------------------------
    function transferAnyERC20Token(address tokenAddress, uint tokens) public onlyOwner returns (bool success) {
        return ERC20Interface(tokenAddress).transfer(owner, tokens);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"tokens","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"res","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"tokenAddress","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transferAnyERC20Token","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"initTotalTokens","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"tokenOwner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Approval","type":"event"}]

60c0604052600560808190527f564e584c5500000000000000000000000000000000000000000000000000000060a090815261003e916002919061013e565b5060408051808201909152600c8082527f564e582045786368616e6765000000000000000000000000000000000000000060209092019182526100839160039161013e565b506004805460ff1916601217905534801561009d57600080fd5b50604051610b31380380610b31833981810160405260208110156100c057600080fd5b5051600080546001600160a01b031916331780825560045460ff16600a0a830260058190556001600160a01b039182168352600660209081526040808520839055845481519384529051931693927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3506101d9565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061017f57805160ff19168380011785556101ac565b828001600101855582156101ac579182015b828111156101ac578251825591602001919060010190610191565b506101b89291506101bc565b5090565b6101d691905b808211156101b857600081556001016101c2565b90565b610949806101e86000396000f3fe6080604052600436106100dd5760003560e01c80638da5cb5b1161007f578063d4ee1d9011610059578063d4ee1d9014610317578063dc39d06d1461032c578063dd62ed3e14610365578063f2fde38b146103a0576100dd565b80638da5cb5b1461029857806395d89b41146102c9578063a9059cbb146102de576100dd565b806323b872dd116100bb57806323b872dd146101e0578063313ce5671461022357806370a082311461024e57806379ba509714610281576100dd565b806306fdde03146100e2578063095ea7b31461016c57806318160ddd146101b9575b600080fd5b3480156100ee57600080fd5b506100f76103d3565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610131578181015183820152602001610119565b50505050905090810190601f16801561015e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017857600080fd5b506101a56004803603604081101561018f57600080fd5b506001600160a01b038135169060200135610469565b604080519115158252519081900360200190f35b3480156101c557600080fd5b506101ce6104d0565b60408051918252519081900360200190f35b3480156101ec57600080fd5b506101a56004803603606081101561020357600080fd5b506001600160a01b03813581169160208101359091169060400135610513565b34801561022f57600080fd5b5061023861061e565b6040805160ff9092168252519081900360200190f35b34801561025a57600080fd5b506101ce6004803603602081101561027157600080fd5b50356001600160a01b0316610627565b34801561028d57600080fd5b50610296610642565b005b3480156102a457600080fd5b506102ad6106bd565b604080516001600160a01b039092168252519081900360200190f35b3480156102d557600080fd5b506100f76106cc565b3480156102ea57600080fd5b506101a56004803603604081101561030157600080fd5b506001600160a01b03813516906020013561072a565b34801561032357600080fd5b506102ad6107da565b34801561033857600080fd5b506101a56004803603604081101561034f57600080fd5b506001600160a01b0381351690602001356107e9565b34801561037157600080fd5b506101ce6004803603604081101561038857600080fd5b506001600160a01b038135811691602001351661088b565b3480156103ac57600080fd5b50610296600480360360208110156103c357600080fd5b50356001600160a01b03166108b6565b60038054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561045f5780601f106104345761010080835404028352916020019161045f565b820191906000526020600020905b81548152906001019060200180831161044257829003601f168201915b5050505050905090565b3360008181526007602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b600080805260066020527f54cdd369e4e8a8515e52ca72ec816c2101831ad1f18bf44102ed171459c9b4f85460055461050e9163ffffffff6108ef16565b905090565b6001600160a01b03831660009081526006602052604081205461053c908363ffffffff6108ef16565b6001600160a01b0385166000908152600660209081526040808320939093556007815282822033835290522054610579908363ffffffff6108ef16565b6001600160a01b0380861660009081526007602090815260408083203384528252808320949094559186168152600690915220546105bd908363ffffffff61090416565b6001600160a01b0380851660008181526006602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60045460ff1690565b6001600160a01b031660009081526006602052604090205490565b6001546001600160a01b0316331461065957600080fd5b600154600080546040516001600160a01b0393841693909116917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a360018054600080546001600160a01b03199081166001600160a01b03841617909155169055565b6000546001600160a01b031681565b60028054604080516020601f600019610100600187161502019094168590049384018190048102820181019092528281526060939092909183018282801561045f5780601f106104345761010080835404028352916020019161045f565b3360009081526006602052604081205461074a908363ffffffff6108ef16565b33600090815260066020526040808220929092556001600160a01b0385168152205461077c908363ffffffff61090416565b6001600160a01b0384166000818152600660209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6001546001600160a01b031681565b600080546001600160a01b0316331461080157600080fd5b600080546040805163a9059cbb60e01b81526001600160a01b0392831660048201526024810186905290519186169263a9059cbb926044808401936020939083900390910190829087803b15801561085857600080fd5b505af115801561086c573d6000803e3d6000fd5b505050506040513d602081101561088257600080fd5b50519392505050565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b6000546001600160a01b031633146108cd57600080fd5b600180546001600160a01b0319166001600160a01b0392909216919091179055565b6000828211156108fe57600080fd5b50900390565b818101828110156104ca57600080fdfea265627a7a723058200cdc85b8da0d5e123113627dc6776323814007f417e7435e2566ca8b7ec7a3cb64736f6c634300050900320000000000000000000000000000000000000000000000000000000004c4b400

0x6080604052600436106100dd5760003560e01c80638da5cb5b1161007f578063d4ee1d9011610059578063d4ee1d9014610317578063dc39d06d1461032c578063dd62ed3e14610365578063f2fde38b146103a0576100dd565b80638da5cb5b1461029857806395d89b41146102c9578063a9059cbb146102de576100dd565b806323b872dd116100bb57806323b872dd146101e0578063313ce5671461022357806370a082311461024e57806379ba509714610281576100dd565b806306fdde03146100e2578063095ea7b31461016c57806318160ddd146101b9575b600080fd5b3480156100ee57600080fd5b506100f76103d3565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610131578181015183820152602001610119565b50505050905090810190601f16801561015e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017857600080fd5b506101a56004803603604081101561018f57600080fd5b506001600160a01b038135169060200135610469565b604080519115158252519081900360200190f35b3480156101c557600080fd5b506101ce6104d0565b60408051918252519081900360200190f35b3480156101ec57600080fd5b506101a56004803603606081101561020357600080fd5b506001600160a01b03813581169160208101359091169060400135610513565b34801561022f57600080fd5b5061023861061e565b6040805160ff9092168252519081900360200190f35b34801561025a57600080fd5b506101ce6004803603602081101561027157600080fd5b50356001600160a01b0316610627565b34801561028d57600080fd5b50610296610642565b005b3480156102a457600080fd5b506102ad6106bd565b604080516001600160a01b039092168252519081900360200190f35b3480156102d557600080fd5b506100f76106cc565b3480156102ea57600080fd5b506101a56004803603604081101561030157600080fd5b506001600160a01b03813516906020013561072a565b34801561032357600080fd5b506102ad6107da565b34801561033857600080fd5b506101a56004803603604081101561034f57600080fd5b506001600160a01b0381351690602001356107e9565b34801561037157600080fd5b506101ce6004803603604081101561038857600080fd5b506001600160a01b038135811691602001351661088b565b3480156103ac57600080fd5b50610296600480360360208110156103c357600080fd5b50356001600160a01b03166108b6565b60038054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561045f5780601f106104345761010080835404028352916020019161045f565b820191906000526020600020905b81548152906001019060200180831161044257829003601f168201915b5050505050905090565b3360008181526007602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b600080805260066020527f54cdd369e4e8a8515e52ca72ec816c2101831ad1f18bf44102ed171459c9b4f85460055461050e9163ffffffff6108ef16565b905090565b6001600160a01b03831660009081526006602052604081205461053c908363ffffffff6108ef16565b6001600160a01b0385166000908152600660209081526040808320939093556007815282822033835290522054610579908363ffffffff6108ef16565b6001600160a01b0380861660009081526007602090815260408083203384528252808320949094559186168152600690915220546105bd908363ffffffff61090416565b6001600160a01b0380851660008181526006602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60045460ff1690565b6001600160a01b031660009081526006602052604090205490565b6001546001600160a01b0316331461065957600080fd5b600154600080546040516001600160a01b0393841693909116917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a360018054600080546001600160a01b03199081166001600160a01b03841617909155169055565b6000546001600160a01b031681565b60028054604080516020601f600019610100600187161502019094168590049384018190048102820181019092528281526060939092909183018282801561045f5780601f106104345761010080835404028352916020019161045f565b3360009081526006602052604081205461074a908363ffffffff6108ef16565b33600090815260066020526040808220929092556001600160a01b0385168152205461077c908363ffffffff61090416565b6001600160a01b0384166000818152600660209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6001546001600160a01b031681565b600080546001600160a01b0316331461080157600080fd5b600080546040805163a9059cbb60e01b81526001600160a01b0392831660048201526024810186905290519186169263a9059cbb926044808401936020939083900390910190829087803b15801561085857600080fd5b505af115801561086c573d6000803e3d6000fd5b505050506040513d602081101561088257600080fd5b50519392505050565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b6000546001600160a01b031633146108cd57600080fd5b600180546001600160a01b0319166001600160a01b0392909216919091179055565b6000828211156108fe57600080fd5b50900390565b818101828110156104ca57600080fdfea265627a7a723058200cdc85b8da0d5e123113627dc6776323814007f417e7435e2566ca8b7ec7a3cb64736f6c63430005090032

0000000000000000000000000000000000000000000000000000000004c4b400

-----Decoded View---------------
Arg [0] : initTotalTokens (uint256): 80000000

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000004c4b400

2476:5796:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7831:8;;;3347:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3347:83:0;;;:::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;3347:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6071:208;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6071:208:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6071:208:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;4479:118;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4479:118:0;;;:::i;:::-;;;;;;;;;;;;;;;;6820:343;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6820:343:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6820:343:0;;;;;;;;;;;;;;;;;:::i;4205:83::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4205:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4822:120;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4822:120:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4822:120:0;-1:-1:-1;;;;;4822:120:0;;:::i;1582:196::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1582:196:0;;;:::i;:::-;;1184:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1184:20:0;;;:::i;:::-;;;;-1:-1:-1;;;;;1184:20:0;;;;;;;;;;;;;;3549:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3549:87:0;;;:::i;5290:267::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5290:267:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5290:267:0;;;;;;;;:::i;1211:23::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1211:23:0;;;:::i;8083:184::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8083:184:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8083:184:0;;;;;;;;:::i;7449:147::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7449:147:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7449:147:0;;;;;;;;;;:::i;1474:102::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1474:102:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1474:102:0;-1:-1:-1;;;;;1474:102:0;;:::i;3347:83::-;3417:5;3410:12;;;;;;;;-1:-1:-1;;3410:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3384:13;;3410:12;;3417:5;;3410:12;;3417:5;3410:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3347:83;:::o;6071:208::-;6167:10;6134:12;6159:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6159:28:0;;;;;;;;;;;:37;;;6212;;;;;;;6134:12;;6159:28;;6167:10;;6212:37;;;;;;;;-1:-1:-1;6267:4:0;6071:208;;;;;:::o;4479:118::-;4523:8;4568:20;;;:8;:20;;;;4551:12;;:38;;;:16;:38;:::i;:::-;4544:45;;4479:118;:::o;6820:343::-;-1:-1:-1;;;;;6939:14:0;;6897:12;6939:14;;;:8;:14;;;;;;:26;;6958:6;6939:26;:18;:26;:::i;:::-;-1:-1:-1;;;;;6922:14:0;;;;;;:8;:14;;;;;;;;:43;;;;7004:7;:13;;;;;7018:10;7004:25;;;;;;:37;;7034:6;7004:37;:29;:37;:::i;:::-;-1:-1:-1;;;;;6976:13:0;;;;;;;:7;:13;;;;;;;;6990:10;6976:25;;;;;;;:65;;;;7067:12;;;;;:8;:12;;;;;:24;;7084:6;7067:24;:16;:24;:::i;:::-;-1:-1:-1;;;;;7052:12:0;;;;;;;:8;:12;;;;;;;;;:39;;;;7107:26;;;;;;;7052:12;;7107:26;;;;;;;;;;;;;-1:-1:-1;7151:4:0;6820:343;;;;;:::o;4205:83::-;4271:9;;;;4205:83;:::o;4822:120::-;-1:-1:-1;;;;;4914:20:0;4882:12;4914:20;;;:8;:20;;;;;;;4822:120::o;1582:196::-;1649:8;;-1:-1:-1;;;;;1649:8:0;1635:10;:22;1627:31;;;;;;1702:8;;;1695:5;;1674:37;;-1:-1:-1;;;;;1702:8:0;;;;1695:5;;;;1674:37;;;1730:8;;;;1722:16;;-1:-1:-1;;;;;;1722:16:0;;;-1:-1:-1;;;;;1730:8:0;;1722:16;;;;1749:21;;;1582:196::o;1184:20::-;;;-1:-1:-1;;;;;1184:20:0;;:::o;3549:87::-;3621:7;3614:14;;;;;;;-1:-1:-1;;3614:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3588:13;;3614:14;;3621:7;;3614:14;;3621:7;3614:14;;;;;;;;;;;;;;;;;;;;;;;;5290:267;5406:10;5349:12;5397:20;;;:8;:20;;;;;;:32;;5422:6;5397:32;:24;:32;:::i;:::-;5383:10;5374:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;5455:12:0;;;;;;:24;;5472:6;5455:24;:16;:24;:::i;:::-;-1:-1:-1;;;;;5440:12:0;;;;;;:8;:12;;;;;;;;;:39;;;;5495:32;;;;;;;5440:12;;5504:10;;5495:32;;;;;;;;;;-1:-1:-1;5545:4:0;5290:267;;;;:::o;1211:23::-;;;-1:-1:-1;;;;;1211:23:0;;:::o;8083:184::-;8175:12;1440:5;;-1:-1:-1;;;;;1440:5:0;1426:10;:19;1418:28;;;;;;8245:5;;;8207:52;;;-1:-1:-1;;;8207:52:0;;-1:-1:-1;;;;;8245:5:0;;;8207:52;;;;;;;;;;;;:37;;;;;;:52;;;;;;;;;;;;;;;;;:37;:52;;;5:2:-1;;;;30:1;27;20:12;5:2;8207:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8207:52:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8207:52:0;;8083:184;-1:-1:-1;;;8083:184:0:o;7449:147::-;-1:-1:-1;;;;;7560:19:0;;;7526:14;7560:19;;;:7;:19;;;;;;;;:28;;;;;;;;;;;;;7449:147::o;1474:102::-;1440:5;;-1:-1:-1;;;;;1440:5:0;1426:10;:19;1418:28;;;;;;1548:8;:20;;-1:-1:-1;;;;;;1548:20:0;-1:-1:-1;;;;;1548:20:0;;;;;;;;;;1474:102::o;2106:114::-;2158:6;2190:1;2185;:6;;2177:15;;;;;;-1:-1:-1;2207:5:0;;;2106:114::o;1986:::-;2061:5;;;2085:6;;;;2077:15;;;;

bzzr://0cdc85b8da0d5e123113627dc6776323814007f417e7435e2566ca8b7ec7a3cb