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 ERC20Basic    - function balanceOf(address who)    - function transfer(address to, uint256 ...  contract ERC20 is ERC20Basic    - function allowance(address owner, add ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...  contract RETC is ERC20 *    - function RETC ()    - function nowInSeconds()    - function transferOwnership(address ne ...    - function locked(address _from, addres ...    - function set_locker(address _locker15 ...    - function balanceOf(address _owner)    - function lockOf(address _owner)    - function transfer(address _to, uint25 ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...    - function withdraw()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.20;

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) {
    uint256 c = a / b;
    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 ERC20Basic {
    uint256 public totalSupply;
    function balanceOf(address who) public constant returns (uint256);
    function transfer(address to, uint256 value) public returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
}

contract ERC20 is ERC20Basic {
    function allowance(address owner, address spender) public constant returns (uint256);
    function transferFrom(address from, address to, uint256 value) public returns (bool);
    function approve(address spender, uint256 value) public returns (bool);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract RETC is ERC20 {
    
    using SafeMath for uint256; 
    address owner = msg.sender; 
	address locker15 = msg.sender;
	address locker10 = msg.sender;	
	address locker05 = msg.sender;	
	
    mapping (address => uint256) balances; 
    mapping (address => mapping (address => uint256)) allowed;

    mapping (address => uint256) times;//次数T

    mapping (address => mapping (uint256 => uint256)) lockdata;//数目
    mapping (address => mapping (uint256 => uint256)) locktime;//时间戳
    mapping (address => mapping (uint256 => uint256)) lockday;//时间
    
    

    string public constant name = "RealEstatePublicBlockchain";
    string public constant symbol = "RETC";
    uint public constant decimals = 3;
    uint256 _Rate = 10 ** decimals; 
    uint256 public totalSupply = 10000000000 * _Rate;


    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);



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

    modifier onlyPayloadSize(uint size) {
        assert(msg.data.length >= size + 4);
        _;
    }

     function RETC () public {
        owner = msg.sender;
  
        balances[owner] = totalSupply;
    }
     function nowInSeconds() public view returns (uint256){
        return now;
    }
    function transferOwnership(address newOwner) onlyOwner public {
        if (newOwner != address(0) && newOwner != owner) {          
             owner = newOwner;   
        }
    }

    function locked(address _from, address _to, uint256 _amount) private {
		uint lockmon;
		uint lockper;
		if (_from == locker15) {
            lockmon = 60 * 30 * 1 days;
			lockper = (_amount.div(100)).mul(15);
        }
		if (_from == locker10) {
		    lockmon = 48 * 30 * 1 days;
			lockper = (_amount.div(100)).mul(10);
        }
		if (_from == locker05 ) {
            lockmon = 36 * 30 * 1 days;
			lockper = (_amount.div(100)).mul(5);
        }		
		times[_to] += 1;
        locktime[_to][times[_to]] = now;
        lockday[_to][times[_to]] = lockmon;
        lockdata[_to][times[_to]] = lockper;
        
    }
 

    function set_locker(address _locker15, address _locker10, address _locker05) onlyOwner public {
		require(_locker15 != _locker10 && _locker15 != _locker05 && _locker05 != _locker10 );
		locker15 = _locker15;
		locker10 = _locker10;	
		locker05 = _locker05;
	
    }


    function balanceOf(address _owner) constant public returns (uint256) {
	    return balances[_owner];
    }
//查询地址锁定币数
    function lockOf(address _owner) constant public returns (uint256) {
    uint locknum = 0;
    for (uint8 i = 1; i < times[_owner] + 1; i++){
       if(now < locktime[_owner][i] + 30* 1 days){
            locknum += lockdata[_owner][i];
        }
       else{
            if(now < locktime[_owner][i] + lockday[_owner][i] + 1* 1 days){
				uint lockmon = lockday[_owner][i].div(30 * 1 days);
				uint locknow = (now - locktime[_owner][i]).div(30 * 1 days);
                locknum += ((lockmon-locknow).mul(lockdata[_owner][i])).div(lockmon);
              }
              else{
                 locknum += 0;
              }
        }
    }


	    return locknum;
    }

    function transfer(address _to, uint256 _amount) onlyPayloadSize(2 * 32) public returns (bool success) {

        require(_to != address(0));
        require(_amount <= (balances[msg.sender].sub(lockOf(msg.sender))));
                      
        balances[msg.sender] = balances[msg.sender].sub(_amount);
        balances[_to] = balances[_to].add(_amount);
		
		if (msg.sender == locker15 || msg.sender == locker10 || msg.sender == locker05 ) {
            locked(msg.sender, _to, _amount);
        }
        Transfer(msg.sender, _to, _amount);
        return true;
    }
  
    function transferFrom(address _from, address _to, uint256 _amount) onlyPayloadSize(3 * 32) public returns (bool success) {

        require(_to != address(0));
        require(_amount <= balances[_from]);
        require(_amount <= (allowed[_from][msg.sender].sub(lockOf(msg.sender))));

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

    function approve(address _spender, uint256 _value) public returns (bool success) {
        if (_value != 0 && allowed[msg.sender][_spender] != 0) { return false; }
        allowed[msg.sender][_spender] = _value;
        Approval(msg.sender, _spender, _value);
        return true;
    }

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

    function withdraw() onlyOwner public {
        uint256 etherBalance = this.balance;
        address theowner = msg.sender;
        theowner.transfer(etherBalance);
    }
}

• 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":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"lockOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_locker15","type":"address"},{"name":"_locker10","type":"address"},{"name":"_locker05","type":"address"}],"name":"set_locker","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"nowInSeconds","outputs":[{"name":"","type":"uint256"}],"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":"_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":"","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":[],"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"}]

606060405260018054600160a060020a033316600160a060020a0319918216811790925560028054821683179055600380548216831790556004805490911690911790556103e8600b556509184e72a000600c55341561005e57600080fd5b60018054600160a060020a03338116600160a060020a03199092169190911791829055600c549116600090815260056020526040902055610c89806100a46000396000f3006060604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019457806323b872dd146101b9578063313ce567146101e15780633ccfd60b146101f45780635a46d3b514610209578063630c95ad1461022857806370a08231146102535780637995b15b1461027257806395d89b4114610285578063a9059cbb14610298578063dd62ed3e146102ba578063f2fde38b146102df575b600080fd5b34156100df57600080fd5b6100e76102fe565b60405160208082528190810183818151815260200191508051906020019080838360005b8381101561012357808201518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016957600080fd5b610180600160a060020a0360043516602435610335565b604051901515815260200160405180910390f35b341561019f57600080fd5b6101a76103e1565b60405190815260200160405180910390f35b34156101c457600080fd5b610180600160a060020a03600435811690602435166044356103e7565b34156101ec57600080fd5b6101a761058f565b34156101ff57600080fd5b610207610594565b005b341561021457600080fd5b6101a7600160a060020a03600435166105f2565b341561023357600080fd5b610207600160a060020a03600435811690602435811690604435166107af565b341561025e57600080fd5b6101a7600160a060020a0360043516610873565b341561027d57600080fd5b6101a761088e565b341561029057600080fd5b6100e7610892565b34156102a357600080fd5b610180600160a060020a03600435166024356108c9565b34156102c557600080fd5b6101a7600160a060020a0360043581169060243516610a41565b34156102ea57600080fd5b610207600160a060020a0360043516610a6c565b60408051908101604052601a81527f5265616c4573746174655075626c6963426c6f636b636861696e000000000000602082015281565b6000811580159061036a5750600160a060020a0333811660009081526006602090815260408083209387168352929052205415155b15610377575060006103db565b600160a060020a03338116600081815260066020908152604080832094881680845294909152908190208590557f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a35060015b92915050565b600c5481565b6000606060643610156103f657fe5b600160a060020a038416151561040b57600080fd5b600160a060020a03851660009081526005602052604090205483111561043057600080fd5b61046f61043c336105f2565b600160a060020a03808816600090815260066020908152604080832033909416835292905220549063ffffffff610ade16565b83111561047b57600080fd5b600160a060020a0385166000908152600560205260409020546104a4908463ffffffff610ade16565b600160a060020a03808716600090815260056020908152604080832094909455600681528382203390931682529190915220546104e7908463ffffffff610ade16565b600160a060020a038087166000908152600660209081526040808320338516845282528083209490945591871681526005909152205461052d908463ffffffff610af016565b600160a060020a03808616600081815260056020526040908190209390935591908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a3506001949350505050565b600381565b600154600090819033600160a060020a039081169116146105b457600080fd5b5050600160a060020a0330811631903390811682156108fc0283604051600060405180830381858888f1935050505015156105ee57600080fd5b5050565b600080600181805b600160a060020a03861660009081526007602052604090205460010160ff841610156107a557600160a060020a038616600090815260096020908152604080832060ff8716845290915290205462278d000142101561068457600160a060020a038616600090815260086020908152604080832060ff87168452909152902054939093019261079a565b600160a060020a0386166000818152600a6020908152604080832060ff8816808552908352818420549484526009835281842090845290915290205401620151800142101561079a57600160a060020a0386166000908152600a6020908152604080832060ff871684529091529020546107079062278d0063ffffffff610b0616565b600160a060020a038716600090815260096020908152604080832060ff8816845290915290205490925061074690420362278d0063ffffffff610b0616565b600160a060020a038716600090815260086020908152604080832060ff88168452909152902054909150610795908390610789908483039063ffffffff610b1d16565b9063ffffffff610b0616565b840193505b6001909201916105fa565b5091949350505050565b60015433600160a060020a039081169116146107ca57600080fd5b81600160a060020a031683600160a060020a0316141580156107fe575080600160a060020a031683600160a060020a031614155b801561081c575081600160a060020a031681600160a060020a031614155b151561082757600080fd5b60028054600160a060020a0394851673ffffffffffffffffffffffffffffffffffffffff1991821617909155600380549385169382169390931790925560048054919093169116179055565b600160a060020a031660009081526005602052604090205490565b4290565b60408051908101604052600481527f5245544300000000000000000000000000000000000000000000000000000000602082015281565b6000604060443610156108d857fe5b600160a060020a03841615156108ed57600080fd5b61091e6108f9336105f2565b600160a060020a0333166000908152600560205260409020549063ffffffff610ade16565b83111561092a57600080fd5b600160a060020a033316600090815260056020526040902054610953908463ffffffff610ade16565b600160a060020a033381166000908152600560205260408082209390935590861681522054610988908463ffffffff610af016565b600160a060020a03808616600090815260056020526040902091909155600254338216911614806109c7575060035433600160a060020a039081169116145b806109e0575060045433600160a060020a039081169116145b156109f0576109f0338585610b41565b83600160a060020a031633600160a060020a03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405190815260200160405180910390a35060019392505050565b600160a060020a03918216600090815260066020908152604080832093909416825291909152205490565b60015433600160a060020a03908116911614610a8757600080fd5b600160a060020a03811615801590610aad5750600154600160a060020a03828116911614155b15610adb576001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b50565b600082821115610aea57fe5b50900390565b600082820183811015610aff57fe5b9392505050565b6000808284811515610b1457fe5b04949350505050565b6000828202831580610b395750828482811515610b3657fe5b04145b1515610aff57fe5b6002546000908190600160a060020a0386811691161415610b88576309450c009150610b85600f610b7985606463ffffffff610b0616565b9063ffffffff610b1d16565b90505b600354600160a060020a0386811691161415610bbe5763076a70009150610bbb600a610b7985606463ffffffff610b0616565b90505b600454600160a060020a0386811691161415610bf45763058fd4009150610bf16005610b7985606463ffffffff610b0616565b90505b600160a060020a0390931660008181526007602090815260408083208054600101808255600984528285209085528352818420429055848452600a83528184208154855283528184209590955592825260088152828220935482529290925290209190915550505600a165627a7a723058209bceffbee89e69fd1427416ac036afb03dc45cf230c8dadc5d248b2f4ab295e40029

0x6060604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019457806323b872dd146101b9578063313ce567146101e15780633ccfd60b146101f45780635a46d3b514610209578063630c95ad1461022857806370a08231146102535780637995b15b1461027257806395d89b4114610285578063a9059cbb14610298578063dd62ed3e146102ba578063f2fde38b146102df575b600080fd5b34156100df57600080fd5b6100e76102fe565b60405160208082528190810183818151815260200191508051906020019080838360005b8381101561012357808201518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016957600080fd5b610180600160a060020a0360043516602435610335565b604051901515815260200160405180910390f35b341561019f57600080fd5b6101a76103e1565b60405190815260200160405180910390f35b34156101c457600080fd5b610180600160a060020a03600435811690602435166044356103e7565b34156101ec57600080fd5b6101a761058f565b34156101ff57600080fd5b610207610594565b005b341561021457600080fd5b6101a7600160a060020a03600435166105f2565b341561023357600080fd5b610207600160a060020a03600435811690602435811690604435166107af565b341561025e57600080fd5b6101a7600160a060020a0360043516610873565b341561027d57600080fd5b6101a761088e565b341561029057600080fd5b6100e7610892565b34156102a357600080fd5b610180600160a060020a03600435166024356108c9565b34156102c557600080fd5b6101a7600160a060020a0360043581169060243516610a41565b34156102ea57600080fd5b610207600160a060020a0360043516610a6c565b60408051908101604052601a81527f5265616c4573746174655075626c6963426c6f636b636861696e000000000000602082015281565b6000811580159061036a5750600160a060020a0333811660009081526006602090815260408083209387168352929052205415155b15610377575060006103db565b600160a060020a03338116600081815260066020908152604080832094881680845294909152908190208590557f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a35060015b92915050565b600c5481565b6000606060643610156103f657fe5b600160a060020a038416151561040b57600080fd5b600160a060020a03851660009081526005602052604090205483111561043057600080fd5b61046f61043c336105f2565b600160a060020a03808816600090815260066020908152604080832033909416835292905220549063ffffffff610ade16565b83111561047b57600080fd5b600160a060020a0385166000908152600560205260409020546104a4908463ffffffff610ade16565b600160a060020a03808716600090815260056020908152604080832094909455600681528382203390931682529190915220546104e7908463ffffffff610ade16565b600160a060020a038087166000908152600660209081526040808320338516845282528083209490945591871681526005909152205461052d908463ffffffff610af016565b600160a060020a03808616600081815260056020526040908190209390935591908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a3506001949350505050565b600381565b600154600090819033600160a060020a039081169116146105b457600080fd5b5050600160a060020a0330811631903390811682156108fc0283604051600060405180830381858888f1935050505015156105ee57600080fd5b5050565b600080600181805b600160a060020a03861660009081526007602052604090205460010160ff841610156107a557600160a060020a038616600090815260096020908152604080832060ff8716845290915290205462278d000142101561068457600160a060020a038616600090815260086020908152604080832060ff87168452909152902054939093019261079a565b600160a060020a0386166000818152600a6020908152604080832060ff8816808552908352818420549484526009835281842090845290915290205401620151800142101561079a57600160a060020a0386166000908152600a6020908152604080832060ff871684529091529020546107079062278d0063ffffffff610b0616565b600160a060020a038716600090815260096020908152604080832060ff8816845290915290205490925061074690420362278d0063ffffffff610b0616565b600160a060020a038716600090815260086020908152604080832060ff88168452909152902054909150610795908390610789908483039063ffffffff610b1d16565b9063ffffffff610b0616565b840193505b6001909201916105fa565b5091949350505050565b60015433600160a060020a039081169116146107ca57600080fd5b81600160a060020a031683600160a060020a0316141580156107fe575080600160a060020a031683600160a060020a031614155b801561081c575081600160a060020a031681600160a060020a031614155b151561082757600080fd5b60028054600160a060020a0394851673ffffffffffffffffffffffffffffffffffffffff1991821617909155600380549385169382169390931790925560048054919093169116179055565b600160a060020a031660009081526005602052604090205490565b4290565b60408051908101604052600481527f5245544300000000000000000000000000000000000000000000000000000000602082015281565b6000604060443610156108d857fe5b600160a060020a03841615156108ed57600080fd5b61091e6108f9336105f2565b600160a060020a0333166000908152600560205260409020549063ffffffff610ade16565b83111561092a57600080fd5b600160a060020a033316600090815260056020526040902054610953908463ffffffff610ade16565b600160a060020a033381166000908152600560205260408082209390935590861681522054610988908463ffffffff610af016565b600160a060020a03808616600090815260056020526040902091909155600254338216911614806109c7575060035433600160a060020a039081169116145b806109e0575060045433600160a060020a039081169116145b156109f0576109f0338585610b41565b83600160a060020a031633600160a060020a03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405190815260200160405180910390a35060019392505050565b600160a060020a03918216600090815260066020908152604080832093909416825291909152205490565b60015433600160a060020a03908116911614610a8757600080fd5b600160a060020a03811615801590610aad5750600154600160a060020a03828116911614155b15610adb576001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b50565b600082821115610aea57fe5b50900390565b600082820183811015610aff57fe5b9392505050565b6000808284811515610b1457fe5b04949350505050565b6000828202831580610b395750828482811515610b3657fe5b04145b1515610aff57fe5b6002546000908190600160a060020a0386811691161415610b88576309450c009150610b85600f610b7985606463ffffffff610b0616565b9063ffffffff610b1d16565b90505b600354600160a060020a0386811691161415610bbe5763076a70009150610bbb600a610b7985606463ffffffff610b0616565b90505b600454600160a060020a0386811691161415610bf45763058fd4009150610bf16005610b7985606463ffffffff610b0616565b90505b600160a060020a0390931660008181526007602090815260408083208054600101808255600984528285209085528352818420429055848452600a83528184208154855283528184209590955592825260088152828220935482529290925290209190915550505600a165627a7a723058209bceffbee89e69fd1427416ac036afb03dc45cf230c8dadc5d248b2f4ab295e40029

1244:5170:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1850:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1850:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5793:291;;;;;;;;;;-1:-1:-1;;;;;5793:291:0;;;;;;;;;;;;;;;;;;;;;;;;2038:48;;;;;;;;;;;;;;;;;;;;;;;;;;;5225:560;;;;;;;;;;-1:-1:-1;;;;;5225:560:0;;;;;;;;;;;;1960:33;;;;;;;;;;;;6238:173;;;;;;;;;;;;;;3933:689;;;;;;;;;;-1:-1:-1;;;;;3933:689:0;;;;;3511:270;;;;;;;;;;-1:-1:-1;;;;;3511:270:0;;;;;;;;;;;;;;;3791:108;;;;;;;;;;-1:-1:-1;;;;;3791:108:0;;;;;2582:82;;;;;;;;;;;;1915:38;;;;;;;;;;;;4630:585;;;;;;;;;;-1:-1:-1;;;;;4630:585:0;;;;;;;6092:138;;;;;;;;;;-1:-1:-1;;;;;6092:138:0;;;;;;;;;;2670:186;;;;;;;;;;-1:-1:-1;;;;;2670:186:0;;;;;1850:58;;;;;;;;;;;;;;;;;;:::o;5793:291::-;5860:12;5889:11;;;;;:49;;-1:-1:-1;;;;;;5912:10:0;5904:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;:34;;5889:49;5885:72;;;-1:-1:-1;5949:5:0;5942:12;;5885:72;-1:-1:-1;;;;;5975:10:0;5967:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;;:38;;;6016;;5999:6;;6016:38;;;;;;;;;;;;;-1:-1:-1;6072:4:0;5793:291;;;;;:::o;2038:48::-;;;;:::o;5225:560::-;5332:12;5308:6;2432:8;2413;:27;;2406:35;;;;-1:-1:-1;;;;;5367:17:0;;;;5359:26;;;;;;-1:-1:-1;;;;;5415:15:0;;;;;;:8;:15;;;;;;5404:26;;;5396:35;;;;;;5462:50;5493:18;5500:10;5493:6;:18::i;:::-;-1:-1:-1;;;;;5462:14:0;;;;;;;:7;:14;;;;;;;;5477:10;5462:26;;;;;;;;;;;:50;:30;:50;:::i;:::-;5450:63;;;5442:72;;;;;;-1:-1:-1;;;;;5555:15:0;;;;;;:8;:15;;;;;;:28;;5575:7;5555:28;:19;:28;:::i;:::-;-1:-1:-1;;;;;5537:15:0;;;;;;;:8;:15;;;;;;;;:46;;;;5623:7;:14;;;;;5638:10;5623:26;;;;;;;;;;;:39;;5654:7;5623:39;:30;:39;:::i;:::-;-1:-1:-1;;;;;5594:14:0;;;;;;;:7;:14;;;;;;;;5609:10;5594:26;;;;;;;;;:68;;;;5689:13;;;;;:8;:13;;;;;:26;;5707:7;5689:26;:17;:26;:::i;:::-;-1:-1:-1;;;;;5673:13:0;;;;;;;:8;:13;;;;;;;:42;;;;:13;5726:29;;;;;;5747:7;;5726:29;;;;;;;;;;;;;-1:-1:-1;5773:4:0;;5225:560;-1:-1:-1;;;;5225:560:0:o;1960:33::-;1992:1;1960:33;:::o;6238:173::-;2325:5;;6286:20;;;;2311:10;-1:-1:-1;;;;;2311:19:0;;;2325:5;;2311:19;2303:28;;;;;;-1:-1:-1;;;;;;;6309:4:0;:12;;;;6351:10;;6372:17;;:31;;;;6309:12;6372:31;;;;;;;;;;;;;;;;;;;;;;;;;;6238:173;;:::o;3933:689::-;3990:7;;4044:1;3990:7;;4029:560;-1:-1:-1;;;;;4051:13:0;;;;;;:5;:13;;;;;;4067:1;4051:17;4047:21;;;;4029:560;;;-1:-1:-1;;;;;4093:16:0;;;;;;:8;:16;;;;;;;;:19;;;;;;;;;;;4115:10;4093:32;4087:3;:38;4084:498;;;-1:-1:-1;;;;;4152:16:0;;;;;;:8;:16;;;;;;;;:19;;;;;;;;;;;4141:30;;;;;4084:498;;;-1:-1:-1;;;;;4242:15:0;;;;;;:7;:15;;;;;;;;:18;;;;;;;;;;;;;4220:16;;;:8;:16;;;;;:19;;;;;;;;;:40;4263:9;4220:52;4214:3;:58;4211:360;;;-1:-1:-1;;;;;4295:15:0;;;;;;:7;:15;;;;;;;;:18;;;;;;;;;;;:35;;4318:11;4295:35;:22;:35;:::i;:::-;-1:-1:-1;;;;;4359:16:0;;;;;;:8;:16;;;;;;;;:19;;;;;;;;;;;4280:50;;-1:-1:-1;4352:44:0;;4353:3;:25;4384:11;4352:44;:31;:44;:::i;:::-;-1:-1:-1;;;;;4449:16:0;;;;;;:8;:16;;;;;;;;:19;;;;;;;;;;;4337:59;;-1:-1:-1;4426:57:0;;4475:7;;4427:42;;4428:15;;;;4427:42;:21;:42;:::i;:::-;4426:48;:57;:48;:57;:::i;:::-;4415:68;;;;4211:360;4070:3;;;;;4029:560;;;-1:-1:-1;4607:7:0;;3933:689;-1:-1:-1;;;;3933:689:0:o;3511:270::-;2325:5;;2311:10;-1:-1:-1;;;;;2311:19:0;;;2325:5;;2311:19;2303:28;;;;;;3631:9;-1:-1:-1;;;;;3618:22:0;:9;-1:-1:-1;;;;;3618:22:0;;;:48;;;;;3657:9;-1:-1:-1;;;;;3644:22:0;:9;-1:-1:-1;;;;;3644:22:0;;;3618:48;:74;;;;;3683:9;-1:-1:-1;;;;;3670:22:0;:9;-1:-1:-1;;;;;3670:22:0;;;3618:74;3610:84;;;;;;;;3699:8;:20;;-1:-1:-1;;;;;3699:20:0;;;-1:-1:-1;;3699:20:0;;;;;;;3724:8;:20;;;;;;;;;;;;;;;3750:8;:20;;;;;;;;;;;3511:270::o;3791:108::-;-1:-1:-1;;;;;3875:16:0;3851:7;3875:16;;;:8;:16;;;;;;;3791:108::o;2582:82::-;2653:3;2582:82;:::o;1915:38::-;;;;;;;;;;;;;;;;;;:::o;4630:585::-;4718:12;4694:6;2432:8;2413;:27;;2406:35;;;;-1:-1:-1;;;;;4753:17:0;;;;4745:26;;;;;;4802:44;4827:18;4834:10;4827:6;:18::i;:::-;-1:-1:-1;;;;;4811:10:0;4802:20;;;;;:8;:20;;;;;;;:44;:24;:44;:::i;:::-;4790:57;;;4782:66;;;;;;-1:-1:-1;;;;;4915:10:0;4906:20;;;;;:8;:20;;;;;;:33;;4931:7;4906:33;:24;:33;:::i;:::-;-1:-1:-1;;;;;4892:10:0;4883:20;;;;;;:8;:20;;;;;;:56;;;;4966:13;;;;;;;:26;;4984:7;4966:26;:17;:26;:::i;:::-;-1:-1:-1;;;;;4950:13:0;;;;;;;:8;:13;;;;;:42;;;;5019:8;;5005:10;:22;;5019:8;;5005:22;;:48;;-1:-1:-1;5045:8:0;;5031:10;-1:-1:-1;;;;;5031:22:0;;;5045:8;;5031:22;5005:48;:74;;;-1:-1:-1;5071:8:0;;5057:10;-1:-1:-1;;;;;5057:22:0;;;5071:8;;5057:22;5005:74;5001:140;;;5097:32;5104:10;5116:3;5121:7;5097:6;:32::i;:::-;5172:3;-1:-1:-1;;;;;5151:34:0;5160:10;-1:-1:-1;;;;;5151:34:0;;5177:7;5151:34;;;;;;;;;;;;;;-1:-1:-1;5203:4:0;;4630:585;-1:-1:-1;;;4630:585:0:o;6092:138::-;-1:-1:-1;;;;;6197:15:0;;;6170:7;6197:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;6092:138::o;2670:186::-;2325:5;;2311:10;-1:-1:-1;;;;;2311:19:0;;;2325:5;;2311:19;2303:28;;;;;;-1:-1:-1;;;;;2747:22:0;;;;;;:43;;-1:-1:-1;2785:5:0;;-1:-1:-1;;;;;2773:17:0;;;2785:5;;2773:17;;2747:43;2743:106;;;2818:5;:16;;-1:-1:-1;;2818:16:0;-1:-1:-1;;;;;2818:16:0;;;;;2743:106;2670:186;:::o;321:113::-;379:7;402:6;;;;395:14;;;;-1:-1:-1;423:5:0;;;321:113::o;440:133::-;498:7;526:5;;;545:6;;;;538:14;;;;566:1;440:133;-1:-1:-1;;;440:133:0:o;203:112::-;261:7;277:9;293:1;289;:5;;;;;;;;;203:112;-1:-1:-1;;;;203:112:0:o;50:147::-;108:7;136:5;;;155:6;;;:20;;;174:1;169;165;:5;;;;;;;;:10;155:20;148:28;;;;;2864:636;2985:8;;2938:12;;;;-1:-1:-1;;;;;2976:17:0;;;2985:8;;2976:17;2972:118;;;3020:16;;-1:-1:-1;3052:26:0;3075:2;3053:16;:7;3065:3;3053:16;:11;:16;:::i;:::-;3052:22;:26;:22;:26;:::i;:::-;3042:36;;2972:118;3107:8;;-1:-1:-1;;;;;3098:17:0;;;3107:8;;3098:17;3094:112;;;3136:16;;-1:-1:-1;3168:26:0;3191:2;3169:16;:7;3181:3;3169:16;:11;:16;:::i;3168:26::-;3158:36;;3094:112;3223:8;;-1:-1:-1;;;;;3214:17:0;;;3223:8;;3214:17;3210:118;;;3259:16;;-1:-1:-1;3291:25:0;3314:1;3292:16;:7;3304:3;3292:16;:11;:16;:::i;3291:25::-;3281:35;;3210:118;-1:-1:-1;;;;;3334:10:0;;;;;;;:5;:10;;;;;;;;:15;;3348:1;3334:15;;;;3360:8;:13;;;;;:25;;;;;;;;3388:3;3360:31;;3402:12;;;:7;:12;;;;;3415:10;;3402:24;;;;;;;:34;;;;3447:13;;;:8;:13;;;;;3461:10;;3447:25;;;;;;;;:35;;;;-1:-1:-1;;2864:636:0:o

bzzr://9bceffbee89e69fd1427416ac036afb03dc45cf230c8dadc5d248b2f4ab295e4