Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint a, uint b)    - function div(uint a, uint b)    - function sub(uint a, uint b)    - function add(uint a, uint b)  contract ERC20    - function totalSupply()    - function balanceOf(address _owner)    - function transfer(address _to, uint _ ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...  contract StandardToken is ERC20    - function totalSupply()    - function balanceOf(address _owner)    - function transfer(address _to, uint _ ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...  contract Controlled    - function changeController(address _ne ...    - function getController()  contract IVTToken is StandardToken ... *    - function transfer(address _to, uint _ ...    - function transferFrom(address _from, ...    - function burn(uint _amount)    - function burnFrom(address _from, uint ...    - function freezeAccount(address _addr, ...    - function isFrozenAccount(address _add ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-06-09
*/

pragma solidity ^0.4.24;


/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
  function mul(uint a, uint b) internal pure returns (uint) {
    if (a == 0) {
      return 0;
    }
    uint c = a * b;
    assert(c / a == b);
    return c;
  }

  function div(uint a, uint b) internal pure returns (uint) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  function sub(uint a, uint b) internal pure returns (uint) {
    assert(b <= a);
    return a - b;
  }

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

contract ERC20 {

    function totalSupply() public constant returns (uint supply);
    
    function balanceOf(address _owner) public constant returns (uint balance);
    
    function transfer(address _to, uint _value) public returns (bool success);
    
    function transferFrom(address _from, address _to, uint _value) public returns (bool success);
    
    function approve(address _spender, uint _value) public returns (bool success);
    
    function allowance(address _owner, address _spender) public constant returns (uint remaining);

    event Transfer(address indexed _from, address indexed _to, uint _value);
    
    event Approval(address indexed _owner, address indexed _spender, uint _value);
    
    event Burn(address indexed _from, uint _value);
}


contract StandardToken is ERC20 {

    using SafeMath for uint;

    uint public totalSupply;

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

    function totalSupply() public constant returns (uint) {
        return totalSupply;
    }

    function balanceOf(address _owner) public constant returns (uint balance) {
        return balances[_owner];
    }

    function transfer(address _to, uint _value) public returns (bool success) {
        require(balances[msg.sender] >= _value && _value > 0);
        
        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        emit Transfer(msg.sender, _to, _value);
        
        return true;
    }

    function transferFrom(address _from, address _to, uint _value) public returns (bool success) {
        require(balances[_from] >= _value && allowed[_from][msg.sender] >= _value && _value > 0);
        
        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
        emit Transfer(_from, _to, _value);
        
        return true;
    }

    function approve(address _spender, uint _value) public returns (bool success) {
        // https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
        if ((_value != 0) && (allowed[msg.sender][_spender] != 0)) {
            revert();
        }
        allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    function allowance(address _owner, address _spender) public constant returns (uint remaining) {
        return allowed[_owner][_spender];
    }

}

contract Controlled {

    address public controller;

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

    function changeController(address _newController) public only_controller {
        controller = _newController;
    }
    
    function getController() constant public returns (address) {
        return controller;
    }

    modifier only_controller { 
        require(msg.sender == controller);
        _; 
    }

}


contract IVTToken is StandardToken, Controlled {
    
    using SafeMath for uint;

    string public constant name = "IVT Token";

    string public constant symbol = "IVT";

    uint8 public constant decimals = 2;
    
    // for token circulation on platforms that integrate Theta before unlockTime
    mapping (address => bool) internal frozenAccount;

    constructor() public {
        totalSupply = 200*10000*10000 * 10 ** uint256(decimals); 
        balances[msg.sender] = totalSupply; 
    }

    function transfer(address _to, uint _amount) can_transfer(msg.sender, _to) public returns (bool success) {
        return super.transfer(_to, _amount);
    }

    function transferFrom(address _from, address _to, uint _amount) can_transfer(_from, _to) public returns (bool success) {
        return super.transferFrom(_from, _to, _amount);
    }
    
    function burn(uint _amount) public returns (bool) {
    	require(balances[msg.sender] >= _amount && _amount > 0);
    	
    	totalSupply = totalSupply.sub(_amount);
    	balances[msg.sender] = balances[msg.sender].sub(_amount);
    	
        emit Burn(msg.sender, _amount);
        return true;
    }

    function burnFrom(address _from, uint _amount) public returns (bool) {
    	require(balances[_from] >= _amount && _amount > 0 && allowed[_from][msg.sender] >= _amount);
    	
    	totalSupply = totalSupply.sub(_amount);
    	balances[_from] = balances[_from].sub(_amount);
    	allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_amount);
    	
        emit Burn(_from, _amount);
        return true;
    }
    
    function freezeAccount(address _addr, bool _isFrozen) only_controller public {
    	frozenAccount[_addr] = _isFrozen;
    }

    function isFrozenAccount(address _addr) constant public returns(bool) {
        return frozenAccount[_addr];
    }

    modifier can_transfer(address _from, address _to) {
        require(!isFrozenAccount(_from) && !isFrozenAccount(_to));
        _;
    }

}

• 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":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getController","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newController","type":"address"}],"name":"changeController","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_addr","type":"address"}],"name":"isFrozenAccount","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_amount","type":"uint256"}],"name":"burn","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_amount","type":"uint256"}],"name":"burnFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":"_amount","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_addr","type":"address"},{"name":"_isFrozen","type":"bool"}],"name":"freezeAccount","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"controller","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Burn","type":"event"}]

608060405234801561001057600080fd5b5060038054600160a060020a031916339081179091556501d1a94a200060008181559182526001602052604090912055610ac78061004f6000396000f3006080604052600436106100e55763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100ea578063095ea7b31461017457806318160ddd146101ac57806323b872dd146101d35780633018205f146101fd578063313ce5671461022e5780633cebb823146102595780634028db791461027c57806342966c681461029d57806370a08231146102b557806379cc6790146102d657806395d89b41146102fa578063a9059cbb1461030f578063dd62ed3e14610333578063e724529c1461035a578063f77c479114610380575b600080fd5b3480156100f657600080fd5b506100ff610395565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610139578181015183820152602001610121565b50505050905090810190601f1680156101665780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018057600080fd5b50610198600160a060020a03600435166024356103cc565b604080519115158252519081900360200190f35b3480156101b857600080fd5b506101c1610470565b60408051918252519081900360200190f35b3480156101df57600080fd5b50610198600160a060020a0360043581169060243516604435610476565b34801561020957600080fd5b506102126104b6565b60408051600160a060020a039092168252519081900360200190f35b34801561023a57600080fd5b506102436104c5565b6040805160ff9092168252519081900360200190f35b34801561026557600080fd5b5061027a600160a060020a03600435166104ca565b005b34801561028857600080fd5b50610198600160a060020a0360043516610510565b3480156102a957600080fd5b5061019860043561052e565b3480156102c157600080fd5b506101c1600160a060020a03600435166105de565b3480156102e257600080fd5b50610198600160a060020a03600435166024356105f9565b34801561030657600080fd5b506100ff610739565b34801561031b57600080fd5b50610198600160a060020a0360043516602435610770565b34801561033f57600080fd5b506101c1600160a060020a03600435811690602435166107ae565b34801561036657600080fd5b5061027a600160a060020a036004351660243515156107d9565b34801561038c57600080fd5b5061021261081b565b60408051808201909152600981527f49565420546f6b656e0000000000000000000000000000000000000000000000602082015281565b600081158015906103ff5750336000908152600260209081526040808320600160a060020a038716845290915290205415155b1561040957600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005490565b6000838361048382610510565b158015610496575061049481610510565b155b15156104a157600080fd5b6104ac86868661082a565b9695505050505050565b600354600160a060020a031690565b600281565b600354600160a060020a031633146104e157600080fd5b6003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600160a060020a031660009081526004602052604090205460ff1690565b33600090815260016020526040812054821180159061054d5750600082115b151561055857600080fd5b60005461056b908363ffffffff61099916565b60009081553381526001602052604090205461058d908363ffffffff61099916565b33600081815260016020908152604091829020939093558051858152905191927fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca592918290030190a2506001919050565b600160a060020a031660009081526001602052604090205490565b600160a060020a03821660009081526001602052604081205482118015906106215750600082115b80156106505750600160a060020a03831660009081526002602090815260408083203384529091529020548211155b151561065b57600080fd5b60005461066e908363ffffffff61099916565b6000908155600160a060020a038416815260016020526040902054610699908363ffffffff61099916565b600160a060020a03841660009081526001602090815260408083209390935560028152828220338352905220546106d6908363ffffffff61099916565b600160a060020a0384166000818152600260209081526040808320338452825291829020939093558051858152905191927fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca592918290030190a250600192915050565b60408051808201909152600381527f4956540000000000000000000000000000000000000000000000000000000000602082015281565b6000338361077d82610510565b158015610790575061078e81610510565b155b151561079b57600080fd5b6107a585856109ab565b95945050505050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600354600160a060020a031633146107f057600080fd5b600160a060020a03919091166000908152600460205260409020805460ff1916911515919091179055565b600354600160a060020a031681565b600160a060020a03831660009081526001602052604081205482118015906108755750600160a060020a03841660009081526002602090815260408083203384529091529020548211155b80156108815750600082115b151561088c57600080fd5b600160a060020a0384166000908152600160205260409020546108b5908363ffffffff61099916565b600160a060020a0380861660009081526001602052604080822093909355908516815220546108ea908363ffffffff610a8516565b600160a060020a03808516600090815260016020908152604080832094909455918716815260028252828120338252909152205461092e908363ffffffff61099916565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b6000828211156109a557fe5b50900390565b3360009081526001602052604081205482118015906109ca5750600082115b15156109d557600080fd5b336000908152600160205260409020546109f5908363ffffffff61099916565b3360009081526001602052604080822092909255600160a060020a03851681522054610a27908363ffffffff610a8516565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600082820183811015610a9457fe5b93925050505600a165627a7a72305820fd41e96c254c9f522c049ca6b536fc07ef5e451718609484468c06e2c58028690029

0x6080604052600436106100e55763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100ea578063095ea7b31461017457806318160ddd146101ac57806323b872dd146101d35780633018205f146101fd578063313ce5671461022e5780633cebb823146102595780634028db791461027c57806342966c681461029d57806370a08231146102b557806379cc6790146102d657806395d89b41146102fa578063a9059cbb1461030f578063dd62ed3e14610333578063e724529c1461035a578063f77c479114610380575b600080fd5b3480156100f657600080fd5b506100ff610395565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610139578181015183820152602001610121565b50505050905090810190601f1680156101665780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018057600080fd5b50610198600160a060020a03600435166024356103cc565b604080519115158252519081900360200190f35b3480156101b857600080fd5b506101c1610470565b60408051918252519081900360200190f35b3480156101df57600080fd5b50610198600160a060020a0360043581169060243516604435610476565b34801561020957600080fd5b506102126104b6565b60408051600160a060020a039092168252519081900360200190f35b34801561023a57600080fd5b506102436104c5565b6040805160ff9092168252519081900360200190f35b34801561026557600080fd5b5061027a600160a060020a03600435166104ca565b005b34801561028857600080fd5b50610198600160a060020a0360043516610510565b3480156102a957600080fd5b5061019860043561052e565b3480156102c157600080fd5b506101c1600160a060020a03600435166105de565b3480156102e257600080fd5b50610198600160a060020a03600435166024356105f9565b34801561030657600080fd5b506100ff610739565b34801561031b57600080fd5b50610198600160a060020a0360043516602435610770565b34801561033f57600080fd5b506101c1600160a060020a03600435811690602435166107ae565b34801561036657600080fd5b5061027a600160a060020a036004351660243515156107d9565b34801561038c57600080fd5b5061021261081b565b60408051808201909152600981527f49565420546f6b656e0000000000000000000000000000000000000000000000602082015281565b600081158015906103ff5750336000908152600260209081526040808320600160a060020a038716845290915290205415155b1561040957600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005490565b6000838361048382610510565b158015610496575061049481610510565b155b15156104a157600080fd5b6104ac86868661082a565b9695505050505050565b600354600160a060020a031690565b600281565b600354600160a060020a031633146104e157600080fd5b6003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600160a060020a031660009081526004602052604090205460ff1690565b33600090815260016020526040812054821180159061054d5750600082115b151561055857600080fd5b60005461056b908363ffffffff61099916565b60009081553381526001602052604090205461058d908363ffffffff61099916565b33600081815260016020908152604091829020939093558051858152905191927fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca592918290030190a2506001919050565b600160a060020a031660009081526001602052604090205490565b600160a060020a03821660009081526001602052604081205482118015906106215750600082115b80156106505750600160a060020a03831660009081526002602090815260408083203384529091529020548211155b151561065b57600080fd5b60005461066e908363ffffffff61099916565b6000908155600160a060020a038416815260016020526040902054610699908363ffffffff61099916565b600160a060020a03841660009081526001602090815260408083209390935560028152828220338352905220546106d6908363ffffffff61099916565b600160a060020a0384166000818152600260209081526040808320338452825291829020939093558051858152905191927fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca592918290030190a250600192915050565b60408051808201909152600381527f4956540000000000000000000000000000000000000000000000000000000000602082015281565b6000338361077d82610510565b158015610790575061078e81610510565b155b151561079b57600080fd5b6107a585856109ab565b95945050505050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600354600160a060020a031633146107f057600080fd5b600160a060020a03919091166000908152600460205260409020805460ff1916911515919091179055565b600354600160a060020a031681565b600160a060020a03831660009081526001602052604081205482118015906108755750600160a060020a03841660009081526002602090815260408083203384529091529020548211155b80156108815750600082115b151561088c57600080fd5b600160a060020a0384166000908152600160205260409020546108b5908363ffffffff61099916565b600160a060020a0380861660009081526001602052604080822093909355908516815220546108ea908363ffffffff610a8516565b600160a060020a03808516600090815260016020908152604080832094909455918716815260028252828120338252909152205461092e908363ffffffff61099916565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b6000828211156109a557fe5b50900390565b3360009081526001602052604081205482118015906109ca5750600082115b15156109d557600080fd5b336000908152600160205260409020546109f5908363ffffffff61099916565b3360009081526001602052604080822092909255600160a060020a03851681522054610a27908363ffffffff610a8516565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600082820183811015610a9457fe5b93925050505600a165627a7a72305820fd41e96c254c9f522c049ca6b536fc07ef5e451718609484468c06e2c58028690029

3924:2039:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4016:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4016:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;4016:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2899:393;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2899:393:0;-1:-1:-1;;;;;2899:393:0;;;;;;;;;;;;;;;;;;;;;;;;;1833:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1833:91:0;;;;;;;;;;;;;;;;;;;;4615:184;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4615:184:0;-1:-1:-1;;;;;4615:184:0;;;;;;;;;;;;3719:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3719:95:0;;;;;;;;-1:-1:-1;;;;;3719:95:0;;;;;;;;;;;;;;4112:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4112:34:0;;;;;;;;;;;;;;;;;;;;;;;3588:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3588:119:0;-1:-1:-1;;;;;3588:119:0;;;;;;;5696:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5696:116:0;-1:-1:-1;;;;;5696:116:0;;;;;4811:308;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4811:308:0;;;;;1932:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1932:116:0;-1:-1:-1;;;;;1932:116:0;;;;;5127:424;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5127:424:0;-1:-1:-1;;;;;5127:424:0;;;;;;;4066:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4066:37:0;;;;4448:159;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4448:159:0;-1:-1:-1;;;;;4448:159:0;;;;;;;3300:145;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3300:145:0;-1:-1:-1;;;;;3300:145:0;;;;;;;;;;5563:125;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5563:125:0;-1:-1:-1;;;;;5563:125:0;;;;;;;;;3483:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3483:25:0;;;;4016:41;;;;;;;;;;;;;;;;;;;:::o;2899:393::-;2963:12;3071:11;;;;;3070:53;;-1:-1:-1;3096:10:0;3088:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3088:29:0;;;;;;;;;;:34;;3070:53;3066:94;;;3140:8;;;3066:94;3178:10;3170:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3170:29:0;;;;;;;;;;;;:38;;;3224;;;;;;;3170:29;;3178:10;3224:38;;;;;;;;;;;-1:-1:-1;3280:4:0;2899:393;;;;:::o;1833:91::-;1881:4;1905:11;1833:91;:::o;4615:184::-;4720:12;4692:5;4699:3;5890:22;5906:5;5890:15;:22::i;:::-;5889:23;:48;;;;;5917:20;5933:3;5917:15;:20::i;:::-;5916:21;5889:48;5881:57;;;;;;;;4752:39;4771:5;4778:3;4783:7;4752:18;:39::i;:::-;4745:46;4615:184;-1:-1:-1;;;;;;4615:184:0:o;3719:95::-;3796:10;;-1:-1:-1;;;;;3796:10:0;3719:95;:::o;4112:34::-;4145:1;4112:34;:::o;3588:119::-;3881:10;;-1:-1:-1;;;;;3881:10:0;3867;:24;3859:33;;;;;;3672:10;:27;;-1:-1:-1;;3672:27:0;-1:-1:-1;;;;;3672:27:0;;;;;;;;;;3588:119::o;5696:116::-;-1:-1:-1;;;;;5784:20:0;5760:4;5784:20;;;:13;:20;;;;;;;;;5696:116::o;4811:308::-;4886:10;4855:4;4877:20;;;:8;:20;;;;;;:31;-1:-1:-1;4877:31:0;;;:46;;;4922:1;4912:7;:11;4877:46;4869:55;;;;;;;;4953:11;;:24;;4969:7;4953:24;:15;:24;:::i;:::-;4939:11;:38;;;5017:10;5008:20;;:8;:20;;;;;;:33;;5033:7;5008:33;:24;:33;:::i;:::-;4994:10;4985:20;;;;:8;:20;;;;;;;;;:56;;;;5064:25;;;;;;;4994:10;;5064:25;;;;;;;;;-1:-1:-1;5107:4:0;4811:308;;;:::o;1932:116::-;-1:-1:-1;;;;;2024:16:0;1992:12;2024:16;;;:8;:16;;;;;;;1932:116::o;5127:424::-;-1:-1:-1;;;;;5212:15:0;;5190:4;5212:15;;;:8;:15;;;;;;:26;-1:-1:-1;5212:26:0;;;:41;;;5252:1;5242:7;:11;5212:41;:82;;;;-1:-1:-1;;;;;;5257:14:0;;;;;;:7;:14;;;;;;;;5272:10;5257:26;;;;;;;;:37;-1:-1:-1;5257:37:0;5212:82;5204:91;;;;;;;;5324:11;;:24;;5340:7;5324:24;:15;:24;:::i;:::-;5310:11;:38;;;-1:-1:-1;;;;;5374:15:0;;;;:8;:15;;;;;;:28;;5394:7;5374:28;:19;:28;:::i;:::-;-1:-1:-1;;;;;5356:15:0;;;;;;:8;:15;;;;;;;;:46;;;;5439:7;:14;;;;;5454:10;5439:26;;;;;;:39;;5470:7;5439:39;:30;:39;:::i;:::-;-1:-1:-1;;;;;5410:14:0;;;;;;:7;:14;;;;;;;;5425:10;5410:26;;;;;;;;:68;;;;5501:20;;;;;;;5410:14;;5501:20;;;;;;;;;-1:-1:-1;5539:4:0;5127:424;;;;:::o;4066:37::-;;;;;;;;;;;;;;;;;;;:::o;4448:159::-;4539:12;4506:10;4518:3;5890:22;5906:5;5890:15;:22::i;:::-;5889:23;:48;;;;;5917:20;5933:3;5917:15;:20::i;:::-;5916:21;5889:48;5881:57;;;;;;;;4571:28;4586:3;4591:7;4571:14;:28::i;:::-;4564:35;4448:159;-1:-1:-1;;;;;4448:159:0:o;3300:145::-;-1:-1:-1;;;;;3412:15:0;;;3378:14;3412:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;3300:145::o;5563:125::-;3881:10;;-1:-1:-1;;;;;3881:10:0;3867;:24;3859:33;;;;;;-1:-1:-1;;;;;5648:20:0;;;;;;;;:13;:20;;;;;:32;;-1:-1:-1;;5648:32:0;;;;;;;;;;5563:125::o;3483:25::-;;;-1:-1:-1;;;;;3483:25:0;;:::o;2419:472::-;-1:-1:-1;;;;;2531:15:0;;2498:12;2531:15;;;:8;:15;;;;;;:25;-1:-1:-1;2531:25:0;;;:65;;-1:-1:-1;;;;;;2560:14:0;;;;;;:7;:14;;;;;;;;2575:10;2560:26;;;;;;;;:36;-1:-1:-1;2560:36:0;2531:65;:79;;;;;2609:1;2600:6;:10;2531:79;2523:88;;;;;;;;-1:-1:-1;;;;;2650:15:0;;;;;;:8;:15;;;;;;:27;;2670:6;2650:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;2632:15:0;;;;;;;:8;:15;;;;;;:45;;;;2704:13;;;;;;;:25;;2722:6;2704:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2688:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;2769:14;;;;;:7;:14;;;;;2784:10;2769:26;;;;;;;:38;;2800:6;2769:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;2740:14:0;;;;;;;:7;:14;;;;;;;;2755:10;2740:26;;;;;;;;:67;;;;2823:28;;;;;;;;;;;2740:14;;2823:28;;;;;;;;;;;-1:-1:-1;2879:4:0;2419:472;;;;;:::o;584:104::-;636:4;656:6;;;;649:14;;;;-1:-1:-1;677:5:0;;;584:104::o;2056:355::-;2158:10;2116:12;2149:20;;;:8;:20;;;;;;:30;-1:-1:-1;2149:30:0;;;:44;;;2192:1;2183:6;:10;2149:44;2141:53;;;;;;;;2247:10;2238:20;;;;:8;:20;;;;;;:32;;2263:6;2238:32;:24;:32;:::i;:::-;2224:10;2215:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;2297:13:0;;;;;;:25;;2315:6;2297:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2281:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;2338:33;;;;;;;2281:13;;2347:10;;2338:33;;;;;;;;;;-1:-1:-1;2399:4:0;2056:355;;;;:::o;694:121::-;746:4;768:5;;;787:6;;;;780:14;;;;808:1;694:121;-1:-1:-1;;;694:121:0:o

bzzr://fd41e96c254c9f522c049ca6b536fc07ef5e451718609484468c06e2c5802869