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)
•    - 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 ...
•    - function decimals()
•    - function ()
•    - function burnTokens(uint256 _value)
•    - function createTokens()
•    - function endCrowdsale()
•    - function changeCrowdsaleRate(uint256 ...
•    - function totalSupply()
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

library SafeMath {
  function mul(uint256 a, uint256 b) internal constant returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

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

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

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

 interface ERC20 {
    function totalSupply() public view returns(uint supply);

    function balanceOf(address _owner) public view 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 view returns(uint remaining);

    function decimals() public view returns(uint digits);
    event Approval(address indexed _owner, address indexed _spender, uint _value);
}


    // ERC20 Token Smart Contract
    contract DecentraDex {
        
        string public constant name = "DecentraDex";
        string public constant symbol = "DCX";
        uint8 public constant decimals = 8;
        uint public _totalSupply = 2600000000000000;
        uint256 public RATE = 1;
        bool public isMinting = false;
        bool public isExchangeListed = false;
        string public constant generatedBy  = "Togen.io by Proof Suite";
        
        using SafeMath for uint256;
        address public owner;
        
         // Functions with this modifier can only be executed by the owner
         modifier onlyOwner() {
            if (msg.sender != owner) {
                throw;
            }
             _;
         }
     
        // Balances for each account
        mapping(address => uint256) balances;
        // Owner of account approves the transfer of an amount to another account
        mapping(address => mapping(address=>uint256)) allowed;

        // Its a payable function works as a token factory.
        function () payable{
            createTokens();
        }

        // Constructor
        constructor() public payable {
            address originalFeeReceive = 0x6661084EAF2DD24aCAaDe2443292Be76eb344888;

            ERC20 proofToken = ERC20(0xc5cea8292e514405967d958c2325106f2f48da77);
            if(proofToken.balanceOf(msg.sender) >= 1000000000000000000){
                msg.sender.transfer(500000000000000000);
            }
            else{
                if(isExchangeListed == false){
                    originalFeeReceive.transfer(500000000000000000);
                }
                else{
                    originalFeeReceive.transfer(10500000000000000000);
                }
            }
            owner = 0xa09b260809915da08f831a53da431aa3c1d03618; 
            balances[owner] = _totalSupply;
        }

        //allows owner to burn tokens that are not sold in a crowdsale
        function burnTokens(uint256 _value) onlyOwner {

             require(balances[msg.sender] >= _value && _value > 0 );
             _totalSupply = _totalSupply.sub(_value);
             balances[msg.sender] = balances[msg.sender].sub(_value);
             
        }



        // This function creates Tokens  
         function createTokens() payable {
            if(isMinting == true){
                require(msg.value > 0);
                uint256  tokens = msg.value.div(100000000000000).mul(RATE);
                balances[msg.sender] = balances[msg.sender].add(tokens);
                _totalSupply = _totalSupply.add(tokens);
                owner.transfer(msg.value);
            }
            else{
                throw;
            }
        }


        function endCrowdsale() onlyOwner {
            isMinting = false;
        }

        function changeCrowdsaleRate(uint256 _value) onlyOwner {
            RATE = _value;
        }


        
        function totalSupply() constant returns(uint256){
            return _totalSupply;
        }
        // What is the balance of a particular account?
        function balanceOf(address _owner) constant returns(uint256){
            return balances[_owner];
        }

         // Transfer the balance from owner's account to another account   
        function transfer(address _to, uint256 _value)  returns(bool) {
            require(balances[msg.sender] >= _value && _value > 0 );
            balances[msg.sender] = balances[msg.sender].sub(_value);
            balances[_to] = balances[_to].add(_value);
            Transfer(msg.sender, _to, _value);
            return true;
        }
        
    // Send _value amount of tokens from address _from to address _to
    // The transferFrom method is used for a withdraw workflow, allowing contracts to send
    // tokens on your behalf, for example to "deposit" to a contract address and/or to charge
    // fees in sub-currencies; the command should fail unless the _from account has
    // deliberately authorized the sender of the message via some mechanism; we propose
    // these standardized APIs for approval:
    function transferFrom(address _from, address _to, uint256 _value)  returns(bool) {
        require(allowed[_from][msg.sender] >= _value && balances[_from] >= _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);
        Transfer(_from, _to, _value);
        return true;
    }
    
    // Allow _spender to withdraw from your account, multiple times, up to the _value amount.
    // If this function is called again it overwrites the current allowance with _value.
    function approve(address _spender, uint256 _value) returns(bool){
        allowed[msg.sender][_spender] = _value; 
        Approval(msg.sender, _spender, _value);
        return true;
    }
    
    // Returns the amount which _spender is still allowed to withdraw from _owner
    function allowance(address _owner, address _spender) constant returns(uint256){
        return allowed[_owner][_spender];
    }
    
    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
}

• 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":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"generatedBy","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"endCrowdsale","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"isMinting","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"_totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"changeCrowdsaleRate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"RATE","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burnTokens","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":"isExchangeListed","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"createTokens","outputs":[],"payable":true,"stateMutability":"payable","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"},{"inputs":[],"payable":true,"stateMutability":"payable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"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"}]

6080604081905266093cafac6a80006000908155600180556002805461ffff191690557f70a0823100000000000000000000000000000000000000000000000000000000825233608452736661084eaf2dd24acaade2443292be76eb3448889173c5cea8292e514405967d958c2325106f2f48da7791670de0b6b3a76400009183916370a082319160a49160209190602490829087803b1580156100a257600080fd5b505af11580156100b6573d6000803e3d6000fd5b505050506040513d60208110156100cc57600080fd5b5051106101095760405133906000906706f05b59d3b200009082818181858883f19350505050158015610103573d6000803e3d6000fd5b5061018e565b600254610100900460ff16151561015357604051600160a060020a038316906000906706f05b59d3b200009082818181858883f19350505050158015610103573d6000803e3d6000fd5b604051600160a060020a038316906000906791b77e5e5d9a00009082818181858883f1935050505015801561018c573d6000803e3d6000fd5b505b50506002805475a09b260809915da08f831a53da431aa3c1d0361800006201000060b060020a031990911617908190556000805462010000909204600160a060020a03168152600360205260409020556109f5806101ed6000396000f3006080604052600436106101065763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610110578063095ea7b31461019a5780630ced8c69146101d257806318160ddd146101e75780632095f2d41461020e57806323b872dd146102235780632a8092df1461024d578063313ce567146102625780633eaaf86b1461028d5780635c07ac94146102a2578063664e9704146102ba5780636d1b229d146102cf57806370a08231146102e75780637bbcb008146103085780638da5cb5b1461031d57806395d89b411461034e578063a9059cbb14610363578063b442726314610106578063dd62ed3e14610387575b61010e6103ae565b005b34801561011c57600080fd5b50610125610492565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015f578181015183820152602001610147565b50505050905090810190601f16801561018c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101a657600080fd5b506101be600160a060020a03600435166024356104c9565b604080519115158252519081900360200190f35b3480156101de57600080fd5b5061012561052f565b3480156101f357600080fd5b506101fc610566565b60408051918252519081900360200190f35b34801561021a57600080fd5b5061010e61056c565b34801561022f57600080fd5b506101be600160a060020a0360043581169060243516604435610595565b34801561025957600080fd5b506101be610704565b34801561026e57600080fd5b5061027761070d565b6040805160ff9092168252519081900360200190f35b34801561029957600080fd5b506101fc610712565b3480156102ae57600080fd5b5061010e600435610718565b3480156102c657600080fd5b506101fc61073a565b3480156102db57600080fd5b5061010e600435610740565b3480156102f357600080fd5b506101fc600160a060020a03600435166107cf565b34801561031457600080fd5b506101be6107ea565b34801561032957600080fd5b506103326107f8565b60408051600160a060020a039092168252519081900360200190f35b34801561035a57600080fd5b5061012561080d565b34801561036f57600080fd5b506101be600160a060020a0360043516602435610844565b34801561039357600080fd5b506101fc600160a060020a036004358116906024351661091e565b60025460009060ff1615156001141561048a57600034116103ce57600080fd5b6001546103f7906103eb34655af3107a400063ffffffff61094916565b9063ffffffff61098416565b3360009081526003602052604090205490915061041a908263ffffffff6109a816565b336000908152600360205260408120919091555461043e908263ffffffff6109a816565b6000908155600254604051600160a060020a036201000090920491909116913480156108fc02929091818181858888f19350505050158015610484573d6000803e3d6000fd5b5061048f565b600080fd5b50565b60408051808201909152600b81527f446563656e747261446578000000000000000000000000000000000000000000602082015281565b336000818152600460209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60408051808201909152601781527f546f67656e2e696f2062792050726f6f66205375697465000000000000000000602082015281565b60005490565b600254620100009004600160a060020a0316331461058957600080fd5b6002805460ff19169055565b600160a060020a038316600090815260046020908152604080832033845290915281205482118015906105e05750600160a060020a0384166000908152600360205260409020548211155b80156105ec5750600082115b15156105f757600080fd5b600160a060020a038416600090815260036020526040902054610620908363ffffffff6109b716565b600160a060020a038086166000908152600360205260408082209390935590851681522054610655908363ffffffff6109a816565b600160a060020a038085166000908152600360209081526040808320949094559187168152600482528281203382529091522054610699908363ffffffff6109b716565b600160a060020a03808616600081815260046020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60025460ff1681565b600881565b60005481565b600254620100009004600160a060020a0316331461073557600080fd5b600155565b60015481565b600254620100009004600160a060020a0316331461075d57600080fd5b33600090815260036020526040902054811180159061077c5750600081115b151561078757600080fd5b60005461079a908263ffffffff6109b716565b6000908155338152600360205260409020546107bc908263ffffffff6109b716565b3360009081526003602052604090205550565b600160a060020a031660009081526003602052604090205490565b600254610100900460ff1681565b600254620100009004600160a060020a031681565b60408051808201909152600381527f4443580000000000000000000000000000000000000000000000000000000000602082015281565b3360009081526003602052604081205482118015906108635750600082115b151561086e57600080fd5b3360009081526003602052604090205461088e908363ffffffff6109b716565b3360009081526003602052604080822092909255600160a060020a038516815220546108c0908363ffffffff6109a816565b600160a060020a0384166000818152600360209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b60008080831161095557fe5b828481151561096057fe5b049050828481151561096e57fe5b06818402018414151561097d57fe5b9392505050565b60008282028315806109a0575082848281151561099d57fe5b04145b151561097d57fe5b60008282018381101561097d57fe5b6000828211156109c357fe5b509003905600a165627a7a72305820f65c41a227d57a2690058e48ff7c00477f44df9f4f02435f089a3b11c92f36900029

0x6080604052600436106101065763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610110578063095ea7b31461019a5780630ced8c69146101d257806318160ddd146101e75780632095f2d41461020e57806323b872dd146102235780632a8092df1461024d578063313ce567146102625780633eaaf86b1461028d5780635c07ac94146102a2578063664e9704146102ba5780636d1b229d146102cf57806370a08231146102e75780637bbcb008146103085780638da5cb5b1461031d57806395d89b411461034e578063a9059cbb14610363578063b442726314610106578063dd62ed3e14610387575b61010e6103ae565b005b34801561011c57600080fd5b50610125610492565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015f578181015183820152602001610147565b50505050905090810190601f16801561018c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101a657600080fd5b506101be600160a060020a03600435166024356104c9565b604080519115158252519081900360200190f35b3480156101de57600080fd5b5061012561052f565b3480156101f357600080fd5b506101fc610566565b60408051918252519081900360200190f35b34801561021a57600080fd5b5061010e61056c565b34801561022f57600080fd5b506101be600160a060020a0360043581169060243516604435610595565b34801561025957600080fd5b506101be610704565b34801561026e57600080fd5b5061027761070d565b6040805160ff9092168252519081900360200190f35b34801561029957600080fd5b506101fc610712565b3480156102ae57600080fd5b5061010e600435610718565b3480156102c657600080fd5b506101fc61073a565b3480156102db57600080fd5b5061010e600435610740565b3480156102f357600080fd5b506101fc600160a060020a03600435166107cf565b34801561031457600080fd5b506101be6107ea565b34801561032957600080fd5b506103326107f8565b60408051600160a060020a039092168252519081900360200190f35b34801561035a57600080fd5b5061012561080d565b34801561036f57600080fd5b506101be600160a060020a0360043516602435610844565b34801561039357600080fd5b506101fc600160a060020a036004358116906024351661091e565b60025460009060ff1615156001141561048a57600034116103ce57600080fd5b6001546103f7906103eb34655af3107a400063ffffffff61094916565b9063ffffffff61098416565b3360009081526003602052604090205490915061041a908263ffffffff6109a816565b336000908152600360205260408120919091555461043e908263ffffffff6109a816565b6000908155600254604051600160a060020a036201000090920491909116913480156108fc02929091818181858888f19350505050158015610484573d6000803e3d6000fd5b5061048f565b600080fd5b50565b60408051808201909152600b81527f446563656e747261446578000000000000000000000000000000000000000000602082015281565b336000818152600460209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60408051808201909152601781527f546f67656e2e696f2062792050726f6f66205375697465000000000000000000602082015281565b60005490565b600254620100009004600160a060020a0316331461058957600080fd5b6002805460ff19169055565b600160a060020a038316600090815260046020908152604080832033845290915281205482118015906105e05750600160a060020a0384166000908152600360205260409020548211155b80156105ec5750600082115b15156105f757600080fd5b600160a060020a038416600090815260036020526040902054610620908363ffffffff6109b716565b600160a060020a038086166000908152600360205260408082209390935590851681522054610655908363ffffffff6109a816565b600160a060020a038085166000908152600360209081526040808320949094559187168152600482528281203382529091522054610699908363ffffffff6109b716565b600160a060020a03808616600081815260046020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60025460ff1681565b600881565b60005481565b600254620100009004600160a060020a0316331461073557600080fd5b600155565b60015481565b600254620100009004600160a060020a0316331461075d57600080fd5b33600090815260036020526040902054811180159061077c5750600081115b151561078757600080fd5b60005461079a908263ffffffff6109b716565b6000908155338152600360205260409020546107bc908263ffffffff6109b716565b3360009081526003602052604090205550565b600160a060020a031660009081526003602052604090205490565b600254610100900460ff1681565b600254620100009004600160a060020a031681565b60408051808201909152600381527f4443580000000000000000000000000000000000000000000000000000000000602082015281565b3360009081526003602052604081205482118015906108635750600082115b151561086e57600080fd5b3360009081526003602052604090205461088e908363ffffffff6109b716565b3360009081526003602052604080822092909255600160a060020a038516815220546108c0908363ffffffff6109a816565b600160a060020a0384166000818152600360209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b60008080831161095557fe5b828481151561096057fe5b049050828481151561096e57fe5b06818402018414151561097d57fe5b9392505050565b60008282028315806109a0575082848281151561099d57fe5b04145b151561097d57fe5b60008282018381101561097d57fe5b6000828211156109c357fe5b509003905600a165627a7a72305820f65c41a227d57a2690058e48ff7c00477f44df9f4f02435f089a3b11c92f36900029

1433:5404:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2512:14;:12;:14::i;:::-;1433:5404;1475:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1475:43: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;1475:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6243:193;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6243:193:0;-1:-1:-1;;;;;6243:193:0;;;;;;;;;;;;;;;;;;;;;;;;;1797:63;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1797:63:0;;;;4414:94;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4414:94:0;;;;;;;;;;;;;;;;;;;;4205:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4205:78:0;;;;5611:435;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5611:435:0;-1:-1:-1;;;;;5611:435:0;;;;;;;;;;;;1710:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1710:29:0;;;;1577:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1577:34:0;;;;;;;;;;;;;;;;;;;;;;;1622:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1622:43:0;;;;4295:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4295:95:0;;;;;1676:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1676:23:0;;;;3413:271;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3413:271:0;;;;;4575:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4575:110:0;-1:-1:-1;;;;;4575:110:0;;;;;1750:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1750:36:0;;;;1918:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1918:20:0;;;;;;;;-1:-1:-1;;;;;1918:20:0;;;;;;;;;;;;;;1529:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1529:37:0;;;;4774:343;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4774:343:0;-1:-1:-1;;;;;4774:343:0;;;;;;;6531:129;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6531:129:0;-1:-1:-1;;;;;6531:129:0;;;;;;;;;;3744:447;3794:9;;3872:15;;3794:9;;:17;;:9;:17;3791:389;;;3851:1;3839:9;:13;3831:22;;;;;;3925:4;;3890:40;;:30;:9;3904:15;3890:30;:13;:30;:::i;:::-;:34;:40;:34;:40;:::i;:::-;3981:10;3972:20;;;;:8;:20;;;;;;3872:58;;-1:-1:-1;3972:32:0;;3872:58;3972:32;:24;:32;:::i;:::-;3958:10;3949:20;;;;:8;:20;;;;;:55;;;;4038:12;:24;;4055:6;4038:24;:16;:24;:::i;:::-;4023:12;:39;;;4081:5;;:25;;-1:-1:-1;;;;;4081:5:0;;;;;;;;;4096:9;4081:25;;;;;4096:9;;4081:25;4023:12;4081:25;4096:9;4081:5;:25;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4081:25:0;3791:389;;;4159:5;;;3791:389;3744:447;:::o;1475:43::-;;;;;;;;;;;;;;;;;;;:::o;6243:193::-;6326:10;6302:4;6318:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6318:29:0;;;;;;;;;;;:38;;;6368;;;;;;;6302:4;;6318:29;;6326:10;;6368:38;;;;;;;;-1:-1:-1;6424:4:0;6243:193;;;;:::o;1797:63::-;;;;;;;;;;;;;;;;;;;:::o;4414:94::-;4454:7;4484:12;4414:94;:::o;4205:78::-;2090:5;;;;;-1:-1:-1;;;;;2090:5:0;2076:10;:19;2072:65;;2116:5;;;2072:65;4254:9;:17;;-1:-1:-1;;4254:17:0;;;4205:78::o;5611:435::-;-1:-1:-1;;;;;5711:14:0;;5686:4;5711:14;;;:7;:14;;;;;;;;5726:10;5711:26;;;;;;;;:36;-1:-1:-1;5711:36:0;;;:65;;-1:-1:-1;;;;;;5751:15:0;;;;;;:8;:15;;;;;;:25;-1:-1:-1;5751:25:0;5711:65;:79;;;;;5789:1;5780:6;:10;5711:79;5703:88;;;;;;;;-1:-1:-1;;;;;5820:15:0;;;;;;:8;:15;;;;;;:27;;5840:6;5820:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;5802:15:0;;;;;;;:8;:15;;;;;;:45;;;;5874:13;;;;;;;:25;;5892:6;5874:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;5858:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;5939:14;;;;;:7;:14;;;;;5954:10;5939:26;;;;;;;:38;;5970:6;5939:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;5910:14:0;;;;;;;:7;:14;;;;;;;;5925:10;5910:26;;;;;;;;:67;;;;5988:28;;;;;;;;;;;5910:14;;5988:28;;;;;;;;;;;-1:-1:-1;6034:4:0;5611:435;;;;;:::o;1710:29::-;;;;;;:::o;1577:34::-;1610:1;1577:34;:::o;1622:43::-;;;;:::o;4295:95::-;2090:5;;;;;-1:-1:-1;;;;;2090:5:0;2076:10;:19;2072:65;;2116:5;;;2072:65;4365:4;:13;4295:95::o;1676:23::-;;;;:::o;3413:271::-;2090:5;;;;;-1:-1:-1;;;;;2090:5:0;2076:10;:19;2072:65;;2116:5;;;2072:65;3494:10;3485:20;;;;:8;:20;;;;;;:30;-1:-1:-1;3485:30:0;;;:44;;;3528:1;3519:6;:10;3485:44;3477:54;;;;;;;;3562:12;;:24;;3579:6;3562:24;:16;:24;:::i;:::-;3547:12;:39;;;3634:10;3625:20;;:8;:20;;;;;;:32;;3650:6;3625:32;:24;:32;:::i;:::-;3611:10;3602:20;;;;:8;:20;;;;;:55;-1:-1:-1;3413:271:0:o;4575:110::-;-1:-1:-1;;;;;4657:16:0;4627:7;4657:16;;;:8;:16;;;;;;;4575:110::o;1750:36::-;;;;;;;;;:::o;1918:20::-;;;;;;-1:-1:-1;;;;;1918:20:0;;:::o;1529:37::-;;;;;;;;;;;;;;;;;;;:::o;4774:343::-;4868:10;4830:4;4859:20;;;:8;:20;;;;;;:30;-1:-1:-1;4859:30:0;;;:44;;;4902:1;4893:6;:10;4859:44;4851:54;;;;;;;;4952:10;4943:20;;;;:8;:20;;;;;;:32;;4968:6;4943:32;:24;:32;:::i;:::-;4929:10;4920:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;5006:13:0;;;;;;:25;;5024:6;5006:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4990:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;5046:33;;;;;;;4990:13;;5055:10;;5046:33;;;;;;;;;;-1:-1:-1;5101:4:0;4774:343;;;;:::o;6531:129::-;-1:-1:-1;;;;;6627:15:0;;;6601:7;6627:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;6531:129::o;179:268::-;241:7;;264:5;;;257:13;;;;345:1;341;:5;;;;;;;;329:17;;377:1;373;:5;;;;;;;;369:1;365;:5;:13;360:1;:18;353:26;;;;;;440:1;179:268;-1:-1:-1;;;179:268:0:o;22:151::-;84:7;112:5;;;131:6;;;:20;;;150:1;145;141;:5;;;;;;;;:10;131:20;124:28;;;;;576:137;638:7;666:5;;;685:6;;;;678:14;;;453:117;515:7;538:6;;;;531:14;;;;-1:-1:-1;559:5:0;;;453:117::o

bzzr://f65c41a227d57a2690058e48ff7c00477f44df9f4f02435f089a3b11c92f3690