Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-05-18
*/

pragma solidity ^0.4.20;

/*
BitMEX Fund

https://bitmex.fund

What is BitMEX Fund?

BitMEX Fund is an investment vehicle which allows you to invest ETH into the XB10 smart contract and take
advantage of experienced futures traders using our proprietary algo trading system on the BitMEX Cryptocurrency
Futures Exchange.  Our first fund trades 10X leverage on the XBTUSD Perpetual Inverse Swap Contract.  Nearly all 
of our trades are made on market making orders and receive 0.075% payments on each order. 

How do I invest?

You will invest using Ethereum to buy XB10 shares.  You will need an Ethereum wallet such as metamask or trustwallet.
Just enter the amount of Ethereum you want to invest and the page will tell you the number of XB10 shares you will receive.   
Then complete the transaction with you wallet provider.


When can I invest?

Our token exchange will launch at 2200 UTC on March 19, 2019.

When will the first Bitmex trades begin?

We will make our first deposit from the fund on March 22, 2019 or later.   Addional deposits from the fund will happen daily at 
2200 UTC.   Profits from the Bitmex accounts will sent to the XB10 Ethereum contract and automatically distributed to 
XB10 token holders.  Distibututions are made in relation to the amount of XB10 tokens you own.  You will be able to check the 
status of your account at bitmex.fund.

What happens when I invest in XB10 shares?

When you send your ETH to the XB10 contract you will purchase a calculated number of XB10 shares.   The price of XB10 
increases with the number of shares in the contract.   The XB10 contract will allocate 80% of your invested ETH to the Bitmex Trading fund.
10% will be distributed to other XB10 token holders.   10% will be kept in the contract for liquidity.  If you ever sell your XB10 shares, 10%
will be deducted as an exit fee and distributed to all remaining XB10 shareholders.  But if you sell you will lose your ongoing BitMEX trading 
profit distributions.

What happens with Bitmex trading account?

Deposits from the XB10 are converted to BTC and deposited to our Bitmex trading account.   When profits are made in the accounts, 14% are 
retained for the developers, 80% are deposited into the XB10 contract and distributed to XB10 shareholders, and 6% are retained as additional 
reinvested capital for the Bitmex trading account.
*/

contract BitMEXFund {
    /*=================================
    =            MODIFIERS            =
    =================================*/
    // only people with tokens
    modifier onlyShareholders() {
        require(myTokens() > 0);
        _;
    }
    
    // only shareholders with profits
    modifier onlyStronghands() {
        require(myDividends(true) > 0);
        _;
    }
    

    modifier onlyAdministrator(){
        address _customerAddress = msg.sender;
        require(administrators[_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
    );
    
    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 = "BitMEXFund";
    string public symbol = "XB10";
    uint8 constant public decimals = 18;
    uint8 constant internal purchaseFee_ = 10; //10%
    uint8 constant internal sellFee_ = 10; //10%
    uint8 constant internal BitMEXFee = 80; //80% reserved for BitMEX Trading Account
    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 = 100e18;
    
    // ambassador program
    mapping(address => bool) internal ambassadors_;
    uint256 constant internal ambassadorMaxPurchase_ = 1 ether;
    uint256 constant internal ambassadorQuota_ = 20 ether;

    uint public totalBitMEXDeposits;
    uint public BitMEXAccount;
    
    
    
   /*================================
    =            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(address => 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 pyramid)
    bool public onlyAmbassadors = true;
    


    /*=======================================
    =            PUBLIC FUNCTIONS            =
    =======================================*/
    /*
    * -- APPLICATION ENTRY POINTS --  
    */
    function BitMEXFund()
        public
    {
        // add administrators here
        administrators[msg.sender] = true;
        

    }

    function addAmbassador(address _ambassador)
        public
        onlyAdministrator()
    {
        ambassadors_[_ambassador] = true;
    }
    
    function BitMEXDeposit()
        public
        payable
    {
        //profitPerShare_ += (_dividends * magnitude / (tokenSupply_));
        profitPerShare_ += (msg.value * magnitude / (tokenSupply_));
        totalBitMEXDeposits = SafeMath.add(totalBitMEXDeposits, msg.value);
    }
     
    /**
     * Converts all incoming ethereum to shares 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);
        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;
        
        _customerAddress.transfer(_dividends);
        
        // fire event
        onWithdraw(_customerAddress, _dividends);
    }


    function withdrawBITMEXAccount(uint amt)
        public
        onlyAdministrator()
    {
        require(amt <= BitMEXAccount);
        BitMEXAccount = SafeMath.sub(BitMEXAccount,amt);
        msg.sender.transfer(amt);

    }
    
    /**
     * Liquifies tokens to ethereum.
     */
    function sell(uint256 _amountOfTokens)
        onlyShareholders()
        public
    {
        // setup data
        address _customerAddress = msg.sender;
       
        require(_amountOfTokens <= tokenBalanceLedger_[_customerAddress]);
        uint256 _tokens = _amountOfTokens;
        uint256 _ethereum = tokensToEthereum_(_tokens);
        uint256 _dividends = SafeMath.div(_ethereum, sellFee_);
        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)
        onlyShareholders()
        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, sellFee_);
        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(address _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;
    }


    function getData() 
        //Ethereum Balance, MyTokens, TotalTokens, myDividends, myRefDividends
        public 
        view 
        returns(uint256, uint256, uint256, uint256, uint256, uint256)
    {
        return(address(this).balance, balanceOf(msg.sender), tokenSupply_, dividendsOf(msg.sender), referralBalance_[msg.sender], totalBitMEXDeposits);
    }
    
    /**
     * 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) ;
    }

    // function getBitMEXAccount() 
    //     public 
    //     view 
    //     returns(uint256)
    // {
        
    //     return BitMEXAccount;
    // }

    
    /**
     * 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, sellFee_);
            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, purchaseFee_  );
            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, purchaseFee_);
        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, sellFee_);
        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 _BitMEXTradeFee = SafeMath.div(SafeMath.mul(_incomingEthereum, BitMEXFee),100);
        _incomingEthereum = SafeMath.sub(_incomingEthereum, _BitMEXTradeFee);
        BitMEXAccount = BitMEXAccount + _BitMEXTradeFee;
        uint256 _undividedDividends = SafeMath.div(_incomingEthereum, purchaseFee_);
        uint256 _referralBonus = SafeMath.div(_undividedDividends, 2);
        uint256 _dividends = SafeMath.sub(_undividedDividends, _referralBonus);
        uint256 _taxedEthereum = SafeMath.sub(_incomingEthereum, _undividedDividends);
        uint256 _amountOfTokens = ethereumToTokens_(_taxedEthereum);
        uint256 _fee = _dividends * magnitude;
 
        // no point in continuing execution if OP is a poorfag russian hacker
        // prevents overflow in the case that the pyramid 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?
            // i.e is the referrer a godly chad masternode
            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);
        
        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":false,"inputs":[{"name":"_ambassador","type":"address"}],"name":"addAmbassador","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getData","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"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":true,"inputs":[{"name":"_customerAddress","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"administrators","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"BitMEXDeposit","outputs":[],"payable":true,"stateMutability":"payable","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":"amt","type":"uint256"}],"name":"withdrawBITMEXAccount","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_identifier","type":"address"},{"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":true,"inputs":[],"name":"BitMEXAccount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":true,"inputs":[],"name":"totalBitMEXDeposits","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"reinvest","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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"}],"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"}]

60606040526040805190810160405280600a81526020017f4269744d455846756e6400000000000000000000000000000000000000000000815250600090805190602001906200005192919062000137565b506040805190810160405280600481526020017f5842313000000000000000000000000000000000000000000000000000000000815250600190805190602001906200009f92919062000137565b5068056bc75e2d631000006002556000600a556001600d60006101000a81548160ff0219169083151502179055503415620000d957600080fd5b6001600c60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550620001e6565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200017a57805160ff1916838001178555620001ab565b82800160010185558215620001ab579182015b82811115620001aa5782518255916020019190600101906200018d565b5b509050620001ba9190620001be565b5090565b620001e391905b80821115620001df576000816000905550600101620001c5565b5090565b90565b61271180620001f66000396000f3006060604052600436106101a0576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806265318b146101ae57806306fdde03146101fb57806310d0ffdd1461028957806318160ddd146102c057806322609373146102e957806327defa1f14610320578063295c25d51461034d578063313ce567146103865780633bc5de30146103b55780633ccfd60b146104015780634b7503341461041657806356d399e81461043f578063688abbf7146104685780636b2f4632146104a157806370a08231146104ca57806376be1585146105175780637d573144146105685780638328b610146105725780638620410b14610595578063868d1136146105be57806387c95058146105e1578063949e8acd1461062557806395d89b411461064e578063a8e04f34146106dc578063a9059cbb146106f1578063b84c82461461074b578063c47f0027146107a8578063cfbf09b914610805578063e4849b321461082e578063e9fad8ee14610851578063f088d54714610866578063f9929434146108a8578063fdb5a03e146108d1575b6101ab3460006108e6565b50005b34156101b957600080fd5b6101e5600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190505061121c565b6040518082815260200191505060405180910390f35b341561020657600080fd5b61020e6112be565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561024e578082015181840152602081019050610233565b50505050905090810190601f16801561027b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561029457600080fd5b6102aa600480803590602001909190505061135c565b6040518082815260200191505060405180910390f35b34156102cb57600080fd5b6102d3611394565b6040518082815260200191505060405180910390f35b34156102f457600080fd5b61030a600480803590602001909190505061139e565b6040518082815260200191505060405180910390f35b341561032b57600080fd5b6103336113e7565b604051808215151515815260200191505060405180910390f35b341561035857600080fd5b610384600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506113fa565b005b341561039157600080fd5b6103996114b3565b604051808260ff1660ff16815260200191505060405180910390f35b34156103c057600080fd5b6103c86114b8565b60405180878152602001868152602001858152602001848152602001838152602001828152602001965050505050505060405180910390f35b341561040c57600080fd5b610414611545565b005b341561042157600080fd5b6104296116e2565b6040518082815260200191505060405180910390f35b341561044a57600080fd5b610452611740565b6040518082815260200191505060405180910390f35b341561047357600080fd5b61048b60048080351515906020019091905050611746565b6040518082815260200191505060405180910390f35b34156104ac57600080fd5b6104b46117b2565b6040518082815260200191505060405180910390f35b34156104d557600080fd5b610501600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506117d1565b6040518082815260200191505060405180910390f35b341561052257600080fd5b61054e600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190505061181a565b604051808215151515815260200191505060405180910390f35b61057061183a565b005b341561057d57600080fd5b6105936004808035906020019091905050611876565b005b34156105a057600080fd5b6105a86118de565b6040518082815260200191505060405180910390f35b34156105c957600080fd5b6105df600480803590602001909190505061193c565b005b34156105ec57600080fd5b610623600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080351515906020019091905050611a00565b005b341561063057600080fd5b610638611ab9565b6040518082815260200191505060405180910390f35b341561065957600080fd5b610661611ace565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106a1578082015181840152602081019050610686565b50505050905090810190601f1680156106ce5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156106e757600080fd5b6106ef611b6c565b005b34156106fc57600080fd5b610731600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050611be7565b604051808215151515815260200191505060405180910390f35b341561075657600080fd5b6107a6600480803590602001908201803590602001908080601f01602080910402602001604051908101604052809392919081815260200183838082843782019150505050505091905050611f19565b005b34156107b357600080fd5b610803600480803590602001908201803590602001908080601f01602080910402602001604051908101604052809392919081815260200183838082843782019150505050505091905050611f91565b005b341561081057600080fd5b610818612009565b6040518082815260200191505060405180910390f35b341561083957600080fd5b61084f600480803590602001909190505061200f565b005b341561085c57600080fd5b61086461223d565b005b610892600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506122a4565b6040518082815260200191505060405180910390f35b34156108b357600080fd5b6108bb6122b6565b6040518082815260200191505060405180910390f35b34156108dc57600080fd5b6108e46122bc565b005b6000806000806000806000806000808b6000339050600d60009054906101000a900460ff16801561092957506801158e460913d00000826109256117b2565b0311155b15610e315760011515600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151480156109d75750670de0b6b3a764000082600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540111155b15156109e257600080fd5b610a2b600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483612430565b600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550339a50610a89610a828f605060ff1661244e565b6064612489565b9950610a958e8b6124a4565b9d508960055401600581905550610ab08e600a60ff16612489565b9850610abd896002612489565b9750610ac989896124a4565b9650610ad58e8a6124a4565b9550610ae0866124bd565b94506801000000000000000087029350600085118015610b0c5750600a54610b0a86600a54612430565b115b1515610b1757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168d73ffffffffffffffffffffffffffffffffffffffff1614158015610b8057508a73ffffffffffffffffffffffffffffffffffffffff168d73ffffffffffffffffffffffffffffffffffffffff1614155b8015610bcd5750600254600660008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b15610c6357610c1b600760008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205489612430565b600760008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c7e565b610c6d8789612430565b965068010000000000000000870293505b6000600a541115610ce957610c95600a5486612430565b600a81905550600a54680100000000000000008802811515610cb357fe5b04600b60008282540192505081905550600a54680100000000000000008802811515610cdb57fe5b048502840384039350610cf1565b84600a819055505b610d3a600660008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205486612430565b600660008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508385600b540203925082600860008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508a73ffffffffffffffffffffffffffffffffffffffff167f7f743fb741e07b0c4daeb2af54fb3ebfa2bdb31d9913a0e555661c870411aae58f87604051808381526020018281526020019250505060405180910390a2849b5061120b565b6000600d60006101000a81548160ff021916908315150217905550339a50610e67610e608f605060ff1661244e565b6064612489565b9950610e738e8b6124a4565b9d508960055401600581905550610e8e8e600a60ff16612489565b9850610e9b896002612489565b9750610ea789896124a4565b9650610eb38e8a6124a4565b9550610ebe866124bd565b94506801000000000000000087029350600085118015610eea5750600a54610ee886600a54612430565b115b1515610ef557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168d73ffffffffffffffffffffffffffffffffffffffff1614158015610f5e57508a73ffffffffffffffffffffffffffffffffffffffff168d73ffffffffffffffffffffffffffffffffffffffff1614155b8015610fab5750600254600660008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b1561104157610ff9600760008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205489612430565b600760008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061105c565b61104b8789612430565b965068010000000000000000870293505b6000600a5411156110c757611073600a5486612430565b600a81905550600a5468010000000000000000880281151561109157fe5b04600b60008282540192505081905550600a546801000000000000000088028115156110b957fe5b0485028403840393506110cf565b84600a819055505b611118600660008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205486612430565b600660008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508385600b540203925082600860008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508a73ffffffffffffffffffffffffffffffffffffffff167f7f743fb741e07b0c4daeb2af54fb3ebfa2bdb31d9913a0e555661c870411aae58f87604051808381526020018281526020019250505060405180910390a2849b505b505050505050505050505092915050565b600068010000000000000000600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600b5402038115156112b657fe5b049050919050565b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113545780601f1061132957610100808354040283529160200191611354565b820191906000526020600020905b81548152906001019060200180831161133757829003601f168201915b505050505081565b60008060008061137085600a60ff16612489565b925061137c85846124a4565b9150611387826124bd565b9050809350505050919050565b6000600a54905090565b600080600080600a5485111515156113b557600080fd5b6113be8561254a565b92506113ce83600a60ff16612489565b91506113da83836124a4565b9050809350505050919050565b600d60009054906101000a900460ff1681565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561145757600080fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b601281565b6000806000806000803073ffffffffffffffffffffffffffffffffffffffff16316114e2336117d1565b600a546114ee3361121c565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600454955095509550955095509550909192939495565b60008060006115546001611746565b11151561156057600080fd5b33915061156d6000611746565b9050680100000000000000008102600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054810190506000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050151561169057600080fd5b8173ffffffffffffffffffffffffffffffffffffffff167fccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc826040518082815260200191505060405180910390a25050565b6000806000806000600a541415611707576402540be40064174876e80003935061173a565b611718670de0b6b3a764000061254a565b925061172883600a60ff16612489565b915061173483836124a4565b90508093505b50505090565b60025481565b6000803390508261175f5761175a8161121c565b6117aa565b600760008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546117a88261121c565b015b915050919050565b60003073ffffffffffffffffffffffffffffffffffffffff1631905090565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600c6020528060005260406000206000915054906101000a900460ff1681565b600a5468010000000000000000340281151561185257fe5b04600b6000828254019250508190555061186e60045434612430565b600481905550565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615156118d357600080fd5b816002819055505050565b6000806000806000600a541415611903576402540be40064174876e800019350611936565b611914670de0b6b3a764000061254a565b925061192483600a60ff16612489565b91506119308383612430565b90508093505b50505090565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561199957600080fd5b60055482111515156119aa57600080fd5b6119b6600554836124a4565b6005819055503373ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015156119fc57600080fd5b5050565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611a5d57600080fd5b81600c60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505050565b600080339050611ac8816117d1565b91505090565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b645780601f10611b3957610100808354040283529160200191611b64565b820191906000526020600020905b815481529060010190602001808311611b4757829003601f168201915b505050505081565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611bc957600080fd5b6000600d60006101000a81548160ff02191690831515021790555050565b600080600080600080611bf8611ab9565b111515611c0457600080fd5b339350600d60009054906101000a900460ff16158015611c635750600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548611155b1515611c6e57600080fd5b6000611c7a6001611746565b1115611c8957611c88611545565b5b611c9786600a60ff16612489565b9250611ca386846124a4565b9150611cae8361254a565b9050611cbc600a54846124a4565b600a81905550611d0b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054876124a4565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d97600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483612430565b600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555085600b5402600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600b5402600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550611ea0600b54600a54680100000000000000008402811515611e9a57fe5b04612430565b600b819055508673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600194505050505092915050565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611f7657600080fd5b8160019080519060200190611f8c929190612640565b505050565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611fee57600080fd5b8160009080519060200190612004929190612640565b505050565b60055481565b6000806000806000806000612022611ab9565b11151561202e57600080fd5b339550600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054871115151561207f57600080fd5b86945061208b8561254a565b935061209b84600a60ff16612489565b92506120a784846124a4565b91506120b5600a54866124a4565b600a81905550612104600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866124a4565b600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555068010000000000000000820285600b540201905080600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506000600a5411156121de576121d7600b54600a546801000000000000000086028115156121d157fe5b04612430565b600b819055505b8573ffffffffffffffffffffffffffffffffffffffff167fc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a311398684604051808381526020018281526020019250505060405180910390a250505050505050565b600080339150600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000811115612298576122978161200f565b5b6122a0611545565b5050565b60006122b034836108e6565b50919050565b60045481565b6000806000806122cc6001611746565b1115156122d857600080fd5b6122e26000611746565b9250339150680100000000000000008302600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054830192506000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506123d38360006108e6565b90508173ffffffffffffffffffffffffffffffffffffffff167fbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab36153264588483604051808381526020018281526020019250505060405180910390a2505050565b600080828401905083811015151561244457fe5b8091505092915050565b60008060008414156124635760009150612482565b828402905082848281151561247457fe5b0414151561247e57fe5b8091505b5092915050565b600080828481151561249757fe5b0490508091505092915050565b60008282111515156124b257fe5b818303905092915050565b6000806000670de0b6b3a764000064174876e800029150600a546402540be40061253361252d600a54866402540be40060020202026002600a540a60026402540be4000a02670de0b6b3a76400008a02670de0b6b3a76400006402540be40002600202026002890a0101016125f5565b856124a4565b81151561253c57fe5b040390508092505050919050565b600080600080670de0b6b3a764000085019250670de0b6b3a7640000600a54019150670de0b6b3a76400006125de670de0b6b3a764000085036402540be400670de0b6b3a76400008681151561259c57fe5b046402540be4000264174876e8000103026002670de0b6b3a7640000876002890a038115156125c757fe5b046402540be400028115156125d857fe5b046124a4565b8115156125e757fe5b049050809350505050919050565b60008060026001840181151561260757fe5b0490508291505b8181101561263a57809150600281828581151561262757fe5b040181151561263257fe5b04905061260e565b50919050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061268157805160ff19168380011785556126af565b828001600101855582156126af579182015b828111156126ae578251825591602001919060010190612693565b5b5090506126bc91906126c0565b5090565b6126e291905b808211156126de5760008160009055506001016126c6565b5090565b905600a165627a7a723058205d96d8bb22c0efdc4622938ff7eebb10d3e13152b37d2095801cc1e3f978f4480029

0x6060604052600436106101a0576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806265318b146101ae57806306fdde03146101fb57806310d0ffdd1461028957806318160ddd146102c057806322609373146102e957806327defa1f14610320578063295c25d51461034d578063313ce567146103865780633bc5de30146103b55780633ccfd60b146104015780634b7503341461041657806356d399e81461043f578063688abbf7146104685780636b2f4632146104a157806370a08231146104ca57806376be1585146105175780637d573144146105685780638328b610146105725780638620410b14610595578063868d1136146105be57806387c95058146105e1578063949e8acd1461062557806395d89b411461064e578063a8e04f34146106dc578063a9059cbb146106f1578063b84c82461461074b578063c47f0027146107a8578063cfbf09b914610805578063e4849b321461082e578063e9fad8ee14610851578063f088d54714610866578063f9929434146108a8578063fdb5a03e146108d1575b6101ab3460006108e6565b50005b34156101b957600080fd5b6101e5600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190505061121c565b6040518082815260200191505060405180910390f35b341561020657600080fd5b61020e6112be565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561024e578082015181840152602081019050610233565b50505050905090810190601f16801561027b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561029457600080fd5b6102aa600480803590602001909190505061135c565b6040518082815260200191505060405180910390f35b34156102cb57600080fd5b6102d3611394565b6040518082815260200191505060405180910390f35b34156102f457600080fd5b61030a600480803590602001909190505061139e565b6040518082815260200191505060405180910390f35b341561032b57600080fd5b6103336113e7565b604051808215151515815260200191505060405180910390f35b341561035857600080fd5b610384600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506113fa565b005b341561039157600080fd5b6103996114b3565b604051808260ff1660ff16815260200191505060405180910390f35b34156103c057600080fd5b6103c86114b8565b60405180878152602001868152602001858152602001848152602001838152602001828152602001965050505050505060405180910390f35b341561040c57600080fd5b610414611545565b005b341561042157600080fd5b6104296116e2565b6040518082815260200191505060405180910390f35b341561044a57600080fd5b610452611740565b6040518082815260200191505060405180910390f35b341561047357600080fd5b61048b60048080351515906020019091905050611746565b6040518082815260200191505060405180910390f35b34156104ac57600080fd5b6104b46117b2565b6040518082815260200191505060405180910390f35b34156104d557600080fd5b610501600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506117d1565b6040518082815260200191505060405180910390f35b341561052257600080fd5b61054e600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190505061181a565b604051808215151515815260200191505060405180910390f35b61057061183a565b005b341561057d57600080fd5b6105936004808035906020019091905050611876565b005b34156105a057600080fd5b6105a86118de565b6040518082815260200191505060405180910390f35b34156105c957600080fd5b6105df600480803590602001909190505061193c565b005b34156105ec57600080fd5b610623600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080351515906020019091905050611a00565b005b341561063057600080fd5b610638611ab9565b6040518082815260200191505060405180910390f35b341561065957600080fd5b610661611ace565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106a1578082015181840152602081019050610686565b50505050905090810190601f1680156106ce5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156106e757600080fd5b6106ef611b6c565b005b34156106fc57600080fd5b610731600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050611be7565b604051808215151515815260200191505060405180910390f35b341561075657600080fd5b6107a6600480803590602001908201803590602001908080601f01602080910402602001604051908101604052809392919081815260200183838082843782019150505050505091905050611f19565b005b34156107b357600080fd5b610803600480803590602001908201803590602001908080601f01602080910402602001604051908101604052809392919081815260200183838082843782019150505050505091905050611f91565b005b341561081057600080fd5b610818612009565b6040518082815260200191505060405180910390f35b341561083957600080fd5b61084f600480803590602001909190505061200f565b005b341561085c57600080fd5b61086461223d565b005b610892600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506122a4565b6040518082815260200191505060405180910390f35b34156108b357600080fd5b6108bb6122b6565b6040518082815260200191505060405180910390f35b34156108dc57600080fd5b6108e46122bc565b005b6000806000806000806000806000808b6000339050600d60009054906101000a900460ff16801561092957506801158e460913d00000826109256117b2565b0311155b15610e315760011515600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151480156109d75750670de0b6b3a764000082600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540111155b15156109e257600080fd5b610a2b600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483612430565b600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550339a50610a89610a828f605060ff1661244e565b6064612489565b9950610a958e8b6124a4565b9d508960055401600581905550610ab08e600a60ff16612489565b9850610abd896002612489565b9750610ac989896124a4565b9650610ad58e8a6124a4565b9550610ae0866124bd565b94506801000000000000000087029350600085118015610b0c5750600a54610b0a86600a54612430565b115b1515610b1757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168d73ffffffffffffffffffffffffffffffffffffffff1614158015610b8057508a73ffffffffffffffffffffffffffffffffffffffff168d73ffffffffffffffffffffffffffffffffffffffff1614155b8015610bcd5750600254600660008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b15610c6357610c1b600760008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205489612430565b600760008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c7e565b610c6d8789612430565b965068010000000000000000870293505b6000600a541115610ce957610c95600a5486612430565b600a81905550600a54680100000000000000008802811515610cb357fe5b04600b60008282540192505081905550600a54680100000000000000008802811515610cdb57fe5b048502840384039350610cf1565b84600a819055505b610d3a600660008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205486612430565b600660008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508385600b540203925082600860008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508a73ffffffffffffffffffffffffffffffffffffffff167f7f743fb741e07b0c4daeb2af54fb3ebfa2bdb31d9913a0e555661c870411aae58f87604051808381526020018281526020019250505060405180910390a2849b5061120b565b6000600d60006101000a81548160ff021916908315150217905550339a50610e67610e608f605060ff1661244e565b6064612489565b9950610e738e8b6124a4565b9d508960055401600581905550610e8e8e600a60ff16612489565b9850610e9b896002612489565b9750610ea789896124a4565b9650610eb38e8a6124a4565b9550610ebe866124bd565b94506801000000000000000087029350600085118015610eea5750600a54610ee886600a54612430565b115b1515610ef557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168d73ffffffffffffffffffffffffffffffffffffffff1614158015610f5e57508a73ffffffffffffffffffffffffffffffffffffffff168d73ffffffffffffffffffffffffffffffffffffffff1614155b8015610fab5750600254600660008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b1561104157610ff9600760008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205489612430565b600760008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061105c565b61104b8789612430565b965068010000000000000000870293505b6000600a5411156110c757611073600a5486612430565b600a81905550600a5468010000000000000000880281151561109157fe5b04600b60008282540192505081905550600a546801000000000000000088028115156110b957fe5b0485028403840393506110cf565b84600a819055505b611118600660008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205486612430565b600660008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508385600b540203925082600860008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508a73ffffffffffffffffffffffffffffffffffffffff167f7f743fb741e07b0c4daeb2af54fb3ebfa2bdb31d9913a0e555661c870411aae58f87604051808381526020018281526020019250505060405180910390a2849b505b505050505050505050505092915050565b600068010000000000000000600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600b5402038115156112b657fe5b049050919050565b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113545780601f1061132957610100808354040283529160200191611354565b820191906000526020600020905b81548152906001019060200180831161133757829003601f168201915b505050505081565b60008060008061137085600a60ff16612489565b925061137c85846124a4565b9150611387826124bd565b9050809350505050919050565b6000600a54905090565b600080600080600a5485111515156113b557600080fd5b6113be8561254a565b92506113ce83600a60ff16612489565b91506113da83836124a4565b9050809350505050919050565b600d60009054906101000a900460ff1681565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561145757600080fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b601281565b6000806000806000803073ffffffffffffffffffffffffffffffffffffffff16316114e2336117d1565b600a546114ee3361121c565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600454955095509550955095509550909192939495565b60008060006115546001611746565b11151561156057600080fd5b33915061156d6000611746565b9050680100000000000000008102600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054810190506000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050151561169057600080fd5b8173ffffffffffffffffffffffffffffffffffffffff167fccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc826040518082815260200191505060405180910390a25050565b6000806000806000600a541415611707576402540be40064174876e80003935061173a565b611718670de0b6b3a764000061254a565b925061172883600a60ff16612489565b915061173483836124a4565b90508093505b50505090565b60025481565b6000803390508261175f5761175a8161121c565b6117aa565b600760008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546117a88261121c565b015b915050919050565b60003073ffffffffffffffffffffffffffffffffffffffff1631905090565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600c6020528060005260406000206000915054906101000a900460ff1681565b600a5468010000000000000000340281151561185257fe5b04600b6000828254019250508190555061186e60045434612430565b600481905550565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615156118d357600080fd5b816002819055505050565b6000806000806000600a541415611903576402540be40064174876e800019350611936565b611914670de0b6b3a764000061254a565b925061192483600a60ff16612489565b91506119308383612430565b90508093505b50505090565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561199957600080fd5b60055482111515156119aa57600080fd5b6119b6600554836124a4565b6005819055503373ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015156119fc57600080fd5b5050565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611a5d57600080fd5b81600c60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505050565b600080339050611ac8816117d1565b91505090565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b645780601f10611b3957610100808354040283529160200191611b64565b820191906000526020600020905b815481529060010190602001808311611b4757829003601f168201915b505050505081565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611bc957600080fd5b6000600d60006101000a81548160ff02191690831515021790555050565b600080600080600080611bf8611ab9565b111515611c0457600080fd5b339350600d60009054906101000a900460ff16158015611c635750600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548611155b1515611c6e57600080fd5b6000611c7a6001611746565b1115611c8957611c88611545565b5b611c9786600a60ff16612489565b9250611ca386846124a4565b9150611cae8361254a565b9050611cbc600a54846124a4565b600a81905550611d0b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054876124a4565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d97600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483612430565b600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555085600b5402600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600b5402600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550611ea0600b54600a54680100000000000000008402811515611e9a57fe5b04612430565b600b819055508673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600194505050505092915050565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611f7657600080fd5b8160019080519060200190611f8c929190612640565b505050565b6000339050600c60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611fee57600080fd5b8160009080519060200190612004929190612640565b505050565b60055481565b6000806000806000806000612022611ab9565b11151561202e57600080fd5b339550600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054871115151561207f57600080fd5b86945061208b8561254a565b935061209b84600a60ff16612489565b92506120a784846124a4565b91506120b5600a54866124a4565b600a81905550612104600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866124a4565b600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555068010000000000000000820285600b540201905080600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506000600a5411156121de576121d7600b54600a546801000000000000000086028115156121d157fe5b04612430565b600b819055505b8573ffffffffffffffffffffffffffffffffffffffff167fc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a311398684604051808381526020018281526020019250505060405180910390a250505050505050565b600080339150600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000811115612298576122978161200f565b5b6122a0611545565b5050565b60006122b034836108e6565b50919050565b60045481565b6000806000806122cc6001611746565b1115156122d857600080fd5b6122e26000611746565b9250339150680100000000000000008302600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054830192506000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506123d38360006108e6565b90508173ffffffffffffffffffffffffffffffffffffffff167fbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab36153264588483604051808381526020018281526020019250505060405180910390a2505050565b600080828401905083811015151561244457fe5b8091505092915050565b60008060008414156124635760009150612482565b828402905082848281151561247457fe5b0414151561247e57fe5b8091505b5092915050565b600080828481151561249757fe5b0490508091505092915050565b60008282111515156124b257fe5b818303905092915050565b6000806000670de0b6b3a764000064174876e800029150600a546402540be40061253361252d600a54866402540be40060020202026002600a540a60026402540be4000a02670de0b6b3a76400008a02670de0b6b3a76400006402540be40002600202026002890a0101016125f5565b856124a4565b81151561253c57fe5b040390508092505050919050565b600080600080670de0b6b3a764000085019250670de0b6b3a7640000600a54019150670de0b6b3a76400006125de670de0b6b3a764000085036402540be400670de0b6b3a76400008681151561259c57fe5b046402540be4000264174876e8000103026002670de0b6b3a7640000876002890a038115156125c757fe5b046402540be400028115156125d857fe5b046124a4565b8115156125e757fe5b049050809350505050919050565b60008060026001840181151561260757fe5b0490508291505b8181101561263a57809150600281828581151561262757fe5b040181151561263257fe5b04905061260e565b50919050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061268157805160ff19168380011785556126af565b828001600101855582156126af579182015b828111156126ae578251825591602001919060010190612693565b5b5090506126bc91906126c0565b5090565b6126e291905b808211156126de5760008160009055506001016126c6565b5090565b905600a165627a7a723058205d96d8bb22c0efdc4622938ff7eebb10d3e13152b37d2095801cc1e3f978f4480029

2410:23910:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8335:30;8350:9;8361:3;8335:14;:30::i;:::-;;2410:23910;17365:254;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5271:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5271:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18984:398;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15790:122;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19504:410;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6954:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7354:145;;;;;;;;;;;;;;;;;;;;;;;;;;;;5347:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15350:369;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9642:643;;;;;;;;;;;;;;17701:537;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5827:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16535:310;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15212:128;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17105:169;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6745:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7511:291;;;;;;14485:161;;;;;;;;;;;;;;;;;;;;;;;;;;18321:542;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10295:234;;;;;;;;;;;;;;;;;;;;;;;;;;14210:167;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15991:182;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5311:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5311:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13995:123;;;;;;;;;;;;;;12014:1780;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14896:120;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14715:112;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6127:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10597:1274;;;;;;;;;;;;;;;;;;;;;;;;;;9294:275;;;;;;;;;;;;;;7941:155;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6089:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8457:767;;;;;;;;;;;;;;20082:3664;20232:7;20280:24;20328:23;20562:27;20648:22;20720:18;20801:22;20889:23;20959:12;23447:22;20178:17;3225:24;3252:10;3225:37;;3389:15;;;;;;;;;;;:86;;;;;6072:8;3435:17;3410:22;:20;:22::i;:::-;:42;3409:64;;3389:86;3385:907;;;3611:4;3577:38;;:12;:30;3590:16;3577:30;;;;;;;;;;;;;;;;;;;;;;;;;:38;;;:250;;;;;6013:7;3783:17;3735:27;:45;3763:16;3735:45;;;;;;;;;;;;;;;;:65;3734:93;;3577:250;3491:369;;;;;;;;3987:78;4000:27;:45;4028:16;4000:45;;;;;;;;;;;;;;;;4047:17;3987:12;:78::i;:::-;3939:27;:45;3967:16;3939:45;;;;;;;;;;;;;;;:126;;;;20307:10;20280:37;;20354:60;20367:42;20380:17;5529:2;20367:42;;:12;:42::i;:::-;20410:3;20354:12;:60::i;:::-;20328:86;;20445:48;20458:17;20477:15;20445:12;:48::i;:::-;20425:68;;20536:15;20520:13;;:31;20504:13;:47;;;;20592:45;20605:17;5428:2;20592:45;;:12;:45::i;:::-;20562:75;;20673:36;20686:19;20707:1;20673:12;:36::i;:::-;20648:61;;20741:49;20754:19;20775:14;20741:12;:49::i;:::-;20720:70;;20826:52;20839:17;20858:19;20826:12;:52::i;:::-;20801:77;;20915:33;20933:14;20915:17;:33::i;:::-;20889:59;;5761:5;20974:10;:22;20959:37;;21368:1;21350:15;:19;:82;;;;;21419:12;;21374:42;21387:15;21403:12;;21374;:42::i;:::-;:57;21350:82;21342:91;;;;;;;;21581:42;21566:57;;:11;:57;;;;:136;;;;;21686:16;21671:31;;:11;:31;;;;21566:136;:345;;;;;21893:18;;21857:19;:32;21877:11;21857:32;;;;;;;;;;;;;;;;:54;;21566:345;21504:809;;;22007:59;22020:16;:29;22037:11;22020:29;;;;;;;;;;;;;;;;22051:14;22007:12;:59::i;:::-;21975:16;:29;21992:11;21975:29;;;;;;;;;;;;;;;:91;;;;21504:809;;;22217:40;22230:10;22242:14;22217:12;:40::i;:::-;22204:53;;5761:5;22279:10;:22;22272:29;;21504:809;22402:1;22387:12;;:16;22384:671;;;22487:43;22500:12;;22514:15;22487:12;:43::i;:::-;22472:12;:58;;;;22718:12;;5761:5;22692:10;:22;:39;;;;;;;;22672:15;;:60;;;;;;;;;;;22915:12;;5761:5;22889:10;:22;:39;;;;;;;;22870:15;:59;22864:4;:66;22856:4;:75;22849:82;;22384:671;;;23028:15;23013:12;:30;;;;22384:671;23191:68;23204:19;:37;23224:16;23204:37;;;;;;;;;;;;;;;;23243:15;23191:12;:68::i;:::-;23151:19;:37;23171:16;23151:37;;;;;;;;;;;;;;;:108;;;;23520:4;23501:15;23483;;:33;23482:42;23447:78;;23568:15;23536:10;:28;23547:16;23536:28;;;;;;;;;;;;;;;;:47;;;;;;;;;;;23642:16;23626:69;;;23660:17;23679:15;23626:69;;;;;;;;;;;;;;;;;;;;;;;;23723:15;23716:22;;3385:907;;;4255:5;4237:15;;:23;;;;;;;;;;;;;;;;;;20307:10;20280:37;;20354:60;20367:42;20380:17;5529:2;20367:42;;:12;:42::i;:::-;20410:3;20354:12;:60::i;:::-;20328:86;;20445:48;20458:17;20477:15;20445:12;:48::i;:::-;20425:68;;20536:15;20520:13;;:31;20504:13;:47;;;;20592:45;20605:17;5428:2;20592:45;;:12;:45::i;:::-;20562:75;;20673:36;20686:19;20707:1;20673:12;:36::i;:::-;20648:61;;20741:49;20754:19;20775:14;20741:12;:49::i;:::-;20720:70;;20826:52;20839:17;20858:19;20826:12;:52::i;:::-;20801:77;;20915:33;20933:14;20915:17;:33::i;:::-;20889:59;;5761:5;20974:10;:22;20959:37;;21368:1;21350:15;:19;:82;;;;;21419:12;;21374:42;21387:15;21403:12;;21374;:42::i;:::-;:57;21350:82;21342:91;;;;;;;;21581:42;21566:57;;:11;:57;;;;:136;;;;;21686:16;21671:31;;:11;:31;;;;21566:136;:345;;;;;21893:18;;21857:19;:32;21877:11;21857:32;;;;;;;;;;;;;;;;:54;;21566:345;21504:809;;;22007:59;22020:16;:29;22037:11;22020:29;;;;;;;;;;;;;;;;22051:14;22007:12;:59::i;:::-;21975:16;:29;21992:11;21975:29;;;;;;;;;;;;;;;:91;;;;21504:809;;;22217:40;22230:10;22242:14;22217:12;:40::i;:::-;22204:53;;5761:5;22279:10;:22;22272:29;;21504:809;22402:1;22387:12;;:16;22384:671;;;22487:43;22500:12;;22514:15;22487:12;:43::i;:::-;22472:12;:58;;;;22718:12;;5761:5;22692:10;:22;:39;;;;;;;;22672:15;;:60;;;;;;;;;;;22915:12;;5761:5;22889:10;:22;:39;;;;;;;;22870:15;:59;22864:4;:66;22856:4;:75;22849:82;;22384:671;;;23028:15;23013:12;:30;;;;22384:671;23191:68;23204:19;:37;23224:16;23204:37;;;;;;;;;;;;;;;;23243:15;23191:12;:68::i;:::-;23151:19;:37;23171:16;23151:37;;;;;;;;;;;;;;;:108;;;;23520:4;23501:15;23483;;:33;23482:42;23447:78;;23568:15;23536:10;:28;23547:16;23536:28;;;;;;;;;;;;;;;;:47;;;;;;;;;;;23642:16;23626:69;;;23660:17;23679:15;23626:69;;;;;;;;;;;;;;;;;;;;;;;;23723:15;23716:22;;3385:907;20082:3664;;;;;;;;;;;;;;;:::o;17365:254::-;17459:7;5761:5;17570:10;:28;17581:16;17570:28;;;;;;;;;;;;;;;;17529:19;:37;17549:16;17529:37;;;;;;;;;;;;;;;;17511:15;;:55;17502:96;17491:120;;;;;;;;17484:127;;17365:254;;;:::o;5271:33::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;18984:398::-;19093:7;19118:18;19194:22;19272:23;19139:44;19152:16;5428:2;19139:44;;:12;:44::i;:::-;19118:65;;19219:42;19232:16;19250:10;19219:12;:42::i;:::-;19194:67;;19298:33;19316:14;19298:17;:33::i;:::-;19272:59;;19359:15;19352:22;;18984:398;;;;;;:::o;15790:122::-;15860:7;15892:12;;15885:19;;15790:122;:::o;19504:410::-;19612:7;19686:17;19749:18;19814:22;19662:12;;19645:13;:29;;19637:38;;;;;;;;19706:32;19724:13;19706:17;:32::i;:::-;19686:52;;19770:33;19783:9;5478:2;19770:33;;:12;:33::i;:::-;19749:54;;19839:35;19852:9;19863:10;19839:12;:35::i;:::-;19814:60;;19892:14;19885:21;;19504:410;;;;;;:::o;6954:34::-;;;;;;;;;;;;;:::o;7354:145::-;2866:24;2893:10;2866:37;;2922:14;:32;2937:16;2922:32;;;;;;;;;;;;;;;;;;;;;;;;;2914:41;;;;;;;;7487:4;7459:12;:25;7472:11;7459:25;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;7354:145;;:::o;5347:35::-;5380:2;5347:35;:::o;15350:369::-;15499:7;15508;15517;15526;15535;15544;15584:4;15576:21;;;15599;15609:10;15599:9;:21::i;:::-;15622:12;;15636:23;15648:10;15636:11;:23::i;:::-;15661:16;:28;15678:10;15661:28;;;;;;;;;;;;;;;;15691:19;;15569:142;;;;;;;;;;;;15350:369;;;;;;:::o;9642:643::-;9744:24;9792:18;2791:1;2771:17;2783:4;2771:11;:17::i;:::-;:21;2763:30;;;;;;;;9771:10;9744:37;;9813:18;9825:5;9813:11;:18::i;:::-;9792:39;;5761:5;9967:10;:22;9924:10;:28;9935:16;9924:28;;;;;;;;;;;;;;;;:66;;;;;;;;;;;10052:16;:34;10069:16;10052:34;;;;;;;;;;;;;;;;10038:48;;;;10134:1;10097:16;:34;10114:16;10097:34;;;;;;;;;;;;;;;:38;;;;10156:16;:25;;:37;10182:10;10156:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10248:16;10237:40;;;10266:10;10237:40;;;;;;;;;;;;;;;;;;9642:643;;:::o;17701:537::-;17772:7;17996:17;18054:18;18123:22;17896:1;17880:12;;:17;17877:354;;;5700:16;5627:15;17920:43;17913:50;;;;17877:354;18016:23;18034:4;18016:17;:23::i;:::-;17996:43;;18075:33;18088:9;5478:2;18075:33;;:12;:33::i;:::-;18054:54;;18148:35;18161:9;18172:10;18148:12;:35::i;:::-;18123:60;;18205:14;18198:21;;17701:537;;;;;:::o;5827:42::-;;;;:::o;16535:310::-;16634:7;16659:24;16686:10;16659:37;;16714:21;:122;;16807:29;16819:16;16807:11;:29::i;:::-;16714:122;;;16770:16;:34;16787:16;16770:34;;;;;;;;;;;;;;;;16738:29;16750:16;16738:11;:29::i;:::-;:66;16714:122;16707:129;;16535:310;;;;:::o;15212:128::-;15291:4;15320;:12;;;15313:19;;15212:128;:::o;17105:169::-;17197:7;17229:19;:37;17249:16;17229:37;;;;;;;;;;;;;;;;17222:44;;17105:169;;;:::o;6745:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;7511:291::-;7703:12;;5761:5;7678:9;:21;:38;;;;;;;;7658:15;;:59;;;;;;;;;;;7750:44;7763:19;;7784:9;7750:12;:44::i;:::-;7728:19;:66;;;;7511:291::o;14485:161::-;2866:24;2893:10;2866:37;;2922:14;:32;2937:16;2922:32;;;;;;;;;;;;;;;;;;;;;;;;;2914:41;;;;;;;;14623:15;14602:18;:36;;;;14485:161;;:::o;18321:542::-;18391:7;18615:17;18673:18;18748:22;18515:1;18499:12;;:17;18496:360;;;5700:16;5627:15;18539:43;18532:50;;;;18496:360;18635:23;18653:4;18635:17;:23::i;:::-;18615:43;;18694:39;18707:9;5428:2;18694:39;;:12;:39::i;:::-;18673:60;;18773:35;18786:9;18797:10;18773:12;:35::i;:::-;18748:60;;18830:14;18823:21;;18321:542;;;;;:::o;10295:234::-;2866:24;2893:10;2866:37;;2922:14;:32;2937:16;2922:32;;;;;;;;;;;;;;;;;;;;;;;;;2914:41;;;;;;;;10412:13;;10405:3;:20;;10397:29;;;;;;;;10453:31;10466:13;;10480:3;10453:12;:31::i;:::-;10437:13;:47;;;;10495:10;:19;;:24;10515:3;10495:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10295:234;;:::o;14210:167::-;2866:24;2893:10;2866:37;;2922:14;:32;2937:16;2922:32;;;;;;;;;;;;;;;;;;;;;;;;;2914:41;;;;;;;;14362:7;14332:14;:27;14347:11;14332:27;;;;;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;14210:167;;;:::o;15991:182::-;16058:7;16083:24;16110:10;16083:37;;16138:27;16148:16;16138:9;:27::i;:::-;16131:34;;15991:182;;:::o;5311:29::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13995:123::-;2866:24;2893:10;2866:37;;2922:14;:32;2937:16;2922:32;;;;;;;;;;;;;;;;;;;;;;;;;2914:41;;;;;;;;14105:5;14087:15;;:23;;;;;;;;;;;;;;;;;;13995:123;:::o;12014:1780::-;12138:4;12178:24;12720:17;12790:20;12864:18;2652:1;2639:10;:8;:10::i;:::-;:14;2631:23;;;;;;;;12205:10;12178:37;;12407:15;;;;;;;;;;;12406:16;:76;;;;;12445:19;:37;12465:16;12445:37;;;;;;;;;;;;;;;;12426:15;:56;;12406:76;12398:85;;;;;;;;12580:1;12560:17;12572:4;12560:11;:17::i;:::-;:21;12557:36;;;12583:10;:8;:10::i;:::-;12557:36;12740:39;12753:15;5478:2;12740:39;;:12;:39::i;:::-;12720:59;;12813:40;12826:15;12843:9;12813:12;:40::i;:::-;12790:63;;12885:28;12903:9;12885:17;:28::i;:::-;12864:49;;12975:37;12988:12;;13002:9;12975:12;:37::i;:::-;12960:12;:52;;;;13093:68;13106:19;:37;13126:16;13106:37;;;;;;;;;;;;;;;;13145:15;13093:12;:68::i;:::-;13053:19;:37;13073:16;13053:37;;;;;;;;;;;;;;;:108;;;;13206:59;13219:19;:31;13239:10;13219:31;;;;;;;;;;;;;;;;13252:12;13206;:59::i;:::-;13172:19;:31;13192:10;13172:31;;;;;;;;;;;;;;;:93;;;;13383:15;13365;;:33;13323:10;:28;13334:16;13323:28;;;;;;;;;;;;;;;;:76;;;;;;;;;;;13464:12;13446:15;;:30;13410:10;:22;13421:10;13410:22;;;;;;;;;;;;;;;;:67;;;;;;;;;;;13561:70;13574:15;;13618:12;;5761:5;13592:10;:22;13591:39;;;;;;;;13561:12;:70::i;:::-;13543:15;:88;;;;13702:10;13675:52;;13684:16;13675:52;;;13714:12;13675:52;;;;;;;;;;;;;;;;;;13773:4;13766:11;;12014:1780;;;;;;;;:::o;14896:120::-;2866:24;2893:10;2866:37;;2922:14;:32;2937:16;2922:32;;;;;;;;;;;;;;;;;;;;;;;;;2914:41;;;;;;;;15001:7;14992:6;:16;;;;;;;;;;;;:::i;:::-;;14896:120;;:::o;14715:112::-;2866:24;2893:10;2866:37;;2922:14;:32;2937:16;2922:32;;;;;;;;;;;;;;;;;;;;;;;;;2914:41;;;;;;;;14814:5;14807:4;:12;;;;;;;;;;;;:::i;:::-;;14715:112;;:::o;6127:25::-;;;;:::o;10597:1274::-;10719:24;10852:15;10896:17;10953:18;11018:22;11351;2652:1;2639:10;:8;:10::i;:::-;:14;2631:23;;;;;;;;10746:10;10719:37;;10803:19;:37;10823:16;10803:37;;;;;;;;;;;;;;;;10784:15;:56;;10776:65;;;;;;;;10870:15;10852:33;;10916:26;10934:7;10916:17;:26::i;:::-;10896:46;;10974:33;10987:9;5478:2;10974:33;;:12;:33::i;:::-;10953:54;;11043:35;11056:9;11067:10;11043:12;:35::i;:::-;11018:60;;11147:35;11160:12;;11174:7;11147:12;:35::i;:::-;11132:12;:50;;;;11233:60;11246:19;:37;11266:16;11246:37;;;;;;;;;;;;;;;;11285:7;11233:12;:60::i;:::-;11193:19;:37;11213:16;11193:37;;;;;;;;;;;;;;;:100;;;;5761:5;11415:14;:26;11404:7;11386:15;;:25;:56;11351:92;;11486:15;11454:10;:28;11465:16;11454:28;;;;;;;;;;;;;;;;:47;;;;;;;;;;;11591:1;11576:12;;:16;11572:194;;;11684:70;11697:15;;11741:12;;5761:5;11715:10;:22;11714:39;;;;;;;;11684:12;:70::i;:::-;11666:15;:88;;;;11572:194;11821:16;11809:54;;;11839:7;11848:14;11809:54;;;;;;;;;;;;;;;;;;;;;;;;10597:1274;;;;;;;:::o;9294:275::-;9397:24;9445:15;9424:10;9397:37;;9463:19;:37;9483:16;9463:37;;;;;;;;;;;;;;;;9445:55;;9524:1;9514:7;:11;9511:29;;;9527:13;9532:7;9527:4;:13::i;:::-;9511:29;9551:10;:8;:10::i;:::-;9294:275;;:::o;7941:155::-;8025:7;8050:38;8065:9;8076:11;8050:14;:38::i;:::-;;7941:155;;;:::o;6089:31::-;;;;:::o;8457:767::-;8564:18;8709:24;9070:15;2791:1;2771:17;2783:4;2771:11;:17::i;:::-;:21;2763:30;;;;;;;;8585:18;8597:5;8585:11;:18::i;:::-;8564:39;;8736:10;8709:37;;5761:5;8800:10;:22;8757:10;:28;8768:16;8757:28;;;;;;;;;;;;;;;;:66;;;;;;;;;;;8890:16;:34;8907:16;8890:34;;;;;;;;;;;;;;;;8876:48;;;;8972:1;8935:16;:34;8952:16;8935:34;;;;;;;;;;;;;;;:38;;;;9088:31;9103:10;9115:3;9088:14;:31::i;:::-;9070:49;;9178:16;9163:53;;;9196:10;9208:7;9163:53;;;;;;;;;;;;;;;;;;;;;;;;8457:767;;;:::o;27432:147::-;27490:7;27510:9;27526:1;27522;:5;27510:17;;27550:1;27545;:6;;27538:14;;;;;;27570:1;27563:8;;27432:147;;;;;:::o;26517:208::-;26575:7;26652:9;26604:1;26599;:6;26595:47;;;26629:1;26622:8;;;;26595:47;26668:1;26664;:5;26652:17;;26696:1;26691;26687;:5;;;;;;;;:10;26680:18;;;;;;26716:1;26709:8;;26517:208;;;;;;:::o;26820:288::-;26878:7;26977:9;26993:1;26989;:5;;;;;;;;26977:17;;27099:1;27092:8;;26820:288;;;;;:::o;27234:123::-;27292:7;27324:1;27319;:6;;27312:14;;;;;;27348:1;27344;:5;27337:12;;27234:123;;;;:::o;24042:976::-;24137:7;24162:26;24227:23;24212:4;5627:15;24191:25;24162:54;;24950:12;;5700:16;24342:555;24378:457;24795:12;;24776:18;5700:16;24749:1;:26;:45;:58;24684:1;24670:12;;:15;24666:1;5700:16;24640:27;24639:47;24571:4;24559:9;:16;24552:4;5700:16;24527:29;24524:1;:33;:52;24460:1;24440:18;:21;24439:138;:248;:369;24378:4;:457::i;:::-;24860:18;24342:12;:555::i;:::-;24279:658;;;;;;;;24264:699;24227:736;;24995:15;24988:22;;24042:976;;;;;:::o;25285:722::-;25378:7;25405:15;25450:20;25505:22;25434:4;25424:7;:14;25405:34;;25489:4;25474:12;;:19;25450:44;;25962:4;25594:357;25857:4;25847:7;:14;5700:16;25766:4;25753:12;:17;;;;;;;;5700:16;25727:44;5627:15;25706:66;25675:147;25648:214;25935:1;25928:4;25919:7;25917:1;25908:7;:10;:18;25907:25;;;;;;;;5700:16;25883:50;25882:54;;;;;;;;25594:12;:357::i;:::-;:372;;;;;;;;25505:462;;25985:14;25978:21;;25285:722;;;;;;:::o;26119:198::-;26164:6;26183;26202:1;26197;26193;:5;26192:11;;;;;;;;26183:20;;26218:1;26214:5;;26230:80;26241:1;26237;:5;26230:80;;;26263:1;26259:5;;26297:1;26292;26288;26284;:5;;;;;;;;:9;26283:15;;;;;;;;26279:19;;26230:80;;;26119:198;;;;:::o;2410:23910::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://5d96d8bb22c0efdc4622938ff7eebb10d3e13152b37d2095801cc1e3f978f448