Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract DiamondDividendMain *
•    - function DiamondDividends()
•    - function buy(address _referredBy)
•    - function reinvest()
•    - function exit()
•    - function withdraw()
•    - function sell(uint256 _amountOfTokens ...
•    - function transfer(address _toAddress, ...
•    - function disableInitialStage()
•    - function setAdministrator(bytes32 _id ...
•    - function setStakingRequirement(uint25 ...
•    - function setName(string _name)
•    - function setSymbol(string _symbol)
•    - function totalEthereumBalance()
•    - function totalSupply()
•    - function myTokens()
•    - function myDividends(bool _includeRef ...
•    - function balanceOf(address _customerA ...
•    - function dividendsOf(address _custome ...
•    - function sellPrice()
•    - function buyPrice()
•    - function calculateTokensReceived(uint ...
•    - function calculateEthereumReceived(ui ...
•    - function purchaseTokens(uint256 _inco ...
•    - function ethereumToTokens_(uint256 _e ...
•    - function tokensToEthereum_(uint256 _t ...
•    - function sqrt(uint x)
• 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)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-11-02
*/

/**                                               
*   ____                                             ____                                         
 (|   \ o                                   |     (|   \ o       o     |                 |      
  |    |    __,   _  _  _    __   _  _    __|      |    |            __|   _   _  _    __|   ,  
 _|    ||  /  |  / |/ |/ |  /  \_/ |/ |  /  |     _|    ||  |  |_|  /  |  |/  / |/ |  /  |  / \_
(/\___/ |_/\_/|_/  |  |  |_/\__/   |  |_/\_/|_/  (/\___/ |_/ \/  |_/\_/|_/|__/  |  |_/\_/|_/ \/ 

*
*
* ~~~  Fortes Fortuna Adiuvat  ~~~ 
*
*   Built To Last! For The Community, By The Community. The Greatest Global Community Effort. 
*   Let Us Prove Them All Wrong, We Will Win Together As A Strong Handed Community! 
*
*
* https://diamonddividends.com/
* https://diamonddividends.com/exchange
* https://diamdonddividends.com/vault
* 
* Telegram Chat:    https://www.diamonddividends.com/telegram/
* Telegram Channel: https://www.diamonddividends.com/telegram-channel/ 
* Discord:          https://www.diamonddividends.com/discordchat/
* Facebook:         https://www.diamonddividends.com/facebook/
* Twitter:          https://www.diamonddividends.com/diamond-dividends-twitter/
* Instagram:        https://www.diamonddividends.com/instagram/
*  
* ====================================*
*
* 20% Dividends:
* - Distributed to DIAMOND DIVIDENDS tokenholders proportional to the total DIAMOND circulating supply
* 
* Real Masternode Referrals:
* - Receive 6% of the total transaction (30% of the 20% generated dividends)
*
* The Autonomous, Unstoppable, Immutable Ethereum Leverage Building Contract:
* - Fully Decentralized Earnings Platform. Transparent, Open source Ethereum code
* - More stable than ever, having withstood severe test and mainnet abuse and attack attempts
* - Audited, tested, and approved by known community security specialists and veteran solidity experts
* - Testnet iterations have been deployed; with not a single point of failure found
*
* Still, no guarantees are given. 
* Please be careful and doublecheck when interacting with the contract
* 
*/

pragma solidity ^0.4.20;

/*
* Main Net Version
*/

contract DiamondDividendMain {
    /*=================================
    =            MODIFIERS            =
    =================================*/
    // only people with tokens
    modifier onlyBagholders() {
        require(myTokens() > 0);
        _;
    }
    
    // only people with profits
    modifier onlyStronghands() {
        require(myDividends(true) > 0);
        _;
    }
    
    // administrators can:
    // -> change the name of the contract
    // -> change the name of the token
    // -> change the PoS difficulty (How many tokens it costs to hold a masternode, in case it gets crazy high later)
    // they CANNOT:
    // -> take funds
    // -> disable withdrawals
    // -> kill the contract
    // -> change the price of tokens
    modifier onlyAdministrator(){
        address _customerAddress = msg.sender;
        require(administrators[keccak256(_customerAddress)]);
        _;
    }
    
    
    // ensures that the first tokens in the contract will be equally distributed
    // meaning, no divine dump will be ever possible
    // result: healthy longevity.
    modifier antiEarlyWhale(uint256 _amountOfEthereum){
        address _customerAddress = msg.sender;
        
        // are we still in the vulnerable phase?
        // if so, enact anti early whale protocol 
        if( onlyAmbassadors && ((totalEthereumBalance() - _amountOfEthereum) <= ambassadorQuota_ )){
            require(
                // is the customer in the ambassador list?
                ambassadors_[_customerAddress] == true &&
                
                // does the customer purchase exceed the max ambassador quota?
                (ambassadorAccumulatedQuota_[_customerAddress] + _amountOfEthereum) <= ambassadorMaxPurchase_
                
            );
            
            // updated the accumulated quota    
            ambassadorAccumulatedQuota_[_customerAddress] = SafeMath.add(ambassadorAccumulatedQuota_[_customerAddress], _amountOfEthereum);
        
            // execute
            _;
        } else {
            // in case the ether count drops low, the ambassador phase won't reinitiate
            onlyAmbassadors = false;
            _;    
        }
        
    }
    
    
    /*==============================
    =            EVENTS            =
    ==============================*/
    event onTokenPurchase(
        address indexed customerAddress,
        uint256 incomingEthereum,
        uint256 tokensMinted,
        address indexed referredBy
    );
    
    event onTokenSell(
        address indexed customerAddress,
        uint256 tokensBurned,
        uint256 ethereumEarned
    );
    
    event onReinvestment(
        address indexed customerAddress,
        uint256 ethereumReinvested,
        uint256 tokensMinted
    );
    
    event onWithdraw(
        address indexed customerAddress,
        uint256 ethereumWithdrawn
    );
    
    // ERC20
    event Transfer(
        address indexed from,
        address indexed to,
        uint256 tokens
    );
    
    
    /*=====================================
    =            CONFIGURABLES            =
    =====================================*/
    string public name = "DIAMOND DIVIDENDS";
    string public symbol = "DIAMOND";
    uint8 constant public decimals = 18;
    uint8 constant internal dividendFee_ = 5;
    uint256 constant internal tokenPriceInitial_ = 0.0000001 ether;
    uint256 constant internal tokenPriceIncremental_ = 0.00000001 ether;
    uint256 constant internal magnitude = 2**64;


    // proof of stake (defaults at 100 tokens)
    uint256 public stakingRequirement = 1e18;
    
    // ambassador program
    mapping(address => bool) internal ambassadors_;
    uint256 constant internal ambassadorMaxPurchase_ = 1.0 ether;
    uint256 constant internal ambassadorQuota_ = 2.0 ether;
    
    
    
   /*================================
    =            DATASETS            =
    ================================*/
    // amount of shares for each address (scaled number)
    mapping(address => uint256) internal tokenBalanceLedger_;
    mapping(address => uint256) internal referralBalance_;
    mapping(address => int256) internal payoutsTo_;
    mapping(address => uint256) internal ambassadorAccumulatedQuota_;
    uint256 internal tokenSupply_ = 0;
    uint256 internal profitPerShare_;
    
    // administrator list (see above on what they can do)
    mapping(bytes32 => bool) public administrators;
    
    // when this is set to true, only ambassadors can purchase tokens (this prevents a whale premine, it ensures a fairly distributed upper contract)
    bool public onlyAmbassadors = true;
    


    /*=======================================
    =            PUBLIC FUNCTIONS            =
    =======================================*/
    /*
    * -- APPLICATION ENTRY POINTS --  
    */
    function DiamondDividends()
        public
    {
        // add administrators here
        administrators[keccak256(0xf2267aF68559cd76Ee7645CCA0E2f2b99CD99dA3)] = true;
        
        // Strong HOLD Acounts.
        ambassadors_[0xE94B19adE1FE3E16a8eB4979B1038Ac420ec0031] = true;
        ambassadors_[0xee5b65A3D8752d23a37c942e47a77605A1Fb35Ba] = true;
        ambassadors_[0xAC4ca91216eDB2c9D59F58e8B3F22275130A8240] = true;
    }
    
     
    /**
     * Converts all incoming ethereum to tokens for the caller, and passes down the referral addy (if any)
     */
    function buy(address _referredBy)
        public
        payable
        returns(uint256)
    {
        purchaseTokens(msg.value, _referredBy);
    }
    
    /**
     * Fallback function to handle ethereum that was send straight to the contract
     * Unfortunately we cannot use a referral address this way.
     */
    function()
        payable
        public
    {
        purchaseTokens(msg.value, 0x0);
    }
    
    /**
     * Converts all of caller's dividends to tokens.
     */
    function reinvest()
        onlyStronghands()
        public
    {
        // fetch dividends
        uint256 _dividends = myDividends(false); // retrieve ref. bonus later in the code
        
        // pay out the dividends virtually
        address _customerAddress = msg.sender;
        payoutsTo_[_customerAddress] +=  (int256) (_dividends * magnitude);
        
        // retrieve ref. bonus
        _dividends += referralBalance_[_customerAddress];
        referralBalance_[_customerAddress] = 0;
        
        // dispatch a buy order with the virtualized "withdrawn dividends"
        uint256 _tokens = purchaseTokens(_dividends, 0x0);
        
        // fire event
        onReinvestment(_customerAddress, _dividends, _tokens);
    }
    
    /**
     * Alias of sell() and withdraw().
     */
    function exit()
        public
    {
        // get token count for caller & sell them all
        address _customerAddress = msg.sender;
        uint256 _tokens = tokenBalanceLedger_[_customerAddress];
        if(_tokens > 0) sell(_tokens);
        
        // lambo delivery service
        withdraw();
    }

    /**
     * Withdraws all of the callers earnings.
     */
    function withdraw()
        onlyStronghands()
        public
    {
        // setup data
        address _customerAddress = msg.sender;
        uint256 _dividends = myDividends(false); // get ref. bonus later in the code
        
        // update dividend tracker
        payoutsTo_[_customerAddress] +=  (int256) (_dividends * magnitude);
        
        // add ref. bonus
        _dividends += referralBalance_[_customerAddress];
        referralBalance_[_customerAddress] = 0;
        
        // lambo delivery service
        _customerAddress.transfer(_dividends);
        
        // fire event
        onWithdraw(_customerAddress, _dividends);
    }
    
    /**
     * Liquifies tokens to ethereum.
     */
    function sell(uint256 _amountOfTokens)
        onlyBagholders()
        public
    {
        // setup data
        address _customerAddress = msg.sender;
        // ....We Will Earn Digital Assets In Abundance So That We All Will Live Better Lives Together....
        require(_amountOfTokens <= tokenBalanceLedger_[_customerAddress]);
        uint256 _tokens = _amountOfTokens;
        uint256 _ethereum = tokensToEthereum_(_tokens);
        uint256 _dividends = SafeMath.div(_ethereum, dividendFee_);
        uint256 _taxedEthereum = SafeMath.sub(_ethereum, _dividends);
        
        // burn the sold tokens
        tokenSupply_ = SafeMath.sub(tokenSupply_, _tokens);
        tokenBalanceLedger_[_customerAddress] = SafeMath.sub(tokenBalanceLedger_[_customerAddress], _tokens);
        
        // update dividends tracker
        int256 _updatedPayouts = (int256) (profitPerShare_ * _tokens + (_taxedEthereum * magnitude));
        payoutsTo_[_customerAddress] -= _updatedPayouts;       
        
        // dividing by zero is a bad idea
        if (tokenSupply_ > 0) {
            // update the amount of dividends per token
            profitPerShare_ = SafeMath.add(profitPerShare_, (_dividends * magnitude) / tokenSupply_);
        }
        
        // fire event
        onTokenSell(_customerAddress, _tokens, _taxedEthereum);
    }
    
    
    /**
     * Transfer tokens from the caller to a new holder.
     * Remember, there's a 10% fee here as well.
     */
    function transfer(address _toAddress, uint256 _amountOfTokens)
        onlyBagholders()
        public
        returns(bool)
    {
        // setup
        address _customerAddress = msg.sender;
        
        // make sure we have the requested tokens
        // also disables transfers until ambassador phase is over
        // ( we dont want whale premines )
        require(!onlyAmbassadors && _amountOfTokens <= tokenBalanceLedger_[_customerAddress]);
        
        // withdraw all outstanding dividends first
        if(myDividends(true) > 0) withdraw();
        
        // liquify 10% of the tokens that are transfered
        // these are dispersed to shareholders
        uint256 _tokenFee = SafeMath.div(_amountOfTokens, dividendFee_);
        uint256 _taxedTokens = SafeMath.sub(_amountOfTokens, _tokenFee);
        uint256 _dividends = tokensToEthereum_(_tokenFee);
  
        // burn the fee tokens
        tokenSupply_ = SafeMath.sub(tokenSupply_, _tokenFee);

        // exchange tokens
        tokenBalanceLedger_[_customerAddress] = SafeMath.sub(tokenBalanceLedger_[_customerAddress], _amountOfTokens);
        tokenBalanceLedger_[_toAddress] = SafeMath.add(tokenBalanceLedger_[_toAddress], _taxedTokens);
        
        // update dividend trackers
        payoutsTo_[_customerAddress] -= (int256) (profitPerShare_ * _amountOfTokens);
        payoutsTo_[_toAddress] += (int256) (profitPerShare_ * _taxedTokens);
        
        // disperse dividends among holders
        profitPerShare_ = SafeMath.add(profitPerShare_, (_dividends * magnitude) / tokenSupply_);
        
        // fire event
        Transfer(_customerAddress, _toAddress, _taxedTokens);
        
        // ERC20
        return true;
       
    }
    
    /*----------  ADMINISTRATOR ONLY FUNCTIONS  ----------*/
    /**
     * In case the amassador quota is not met, the administrator can manually disable the ambassador phase.
     */
    function disableInitialStage()
        onlyAdministrator()
        public
    {
        onlyAmbassadors = false;
    }
    
    /**
     * In case one of us dies, we need to replace ourselves.
     */
    function setAdministrator(bytes32 _identifier, bool _status)
        onlyAdministrator()
        public
    {
        administrators[_identifier] = _status;
    }
    
    /**
     * Precautionary measures in case we need to adjust the masternode rate.
     */
    function setStakingRequirement(uint256 _amountOfTokens)
        onlyAdministrator()
        public
    {
        stakingRequirement = _amountOfTokens;
    }
    
    /**
     * If we want to rebrand, we can.
     */
    function setName(string _name)
        onlyAdministrator()
        public
    {
        name = _name;
    }
    
    /**
     * If we want to rebrand, we can.
     */
    function setSymbol(string _symbol)
        onlyAdministrator()
        public
    {
        symbol = _symbol;
    }

    
    /*----------  HELPERS AND CALCULATORS  ----------*/
    /**
     * Method to view the current Ethereum stored in the contract
     * Example: totalEthereumBalance()
     */
    function totalEthereumBalance()
        public
        view
        returns(uint)
    {
        return this.balance;
    }
    
    /**
     * Retrieve the total token supply.
     */
    function totalSupply()
        public
        view
        returns(uint256)
    {
        return tokenSupply_;
    }
    
    /**
     * Retrieve the tokens owned by the caller.
     */
    function myTokens()
        public
        view
        returns(uint256)
    {
        address _customerAddress = msg.sender;
        return balanceOf(_customerAddress);
    }
    
    /**
     * Retrieve the dividends owned by the caller.
     * If `_includeReferralBonus` is to to 1/true, the referral bonus will be included in the calculations.
     * The reason for this, is that in the frontend, we will want to get the total divs (global + ref)
     * But in the internal calculations, we want them separate. 
     */ 
    function myDividends(bool _includeReferralBonus) 
        public 
        view 
        returns(uint256)
    {
        address _customerAddress = msg.sender;
        return _includeReferralBonus ? dividendsOf(_customerAddress) + referralBalance_[_customerAddress] : dividendsOf(_customerAddress) ;
    }
    
    /**
     * Retrieve the token balance of any single address.
     */
    function balanceOf(address _customerAddress)
        view
        public
        returns(uint256)
    {
        return tokenBalanceLedger_[_customerAddress];
    }
    
    /**
     * Retrieve the dividend balance of any single address.
     */
    function dividendsOf(address _customerAddress)
        view
        public
        returns(uint256)
    {
        return (uint256) ((int256)(profitPerShare_ * tokenBalanceLedger_[_customerAddress]) - payoutsTo_[_customerAddress]) / magnitude;
    }
    
    /**
     * Return the buy price of 1 individual token.
     */
    function sellPrice() 
        public 
        view 
        returns(uint256)
    {
        // our calculation relies on the token supply, so we need supply. Doh.
        if(tokenSupply_ == 0){
            return tokenPriceInitial_ - tokenPriceIncremental_;
        } else {
            uint256 _ethereum = tokensToEthereum_(1e18);
            uint256 _dividends = SafeMath.div(_ethereum, dividendFee_  );
            uint256 _taxedEthereum = SafeMath.sub(_ethereum, _dividends);
            return _taxedEthereum;
        }
    }
    
    /**
     * Return the sell price of 1 individual token.
     */
    function buyPrice() 
        public 
        view 
        returns(uint256)
    {
        // our calculation relies on the token supply, so we need supply. Doh.
        if(tokenSupply_ == 0){
            return tokenPriceInitial_ + tokenPriceIncremental_;
        } else {
            uint256 _ethereum = tokensToEthereum_(1e18);
            uint256 _dividends = SafeMath.div(_ethereum, dividendFee_  );
            uint256 _taxedEthereum = SafeMath.add(_ethereum, _dividends);
            return _taxedEthereum;
        }
    }
    
    /**
     * Function for the frontend to dynamically retrieve the price scaling of buy orders.
     */
    function calculateTokensReceived(uint256 _ethereumToSpend) 
        public 
        view 
        returns(uint256)
    {
        uint256 _dividends = SafeMath.div(_ethereumToSpend, dividendFee_);
        uint256 _taxedEthereum = SafeMath.sub(_ethereumToSpend, _dividends);
        uint256 _amountOfTokens = ethereumToTokens_(_taxedEthereum);
        
        return _amountOfTokens;
    }
    
    /**
     * Function for the frontend to dynamically retrieve the price scaling of sell orders.
     */
    function calculateEthereumReceived(uint256 _tokensToSell) 
        public 
        view 
        returns(uint256)
    {
        require(_tokensToSell <= tokenSupply_);
        uint256 _ethereum = tokensToEthereum_(_tokensToSell);
        uint256 _dividends = SafeMath.div(_ethereum, dividendFee_);
        uint256 _taxedEthereum = SafeMath.sub(_ethereum, _dividends);
        return _taxedEthereum;
    }
    
    
    /*==========================================
    =            INTERNAL FUNCTIONS            =
    ==========================================*/
    function purchaseTokens(uint256 _incomingEthereum, address _referredBy)
        antiEarlyWhale(_incomingEthereum)
        internal
        returns(uint256)
    {
        // data setup
        address _customerAddress = msg.sender;
        uint256 _undividedDividends = SafeMath.div(_incomingEthereum, dividendFee_);
        uint256 _referralBonus = SafeMath.div(_undividedDividends, 3);
        uint256 _dividends = SafeMath.sub(_undividedDividends, _referralBonus);
        uint256 _taxedEthereum = SafeMath.sub(_incomingEthereum, _undividedDividends);
        uint256 _amountOfTokens = ethereumToTokens_(_taxedEthereum);
        uint256 _fee = _dividends * magnitude;
 
        // Crypto Is The New Wealth
        // prevents overflow in the case that the contract somehow magically starts being used by everyone in the world
        // (or hackers)
        // and yes we know that the safemath function automatically rules out the "greater then" equasion.
        require(_amountOfTokens > 0 && (SafeMath.add(_amountOfTokens,tokenSupply_) > tokenSupply_));
        
        // is the user referred by a masternode?
        if(
            // is this a referred purchase?
            _referredBy != 0x0000000000000000000000000000000000000000 &&

            // no cheating!
            _referredBy != _customerAddress &&
            
            // does the referrer have at least X whole tokens?
            // Masternodes MUST hold tokens
            tokenBalanceLedger_[_referredBy] >= stakingRequirement
        ){
            // wealth redistribution
            referralBalance_[_referredBy] = SafeMath.add(referralBalance_[_referredBy], _referralBonus);
        } else {
            // no ref purchase
            // add the referral bonus back to the global dividends cake
            _dividends = SafeMath.add(_dividends, _referralBonus);
            _fee = _dividends * magnitude;
        }
        
        // we can't give people infinite ethereum
        if(tokenSupply_ > 0){
            
            // add tokens to the pool
            tokenSupply_ = SafeMath.add(tokenSupply_, _amountOfTokens);
 
            // take the amount of dividends gained through this transaction, and allocates them evenly to each shareholder
            profitPerShare_ += (_dividends * magnitude / (tokenSupply_));
            
            // calculate the amount of tokens the customer receives over his purchase 
            _fee = _fee - (_fee-(_amountOfTokens * (_dividends * magnitude / (tokenSupply_))));
        
        } else {
            // add tokens to the pool
            tokenSupply_ = _amountOfTokens;
        }
        
        // update circulating supply & the ledger address for the customer
        tokenBalanceLedger_[_customerAddress] = SafeMath.add(tokenBalanceLedger_[_customerAddress], _amountOfTokens);
        
        // Tells the contract that the buyer doesn't deserve dividends for the tokens before they owned them;
        //really i know you think you do but you don't
        int256 _updatedPayouts = (int256) ((profitPerShare_ * _amountOfTokens) - _fee);
        payoutsTo_[_customerAddress] += _updatedPayouts;
        
        // fire event
        onTokenPurchase(_customerAddress, _incomingEthereum, _amountOfTokens, _referredBy);
        
        return _amountOfTokens;
    }

    /**
     * Calculate Token price based on an amount of incoming ethereum
     * It's an algorithm, hopefully we gave you the whitepaper with it in scientific notation;
     * Some conversions occurred to prevent decimal errors or underflows / overflows in solidity code.
     */
    function ethereumToTokens_(uint256 _ethereum)
        internal
        view
        returns(uint256)
    {
        uint256 _tokenPriceInitial = tokenPriceInitial_ * 1e18;
        uint256 _tokensReceived = 
         (
            (
                // underflow attempts BTFO
                SafeMath.sub(
                    (sqrt
                        (
                            (_tokenPriceInitial**2)
                            +
                            (2*(tokenPriceIncremental_ * 1e18)*(_ethereum * 1e18))
                            +
                            (((tokenPriceIncremental_)**2)*(tokenSupply_**2))
                            +
                            (2*(tokenPriceIncremental_)*_tokenPriceInitial*tokenSupply_)
                        )
                    ), _tokenPriceInitial
                )
            )/(tokenPriceIncremental_)
        )-(tokenSupply_)
        ;
  
        return _tokensReceived;
    }
    
    /**
     * Calculate token sell value.
     * It's an algorithm, hopefully we gave you the whitepaper with it in scientific notation;
     * Some conversions occurred to prevent decimal errors or underflows / overflows in solidity code.
     */
     function tokensToEthereum_(uint256 _tokens)
        internal
        view
        returns(uint256)
    {

        uint256 tokens_ = (_tokens + 1e18);
        uint256 _tokenSupply = (tokenSupply_ + 1e18);
        uint256 _etherReceived =
        (
            // underflow attempts BTFO
            SafeMath.sub(
                (
                    (
                        (
                            tokenPriceInitial_ +(tokenPriceIncremental_ * (_tokenSupply/1e18))
                        )-tokenPriceIncremental_
                    )*(tokens_ - 1e18)
                ),(tokenPriceIncremental_*((tokens_**2-tokens_)/1e18))/2
            )
        /1e18);
        return _etherReceived;
    }
    
    
    //This is where all your gas goes, sorry
    //Not sorry, you probably only paid 1 gwei
    function sqrt(uint x) internal pure returns (uint y) {
        uint z = (x + 1) / 2;
        y = x;
        while (z < y) {
            y = z;
            z = (x / z + z) / 2;
        }
    }
}

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {

    /**
    * @dev Multiplies two numbers, throws on overflow.
    */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        assert(c / a == b);
        return c;
    }

    /**
    * @dev Integer division of two numbers, truncating the quotient.
    */
    function div(uint256 a, uint256 b) internal pure 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;
    }

    /**
    * @dev Substracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        assert(b <= a);
        return a - b;
    }

    /**
    * @dev Adds two numbers, throws on overflow.
    */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        assert(c >= a);
        return c;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"_customerAddress","type":"address"}],"name":"dividendsOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_ethereumToSpend","type":"uint256"}],"name":"calculateTokensReceived","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_tokensToSell","type":"uint256"}],"name":"calculateEthereumReceived","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"onlyAmbassadors","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":"","type":"bytes32"}],"name":"administrators","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"sellPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"stakingRequirement","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_includeReferralBonus","type":"bool"}],"name":"myDividends","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalEthereumBalance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"DiamondDividends","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_customerAddress","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_amountOfTokens","type":"uint256"}],"name":"setStakingRequirement","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"buyPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_identifier","type":"bytes32"},{"name":"_status","type":"bool"}],"name":"setAdministrator","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"myTokens","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":"disableInitialStage","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_toAddress","type":"address"},{"name":"_amountOfTokens","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_symbol","type":"string"}],"name":"setSymbol","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_name","type":"string"}],"name":"setName","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_amountOfTokens","type":"uint256"}],"name":"sell","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"exit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_referredBy","type":"address"}],"name":"buy","outputs":[{"name":"","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[],"name":"reinvest","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"customerAddress","type":"address"},{"indexed":false,"name":"incomingEthereum","type":"uint256"},{"indexed":false,"name":"tokensMinted","type":"uint256"},{"indexed":true,"name":"referredBy","type":"address"}],"name":"onTokenPurchase","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"customerAddress","type":"address"},{"indexed":false,"name":"tokensBurned","type":"uint256"},{"indexed":false,"name":"ethereumEarned","type":"uint256"}],"name":"onTokenSell","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"customerAddress","type":"address"},{"indexed":false,"name":"ethereumReinvested","type":"uint256"},{"indexed":false,"name":"tokensMinted","type":"uint256"}],"name":"onReinvestment","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"customerAddress","type":"address"},{"indexed":false,"name":"ethereumWithdrawn","type":"uint256"}],"name":"onWithdraw","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Transfer","type":"event"}]

606060405260408051908101604052601181527f4449414d4f4e44204449564944454e4453000000000000000000000000000000602082015260009080516200004d929160200190620000c8565b5060408051908101604052600781527f4449414d4f4e44000000000000000000000000000000000000000000000000006020820152600190805162000097929160200190620000c8565b50670de0b6b3a76400006002556000600855600b805460ff191660011790553415620000c257600080fd5b6200016d565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200010b57805160ff19168380011785556200013b565b828001600101855582156200013b579182015b828111156200013b5782518255916020019190600101906200011e565b50620001499291506200014d565b5090565b6200016a91905b8082111562000149576000815560010162000154565b90565b611787806200017d6000396000f3006060604052600436106101685763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166265318b811461017657806306fdde03146101a757806310d0ffdd1461023157806318160ddd14610247578063226093731461025a57806327defa1f14610270578063313ce56714610297578063392efb52146102c05780633ccfd60b146102d65780634b750334146102eb57806356d399e8146102fe578063688abbf7146103115780636b2f4632146103295780636f83b86b1461033c57806370a082311461034f5780638328b6101461036e5780638620410b1461038457806389135ae914610397578063949e8acd146103b257806395d89b41146103c5578063a8e04f34146103d8578063a9059cbb146103eb578063b84c82461461040d578063c47f00271461045e578063e4849b32146104af578063e9fad8ee146104c5578063f088d547146104d8578063fdb5a03e146104ec575b6101733460006104ff565b50005b341561018157600080fd5b610195600160a060020a0360043516610aa2565b60405190815260200160405180910390f35b34156101b257600080fd5b6101ba610ad8565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101f65780820151838201526020016101de565b50505050905090810190601f1680156102235780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561023c57600080fd5b610195600435610b76565b341561025257600080fd5b610195610ba6565b341561026557600080fd5b610195600435610bad565b341561027b57600080fd5b610283610be6565b604051901515815260200160405180910390f35b34156102a257600080fd5b6102aa610bef565b60405160ff909116815260200160405180910390f35b34156102cb57600080fd5b610283600435610bf4565b34156102e157600080fd5b6102e9610c09565b005b34156102f657600080fd5b610195610cd0565b341561030957600080fd5b610195610d24565b341561031c57600080fd5b6101956004351515610d2a565b341561033457600080fd5b610195610d6d565b341561034757600080fd5b6102e9610d7b565b341561035a57600080fd5b610195600160a060020a0360043516610e81565b341561037957600080fd5b6102e9600435610e9c565b341561038f57600080fd5b610195610ef3565b34156103a257600080fd5b6102e96004356024351515610f3b565b34156103bd57600080fd5b610195610fad565b34156103d057600080fd5b6101ba610fc0565b34156103e357600080fd5b6102e961102b565b34156103f657600080fd5b610283600160a060020a0360043516602435611089565b341561041857600080fd5b6102e960046024813581810190830135806020601f8201819004810201604051908101604052818152929190602084018383808284375094965061123c95505050505050565b341561046957600080fd5b6102e960046024813581810190830135806020601f820181900481020160405190810160405281815292919060208401838380828437509496506112a595505050505050565b34156104ba57600080fd5b6102e9600435611309565b34156104d057600080fd5b6102e961145c565b610195600160a060020a0360043516611493565b34156104f757600080fd5b6102e961149f565b60008060008060008060008060008a6000339050600b60009054906101000a900460ff1680156105405750671bc16d674ec800008261053c610d6d565b0311155b1561083457600160a060020a03811660009081526003602052604090205460ff16151560011480156105955750600160a060020a038116600090815260076020526040902054670de0b6b3a764000090830111155b15156105a057600080fd5b600160a060020a0381166000908152600760205260409020546105c39083611555565b600160a060020a0382166000908152600760205260409020553399506105ea8d600561156b565b98506105f789600361156b565b97506106038989611582565b965061060f8d8a611582565b955061061a86611594565b9450604060020a8702935060008511801561063f575060085461063d8682611555565b115b151561064a57600080fd5b600160a060020a038c1615801590610674575089600160a060020a03168c600160a060020a031614155b801561069a5750600254600160a060020a038d1660009081526004602052604090205410155b156106e057600160a060020a038c166000908152600560205260409020546106c29089611555565b600160a060020a038d166000908152600560205260409020556106f6565b6106ea8789611555565b9650604060020a870293505b600060085411156107505761070d60085486611555565b6008819055604060020a880281151561072257fe5b60098054929091049091019055600854604060020a880281151561074257fe5b048502840384039350610756565b60088590555b600160a060020a038a166000908152600460205260409020546107799086611555565b600460008c600160a060020a0316600160a060020a031681526020019081526020016000208190555083856009540203925082600660008c600160a060020a0316600160a060020a03168152602001908152602001600020600082825401925050819055508b600160a060020a03168a600160a060020a03167f022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d58f8860405191825260208201526040908101905180910390a3849a50610a92565b600b805460ff1916905533995061084c8d600561156b565b985061085989600361156b565b97506108658989611582565b96506108718d8a611582565b955061087c86611594565b9450604060020a870293506000851180156108a1575060085461089f8682611555565b115b15156108ac57600080fd5b600160a060020a038c16158015906108d6575089600160a060020a03168c600160a060020a031614155b80156108fc5750600254600160a060020a038d1660009081526004602052604090205410155b1561094257600160a060020a038c166000908152600560205260409020546109249089611555565b600160a060020a038d16600090815260056020526040902055610958565b61094c8789611555565b9650604060020a870293505b600060085411156109b25761096f60085486611555565b6008819055604060020a880281151561098457fe5b60098054929091049091019055600854604060020a88028115156109a457fe5b0485028403840393506109b8565b60088590555b600160a060020a038a166000908152600460205260409020546109db9086611555565b600460008c600160a060020a0316600160a060020a031681526020019081526020016000208190555083856009540203925082600660008c600160a060020a0316600160a060020a03168152602001908152602001600020600082825401925050819055508b600160a060020a03168a600160a060020a03167f022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d58f8860405191825260208201526040908101905180910390a3849a505b5050505050505050505092915050565b600160a060020a0316600090815260066020908152604080832054600490925290912054600954604060020a9102919091030490565b60008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b6e5780601f10610b4357610100808354040283529160200191610b6e565b820191906000526020600020905b815481529060010190602001808311610b5157829003601f168201915b505050505081565b6000808080610b8685600561156b565b9250610b928584611582565b9150610b9d82611594565b95945050505050565b6008545b90565b6000806000806008548511151515610bc457600080fd5b610bcd8561162c565b9250610bda83600561156b565b9150610b9d8383611582565b600b5460ff1681565b601281565b600a6020526000908152604090205460ff1681565b6000806000610c186001610d2a565b11610c2257600080fd5b339150610c2f6000610d2a565b600160a060020a03831660008181526006602090815260408083208054604060020a870201905560059091528082208054929055920192509082156108fc0290839051600060405180830381858888f193505050501515610c8f57600080fd5b81600160a060020a03167fccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc8260405190815260200160405180910390a25050565b60008060008060085460001415610cee576414f46b04009350610d1e565b610cff670de0b6b3a764000061162c565b9250610d0c83600561156b565b9150610d188383611582565b90508093505b50505090565b60025481565b60003382610d4057610d3b81610aa2565b610d64565b600160a060020a038116600090815260056020526040902054610d6282610aa2565b015b91505b50919050565b600160a060020a0330163190565b6001600a600073f2267af68559cd76ee7645cca0e2f2b99cd99da3604051600160a060020a03919091166c0100000000000000000000000002815260140160405190819003902081526020808201929092526040016000908120805493151560ff1994851617905560039091527f1041a22e67e47949fea47af138addc33486756ccbd5a04db5d9f6e60c66e947d8054831660019081179091557fbd58745697957f34150ab981f68aa1717e1bd6aad495a1b0b52de8c4c91908b4805484168217905573ac4ca91216edb2c9d59f58e8b3f22275130a82409091527f48acf5e904d8a42184c38fe40bb44d21d28b7599a3565024b4fc549244c9da5f8054909216179055565b600160a060020a031660009081526004602052604090205490565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff161515610eed57600080fd5b50600255565b60008060008060085460001415610f115764199c82cc009350610d1e565b610f22670de0b6b3a764000061162c565b9250610f2f83600561156b565b9150610d188383611555565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff161515610f8c57600080fd5b506000918252600a6020526040909120805460ff1916911515919091179055565b600033610fb981610e81565b91505b5090565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b6e5780601f10610b4357610100808354040283529160200191610b6e565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff16151561107c57600080fd5b50600b805460ff19169055565b60008060008060008061109a610fad565b116110a457600080fd5b600b5433945060ff161580156110d25750600160a060020a0384166000908152600460205260409020548611155b15156110dd57600080fd5b60006110e96001610d2a565b11156110f7576110f7610c09565b61110286600561156b565b925061110e8684611582565b91506111198361162c565b905061112760085484611582565b600855600160a060020a03841660009081526004602052604090205461114d9087611582565b600160a060020a03808616600090815260046020526040808220939093559089168152205461117c9083611555565b600160a060020a0388811660008181526004602090815260408083209590955560098054948a16835260069091528482208054948c029094039093558254918152929092208054928502909201909155546008546111eb9190604060020a84028115156111e557fe5b04611555565b600955600160a060020a038088169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405190815260200160405180910390a35060019695505050505050565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff16151561128d57600080fd5b60018280516112a09291602001906116cd565b505050565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff1615156112f657600080fd5b60008280516112a09291602001906116cd565b600080600080600080600061131c610fad565b1161132657600080fd5b33600160a060020a03811660009081526004602052604090205490965087111561134f57600080fd5b86945061135b8561162c565b935061136884600561156b565b92506113748484611582565b915061138260085486611582565b600855600160a060020a0386166000908152600460205260409020546113a89086611582565b600160a060020a03871660009081526004602090815260408083209390935560095460069091529181208054928802604060020a86020192839003905560085491925090111561140f5761140b600954600854604060020a86028115156111e557fe5b6009555b85600160a060020a03167fc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139868460405191825260208201526040908101905180910390a250505050505050565b33600160a060020a038116600090815260046020526040812054908111156114875761148781611309565b61148f610c09565b5050565b6000610d6734836104ff565b6000806000806114af6001610d2a565b116114b957600080fd5b6114c36000610d2a565b33600160a060020a03811660009081526006602090815260408083208054604060020a8702019055600590915281208054908290559092019450925061150a9084906104ff565b905081600160a060020a03167fbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458848360405191825260208201526040908101905180910390a2505050565b60008282018381101561156457fe5b9392505050565b600080828481151561157957fe5b04949350505050565b60008282111561158e57fe5b50900390565b6008546000906c01431e0fae6d7217caa00000009082906402540be400611619611613730380d4bd8a8678c1bb542c80deb4800000000000880268056bc75e2d631000006002860a02017005e0a1fd2712875988becaad0000000000850201780197d4df19d605767337e9f14d3eec8920e40000000000000001611698565b85611582565b81151561162257fe5b0403949350505050565b600854600090670de0b6b3a76400008381019181019083906116856414f46b04008285046402540be40002018702600283670de0b6b3a763ffff1982890a8b900301046402540be4000281151561167f57fe5b04611582565b81151561168e57fe5b0495945050505050565b80600260018201045b81811015610d675780915060028182858115156116ba57fe5b04018115156116c557fe5b0490506116a1565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061170e57805160ff191683800117855561173b565b8280016001018555821561173b579182015b8281111561173b578251825591602001919060010190611720565b50610fbc92610baa9250905b80821115610fbc57600081556001016117475600a165627a7a72305820ae04e86e14f9abceafa1b24dd915311bfdc367cec7fad229c8ec08aa64d62b4b0029

0x6060604052600436106101685763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166265318b811461017657806306fdde03146101a757806310d0ffdd1461023157806318160ddd14610247578063226093731461025a57806327defa1f14610270578063313ce56714610297578063392efb52146102c05780633ccfd60b146102d65780634b750334146102eb57806356d399e8146102fe578063688abbf7146103115780636b2f4632146103295780636f83b86b1461033c57806370a082311461034f5780638328b6101461036e5780638620410b1461038457806389135ae914610397578063949e8acd146103b257806395d89b41146103c5578063a8e04f34146103d8578063a9059cbb146103eb578063b84c82461461040d578063c47f00271461045e578063e4849b32146104af578063e9fad8ee146104c5578063f088d547146104d8578063fdb5a03e146104ec575b6101733460006104ff565b50005b341561018157600080fd5b610195600160a060020a0360043516610aa2565b60405190815260200160405180910390f35b34156101b257600080fd5b6101ba610ad8565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101f65780820151838201526020016101de565b50505050905090810190601f1680156102235780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561023c57600080fd5b610195600435610b76565b341561025257600080fd5b610195610ba6565b341561026557600080fd5b610195600435610bad565b341561027b57600080fd5b610283610be6565b604051901515815260200160405180910390f35b34156102a257600080fd5b6102aa610bef565b60405160ff909116815260200160405180910390f35b34156102cb57600080fd5b610283600435610bf4565b34156102e157600080fd5b6102e9610c09565b005b34156102f657600080fd5b610195610cd0565b341561030957600080fd5b610195610d24565b341561031c57600080fd5b6101956004351515610d2a565b341561033457600080fd5b610195610d6d565b341561034757600080fd5b6102e9610d7b565b341561035a57600080fd5b610195600160a060020a0360043516610e81565b341561037957600080fd5b6102e9600435610e9c565b341561038f57600080fd5b610195610ef3565b34156103a257600080fd5b6102e96004356024351515610f3b565b34156103bd57600080fd5b610195610fad565b34156103d057600080fd5b6101ba610fc0565b34156103e357600080fd5b6102e961102b565b34156103f657600080fd5b610283600160a060020a0360043516602435611089565b341561041857600080fd5b6102e960046024813581810190830135806020601f8201819004810201604051908101604052818152929190602084018383808284375094965061123c95505050505050565b341561046957600080fd5b6102e960046024813581810190830135806020601f820181900481020160405190810160405281815292919060208401838380828437509496506112a595505050505050565b34156104ba57600080fd5b6102e9600435611309565b34156104d057600080fd5b6102e961145c565b610195600160a060020a0360043516611493565b34156104f757600080fd5b6102e961149f565b60008060008060008060008060008a6000339050600b60009054906101000a900460ff1680156105405750671bc16d674ec800008261053c610d6d565b0311155b1561083457600160a060020a03811660009081526003602052604090205460ff16151560011480156105955750600160a060020a038116600090815260076020526040902054670de0b6b3a764000090830111155b15156105a057600080fd5b600160a060020a0381166000908152600760205260409020546105c39083611555565b600160a060020a0382166000908152600760205260409020553399506105ea8d600561156b565b98506105f789600361156b565b97506106038989611582565b965061060f8d8a611582565b955061061a86611594565b9450604060020a8702935060008511801561063f575060085461063d8682611555565b115b151561064a57600080fd5b600160a060020a038c1615801590610674575089600160a060020a03168c600160a060020a031614155b801561069a5750600254600160a060020a038d1660009081526004602052604090205410155b156106e057600160a060020a038c166000908152600560205260409020546106c29089611555565b600160a060020a038d166000908152600560205260409020556106f6565b6106ea8789611555565b9650604060020a870293505b600060085411156107505761070d60085486611555565b6008819055604060020a880281151561072257fe5b60098054929091049091019055600854604060020a880281151561074257fe5b048502840384039350610756565b60088590555b600160a060020a038a166000908152600460205260409020546107799086611555565b600460008c600160a060020a0316600160a060020a031681526020019081526020016000208190555083856009540203925082600660008c600160a060020a0316600160a060020a03168152602001908152602001600020600082825401925050819055508b600160a060020a03168a600160a060020a03167f022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d58f8860405191825260208201526040908101905180910390a3849a50610a92565b600b805460ff1916905533995061084c8d600561156b565b985061085989600361156b565b97506108658989611582565b96506108718d8a611582565b955061087c86611594565b9450604060020a870293506000851180156108a1575060085461089f8682611555565b115b15156108ac57600080fd5b600160a060020a038c16158015906108d6575089600160a060020a03168c600160a060020a031614155b80156108fc5750600254600160a060020a038d1660009081526004602052604090205410155b1561094257600160a060020a038c166000908152600560205260409020546109249089611555565b600160a060020a038d16600090815260056020526040902055610958565b61094c8789611555565b9650604060020a870293505b600060085411156109b25761096f60085486611555565b6008819055604060020a880281151561098457fe5b60098054929091049091019055600854604060020a88028115156109a457fe5b0485028403840393506109b8565b60088590555b600160a060020a038a166000908152600460205260409020546109db9086611555565b600460008c600160a060020a0316600160a060020a031681526020019081526020016000208190555083856009540203925082600660008c600160a060020a0316600160a060020a03168152602001908152602001600020600082825401925050819055508b600160a060020a03168a600160a060020a03167f022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d58f8860405191825260208201526040908101905180910390a3849a505b5050505050505050505092915050565b600160a060020a0316600090815260066020908152604080832054600490925290912054600954604060020a9102919091030490565b60008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b6e5780601f10610b4357610100808354040283529160200191610b6e565b820191906000526020600020905b815481529060010190602001808311610b5157829003601f168201915b505050505081565b6000808080610b8685600561156b565b9250610b928584611582565b9150610b9d82611594565b95945050505050565b6008545b90565b6000806000806008548511151515610bc457600080fd5b610bcd8561162c565b9250610bda83600561156b565b9150610b9d8383611582565b600b5460ff1681565b601281565b600a6020526000908152604090205460ff1681565b6000806000610c186001610d2a565b11610c2257600080fd5b339150610c2f6000610d2a565b600160a060020a03831660008181526006602090815260408083208054604060020a870201905560059091528082208054929055920192509082156108fc0290839051600060405180830381858888f193505050501515610c8f57600080fd5b81600160a060020a03167fccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc8260405190815260200160405180910390a25050565b60008060008060085460001415610cee576414f46b04009350610d1e565b610cff670de0b6b3a764000061162c565b9250610d0c83600561156b565b9150610d188383611582565b90508093505b50505090565b60025481565b60003382610d4057610d3b81610aa2565b610d64565b600160a060020a038116600090815260056020526040902054610d6282610aa2565b015b91505b50919050565b600160a060020a0330163190565b6001600a600073f2267af68559cd76ee7645cca0e2f2b99cd99da3604051600160a060020a03919091166c0100000000000000000000000002815260140160405190819003902081526020808201929092526040016000908120805493151560ff1994851617905560039091527f1041a22e67e47949fea47af138addc33486756ccbd5a04db5d9f6e60c66e947d8054831660019081179091557fbd58745697957f34150ab981f68aa1717e1bd6aad495a1b0b52de8c4c91908b4805484168217905573ac4ca91216edb2c9d59f58e8b3f22275130a82409091527f48acf5e904d8a42184c38fe40bb44d21d28b7599a3565024b4fc549244c9da5f8054909216179055565b600160a060020a031660009081526004602052604090205490565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff161515610eed57600080fd5b50600255565b60008060008060085460001415610f115764199c82cc009350610d1e565b610f22670de0b6b3a764000061162c565b9250610f2f83600561156b565b9150610d188383611555565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff161515610f8c57600080fd5b506000918252600a6020526040909120805460ff1916911515919091179055565b600033610fb981610e81565b91505b5090565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b6e5780601f10610b4357610100808354040283529160200191610b6e565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff16151561107c57600080fd5b50600b805460ff19169055565b60008060008060008061109a610fad565b116110a457600080fd5b600b5433945060ff161580156110d25750600160a060020a0384166000908152600460205260409020548611155b15156110dd57600080fd5b60006110e96001610d2a565b11156110f7576110f7610c09565b61110286600561156b565b925061110e8684611582565b91506111198361162c565b905061112760085484611582565b600855600160a060020a03841660009081526004602052604090205461114d9087611582565b600160a060020a03808616600090815260046020526040808220939093559089168152205461117c9083611555565b600160a060020a0388811660008181526004602090815260408083209590955560098054948a16835260069091528482208054948c029094039093558254918152929092208054928502909201909155546008546111eb9190604060020a84028115156111e557fe5b04611555565b600955600160a060020a038088169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405190815260200160405180910390a35060019695505050505050565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff16151561128d57600080fd5b60018280516112a09291602001906116cd565b505050565b33600a600082604051600160a060020a03919091166c01000000000000000000000000028152601401604051908190039020815260208101919091526040016000205460ff1615156112f657600080fd5b60008280516112a09291602001906116cd565b600080600080600080600061131c610fad565b1161132657600080fd5b33600160a060020a03811660009081526004602052604090205490965087111561134f57600080fd5b86945061135b8561162c565b935061136884600561156b565b92506113748484611582565b915061138260085486611582565b600855600160a060020a0386166000908152600460205260409020546113a89086611582565b600160a060020a03871660009081526004602090815260408083209390935560095460069091529181208054928802604060020a86020192839003905560085491925090111561140f5761140b600954600854604060020a86028115156111e557fe5b6009555b85600160a060020a03167fc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139868460405191825260208201526040908101905180910390a250505050505050565b33600160a060020a038116600090815260046020526040812054908111156114875761148781611309565b61148f610c09565b5050565b6000610d6734836104ff565b6000806000806114af6001610d2a565b116114b957600080fd5b6114c36000610d2a565b33600160a060020a03811660009081526006602090815260408083208054604060020a8702019055600590915281208054908290559092019450925061150a9084906104ff565b905081600160a060020a03167fbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458848360405191825260208201526040908101905180910390a2505050565b60008282018381101561156457fe5b9392505050565b600080828481151561157957fe5b04949350505050565b60008282111561158e57fe5b50900390565b6008546000906c01431e0fae6d7217caa00000009082906402540be400611619611613730380d4bd8a8678c1bb542c80deb4800000000000880268056bc75e2d631000006002860a02017005e0a1fd2712875988becaad0000000000850201780197d4df19d605767337e9f14d3eec8920e40000000000000001611698565b85611582565b81151561162257fe5b0403949350505050565b600854600090670de0b6b3a76400008381019181019083906116856414f46b04008285046402540be40002018702600283670de0b6b3a763ffff1982890a8b900301046402540be4000281151561167f57fe5b04611582565b81151561168e57fe5b0495945050505050565b80600260018201045b81811015610d675780915060028182858115156116ba57fe5b04018115156116c557fe5b0490506116a1565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061170e57805160ff191683800117855561173b565b8280016001018555821561173b579182015b8281111561173b578251825591602001919060010190611720565b50610fbc92610baa9250905b80821115610fbc57600081556001016117475600a165627a7a72305820ae04e86e14f9abceafa1b24dd915311bfdc367cec7fad229c8ec08aa64d62b4b0029

2222:23096:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8211:30;8226:9;8237:3;8211:14;:30::i;:::-;;2222:23096;16629:254;;;;;;;;;;-1:-1:-1;;;;;16629:254:0;;;;;;;;;;;;;;;;;;;;5501:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;5501:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18254:398;;;;;;;;;;;;;;15226:122;;;;;;;;;;;;18774:414;;;;;;;;;;;;;;6978:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5587:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6768:46;;;;;;;;;;;;;;9563:678;;;;;;;;;;;;;;16965:543;;;;;;;;;;;;5921:40;;;;;;;;;;;;15971:310;;;;;;;;;;;;;;;;15027:128;;;;;;;;;;;;7227:445;;;;;;;;;;;;16369:169;;;;;;;;;;-1:-1:-1;;;;;16369:169:0;;;;;14300:161;;;;;;;;;;;;;;17591:542;;;;;;;;;;;;14025:167;;;;;;;;;;;;;;;;;;15427:182;;;;;;;;;;;;5548:32;;;;;;;;;;;;13810:123;;;;;;;;;;;;11827:1782;;;;;;;;;;-1:-1:-1;;;;;11827:1782:0;;;;;;;14711:120;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;14711:120:0;;-1:-1:-1;14711:120:0;;-1:-1:-1;;;;;;14711:120:0;14530:112;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;14530:112:0;;-1:-1:-1;14530:112:0;;-1:-1:-1;;;;;;14530:112:0;10309:1375;;;;;;;;;;;;;;9170:320;;;;;;;;;;;;7817:155;;-1:-1:-1;;;;;7817:155:0;;;;;8333:767;;;;;;;;;;;;19356:3388;19506:7;19554:24;19602:27;19688:22;19760:18;19841:22;19929:23;19999:12;22431:22;19452:17;3418:24;3445:10;3418:37;;3582:15;;;;;;;;;;;:86;;;;;6166:9;3628:17;3603:22;:20;:22::i;:::-;:42;3602:64;;3582:86;3578:907;;;-1:-1:-1;;;;;3770:30:0;;;;;;:12;:30;;;;;;;;:38;;:30;:38;:250;;;;-1:-1:-1;;;;;;3928:45:0;;;;;;:27;:45;;;;;;6105:9;3928:65;;;3927:93;;3770:250;3684:369;;;;;;;;-1:-1:-1;;;;;4193:45:0;;;;;;:27;:45;;;;;;4180:78;;4240:17;4180:12;:78::i;:::-;-1:-1:-1;;;;;4132:45:0;;;;;;:27;:45;;;;;:126;19581:10;;-1:-1:-1;19632:45:0;19645:17;5668:1;19632:12;:45::i;:::-;19602:75;;19713:36;19726:19;19747:1;19713:12;:36::i;:::-;19688:61;;19781:49;19794:19;19815:14;19781:12;:49::i;:::-;19760:70;;19866:52;19879:17;19898:19;19866:12;:52::i;:::-;19841:77;;19955:33;19973:14;19955:17;:33::i;:::-;19929:59;;-1:-1:-1;;;20014:10:0;:22;19999:37;;20367:1;20349:15;:19;:82;;;;-1:-1:-1;20418:12:0;;20373:42;20386:15;20418:12;20373;:42::i;:::-;:57;20349:82;20341:91;;;;;;;;-1:-1:-1;;;;;20565:57:0;;;;;;:136;;;20685:16;-1:-1:-1;;;;;20670:31:0;:11;-1:-1:-1;;;;;20670:31:0;;;20565:136;:330;;;;-1:-1:-1;20877:18:0;;-1:-1:-1;;;;;20841:32:0;;;;;;:19;:32;;;;;;:54;;20565:330;20503:794;;;-1:-1:-1;;;;;21004:29:0;;;;;;:16;:29;;;;;;20991:59;;21035:14;20991:12;:59::i;:::-;-1:-1:-1;;;;;20959:29:0;;;;;;:16;:29;;;;;:91;20503:794;;;21201:40;21214:10;21226:14;21201:12;:40::i;:::-;21188:53;;-1:-1:-1;;;21263:10:0;:22;21256:29;;20503:794;21386:1;21371:12;;:16;21368:671;;;21471:43;21484:12;;21498:15;21471:12;:43::i;:::-;21456:12;:58;;;-1:-1:-1;;;21676:22:0;;:39;;;;;;;21656:15;:60;;21676:39;;;;21656:60;;;;;21899:12;;-1:-1:-1;;;21873:22:0;;:39;;;;;;;;21854:15;:59;21848:4;:66;21840:4;:75;21833:82;;21368:671;;;21997:12;:30;;;21368:671;-1:-1:-1;;;;;22188:37:0;;;;;;:19;:37;;;;;;22175:68;;22227:15;22175:12;:68::i;:::-;22135:19;:37;22155:16;-1:-1:-1;;;;;22135:37:0;-1:-1:-1;;;;;22135:37:0;;;;;;;;;;;;:108;;;;22504:4;22485:15;22467;;:33;22466:42;22431:78;;22552:15;22520:10;:28;22531:16;-1:-1:-1;;;;;22520:28:0;-1:-1:-1;;;;;22520:28:0;;;;;;;;;;;;;:47;;;;;;;;;;;22681:11;-1:-1:-1;;;;;22611:82:0;22627:16;-1:-1:-1;;;;;22611:82:0;;22645:17;22664:15;22611:82;;;;;;;;;;;;;;;;;;;;22721:15;22714:22;;3578:907;;;4430:15;:23;;-1:-1:-1;;4430:23:0;;;19581:10;;-1:-1:-1;19632:45:0;19645:17;5668:1;19632:12;:45::i;:::-;19602:75;;19713:36;19726:19;19747:1;19713:12;:36::i;:::-;19688:61;;19781:49;19794:19;19815:14;19781:12;:49::i;:::-;19760:70;;19866:52;19879:17;19898:19;19866:12;:52::i;:::-;19841:77;;19955:33;19973:14;19955:17;:33::i;:::-;19929:59;;-1:-1:-1;;;20014:10:0;:22;19999:37;;20367:1;20349:15;:19;:82;;;;-1:-1:-1;20418:12:0;;20373:42;20386:15;20418:12;20373;:42::i;:::-;:57;20349:82;20341:91;;;;;;;;-1:-1:-1;;;;;20565:57:0;;;;;;:136;;;20685:16;-1:-1:-1;;;;;20670:31:0;:11;-1:-1:-1;;;;;20670:31:0;;;20565:136;:330;;;;-1:-1:-1;20877:18:0;;-1:-1:-1;;;;;20841:32:0;;;;;;:19;:32;;;;;;:54;;20565:330;20503:794;;;-1:-1:-1;;;;;21004:29:0;;;;;;:16;:29;;;;;;20991:59;;21035:14;20991:12;:59::i;:::-;-1:-1:-1;;;;;20959:29:0;;;;;;:16;:29;;;;;:91;20503:794;;;21201:40;21214:10;21226:14;21201:12;:40::i;:::-;21188:53;;-1:-1:-1;;;21263:10:0;:22;21256:29;;20503:794;21386:1;21371:12;;:16;21368:671;;;21471:43;21484:12;;21498:15;21471:12;:43::i;:::-;21456:12;:58;;;-1:-1:-1;;;21676:22:0;;:39;;;;;;;21656:15;:60;;21676:39;;;;21656:60;;;;;21899:12;;-1:-1:-1;;;21873:22:0;;:39;;;;;;;;21854:15;:59;21848:4;:66;21840:4;:75;21833:82;;21368:671;;;21997:12;:30;;;21368:671;-1:-1:-1;;;;;22188:37:0;;;;;;:19;:37;;;;;;22175:68;;22227:15;22175:12;:68::i;:::-;22135:19;:37;22155:16;-1:-1:-1;;;;;22135:37:0;-1:-1:-1;;;;;22135:37:0;;;;;;;;;;;;:108;;;;22504:4;22485:15;22467;;:33;22466:42;22431:78;;22552:15;22520:10;:28;22531:16;-1:-1:-1;;;;;22520:28:0;-1:-1:-1;;;;;22520:28:0;;;;;;;;;;;;;:47;;;;;;;;;;;22681:11;-1:-1:-1;;;;;22611:82:0;22627:16;-1:-1:-1;;;;;22611:82:0;;22645:17;22664:15;22611:82;;;;;;;;;;;;;;;;;;;;22721:15;22714:22;;4468:1;19356:3388;;;;;;;;;;;;;;:::o;16629:254::-;-1:-1:-1;;;;;16834:28:0;16723:7;16834:28;;;:10;:28;;;;;;;;;16793:19;:37;;;;;;;16775:15;;-1:-1:-1;;;16775:55:0;;16766:96;;;;16755:120;;16629:254::o;5501:40::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;18254:398::-;18363:7;;;;18409:44;18422:16;5668:1;18409:12;:44::i;:::-;18388:65;;18489:42;18502:16;18520:10;18489:12;:42::i;:::-;18464:67;;18568:33;18586:14;18568:17;:33::i;:::-;18542:59;18254:398;-1:-1:-1;;;;;18254:398:0:o;15226:122::-;15328:12;;15226:122;;:::o;18774:414::-;18882:7;18956:17;19019:18;19088:22;18932:12;;18915:13;:29;;18907:38;;;;;;;;18976:32;18994:13;18976:17;:32::i;:::-;18956:52;-1:-1:-1;19040:37:0;18956:52;5668:1;19040:12;:37::i;:::-;19019:58;;19113:35;19126:9;19137:10;19113:12;:35::i;6978:34::-;;;;;;:::o;5587:35::-;5620:2;5587:35;:::o;6768:46::-;;;;;;;;;;;;;;;:::o;9563:678::-;9665:24;9713:18;2604:1;2584:17;2596:4;2584:11;:17::i;:::-;:21;2576:30;;;;;;9692:10;9665:37;;9734:18;9746:5;9734:11;:18::i;:::-;-1:-1:-1;;;;;9845:28:0;;;;;;:10;:28;;;;;;;;:66;;-1:-1:-1;;;9888:22:0;;9845:66;;;9973:16;:34;;;;;;;;10018:38;;;9959:48;;;-1:-1:-1;9845:28:0;10112:37;;;;;9959:48;;10112:37;;;;;;;;;;;;;;;;;;;;;;;;;10204:16;-1:-1:-1;;;;;10193:40:0;;10222:10;10193:40;;;;;;;;;;;;;;9563:678;;:::o;16965:543::-;17036:7;17260:17;17318:18;17393:22;17144:12;;17160:1;17144:17;17141:360;;;17184:43;;-1:-1:-1;17177:50:0;;17141:360;17280:23;17298:4;17280:17;:23::i;:::-;17260:43;-1:-1:-1;17339:39:0;17260:43;5668:1;17339:12;:39::i;:::-;17318:60;;17418:35;17431:9;17442:10;17418:12;:35::i;:::-;17393:60;;17475:14;17468:21;;17141:360;16965:543;;;;:::o;5921:40::-;;;;:::o;15971:310::-;16070:7;16122:10;16150:21;:122;;16243:29;16255:16;16243:11;:29::i;:::-;16150:122;;;-1:-1:-1;;;;;16206:34:0;;;;;;:16;:34;;;;;;16174:29;16223:16;16174:11;:29::i;:::-;:66;16150:122;16143:129;;15971:310;;;;;:::o;15027:128::-;-1:-1:-1;;;;;15135:4:0;:12;;15027:128;:::o;7227:445::-;7395:4;7323:14;:69;7348:42;7338:53;;-1:-1:-1;;;;;7338:53:0;;;;;;;;;;;;;;;;;;7323:69;;;;;;;;;;;;;;;;:76;;;;;-1:-1:-1;;7323:76:0;;;;;;7453:12;:56;;;;:63;;;;7323:76;7453:63;;;;;;7527:56;:63;;;;;;;;7614:42;7601:56;;;;:63;;;;;;;;7227:445::o;16369:169::-;-1:-1:-1;;;;;16493:37:0;16461:7;16493:37;;;:19;:37;;;;;;;16369:169::o;14300:161::-;3075:10;3104:14;3048:24;3075:10;3119:27;;-1:-1:-1;;;;;3119:27:0;;;;;;;;;;;;;;;;;;3104:43;;;;;;;;;;;;;;;;3096:52;;;;;;;;-1:-1:-1;14417:18:0;:36;14300:161::o;17591:542::-;17661:7;17885:17;17943:18;18018:22;17769:12;;17785:1;17769:17;17766:360;;;17809:43;;-1:-1:-1;17802:50:0;;17766:360;17905:23;17923:4;17905:17;:23::i;:::-;17885:43;-1:-1:-1;17964:39:0;17885:43;5668:1;17964:12;:39::i;:::-;17943:60;;18043:35;18056:9;18067:10;18043:12;:35::i;14025:167::-;3075:10;3104:14;3048:24;3075:10;3119:27;;-1:-1:-1;;;;;3119:27:0;;;;;;;;;;;;;;;;;;3104:43;;;;;;;;;;;;;;;;3096:52;;;;;;;;-1:-1:-1;14147:27:0;;;;:14;:27;;;;;;:37;;-1:-1:-1;;14147:37:0;;;;;;;;;;14025:167::o;15427:182::-;15494:7;15546:10;15574:27;15546:10;15574:9;:27::i;:::-;15567:34;;15427:182;;;:::o;5548:32::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13810:123;3075:10;3104:14;3048:24;3075:10;3119:27;;-1:-1:-1;;;;;3119:27:0;;;;;;;;;;;;;;;;;;3104:43;;;;;;;;;;;;;;;;3096:52;;;;;;;;-1:-1:-1;13902:15:0;:23;;-1:-1:-1;;13902:23:0;;;13810:123::o;11827:1782::-;11949:4;11989:24;12531:17;12605:20;12679:18;2471:1;2458:10;:8;:10::i;:::-;:14;2450:23;;;;;;12218:15;;12016:10;;-1:-1:-1;12218:15:0;;12217:16;:76;;;;-1:-1:-1;;;;;;12256:37:0;;;;;;:19;:37;;;;;;12237:56;;;12217:76;12209:85;;;;;;;;12391:1;12371:17;12383:4;12371:11;:17::i;:::-;:21;12368:36;;;12394:10;:8;:10::i;:::-;12551:43;12564:15;5668:1;12551:12;:43::i;:::-;12531:63;;12628:40;12641:15;12658:9;12628:12;:40::i;:::-;12605:63;;12700:28;12718:9;12700:17;:28::i;:::-;12679:49;;12790:37;12803:12;;12817:9;12790:12;:37::i;:::-;12775:12;:52;-1:-1:-1;;;;;12921:37:0;;;;;;:19;:37;;;;;;12908:68;;12960:15;12908:12;:68::i;:::-;-1:-1:-1;;;;;12868:37:0;;;;;;;:19;:37;;;;;;:108;;;;13034:31;;;;;;;13021:59;;13067:12;13021;:59::i;:::-;-1:-1:-1;;;;;12987:31:0;;;;;;;:19;:31;;;;;;;;:93;;;;13180:15;;;13138:28;;;;;:10;:28;;;;;;:76;;13180:33;;;13138:76;;;;;;13261:15;;13225:22;;;;;;;:67;;13261:30;;;13225:67;;;;;;13389:15;13433:12;;13376:70;;13389:15;-1:-1:-1;;;13407:22:0;;13406:39;;;;;;;;13376:12;:70::i;:::-;13358:15;:88;-1:-1:-1;;;;;13490:52:0;;;;;;;13529:12;13490:52;;;;;;;;;;;;;;-1:-1:-1;13588:4:0;;11827:1782;-1:-1:-1;;;;;;11827:1782:0:o;14711:120::-;3075:10;3104:14;3048:24;3075:10;3119:27;;-1:-1:-1;;;;;3119:27:0;;;;;;;;;;;;;;;;;;3104:43;;;;;;;;;;;;;;;;3096:52;;;;;;;;14807:6;14816:7;;14807:16;;;;;;;;:::i;:::-;;14711:120;;:::o;14530:112::-;3075:10;3104:14;3048:24;3075:10;3119:27;;-1:-1:-1;;;;;3119:27:0;;;;;;;;;;;;;;;;;;3104:43;;;;;;;;;;;;;;;;3096:52;;;;;;;;14622:4;14629:5;;14622:12;;;;;;;;:::i;10309:1375::-;10429:24;10661:15;10705:17;10762:18;10831:22;11164;2471:1;2458:10;:8;:10::i;:::-;:14;2450:23;;;;;;10456:10;-1:-1:-1;;;;;10612:37:0;;;;;;:19;:37;;;;;;10456:10;;-1:-1:-1;10593:56:0;;;10585:65;;;;;;10679:15;10661:33;;10725:26;10743:7;10725:17;:26::i;:::-;10705:46;-1:-1:-1;10783:37:0;10705:46;5668:1;10783:12;:37::i;:::-;10762:58;;10856:35;10869:9;10880:10;10856:12;:35::i;:::-;10831:60;;10960:35;10973:12;;10987:7;10960:12;:35::i;:::-;10945:12;:50;-1:-1:-1;;;;;11059:37:0;;;;;;:19;:37;;;;;;11046:60;;11098:7;11046:12;:60::i;:::-;-1:-1:-1;;;;;11006:37:0;;;;;;:19;:37;;;;;;;;:100;;;;11199:15;;11267:10;:28;;;;;;:47;;11199:25;;;-1:-1:-1;;;11228:26:0;;11199:56;11267:47;;;;;;11389:12;;11199:56;;-1:-1:-1;11389:16:0;;11385:194;;;11497:70;11510:15;;11554:12;;-1:-1:-1;;;11528:10:0;:22;11527:39;;;;;;11497:70;11479:15;:88;11385:194;11634:16;-1:-1:-1;;;;;11622:54:0;;11652:7;11661:14;11622:54;;;;;;;;;;;;;;;;;;;;10309:1375;;;;;;;:::o;9170:320::-;9300:10;-1:-1:-1;;;;;9339:37:0;;9273:24;9339:37;;;:19;:37;;;;;;;9390:11;;9387:29;;;9403:13;9408:7;9403:4;:13::i;:::-;9472:10;:8;:10::i;:::-;9170:320;;:::o;7817:155::-;7901:7;7926:38;7941:9;7952:11;7926:14;:38::i;8333:767::-;8440:18;8585:24;8946:15;2604:1;2584:17;2596:4;2584:11;:17::i;:::-;:21;2576:30;;;;;;8461:18;8473:5;8461:11;:18::i;:::-;8612:10;-1:-1:-1;;;;;8633:28:0;;;;;;:10;:28;;;;;;;;:66;;-1:-1:-1;;;8676:22:0;;8633:66;;;8766:16;:34;;;;;;;8811:38;;;;8752:48;;;;-1:-1:-1;8612:10:0;-1:-1:-1;8964:31:0;;8752:48;;8964:14;:31::i;:::-;8946:49;;9054:16;-1:-1:-1;;;;;9039:53:0;;9072:10;9084:7;9039:53;;;;;;;;;;;;;;;;;;;;8333:767;;;:::o;26430:147::-;26488:7;26520:5;;;26543:6;;;;26536:14;;;;26568:1;26430:147;-1:-1:-1;;;26430:147:0:o;25818:288::-;25876:7;25975:9;25991:1;25987;:5;;;;;;;;;25818:288;-1:-1:-1;;;;25818:288:0:o;26232:123::-;26290:7;26317:6;;;;26310:14;;;;-1:-1:-1;26342:5:0;;;26232:123::o;23040:976::-;23948:12;;23135:7;;23189:25;;23135:7;;5796:16;23340:555;23376:457;23522:52;;;23638:27;23747:1;23668:15;;23637:47;23437:248;23747:45;:58;;23437:369;23438:21;23437:369;23376:4;:457::i;:::-;23858:18;23340:12;:555::i;:::-;23277:658;;;;;;;;23262:699;;23040:976;-1:-1:-1;;;;23040:976:0:o;24283:722::-;24472:12;;24376:7;;24432:4;24422:14;;;;24472:19;;;24376:7;;24592:357;24673:147;24751:17;;;5796:16;24725:44;24673:147;24646:214;;24933:1;24432:4;-1:-1:-1;;24906:10:0;;;:18;;;;24905:25;5796:16;24881:50;24880:54;;;;;;;;24592:12;:357::i;:::-;:372;;;;;;;;;24283:722;-1:-1:-1;;;;;24283:722:0:o;25117:198::-;25191:5;25200:1;25195;25191:5;;25190:11;25228:80;25239:1;25235;:5;25228:80;;;25261:1;25257:5;;25295:1;25290;25286;25282;:5;;;;;;;;:9;25281:15;;;;;;;;25277:19;;25228:80;;2222:23096;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2222:23096:0;;;;-1:-1:-1;2222:23096:0;;;;;;;;;;;;;;

bzzr://ae04e86e14f9abceafa1b24dd915311bfdc367cec7fad229c8ec08aa64d62b4b