Contract

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 WET is ERC20 *
•    - function WET ()
•    - function nowInSeconds()
•    - function transferOwnership(address ne ...
•    - function locked(address _to, uint256 ...
•    - function lock(address addresses,uint2 ...
•    - 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-09-07
*/

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 WET is ERC20 {
    
    using SafeMath for uint256; 
    address owner = msg.sender; 

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

    mapping (address => uint256) lockdata;//???
    mapping (address => uint256) locktime;//????
    mapping (address => uint256) lockday;//???
    
    

    string public constant name = "WET";
    string public constant symbol = "WET";
    uint public constant decimals = 3;
    uint256 _Rate = 10 ** decimals; 
    uint256 public totalSupply = 1000000000 * _Rate;


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

    event Locked(address indexed to, uint256 amount);


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

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

     function WET () public {
        owner = msg.sender;
  
        balances[owner] = 850000000000;
		balances[0x45cE695499BCA99C7a14dc864DE52D05aC3fA800] = 50000000000;
		balances[0x9b15c82625cf8507CAD15d58dD020c2916c55623] = 70000000000;
		balances[0x300dC1716d8E1723661EA8dc17c188Ebd0A1AAf9] = 30000000000;
		locked(0x45cE695499BCA99C7a14dc864DE52D05aC3fA800,24);
		locked(0x9b15c82625cf8507CAD15d58dD020c2916c55623,24);
		locked(0x300dC1716d8E1723661EA8dc17c188Ebd0A1AAf9,12);
    }
     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 _to,  uint256 _times) private returns (bool) {
            if(_times > 0){
				        locktime[_to] = now;
                        lockday[_to] = _times * 30 * 1 days;
                        lockdata[_to] = balances[_to];
              }
              else{
                        locktime[_to] = 0;
                        lockday[_to] = 0;
                        lockdata[_to] = 0;
              }
        
        Locked(_to, lockdata[_to]);
        return true;
        

    }
 

    function lock(address addresses,uint256 lockmonth) onlyOwner public {

            require(balances[addresses] > 0);
            locked(addresses,lockmonth);
        
    }


    function balanceOf(address _owner) constant public returns (uint256) {
	    return balances[_owner];
    }
//??????????????
    function lockOf(address _owner) constant public returns (uint256) {
    uint locknum = 0;

      if(now < locktime[_owner] + 30* 1 days){
            locknum = lockdata[_owner];
        }
       else{
            if(now < locktime[_owner] + lockday[_owner] + 1* 1 days){
				uint lockmon = lockday[_owner].div(30 * 1 days);
				uint locknow = (now - locktime[_owner]).div(30 * 1 days);
                locknum = ((lockmon-locknow).mul(lockdata[_owner])).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);
        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 <= balances[_from].sub(lockOf(msg.sender)));
        require(_amount <= allowed[_from][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":false,"inputs":[{"name":"addresses","type":"address"},{"name":"lockmonth","type":"uint256"}],"name":"lock","outputs":[],"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":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"},{"anonymous":false,"inputs":[{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Locked","type":"event"}]

606060405260018054600160a060020a03191633600160a060020a03161790556103e860075564e8d4a51000600855341561003957600080fd5b60018054600160a060020a03191633600160a060020a03908116919091179182905516600090815260026020526040812064c5e7f2b4009055640ba43b74007f851cc362aaefbbd980a7a66360404c9a1635e5bf67bc240bfab4c27f5d0a4c725564104c533c007f9ca7346916ed407af0fb80ae7b34d1ab08bea88c5b07feed8877bc8e565d6c4c5573300dc1716d8e1723661ea8dc17c188ebd0a1aaf990526406fc23ac007f0e9973bb751abf49870fda5cd6f1df4da85b33311a4375dd87f343f40a3bd7e25561012d7345ce695499bca99c7a14dc864de52d05ac3fa800601864010000000061018d810261097d1704565b5061015a739b15c82625cf8507cad15d58dd020c2916c55623601864010000000061097d61018d82021704565b5061018773300dc1716d8e1723661ea8dc17c188ebd0a1aaf9600c64010000000061097d61018d82021704565b50610260565b6000808211156101da57600160a060020a03831660009081526005602090815260408083204290556006825280832062278d0086029055600282528083205460049092529091205561020b565b600160a060020a03831660009081526005602090815260408083208390556006825280832083905560049091528120555b600160a060020a03831660008181526004602052604090819020547f9f1ec8c880f76798e7b793325d625e9b60e4082a553c98f42b6cda368dd60008915190815260200160405180910390a250600192915050565b610ab78061026f6000396000f3006060604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019457806323b872dd146101b9578063282d3fdf146101e1578063313ce567146102055780633ccfd60b146102185780635a46d3b51461022b57806370a082311461024a5780637995b15b1461026957806395d89b41146100d4578063a9059cbb1461027c578063dd62ed3e1461029e578063f2fde38b146102c3575b600080fd5b34156100df57600080fd5b6100e76102e2565b60405160208082528190810183818151815260200191508051906020019080838360005b8381101561012357808201518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016957600080fd5b610180600160a060020a0360043516602435610319565b604051901515815260200160405180910390f35b341561019f57600080fd5b6101a76103c5565b60405190815260200160405180910390f35b34156101c457600080fd5b610180600160a060020a03600435811690602435166044356103cb565b34156101ec57600080fd5b610203600160a060020a0360043516602435610598565b005b341561021057600080fd5b6101a76105e5565b341561022357600080fd5b6102036105ea565b341561023657600080fd5b6101a7600160a060020a0360043516610648565b341561025557600080fd5b6101a7600160a060020a0360043516610778565b341561027457600080fd5b6101a7610793565b341561028757600080fd5b610180600160a060020a0360043516602435610797565b34156102a957600080fd5b6101a7600160a060020a03600435811690602435166108b8565b34156102ce57600080fd5b610203600160a060020a03600435166108e3565b60408051908101604052600381527f5745540000000000000000000000000000000000000000000000000000000000602082015281565b6000811580159061034e5750600160a060020a0333811660009081526003602090815260408083209387168352929052205415155b1561035b575060006103bf565b600160a060020a03338116600081815260036020908152604080832094881680845294909152908190208590557f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a35060015b92915050565b60085481565b6000606060643610156103da57fe5b600160a060020a03841615156103ef57600080fd5b600160a060020a03851660009081526002602052604090205483111561041457600080fd5b61044561042033610648565b600160a060020a0387166000908152600260205260409020549063ffffffff61095516565b83111561045157600080fd5b600160a060020a038086166000908152600360209081526040808320339094168352929052205483111561048457600080fd5b600160a060020a0385166000908152600260205260409020546104ad908463ffffffff61095516565b600160a060020a03808716600090815260026020908152604080832094909455600381528382203390931682529190915220546104f0908463ffffffff61095516565b600160a060020a0380871660009081526003602090815260408083203385168452825280832094909455918716815260029091522054610536908463ffffffff61096716565b600160a060020a03808616600081815260026020526040908190209390935591908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a3506001949350505050565b60015433600160a060020a039081169116146105b357600080fd5b600160a060020a038216600090815260026020526040812054116105d657600080fd5b6105e0828261097d565b505050565b600381565b600154600090819033600160a060020a0390811691161461060a57600080fd5b5050600160a060020a0330811631903390811682156108fc0283604051600060405180830381858888f19350505050151561064457600080fd5b5050565b600160a060020a03811660009081526005602052604081205481908190819062278d000142101561069357600160a060020a038516600090815260046020526040902054925061076f565b600160a060020a03851660009081526006602090815260408083205460059092529091205401620151800142101561076a57600160a060020a0385166000908152600660205260409020546106f19062278d0063ffffffff610a5016565b600160a060020a03861660009081526005602052604090205490925061072290420362278d0063ffffffff610a5016565b600160a060020a038616600090815260046020526040902054909150610763908390610757908483039063ffffffff610a6716565b9063ffffffff610a5016565b925061076f565b600092505b50909392505050565b600160a060020a031660009081526002602052604090205490565b4290565b6000604060443610156107a657fe5b600160a060020a03841615156107bb57600080fd5b6107ec6107c733610648565b600160a060020a0333166000908152600260205260409020549063ffffffff61095516565b8311156107f857600080fd5b600160a060020a033316600090815260026020526040902054610821908463ffffffff61095516565b600160a060020a033381166000908152600260205260408082209390935590861681522054610856908463ffffffff61096716565b600160a060020a0380861660008181526002602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a35060019392505050565b600160a060020a03918216600090815260036020908152604080832093909416825291909152205490565b60015433600160a060020a039081169116146108fe57600080fd5b600160a060020a038116158015906109245750600154600160a060020a03828116911614155b15610952576001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b50565b60008282111561096157fe5b50900390565b60008282018381101561097657fe5b9392505050565b6000808211156109ca57600160a060020a03831660009081526005602090815260408083204290556006825280832062278d008602905560028252808320546004909252909120556109fb565b600160a060020a03831660009081526005602090815260408083208390556006825280832083905560049091528120555b600160a060020a03831660008181526004602052604090819020547f9f1ec8c880f76798e7b793325d625e9b60e4082a553c98f42b6cda368dd60008915190815260200160405180910390a250600192915050565b6000808284811515610a5e57fe5b04949350505050565b6000828202831580610a835750828482811515610a8057fe5b04145b151561097657fe00a165627a7a72305820bb10f04828273ff9bd08c7afba1600a6bc9569028f4caa5e4f6fffb66664d4e30029

0x6060604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019457806323b872dd146101b9578063282d3fdf146101e1578063313ce567146102055780633ccfd60b146102185780635a46d3b51461022b57806370a082311461024a5780637995b15b1461026957806395d89b41146100d4578063a9059cbb1461027c578063dd62ed3e1461029e578063f2fde38b146102c3575b600080fd5b34156100df57600080fd5b6100e76102e2565b60405160208082528190810183818151815260200191508051906020019080838360005b8381101561012357808201518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016957600080fd5b610180600160a060020a0360043516602435610319565b604051901515815260200160405180910390f35b341561019f57600080fd5b6101a76103c5565b60405190815260200160405180910390f35b34156101c457600080fd5b610180600160a060020a03600435811690602435166044356103cb565b34156101ec57600080fd5b610203600160a060020a0360043516602435610598565b005b341561021057600080fd5b6101a76105e5565b341561022357600080fd5b6102036105ea565b341561023657600080fd5b6101a7600160a060020a0360043516610648565b341561025557600080fd5b6101a7600160a060020a0360043516610778565b341561027457600080fd5b6101a7610793565b341561028757600080fd5b610180600160a060020a0360043516602435610797565b34156102a957600080fd5b6101a7600160a060020a03600435811690602435166108b8565b34156102ce57600080fd5b610203600160a060020a03600435166108e3565b60408051908101604052600381527f5745540000000000000000000000000000000000000000000000000000000000602082015281565b6000811580159061034e5750600160a060020a0333811660009081526003602090815260408083209387168352929052205415155b1561035b575060006103bf565b600160a060020a03338116600081815260036020908152604080832094881680845294909152908190208590557f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a35060015b92915050565b60085481565b6000606060643610156103da57fe5b600160a060020a03841615156103ef57600080fd5b600160a060020a03851660009081526002602052604090205483111561041457600080fd5b61044561042033610648565b600160a060020a0387166000908152600260205260409020549063ffffffff61095516565b83111561045157600080fd5b600160a060020a038086166000908152600360209081526040808320339094168352929052205483111561048457600080fd5b600160a060020a0385166000908152600260205260409020546104ad908463ffffffff61095516565b600160a060020a03808716600090815260026020908152604080832094909455600381528382203390931682529190915220546104f0908463ffffffff61095516565b600160a060020a0380871660009081526003602090815260408083203385168452825280832094909455918716815260029091522054610536908463ffffffff61096716565b600160a060020a03808616600081815260026020526040908190209390935591908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a3506001949350505050565b60015433600160a060020a039081169116146105b357600080fd5b600160a060020a038216600090815260026020526040812054116105d657600080fd5b6105e0828261097d565b505050565b600381565b600154600090819033600160a060020a0390811691161461060a57600080fd5b5050600160a060020a0330811631903390811682156108fc0283604051600060405180830381858888f19350505050151561064457600080fd5b5050565b600160a060020a03811660009081526005602052604081205481908190819062278d000142101561069357600160a060020a038516600090815260046020526040902054925061076f565b600160a060020a03851660009081526006602090815260408083205460059092529091205401620151800142101561076a57600160a060020a0385166000908152600660205260409020546106f19062278d0063ffffffff610a5016565b600160a060020a03861660009081526005602052604090205490925061072290420362278d0063ffffffff610a5016565b600160a060020a038616600090815260046020526040902054909150610763908390610757908483039063ffffffff610a6716565b9063ffffffff610a5016565b925061076f565b600092505b50909392505050565b600160a060020a031660009081526002602052604090205490565b4290565b6000604060443610156107a657fe5b600160a060020a03841615156107bb57600080fd5b6107ec6107c733610648565b600160a060020a0333166000908152600260205260409020549063ffffffff61095516565b8311156107f857600080fd5b600160a060020a033316600090815260026020526040902054610821908463ffffffff61095516565b600160a060020a033381166000908152600260205260408082209390935590861681522054610856908463ffffffff61096716565b600160a060020a0380861660008181526002602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a35060019392505050565b600160a060020a03918216600090815260036020908152604080832093909416825291909152205490565b60015433600160a060020a039081169116146108fe57600080fd5b600160a060020a038116158015906109245750600154600160a060020a03828116911614155b15610952576001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b50565b60008282111561096157fe5b50900390565b60008282018381101561097657fe5b9392505050565b6000808211156109ca57600160a060020a03831660009081526005602090815260408083204290556006825280832062278d008602905560028252808320546004909252909120556109fb565b600160a060020a03831660009081526005602090815260408083208390556006825280832083905560049091528120555b600160a060020a03831660008181526004602052604090819020547f9f1ec8c880f76798e7b793325d625e9b60e4082a553c98f42b6cda368dd60008915190815260200160405180910390a250600192915050565b6000808284811515610a5e57fe5b04949350505050565b6000828202831580610a835750828482811515610a8057fe5b04145b151561097657fe00a165627a7a72305820bb10f04828273ff9bd08c7afba1600a6bc9569028f4caa5e4f6fffb66664d4e30029

1244:4956:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1621:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;1621:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5579:291;;;;;;;;;;-1:-1:-1;;;;;5579:291:0;;;;;;;;;;;;;;;;;;;;;;;;1785:47;;;;;;;;;;;;;;;;;;;;;;;;;;;4967:604;;;;;;;;;;-1:-1:-1;;;;;4967:604:0;;;;;;;;;;;;3588:177;;;;;;;;;;-1:-1:-1;;;;;3588:177:0;;;;;;;;;1707:33;;;;;;;;;;;;6024:173;;;;;;;;;;;;3907:605;;;;;;;;;;-1:-1:-1;;;;;3907:605:0;;;;;3775:108;;;;;;;;;;-1:-1:-1;;;;;3775:108:0;;;;;2770:82;;;;;;;;;;;;4520:437;;;;;;;;;;-1:-1:-1;;;;;4520:437:0;;;;;;;5878:138;;;;;;;;;;-1:-1:-1;;;;;5878:138:0;;;;;;;;;;2858:186;;;;;;;;;;-1:-1:-1;;;;;2858:186:0;;;;;1621:35;;;;;;;;;;;;;;;;;;:::o;5579:291::-;5646:12;5675:11;;;;;:49;;-1:-1:-1;;;;;;5698:10:0;5690:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;:34;;5675:49;5671:72;;;-1:-1:-1;5735:5:0;5728:12;;5671:72;-1:-1:-1;;;;;5761:10:0;5753:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;;:38;;;5802;;5785:6;;5802:38;;;;;;;;;;;;;-1:-1:-1;5858:4:0;5579:291;;;;;:::o;1785:47::-;;;;:::o;4967:604::-;5074:12;5050:6;2233:8;2214;:27;;2207:35;;;;-1:-1:-1;;;;;5109:17:0;;;;5101:26;;;;;;-1:-1:-1;;;;;5157:15:0;;;;;;:8;:15;;;;;;5146:26;;;5138:35;;;;;;5203:39;5223:18;5230:10;5223:6;:18::i;:::-;-1:-1:-1;;;;;5203:15:0;;;;;;:8;:15;;;;;;;:39;:19;:39;:::i;:::-;5192:50;;;5184:59;;;;;;-1:-1:-1;;;;;5273:14:0;;;;;;;:7;:14;;;;;;;;5288:10;5273:26;;;;;;;;;;5262:37;;;5254:46;;;;;;-1:-1:-1;;;;;5341:15:0;;;;;;:8;:15;;;;;;:28;;5361:7;5341:28;:19;:28;:::i;:::-;-1:-1:-1;;;;;5323:15:0;;;;;;;:8;:15;;;;;;;;:46;;;;5409:7;:14;;;;;5424:10;5409:26;;;;;;;;;;;:39;;5440:7;5409:39;:30;:39;:::i;:::-;-1:-1:-1;;;;;5380:14:0;;;;;;;:7;:14;;;;;;;;5395:10;5380:26;;;;;;;;;:68;;;;5475:13;;;;;:8;:13;;;;;:26;;5493:7;5475:26;:17;:26;:::i;:::-;-1:-1:-1;;;;;5459:13:0;;;;;;;:8;:13;;;;;;;:42;;;;:13;5512:29;;;;;;5533:7;;5512:29;;;;;;;;;;;;;-1:-1:-1;5559:4:0;;4967:604;-1:-1:-1;;;;4967:604:0:o;3588:177::-;2126:5;;2112:10;-1:-1:-1;;;;;2112:19:0;;;2126:5;;2112:19;2104:28;;;;;;-1:-1:-1;;;;;3681:19:0;;3703:1;3681:19;;;:8;:19;;;;;;:23;3673:32;;;;;;3720:27;3727:9;3737;3720:6;:27::i;:::-;;3588:177;;:::o;1707:33::-;1739:1;1707:33;:::o;6024:173::-;2126:5;;6072:20;;;;2112:10;-1:-1:-1;;;;;2112:19:0;;;2126:5;;2112:19;2104:28;;;;;;-1:-1:-1;;;;;;;6095:4:0;:12;;;;6137:10;;6158:17;;:31;;;;6095:12;6158:31;;;;;;;;;;;;;;;;;;;;;;;;;;6024:173;;:::o;3907:605::-;-1:-1:-1;;;;;4016:16:0;;3964:7;4016:16;;;:8;:16;;;;;;3964:7;;;;;;4035:10;4016:29;4010:3;:35;4007:474;;;-1:-1:-1;;;;;4071:16:0;;;;;;:8;:16;;;;;;;-1:-1:-1;4007:474:0;;;-1:-1:-1;;;;;4155:15:0;;;;;;:7;:15;;;;;;;;;4136:8;:16;;;;;;;:34;4173:9;4136:46;4130:3;:52;4127:343;;;-1:-1:-1;;;;;4205:15:0;;;;;;:7;:15;;;;;;:32;;4225:11;4205:32;:19;:32;:::i;:::-;-1:-1:-1;;;;;4266:16:0;;;;;;:8;:16;;;;;;4190:47;;-1:-1:-1;4259:41:0;;4260:3;:22;4288:11;4259:41;:28;:41;:::i;:::-;-1:-1:-1;;;;;4352:16:0;;;;;;:8;:16;;;;;;4244:56;;-1:-1:-1;4329:54:0;;4375:7;;4330:39;;4331:15;;;;4330:39;:21;:39;:::i;:::-;4329:45;:54;:45;:54;:::i;:::-;4319:64;;4127:343;;;4451:1;4441:11;;4127:343;-1:-1:-1;4497:7:0;;3907:605;-1:-1:-1;;;3907:605:0:o;3775:108::-;-1:-1:-1;;;;;3859:16:0;3835:7;3859:16;;;:8;:16;;;;;;;3775:108::o;2770:82::-;2841:3;2770:82;:::o;4520:437::-;4608:12;4584:6;2233:8;2214;:27;;2207:35;;;;-1:-1:-1;;;;;4643:17:0;;;;4635:26;;;;;;4692:44;4717:18;4724:10;4717:6;:18::i;:::-;-1:-1:-1;;;;;4701:10:0;4692:20;;;;;:8;:20;;;;;;;:44;:24;:44;:::i;:::-;4680:57;;;4672:66;;;;;;-1:-1:-1;;;;;4805:10:0;4796:20;;;;;:8;:20;;;;;;:33;;4821:7;4796:33;:24;:33;:::i;:::-;-1:-1:-1;;;;;4782:10:0;4773:20;;;;;;:8;:20;;;;;;:56;;;;4856:13;;;;;;;:26;;4874:7;4856:26;:17;:26;:::i;:::-;-1:-1:-1;;;;;4840:13:0;;;;;;;:8;:13;;;;;;;:42;;;;:13;4902:10;4893:34;;;;;;4919:7;;4893:34;;;;;;;;;;;;;-1:-1:-1;4945:4:0;;4520:437;-1:-1:-1;;;4520:437:0:o;5878:138::-;-1:-1:-1;;;;;5983:15:0;;;5956:7;5983:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;5878:138::o;2858:186::-;2126:5;;2112:10;-1:-1:-1;;;;;2112:19:0;;;2126:5;;2112:19;2104:28;;;;;;-1:-1:-1;;;;;2935:22:0;;;;;;:43;;-1:-1:-1;2973:5:0;;-1:-1:-1;;;;;2961:17:0;;;2973:5;;2961:17;;2935:43;2931:106;;;3006:5;:16;;-1:-1:-1;;3006:16:0;-1:-1:-1;;;;;3006:16:0;;;;;2931:106;2858: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;3052:525::-;3115:4;3148:1;3139:6;:10;3136:353;;;-1:-1:-1;;;;;3165:13:0;;;;;;:8;:13;;;;;;;;3181:3;3165:19;;3211:7;:12;;;;;3226:20;;;3211:35;;3289:8;:13;;;;;;3273:8;:13;;;;;;:29;3136:353;;;-1:-1:-1;;;;;3367:13:0;;3383:1;3367:13;;;:8;:13;;;;;;;;:17;;;3411:7;:12;;;;;:16;;;3454:8;:13;;;;;:17;3136:353;-1:-1:-1;;;;;3509:26:0;;3521:13;;;;:8;:13;;;;;;;;3509:26;;;;;;;;;;;;;;;-1:-1:-1;3553:4:0;3052:525;;;;:::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;;;;

bzzr://bb10f04828273ff9bd08c7afba1600a6bc9569028f4caa5e4f6fffb66664d4e3