Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Ownable    - function Ownable()    - function transferOwnership(address ne ...  contract CRPT is Ownable *    - function transfer(address _to, uint25 ...    - function balanceOf(address _owner)    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...    - function allowTransfer()    - function mint(address _to, uint256 _v ...    - function finishMinting()    - function burn(uint256 _value)    - function burnFrom(address _from, uint ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-27
*/

pragma solidity ^0.4.16;

/**
 * The previous smart contract was submitted on 2017-11-07
*/

contract Ownable {
    
    address public owner;

    function Ownable() public {
        owner = msg.sender;
    }
    
    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }
    
    function transferOwnership(address newOwner) onlyOwner public {
        require(newOwner != address(0));      
        owner = newOwner;
    }

}

contract CRPT is Ownable {
    
    uint256 public totalSupply;
    mapping(address => uint256) balances;
    mapping(address => mapping(address => uint256)) allowed;
    
    string public constant name = "CRPT";
    string public constant symbol = "CRPT";
    uint32 public constant decimals = 18;

    uint constant restrictedPercent = 30;
    address constant restricted = 0xe5cF86fC6420A4404Ee96535ae2367897C94D831;
    uint constant start = 1601200042;
    uint constant period = 3;
    uint256 public constant hardcap = 100000000 * 1 ether;
    
    bool public transferAllowed = false;
    bool public mintingFinished = false;
    
    modifier whenTransferAllowed() {
        if(msg.sender != owner){
            require(transferAllowed);
        }
        _;
    }

    modifier saleIsOn() {
        require(now > start && now < start + period * 1 days);
        _;
    }
    
    modifier canMint() {
        require(!mintingFinished);
        _;
    }
  
    function transfer(address _to, uint256 _value) whenTransferAllowed public returns (bool) {
        require(_to != address(0));
        require(_value <= balances[msg.sender]);
        
        balances[msg.sender] = balances[msg.sender] - _value;
        balances[_to] = balances[_to] + _value;
        //assert(balances[_to] >= _value); no need to check, since mint has limited hardcap
        Transfer(msg.sender, _to, _value);
        return true;
    }

    function balanceOf(address _owner) constant public returns (uint256 balance) {
        return balances[_owner];
    }
    
    function transferFrom(address _from, address _to, uint256 _value) whenTransferAllowed public returns (bool) {
        require(_to != address(0));
        require(_value <= balances[_from]);
        require(_value <= allowed[_from][msg.sender]);
        
        balances[_from] = balances[_from] - _value;
        balances[_to] = balances[_to] + _value;
        //assert(balances[_to] >= _value); no need to check, since mint has limited hardcap
        allowed[_from][msg.sender] = allowed[_from][msg.sender] - _value;
        Transfer(_from, _to, _value);
        return true;
    }

    function approve(address _spender, uint256 _value) public returns (bool) {
        //NOTE: To prevent attack vectors like the one discussed here:
        //https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729,
        //clients SHOULD make sure to create user interfaces in such a way
        //that they set the allowance first to 0 before setting it to another
        //value for the same spender.
    
        allowed[msg.sender][_spender] = _value;
        Approval(msg.sender, _spender, _value);
        return true;
    }

    function allowance(address _owner, address _spender) public constant returns (uint256 remaining) {
        return allowed[_owner][_spender];
    }
   
    function allowTransfer() onlyOwner public {
        transferAllowed = true;
    }
    
    function mint(address _to, uint256 _value) onlyOwner saleIsOn canMint public returns (bool) {
        require(_to != address(0));
        
        uint restrictedTokens = _value * restrictedPercent / (100 - restrictedPercent);
        uint _amount = _value + restrictedTokens;
        assert(_amount >= _value);
        
        if(_amount + totalSupply <= hardcap){
        
            totalSupply = totalSupply + _amount;
            
            assert(totalSupply >= _amount);
            
            balances[msg.sender] = balances[msg.sender] + _amount;
            assert(balances[msg.sender] >= _amount);
            Mint(msg.sender, _amount);
        
            transfer(_to, _value);
            transfer(restricted, restrictedTokens);
        }
        return true;
    }

    function finishMinting() onlyOwner public returns (bool) {
        mintingFinished = true;
        MintFinished();
        return true;
    }
    
    /**
     * @dev Burns a specific amount of tokens.
     * @param _value The amount of token to be burned.
    */
    function burn(uint256 _value) public returns (bool) {
        require(_value <= balances[msg.sender]);
        // no need to require value <= totalSupply, since that would imply the
        // sender's balance is greater than the totalSupply, which *should* be an assertion failure
        balances[msg.sender] = balances[msg.sender] - _value;
        totalSupply = totalSupply - _value;
        Burn(msg.sender, _value);
        return true;
    }
    
    function burnFrom(address _from, uint256 _value) public returns (bool success) {
        require(_value <= balances[_from]);
        require(_value <= allowed[_from][msg.sender]);
        balances[_from] = balances[_from] - _value;
        allowed[_from][msg.sender] = allowed[_from][msg.sender] - _value;
        totalSupply = totalSupply - _value;
        Burn(_from, _value);
        return true;
    }

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);

    event Mint(address indexed to, uint256 amount);

    event MintFinished();

    event Burn(address indexed burner, uint256 value);

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"mintingFinished","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"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":"","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":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"transferAllowed","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"mint","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","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":"_value","type":"uint256"}],"name":"burnFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"finishMinting","outputs":[{"name":"","type":"bool"}],"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":"allowTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"hardcap","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"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":"Mint","type":"event"},{"anonymous":false,"inputs":[],"name":"MintFinished","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"}]

60606040526004805461ffff191690555b60008054600160a060020a03191633600160a060020a03161790555b5b610c408061003c6000396000f300606060405236156101045763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166305d2035b811461010957806306fdde0314610130578063095ea7b3146101bb57806318160ddd146101f157806323b872dd14610216578063313ce5671461025257806334fec4671461027e57806340c10f19146102a557806342966c68146102db57806370a082311461030557806379cc6790146103365780637d64bcb41461036c5780638da5cb5b1461039357806395d89b41146101305780639b08a22f1461044d578063a9059cbb14610462578063b071cbe614610498578063dd62ed3e146104bd578063f2fde38b146104f4575b600080fd5b341561011457600080fd5b61011c610515565b604051901515815260200160405180910390f35b341561013b57600080fd5b610143610523565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101805780820151818401525b602001610167565b50505050905090810190601f1680156101ad5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101c657600080fd5b61011c600160a060020a036004351660243561055a565b604051901515815260200160405180910390f35b34156101fc57600080fd5b6102046105c7565b60405190815260200160405180910390f35b341561022157600080fd5b61011c600160a060020a03600435811690602435166044356105cd565b604051901515815260200160405180910390f35b341561025d57600080fd5b6102656106f3565b60405163ffffffff909116815260200160405180910390f35b341561028957600080fd5b61011c6106f8565b604051901515815260200160405180910390f35b34156102b057600080fd5b61011c600160a060020a0360043516602435610701565b604051901515815260200160405180910390f35b34156102e657600080fd5b61011c600435610851565b604051901515815260200160405180910390f35b341561031057600080fd5b610204600160a060020a03600435166108dc565b60405190815260200160405180910390f35b341561034157600080fd5b61011c600160a060020a03600435166024356108fb565b604051901515815260200160405180910390f35b341561037757600080fd5b61011c6109d7565b604051901515815260200160405180910390f35b341561039e57600080fd5b6103a6610a36565b604051600160a060020a03909116815260200160405180910390f35b341561013b57600080fd5b610143610523565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101805780820151818401525b602001610167565b50505050905090810190601f1680156101ad5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561045857600080fd5b610460610a7c565b005b341561046d57600080fd5b61011c600160a060020a0360043516602435610aa8565b604051901515815260200160405180910390f35b34156104a357600080fd5b610204610b7b565b60405190815260200160405180910390f35b34156104c857600080fd5b610204600160a060020a0360043581169060243516610b8a565b60405190815260200160405180910390f35b34156104ff57600080fd5b610460600160a060020a0360043516610bb7565b005b600454610100900460ff1681565b60408051908101604052600481527f4352505400000000000000000000000000000000000000000000000000000000602082015281565b600160a060020a03338116600081815260036020908152604080832094871680845294909152808220859055909291907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a35060015b92915050565b60015481565b6000805433600160a060020a039081169116146105f55760045460ff1615156105f557600080fd5b5b600160a060020a038316151561060b57600080fd5b600160a060020a03841660009081526002602052604090205482111561063057600080fd5b600160a060020a038085166000908152600360209081526040808320339094168352929052205482111561066357600080fd5b600160a060020a03848116600081815260026020908152604080832080548890039055878516808452818420805489019055848452600383528184203390961684529490915290819020805486900390557fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060015b5b9392505050565b601281565b60045460ff1681565b600080548190819033600160a060020a0390811691161461072157600080fd5b635f705faa421180156107375750635f74542a42105b151561074257600080fd5b600454610100900460ff161561075757600080fd5b600160a060020a038516151561076c57600080fd5b6046601e85025b049150508281018381101561078457fe5b6001546a52b7d2dcc80cd2e4000000908201116108415760018054820190819055819010156107af57fe5b600160a060020a03331660009081526002602052604090208054820190819055819010156107d957fe5b33600160a060020a03167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d41213968858260405190815260200160405180910390a26108208585610aa8565b5061083f73e5cf86fc6420a4404ee96535ae2367897c94d83183610aa8565b505b600192505b5b5b5b505092915050565b600160a060020a03331660009081526002602052604081205482111561087657600080fd5b600160a060020a03331660008181526002602052604090819020805485900390556001805485900390557fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59084905190815260200160405180910390a25060015b919050565b600160a060020a0381166000908152600260205260409020545b919050565b600160a060020a03821660009081526002602052604081205482111561092057600080fd5b600160a060020a038084166000908152600360209081526040808320339094168352929052205482111561095357600080fd5b600160a060020a038381166000818152600260209081526040808320805488900390556003825280832033909516835293905282902080548590039055600180548590039055907fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59084905190815260200160405180910390a25060015b92915050565b6000805433600160a060020a039081169116146109f357600080fd5b6004805461ff0019166101001790557fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a15060015b5b90565b600054600160a060020a031681565b60408051908101604052600481527f4352505400000000000000000000000000000000000000000000000000000000602082015281565b60005433600160a060020a03908116911614610a9757600080fd5b6004805460ff191660011790555b5b565b6000805433600160a060020a03908116911614610ad05760045460ff161515610ad057600080fd5b5b600160a060020a0383161515610ae657600080fd5b600160a060020a033316600090815260026020526040902054821115610b0b57600080fd5b600160a060020a033381166000818152600260205260408082208054879003905592861680825290839020805486019055917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060015b5b92915050565b6a52b7d2dcc80cd2e400000081565b600160a060020a038083166000908152600360209081526040808320938516835292905220545b92915050565b60005433600160a060020a03908116911614610bd257600080fd5b600160a060020a0381161515610be757600080fd5b6000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b505600a165627a7a723058202f6cb2e5f0c5b9a43ade9668de0b4e291c1baf219615114c72c2eca4e1f5e2a60029

0x606060405236156101045763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166305d2035b811461010957806306fdde0314610130578063095ea7b3146101bb57806318160ddd146101f157806323b872dd14610216578063313ce5671461025257806334fec4671461027e57806340c10f19146102a557806342966c68146102db57806370a082311461030557806379cc6790146103365780637d64bcb41461036c5780638da5cb5b1461039357806395d89b41146101305780639b08a22f1461044d578063a9059cbb14610462578063b071cbe614610498578063dd62ed3e146104bd578063f2fde38b146104f4575b600080fd5b341561011457600080fd5b61011c610515565b604051901515815260200160405180910390f35b341561013b57600080fd5b610143610523565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101805780820151818401525b602001610167565b50505050905090810190601f1680156101ad5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101c657600080fd5b61011c600160a060020a036004351660243561055a565b604051901515815260200160405180910390f35b34156101fc57600080fd5b6102046105c7565b60405190815260200160405180910390f35b341561022157600080fd5b61011c600160a060020a03600435811690602435166044356105cd565b604051901515815260200160405180910390f35b341561025d57600080fd5b6102656106f3565b60405163ffffffff909116815260200160405180910390f35b341561028957600080fd5b61011c6106f8565b604051901515815260200160405180910390f35b34156102b057600080fd5b61011c600160a060020a0360043516602435610701565b604051901515815260200160405180910390f35b34156102e657600080fd5b61011c600435610851565b604051901515815260200160405180910390f35b341561031057600080fd5b610204600160a060020a03600435166108dc565b60405190815260200160405180910390f35b341561034157600080fd5b61011c600160a060020a03600435166024356108fb565b604051901515815260200160405180910390f35b341561037757600080fd5b61011c6109d7565b604051901515815260200160405180910390f35b341561039e57600080fd5b6103a6610a36565b604051600160a060020a03909116815260200160405180910390f35b341561013b57600080fd5b610143610523565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101805780820151818401525b602001610167565b50505050905090810190601f1680156101ad5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561045857600080fd5b610460610a7c565b005b341561046d57600080fd5b61011c600160a060020a0360043516602435610aa8565b604051901515815260200160405180910390f35b34156104a357600080fd5b610204610b7b565b60405190815260200160405180910390f35b34156104c857600080fd5b610204600160a060020a0360043581169060243516610b8a565b60405190815260200160405180910390f35b34156104ff57600080fd5b610460600160a060020a0360043516610bb7565b005b600454610100900460ff1681565b60408051908101604052600481527f4352505400000000000000000000000000000000000000000000000000000000602082015281565b600160a060020a03338116600081815260036020908152604080832094871680845294909152808220859055909291907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a35060015b92915050565b60015481565b6000805433600160a060020a039081169116146105f55760045460ff1615156105f557600080fd5b5b600160a060020a038316151561060b57600080fd5b600160a060020a03841660009081526002602052604090205482111561063057600080fd5b600160a060020a038085166000908152600360209081526040808320339094168352929052205482111561066357600080fd5b600160a060020a03848116600081815260026020908152604080832080548890039055878516808452818420805489019055848452600383528184203390961684529490915290819020805486900390557fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060015b5b9392505050565b601281565b60045460ff1681565b600080548190819033600160a060020a0390811691161461072157600080fd5b635f705faa421180156107375750635f74542a42105b151561074257600080fd5b600454610100900460ff161561075757600080fd5b600160a060020a038516151561076c57600080fd5b6046601e85025b049150508281018381101561078457fe5b6001546a52b7d2dcc80cd2e4000000908201116108415760018054820190819055819010156107af57fe5b600160a060020a03331660009081526002602052604090208054820190819055819010156107d957fe5b33600160a060020a03167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d41213968858260405190815260200160405180910390a26108208585610aa8565b5061083f73e5cf86fc6420a4404ee96535ae2367897c94d83183610aa8565b505b600192505b5b5b5b505092915050565b600160a060020a03331660009081526002602052604081205482111561087657600080fd5b600160a060020a03331660008181526002602052604090819020805485900390556001805485900390557fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59084905190815260200160405180910390a25060015b919050565b600160a060020a0381166000908152600260205260409020545b919050565b600160a060020a03821660009081526002602052604081205482111561092057600080fd5b600160a060020a038084166000908152600360209081526040808320339094168352929052205482111561095357600080fd5b600160a060020a038381166000818152600260209081526040808320805488900390556003825280832033909516835293905282902080548590039055600180548590039055907fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59084905190815260200160405180910390a25060015b92915050565b6000805433600160a060020a039081169116146109f357600080fd5b6004805461ff0019166101001790557fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a15060015b5b90565b600054600160a060020a031681565b60408051908101604052600481527f4352505400000000000000000000000000000000000000000000000000000000602082015281565b60005433600160a060020a03908116911614610a9757600080fd5b6004805460ff191660011790555b5b565b6000805433600160a060020a03908116911614610ad05760045460ff161515610ad057600080fd5b5b600160a060020a0383161515610ae657600080fd5b600160a060020a033316600090815260026020526040902054821115610b0b57600080fd5b600160a060020a033381166000818152600260205260408082208054879003905592861680825290839020805486019055917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060015b5b92915050565b6a52b7d2dcc80cd2e400000081565b600160a060020a038083166000908152600360209081526040808320938516835292905220545b92915050565b60005433600160a060020a03908116911614610bd257600080fd5b600160a060020a0381161515610be757600080fd5b6000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b505600a165627a7a723058202f6cb2e5f0c5b9a43ade9668de0b4e291c1baf219615114c72c2eca4e1f5e2a60029

479:5314:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1094:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;661:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;8:100;52:2;45:3;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2693:551:0;;;;;;;;;;-1:-1:-1;;;;;2693:551:0;;;;;;;;;;;;;;;;;;;;;;;;517:26;;;;;;;;;;;;;;;;;;;;;;;;;;;2090:595;;;;;;;;;;-1:-1:-1;;;;;2090:595:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;749:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1052:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3506:807;;;;;;;;;;-1:-1:-1;;;;;3506:807:0;;;;;;;;;;;;;;;;;;;;;;;;4599:456;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1959:119;;;;;;;;;;-1:-1:-1;;;;;1959:119:0;;;;;;;;;;;;;;;;;;;;5067:413;;;;;;;;;;-1:-1:-1;;;;;5067:413:0;;;;;;;;;;;;;;;;;;;;;;;;4321:145;;;;;;;;;;;;;;;;;;;;;;;;;;;;;129:20;;;;;;;;;;;;;;;-1:-1:-1;;;;;129:20:0;;;;;;;;;;;;;;704:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;8:100;52:2;45:3;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3411:83:0;;;;;;;;;;;;;;1486:465;;;;;;;;;;-1:-1:-1;;;;;1486:465:0;;;;;;;;;;;;;;;;;;;;;;;;986:53;;;;;;;;;;;;;;;;;;;;;;;;;;;3252:148;;;;;;;;;;-1:-1:-1;;;;;3252:148:0;;;;;;;;;;;;;;;;;;;;;;;;;325:145;;;;;;;;;;-1:-1:-1;;;;;325:145:0;;;;;;;1094:35;;;;;;;;;:::o;661:36::-;;;;;;;;;;;;;;;;;;:::o;2693:551::-;-1:-1:-1;;;;;3135:10:0;3127:19;;2760:4;3127:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;:38;;;2760:4;;3127:29;:19;3176:38;;3159:6;;3176:38;;;;;;;;;;;;;-1:-1:-1;3232:4:0;2693:551;;;;;:::o;517:26::-;;;;:::o;2090:595::-;2192:4;1201:5;;1187:10;-1:-1:-1;;;;;1187:19:0;;;1201:5;;1187:19;1184:74;;1230:15;;;;1222:24;;;;;;;;1184:74;-1:-1:-1;;;;;2217:17:0;;;;2209:26;;;;;;-1:-1:-1;;;;;2264:15:0;;;;;;:8;:15;;;;;;2254:25;;;2246:34;;;;;;-1:-1:-1;;;;;2309:14:0;;;;;;;:7;:14;;;;;;;;2324:10;2309:26;;;;;;;;;;2299:36;;;2291:45;;;;;;-1:-1:-1;;;;;2375:15:0;;;;;;;:8;:15;;;;;;;;;;:24;;;2357:42;;2426:13;;;;;;;;;;;:22;;2410:38;;2581:14;;;:7;:14;;;;;2596:10;2581:26;;;;;;;;;;;;;;;:35;;;2552:64;;2627:28;;2375:24;;2627:28;;;;;;;;;;;;;-1:-1:-1;2673:4:0;1268:1;2090:595;;;;;;:::o;749:36::-;783:2;749:36;:::o;1052:35::-;;;;;;:::o;3506:807::-;3592:4;287:5;;3592:4;;;;273:10;-1:-1:-1;;;;;273:19:0;;;287:5;;273:19;265:28;;;;;;938:10;1324:3;:11;:44;;;;-1:-1:-1;1345:23:0;1339:3;:29;1324:44;1316:53;;;;;;;;1440:15;;;;;;;1439:16;1431:25;;;;;;-1:-1:-1;;;;;3617:17:0;;;;3609:26;;;;;;3710:23;828:2;3680:26;;:54;;;-1:-1:-1;;3760:25:0;;;3803:17;;;;3796:25;;;;3855:11;;1020:19;3845:21;;;:32;3842:442;;3917:11;;;:21;;3903:35;;;;3974:22;;;;3967:30;;;;-1:-1:-1;;;;;4058:10:0;4049:20;;;;;:8;:20;;;;;;;:30;;4026:53;;;;4101:31;;;;4094:39;;;;4153:10;-1:-1:-1;;;;;4148:25:0;;4165:7;4148:25;;;;;;;;;;;;;;4198:21;4207:3;4212:6;4198:8;:21::i;:::-;;4234:38;867:42;4255:16;4234:8;:38::i;:::-;;3842:442;4301:4;4294:11;;1467:1;1380;304;3506:807;;;;;;;:::o;4599:456::-;-1:-1:-1;;;;;4689:10:0;4680:20;4645:4;4680:20;;;:8;:20;;;;;;4670:30;;;4662:39;;;;;;-1:-1:-1;;;;;4925:10:0;4916:20;;;;;:8;:20;;;;;;;;;:29;;;4893:52;;-1:-1:-1;4970:11:0;;:20;;;4956:34;;5001:24;;4939:6;;5001:24;;;;;;;;;;;;;-1:-1:-1;5043:4:0;4599:456;;;;:::o;1959:119::-;-1:-1:-1;;;;;2054:16:0;;2019:15;2054:16;;;:8;:16;;;;;;1959:119;;;;:::o;5067:413::-;-1:-1:-1;;;;;5175:15:0;;5132:12;5175:15;;;:8;:15;;;;;;5165:25;;;5157:34;;;;;;-1:-1:-1;;;;;5220:14:0;;;;;;;:7;:14;;;;;;;;5235:10;5220:26;;;;;;;;;;5210:36;;;5202:45;;;;;;-1:-1:-1;;;;;5276:15:0;;;;;;;:8;:15;;;;;;;;;;:24;;;5258:42;;5340:7;:14;;;;;5355:10;5340:26;;;;;;;;;;;;;:35;;;5311:64;;-1:-1:-1;5400:11:0;;:20;;;5386:34;;5276:15;5431:19;;5276:24;;5431:19;;;;;;;;;;;;;-1:-1:-1;5468:4:0;5067:413;;;;;:::o;4321:145::-;4372:4;287:5;;273:10;-1:-1:-1;;;;;273:19:0;;;287:5;;273:19;265:28;;;;;;4389:15;:22;;-1:-1:-1;;4389:22:0;;;;;4422:14;;;;;;;;;;-1:-1:-1;4454:4:0;304:1;4321:145;;:::o;129:20::-;;;-1:-1:-1;;;;;129:20:0;;:::o;704:38::-;;;;;;;;;;;;;;;;;;:::o;3411:83::-;287:5;;273:10;-1:-1:-1;;;;;273:19:0;;;287:5;;273:19;265:28;;;;;;3464:15;:22;;-1:-1:-1;;3464:22:0;3482:4;3464:22;;;304:1;3411:83;:::o;1486:465::-;1569:4;1201:5;;1187:10;-1:-1:-1;;;;;1187:19:0;;;1201:5;;1187:19;1184:74;;1230:15;;;;1222:24;;;;;;;;1184:74;-1:-1:-1;;;;;1594:17:0;;;;1586:26;;;;;;-1:-1:-1;;;;;1650:10:0;1641:20;;;;;:8;:20;;;;;;1631:30;;;1623:39;;;;;;-1:-1:-1;;;;;1715:10:0;1706:20;;;;;;:8;:20;;;;;;;;:29;;;1683:52;;1762:13;;;;;;;;;;;;:22;;1746:38;;1762:13;1888:33;;1729:6;;1888:33;;;;;;;;;;;;;-1:-1:-1;1939:4:0;1268:1;1486:465;;;;;:::o;986:53::-;1020:19;986:53;:::o;3252:148::-;-1:-1:-1;;;;;3367:15:0;;;3330:17;3367:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;3252:148;;;;;:::o;325:145::-;287:5;;273:10;-1:-1:-1;;;;;273:19:0;;;287:5;;273:19;265:28;;;;;;-1:-1:-1;;;;;406:22:0;;;;398:31;;;;;;446:5;:16;;-1:-1:-1;;446:16:0;-1:-1:-1;;;;;446:16:0;;;;;304:1;325:145;;:::o

bzzr://2f6cb2e5f0c5b9a43ade9668de0b4e291c1baf219615114c72c2eca4e1f5e2a6