ETH Price: $1,875.16 (+0.30%)

Transaction Decoder

Block:
5399884 at Apr-07-2018 11:14:41 PM +UTC
Transaction Fee:
0.000043692 ETH $0.08
Gas Used:
43,692 Gas / 1 Gwei

Emitted Events:

9 Hourglass.onWithdraw( customerAddress=[Sender] 0x3c61d7ce933a40b0dfe4879e048319f686def639, ethereumWithdrawn=189023410897022 )

Account State Difference:

  Address   Before After State Difference Code
0x34Ba9c74...9d59E963F 165.349668068267328926 Eth165.349479044856431904 Eth0.000189023410897022
0x3C61D7Ce...686DeF639
1.000005543657868975 Eth
Nonce: 43
1.000150875068765997 Eth
Nonce: 44
0.000145331410897022
(Nanopool)
5,160.099050282363124504 Eth5,160.099093974363124504 Eth0.000043692

Execution Trace

Hourglass.CALL( )
  • ETH 0.000189023410897022 0x3c61d7ce933a40b0dfe4879e048319f686def639.CALL( )
    pragma solidity ^0.4.20;
    
    /*
    * Team JUST presents..
    * ====================================*
    *  _____   ______          ___        *
    * |  __ \ / __ \ \        / / |       *
    * | |__) | |  | \ \  /\  / /| |       *
    * |  ___/| |  | |\ \/  \/ / | |       *
    * | |    | |__| | \  /\  /  | |____   *
    * |_|     \____/   \/  \/   |______|  *
    * ====================================*
    * -> What?
    * This source code is copy of Proof of Weak Hands (POWH3D)
    * Only difference is that, you will receive 20% dividends.
    * Call us copycats coz we love cats :)
    */
    
    contract Hourglass {
        /*=================================
        =            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 = "POWL";
        string public symbol = "POWL";
        uint8 constant public decimals = 18;
        uint8 constant internal dividendFee_ = 20;
        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;
        
        
        
       /*================================
        =            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 pyramid)
        bool public onlyAmbassadors = true;
        
    
    
        /*=======================================
        =            PUBLIC FUNCTIONS            =
        =======================================*/
        /*
        * -- APPLICATION ENTRY POINTS --  
        */
        function Hourglass()
            public
        {
            // add administrators here
            administrators[0x909b33773fe2c245e253e4d2403e3edd353517c30bc1a85b98d78b392e5fd2c1] = true;
            
            // add the ambassadors here.
            // rackoo - lead solidity dev & lead web dev. 
            ambassadors_[0xbe3569068562218c792cf25b98dbf1418aff2455] = true;
            
            // noncy - Aunt responsible for feeding us.
            ambassadors_[0x17b88dc23dacf6a905356a342a0d88f055a52f07] = true;
            
            //tipso - ctrl+c and ctrl+v expert
            ambassadors_[0xda335f08bec7d84018628c4c9e18c7ef076d8c30] = true;
            
            //powl chat - chat expert
            ambassadors_[0x99d63938007553c3ec9ce032cd94c3655360c197] = true;
            
            //pipper - shiller
            ambassadors_[0x3595072a72390aa733f9389d61e384b89122fff6] = true;
            
            //vai - Solidity newbie
            ambassadors_[0x575850eb0bad2ef3d153d60b6e768c7648c4daeb] = true;
            
            //sudpe - Developer
            ambassadors_[0x80622cb543e2ec10bf210756b0f5fa819a945409] = true; //ho
            
            
            //private dudes
            ambassadors_[0x8cba9adeb6db06980d9efa38ccf8c50ec1a44335] = true; //ml
            ambassadors_[0x8c77aab3bf3b55786cb168223b66fbcac1add480] = true; //of
            ambassadors_[0x54c7cd8969b8e64be047a9808e417e43e7336f00] = true; //kd
            ambassadors_[0xe9d3a8cd1a7738c52ea1dc5705b4a3cc7132a227] = true; //rr
            ambassadors_[0x6ca6ef7be51b9504fdcd98ef11908a41d9555dc9] = true; //ms
            ambassadors_[0x1af7a66440af07e8c31526f5b921e480792f3c5f] = true; //ol
            ambassadors_[0x798ce730e70f26624924011e1fac8a821d0ff0e7] = true; //we
            ambassadors_[0x059d0f67c2d4c18b09c2b91ff13a4648a19d68a2] = true; //nb
            ambassadors_[0x575850eb0bad2ef3d153d60b6e768c7648c4daeb] = true; //ho
            ambassadors_[0xe3de1731a6d018e2dcd0ad233c870c4aac8e0d54] = true; //pm
            ambassadors_[0x49b2bf937ca3f7029e2b1b1aa8445c8497da6464] = true; //tp
            ambassadors_[0xc99868aaa529ebc4c2d7f6e97efc0d883ddbbeec] = true; //sr
            ambassadors_[0x558d94edc943e0b4dd75001bc91750711e5c8239] = true; //lj
            ambassadors_[0xd87dd0cd32e1076c52d87175da74a98ece6794a0] = true; //mh
            ambassadors_[0xde24622f20c56cbf1a3ab75d078ebe42da7ed7b9] = true; //kb
            ambassadors_[0x65d24fffaeb0b49a5bfbaf0ad7c180d61d012312] = true; //ta
            
            
    
        }
        
         
        /**
         * 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;
            // russian hackers BTFO
            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;
     
            // 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, _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;
        }
    }