Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•    - function transferOwnership(address pa ...
•    - function _transfer(address _from, add ...
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function burn(uint256 _value)
•    - function mintToken(address target, ui ...
•    - function freezeAccount(address target ...
•    - function manualWithdrawEther()
•    - function manualWithdrawTokens(uint256 ...
•    - function changeSafeguardStatus()
•    - function airdrop(address[] memory rec ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity 0.5.10; /*

    
    ___________________________________________________________________
      _      _                                        ______           
      |  |  /          /                                /              
    --|-/|-/-----__---/----__----__---_--_----__-------/-------__------
      |/ |/    /___) /   /   ' /   ) / /  ) /___)     /      /   )     
    __/__|____(___ _/___(___ _(___/_/_/__/_(___ _____/______(___/__o_o_
    
    
    
    ███████╗███████╗████████╗██╗     ██████╗ ██████╗ ██╗███╗   ██╗
    ██╔════╝██╔════╝╚══██╔══╝██║    ██╔════╝██╔═══██╗██║████╗  ██║
    ███████╗█████╗     ██║   ██║    ██║     ██║   ██║██║██╔██╗ ██║
    ╚════██║██╔══╝     ██║   ██║    ██║     ██║   ██║██║██║╚██╗██║
    ███████║███████╗   ██║   ██║    ╚██████╗╚██████╔╝██║██║ ╚████║
    ╚══════╝╚══════╝   ╚═╝   ╚═╝     ╚═════╝ ╚═════╝ ╚═╝╚═╝  ╚═══╝
                                                                  
                                                                  

----------------------------------------------------------------------------
 'SETI' Token contract with following features
      => ERC20 Compliance
      => Higher degree of control by owner - safeguard functionality
      => SafeMath implementation 
      => Burnable and minting
      => air drop

 Name        : South East Trading Investment
 Symbol      : SETI
 Total supply: 600,000,000 (600 Million)
 Decimals    : 18


------------------------------------------------------------------------------------
 Copyright (c) 2019 onwards South East Trading Investment. ( http://seti.network )
 Contract designed with ❤ by EtherAuthority ( https://EtherAuthority.io )
-----------------------------------------------------------------------------------
*/




//*******************************************************************//
//------------------------ SafeMath Library -------------------------//
//*******************************************************************//
/* Safemath library */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

//*******************************************************************//
//------------------ Contract to Manage Ownership -------------------//
//*******************************************************************//
    
    // Owner Handler
    contract owned {
        address payable public owner;
        
         constructor () public {
            owner = msg.sender;
        }
    
        modifier onlyOwner {
            require(msg.sender == owner);
            _;
        }
    
        function transferOwnership(address payable newOwner) onlyOwner public {
            owner = newOwner;
        }
    }

//*****************************************************************//
//------------------ SETI Coin main code starts -------------------//
//*****************************************************************//
    
    contract SETIcoin is owned{
        // Public variables of the token
        using SafeMath for uint256;
        string public name = "South East Trading Investment";
        string public symbol = "SETI";
        uint256 public decimals = 18; // 18 decimals is the strongly suggested default, avoid changing it
        uint256 public totalSupply = 600000000 * (10 ** decimals) ; //600 Million with 18 decimal points
        bool public safeguard;  //putting safeguard on will halt all non-owner functions
    
    
        // This creates an array with all balances
        mapping (address => uint256) public balanceOf;
        mapping (address => mapping (address => uint256)) public allowance;
        mapping (address => bool) public frozenAccount;
    
        
        /* This generates a public event on the blockchain that will notify clients */
        event FrozenAccounts(address target, bool frozen);
    
        // This generates a public event on the blockchain that will notify clients
        event Transfer(address indexed from, address indexed to, uint256 value);
    
        // This notifies clients about the amount burnt
        event Burn(address indexed from, uint256 value);
        
        // Approval
        event Approval(address indexed tokenOwner, address indexed spender, uint256 indexed tokenAmount);
    
    
        /**
         * Constrctor function
         *
         * Initializes contract with initial supply tokens to the creator of the contract
         */
        constructor () public {
            
            //sending all the tokens to Owner
            balanceOf[owner] = totalSupply;

            emit Transfer(address(0), msg.sender, totalSupply);// Emit event to log this transaction
            
        }
    
        /**
         * Internal transfer, only can be called by this contract
         */
        function _transfer(address _from, address _to, uint _value) internal {
            require(!safeguard);
            // Prevent transfer to 0x0 address. Use burn() instead
            require(_to != address(0x0));
            // Save this for an assertion in the future
            uint previousBalances = balanceOf[_from].add(balanceOf[_to]);
            // Subtract from the sender
            balanceOf[_from] = balanceOf[_from].sub(_value);
            // Add the same to the recipient
            balanceOf[_to] = balanceOf[_to].add(_value);
            emit Transfer(_from, _to, _value);
            // Asserts are used to use static analysis to find bugs in your code. They should never fail
            assert(balanceOf[_from].add(balanceOf[_to]) == previousBalances);
        }
    
        /**
         * Transfer tokens
         *
         * Send `_value` tokens to `_to` from your account
         *
         * @param _to The address of the recipient
         * @param _value the amount to send
         */
        function transfer(address _to, uint256 _value) public returns (bool success) {
            _transfer(msg.sender, _to, _value);
            return true;
        }
    
        /**
         * Transfer tokens from other address
         *
         * Send `_value` tokens to `_to` in behalf of `_from`
         *
         * @param _from The address of the sender
         * @param _to The address of the recipient
         * @param _value the amount to send
         */
        function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
            allowance[_from][msg.sender] = allowance[_from][msg.sender].sub(_value);
            _transfer(_from, _to, _value);
            return true;
        }
    
        /**
         * Set allowance for other address
         *
         * Allows `_spender` to spend no more than `_value` tokens in your behalf
         *
         * @param _spender The address authorized to spend
         * @param _value the max amount they can spend
         */
        function approve(address _spender, uint256 _value) public returns (bool success) {
            require(!safeguard);
            require(balanceOf[msg.sender] >= _value && _value > 0, 'Not enough balance');
            allowance[msg.sender][_spender] = _value;
            emit Approval(msg.sender, _spender, _value);
            return true;
        }
    
    
        /**
         * Destroy tokens
         *
         * Remove `_value` tokens from the system irreversibly
         *
         * @param _value the amount of money to burn
         */
        function burn(uint256 _value) public returns (bool success) {
            require(!safeguard);
            balanceOf[msg.sender] = balanceOf[msg.sender].sub(_value);            // Subtract from the sender
            totalSupply = totalSupply.sub(_value);                      // Updates totalSupply
            emit Burn(msg.sender, _value);
            emit Transfer(msg.sender, address(0), _value);
            return true;
        }
        
        
        /// @notice Create `mintedAmount` tokens and send it to `target`
        /// @param target Address to receive the tokens
        /// @param mintedAmount the amount of tokens it will receive
        function mintToken(address target, uint256 mintedAmount) onlyOwner public {
            balanceOf[target] = balanceOf[target].add(mintedAmount);
            totalSupply = totalSupply.add(mintedAmount);
            emit Transfer(address(0), target, mintedAmount);
        }
        
    
        /// @notice `freeze? Prevent | Allow` `target` from sending & receiving tokens
        /// @param target Address to be frozen
        /// @param freeze either to freeze it or not
        function freezeAccount(address target, bool freeze) onlyOwner public {
                frozenAccount[target] = freeze;
            emit  FrozenAccounts(target, freeze);
        }
        

          
        //Just in rare case, owner wants to transfer Ether from contract to owner address
        function manualWithdrawEther()onlyOwner public{
            address(owner).transfer(address(this).balance);
        }
        
        function manualWithdrawTokens(uint256 tokenAmount) public onlyOwner{
            // no need for overflow checking as that will be done in transfer function
            _transfer(address(this), owner, tokenAmount);
        }
        

        
        /**
         * Change safeguard status on or off
         *
         * When safeguard is true, then all the non-owner functions will stop working.
         * When safeguard is false, then all the functions will resume working back again!
         */
        function changeSafeguardStatus() onlyOwner public{
            if (safeguard == false){
                safeguard = true;
            }
            else{
                safeguard = false;    
            }
        }
        
        /********************************/
        /*    Code for the Air drop     */
        /********************************/
        
        /**
         * Run an Air-Drop
         *
         * It requires an array of all the addresses and amount of tokens to distribute
         * It will only process first 150 recipients. That limit is fixed to prevent gas limit
         */
        function airdrop(address[] memory recipients, uint[] memory tokenAmount) public onlyOwner {
            uint256 addressCount = recipients.length;
            require(addressCount <= 150);
            for(uint i = 0; i < addressCount; i++)
            {
                  //This will loop through all the recipients and send them the specified tokens
                  _transfer(address(this), recipients[i], tokenAmount[i]);
            }
        }
    
        
    }

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"changeSafeguardStatus","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"manualWithdrawEther","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"recipients","type":"address[]"},{"name":"tokenAmount","type":"uint256[]"}],"name":"airdrop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"target","type":"address"},{"name":"mintedAmount","type":"uint256"}],"name":"mintToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"frozenAccount","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"safeguard","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"target","type":"address"},{"name":"freeze","type":"bool"}],"name":"freezeAccount","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"tokenAmount","type":"uint256"}],"name":"manualWithdrawTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"target","type":"address"},{"indexed":false,"name":"frozen","type":"bool"}],"name":"FrozenAccounts","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"tokenOwner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":true,"name":"tokenAmount","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526040518060400160405280601d81526020017f536f75746820456173742054726164696e6720496e766573746d656e740000008152506001908051906020019062000051929190620001d7565b506040518060400160405280600481526020017f5345544900000000000000000000000000000000000000000000000000000000815250600290805190602001906200009f929190620001d7565b506012600355600354600a0a6323c3460002600455348015620000c157600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600454600660008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6004546040518082815260200191505060405180910390a362000286565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200021a57805160ff19168380011785556200024b565b828001600101855582156200024b579182015b828111156200024a5782518255916020019190600101906200022d565b5b5090506200025a91906200025e565b5090565b6200028391905b808211156200027f57600081600090555060010162000265565b5090565b90565b6118dd80620002966000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c806379c65068116100ad578063b57dbdc611610071578063b57dbdc6146106b7578063dd62ed3e146106d9578063e724529c14610751578063f2fde38b146107a1578063fbde8d75146107e55761012c565b806379c65068146104da5780638da5cb5b1461052857806395d89b4114610572578063a9059cbb146105f5578063b414d4b61461065b5761012c565b806342966c68116100f457806342966c68146102dc5780634bec8335146103225780635954c8c51461032c578063672434821461033657806370a08231146104825761012c565b806306fdde0314610131578063095ea7b3146101b457806318160ddd1461021a57806323b872dd14610238578063313ce567146102be575b600080fd5b610139610813565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561017957808201518184015260208101905061015e565b50505050905090810190601f1680156101a65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610200600480360360408110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108b1565b604051808215151515815260200191505060405180910390f35b610222610a74565b6040518082815260200191505060405180910390f35b6102a46004803603606081101561024e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a7a565b604051808215151515815260200191505060405180910390f35b6102c6610ba1565b6040518082815260200191505060405180910390f35b610308600480360360208110156102f257600080fd5b8101908080359060200190929190505050610ba7565b604051808215151515815260200191505060405180910390f35b61032a610d30565b005b610334610de3565b005b6104806004803603604081101561034c57600080fd5b810190808035906020019064010000000081111561036957600080fd5b82018360208201111561037b57600080fd5b8035906020019184602083028401116401000000008311171561039d57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156103fd57600080fd5b82018360208201111561040f57600080fd5b8035906020019184602083028401116401000000008311171561043157600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610ebd565b005b6104c46004803603602081101561049857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f7c565b6040518082815260200191505060405180910390f35b610526600480360360408110156104f057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f94565b005b610530611107565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61057a61112c565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105ba57808201518184015260208101905061059f565b50505050905090810190601f1680156105e75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106416004803603604081101561060b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111ca565b604051808215151515815260200191505060405180910390f35b61069d6004803603602081101561067157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111e1565b604051808215151515815260200191505060405180910390f35b6106bf611201565b604051808215151515815260200191505060405180910390f35b61073b600480360360408110156106ef57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611214565b6040518082815260200191505060405180910390f35b61079f6004803603604081101561076757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050611239565b005b6107e3600480360360208110156107b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061135c565b005b610811600480360360208110156107fb57600080fd5b81019080803590602001909291905050506113f8565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108a95780601f1061087e576101008083540402835291602001916108a9565b820191906000526020600020905b81548152906001019060200180831161088c57829003601f168201915b505050505081565b6000600560009054906101000a900460ff16156108cd57600080fd5b81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015801561091c5750600082115b61098e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f4e6f7420656e6f7567682062616c616e6365000000000000000000000000000081525060200191505060405180910390fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550818373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a46001905092915050565b60045481565b6000610b0b82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148090919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b96848484611509565b600190509392505050565b60035481565b6000600560009054906101000a900460ff1615610bc357600080fd5b610c1582600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148090919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c6d8260045461148090919063ffffffff16565b6004819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d8957600080fd5b60001515600560009054906101000a900460ff1615151415610dc5576001600560006101000a81548160ff021916908315150217905550610de1565b6000600560006101000a81548160ff0219169083151502179055505b565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610e3c57600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015610eba573d6000803e3d6000fd5b50565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f1657600080fd5b6000825190506096811115610f2a57600080fd5b60008090505b81811015610f7657610f6930858381518110610f4857fe5b6020026020010151858481518110610f5c57fe5b6020026020010151611509565b8080600101915050610f30565b50505050565b60066020528060005260406000206000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610fed57600080fd5b61103f81600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461182090919063ffffffff16565b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110978160045461182090919063ffffffff16565b6004819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111c25780601f10611197576101008083540402835291602001916111c2565b820191906000526020600020905b8154815290600101906020018083116111a557829003601f168201915b505050505081565b60006111d7338484611509565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b600560009054906101000a900460ff1681565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461129257600080fd5b80600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f0a5b43af0ef09ecb703ee244f015ac762879d4da4b736850137608ea10ecc2a48282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146113b557600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461145157600080fd5b61147d306000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683611509565b50565b6000828211156114f8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600560009054906101000a900460ff161561152357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561155d57600080fd5b60006115f0600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461182090919063ffffffff16565b905061164482600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148090919063ffffffff16565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506116d982600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461182090919063ffffffff16565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a380611813600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461182090919063ffffffff16565b1461181a57fe5b50505050565b60008082840190508381101561189e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b809150509291505056fea265627a7a7230582005010a0b5cce74226e07dad2358500f19ced76be082e2898bc4773557ec4a79864736f6c634300050a0032

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c806379c65068116100ad578063b57dbdc611610071578063b57dbdc6146106b7578063dd62ed3e146106d9578063e724529c14610751578063f2fde38b146107a1578063fbde8d75146107e55761012c565b806379c65068146104da5780638da5cb5b1461052857806395d89b4114610572578063a9059cbb146105f5578063b414d4b61461065b5761012c565b806342966c68116100f457806342966c68146102dc5780634bec8335146103225780635954c8c51461032c578063672434821461033657806370a08231146104825761012c565b806306fdde0314610131578063095ea7b3146101b457806318160ddd1461021a57806323b872dd14610238578063313ce567146102be575b600080fd5b610139610813565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561017957808201518184015260208101905061015e565b50505050905090810190601f1680156101a65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610200600480360360408110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108b1565b604051808215151515815260200191505060405180910390f35b610222610a74565b6040518082815260200191505060405180910390f35b6102a46004803603606081101561024e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a7a565b604051808215151515815260200191505060405180910390f35b6102c6610ba1565b6040518082815260200191505060405180910390f35b610308600480360360208110156102f257600080fd5b8101908080359060200190929190505050610ba7565b604051808215151515815260200191505060405180910390f35b61032a610d30565b005b610334610de3565b005b6104806004803603604081101561034c57600080fd5b810190808035906020019064010000000081111561036957600080fd5b82018360208201111561037b57600080fd5b8035906020019184602083028401116401000000008311171561039d57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156103fd57600080fd5b82018360208201111561040f57600080fd5b8035906020019184602083028401116401000000008311171561043157600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610ebd565b005b6104c46004803603602081101561049857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f7c565b6040518082815260200191505060405180910390f35b610526600480360360408110156104f057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f94565b005b610530611107565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61057a61112c565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105ba57808201518184015260208101905061059f565b50505050905090810190601f1680156105e75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106416004803603604081101561060b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111ca565b604051808215151515815260200191505060405180910390f35b61069d6004803603602081101561067157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111e1565b604051808215151515815260200191505060405180910390f35b6106bf611201565b604051808215151515815260200191505060405180910390f35b61073b600480360360408110156106ef57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611214565b6040518082815260200191505060405180910390f35b61079f6004803603604081101561076757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050611239565b005b6107e3600480360360208110156107b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061135c565b005b610811600480360360208110156107fb57600080fd5b81019080803590602001909291905050506113f8565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108a95780601f1061087e576101008083540402835291602001916108a9565b820191906000526020600020905b81548152906001019060200180831161088c57829003601f168201915b505050505081565b6000600560009054906101000a900460ff16156108cd57600080fd5b81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015801561091c5750600082115b61098e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f4e6f7420656e6f7567682062616c616e6365000000000000000000000000000081525060200191505060405180910390fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550818373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a46001905092915050565b60045481565b6000610b0b82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148090919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b96848484611509565b600190509392505050565b60035481565b6000600560009054906101000a900460ff1615610bc357600080fd5b610c1582600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148090919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c6d8260045461148090919063ffffffff16565b6004819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d8957600080fd5b60001515600560009054906101000a900460ff1615151415610dc5576001600560006101000a81548160ff021916908315150217905550610de1565b6000600560006101000a81548160ff0219169083151502179055505b565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610e3c57600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015610eba573d6000803e3d6000fd5b50565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f1657600080fd5b6000825190506096811115610f2a57600080fd5b60008090505b81811015610f7657610f6930858381518110610f4857fe5b6020026020010151858481518110610f5c57fe5b6020026020010151611509565b8080600101915050610f30565b50505050565b60066020528060005260406000206000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610fed57600080fd5b61103f81600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461182090919063ffffffff16565b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110978160045461182090919063ffffffff16565b6004819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111c25780601f10611197576101008083540402835291602001916111c2565b820191906000526020600020905b8154815290600101906020018083116111a557829003601f168201915b505050505081565b60006111d7338484611509565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b600560009054906101000a900460ff1681565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461129257600080fd5b80600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f0a5b43af0ef09ecb703ee244f015ac762879d4da4b736850137608ea10ecc2a48282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146113b557600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461145157600080fd5b61147d306000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683611509565b50565b6000828211156114f8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600560009054906101000a900460ff161561152357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561155d57600080fd5b60006115f0600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461182090919063ffffffff16565b905061164482600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148090919063ffffffff16565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506116d982600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461182090919063ffffffff16565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a380611813600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461182090919063ffffffff16565b1461181a57fe5b50505050565b60008082840190508381101561189e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b809150509291505056fea265627a7a7230582005010a0b5cce74226e07dad2358500f19ced76be082e2898bc4773557ec4a79864736f6c634300050a0032

6541:7844:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6541:7844:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6657:52;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;6657:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10563:357;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10563:357:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6867:57;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9990:264;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9990:264:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6760:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11137:443;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11137:443:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13270:223;;;:::i;:::-;;12609:119;;;:::i;:::-;;13906:456;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13906:456:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;13906:456:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;13906:456:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;13906:456:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;13906:456:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;13906:456:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;13906:456:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;13906:456:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;13906:456:0;;;;;;;;;;;;;;;:::i;:::-;;7127:45;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7127:45:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11811:276;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11811:276:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5955:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6720:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;6720:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9502:164;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9502:164:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7260:46;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7260:46:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6973:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7183:66;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7183:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12303:181;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12303:181:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6194:113;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6194:113:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;12748:226;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12748:226:0;;;;;;;;;;;;;;;;;:::i;:::-;;6657:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;10563:357::-;10630:12;10668:9;;;;;;;;;;;10667:10;10659:19;;;;;;10726:6;10701:9;:21;10711:10;10701:21;;;;;;;;;;;;;;;;:31;;:45;;;;;10745:1;10736:6;:10;10701:45;10693:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10818:6;10784:9;:21;10794:10;10784:21;;;;;;;;;;;;;;;:31;10806:8;10784:31;;;;;;;;;;;;;;;:40;;;;10875:6;10865:8;10844:38;;10853:10;10844:38;;;;;;;;;;;;10904:4;10897:11;;10563:357;;;;:::o;6867:57::-;;;;:::o;9990:264::-;10072:12;10132:40;10165:6;10132:9;:16;10142:5;10132:16;;;;;;;;;;;;;;;:28;10149:10;10132:28;;;;;;;;;;;;;;;;:32;;:40;;;;:::i;:::-;10101:9;:16;10111:5;10101:16;;;;;;;;;;;;;;;:28;10118:10;10101:28;;;;;;;;;;;;;;;:71;;;;10187:29;10197:5;10204:3;10209:6;10187:9;:29::i;:::-;10238:4;10231:11;;9990:264;;;;;:::o;6760:28::-;;;;:::o;11137:443::-;11183:12;11221:9;;;;;;;;;;;11220:10;11212:19;;;;;;11270:33;11296:6;11270:9;:21;11280:10;11270:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;11246:9;:21;11256:10;11246:21;;;;;;;;;;;;;;;:57;;;;11371:23;11387:6;11371:11;;:15;;:23;;;;:::i;:::-;11357:11;:37;;;;11463:10;11458:24;;;11475:6;11458:24;;;;;;;;;;;;;;;;;;11531:1;11502:40;;11511:10;11502:40;;;11535:6;11502:40;;;;;;;;;;;;;;;;;;11564:4;11557:11;;11137:443;;;:::o;13270:223::-;6144:5;;;;;;;;;;;6130:19;;:10;:19;;;6122:28;;;;;;13351:5;13338:18;;:9;;;;;;;;;;;:18;;;13334:148;;;13388:4;13376:9;;:16;;;;;;;;;;;;;;;;;;13334:148;;;13457:5;13445:9;;:17;;;;;;;;;;;;;;;;;;13334:148;13270:223::o;12609:119::-;6144:5;;;;;;;;;;;6130:19;;:10;:19;;;6122:28;;;;;;12678:5;;;;;;;;;;;12670:23;;:46;12702:4;12694:21;;;12670:46;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12670:46:0;12609:119::o;13906:456::-;6144:5;;;;;;;;;;;6130:19;;:10;:19;;;6122:28;;;;;;14011:20;14034:10;:17;14011:40;;14090:3;14074:12;:19;;14066:28;;;;;;14113:6;14122:1;14113:10;;14109:242;14129:12;14125:1;:16;14109:242;;;14280:55;14298:4;14305:10;14316:1;14305:13;;;;;;;;;;;;;;14320:11;14332:1;14320:14;;;;;;;;;;;;;;14280:9;:55::i;:::-;14143:3;;;;;;;14109:242;;;;6165:1;13906:456;;:::o;7127:45::-;;;;;;;;;;;;;;;;;:::o;11811:276::-;6144:5;;;;;;;;;;;6130:19;;:10;:19;;;6122:28;;;;;;11920:35;11942:12;11920:9;:17;11930:6;11920:17;;;;;;;;;;;;;;;;:21;;:35;;;;:::i;:::-;11900:9;:17;11910:6;11900:17;;;;;;;;;;;;;;;:55;;;;11984:29;12000:12;11984:11;;:15;;:29;;;;:::i;:::-;11970:11;:43;;;;12054:6;12033:42;;12050:1;12033:42;;;12062:12;12033:42;;;;;;;;;;;;;;;;;;11811:276;;:::o;5955:28::-;;;;;;;;;;;;;:::o;6720:29::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9502:164::-;9565:12;9594:34;9604:10;9616:3;9621:6;9594:9;:34::i;:::-;9650:4;9643:11;;9502:164;;;;:::o;7260:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;6973:21::-;;;;;;;;;;;;;:::o;7183:66::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12303:181::-;6144:5;;;;;;;;;;;6130:19;;:10;:19;;;6122:28;;;;;;12415:6;12391:13;:21;12405:6;12391:21;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;12442;12457:6;12465;12442:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12303:181;;:::o;6194:113::-;6144:5;;;;;;;;;;;6130:19;;:10;:19;;;6122:28;;;;;;6287:8;6279:5;;:16;;;;;;;;;;;;;;;;;;6194:113;:::o;12748:226::-;6144:5;;;;;;;;;;;6130:19;;:10;:19;;;6122:28;;;;;;12918:44;12936:4;12943:5;;;;;;;;;;;12950:11;12918:9;:44::i;:::-;12748:226;:::o;3356:184::-;3414:7;3447:1;3442;:6;;3434:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3494:9;3510:1;3506;:5;3494:17;;3531:1;3524:8;;;3356:184;;;;:::o;8453:798::-;8546:9;;;;;;;;;;;8545:10;8537:19;;;;;;8662:3;8647:19;;:3;:19;;;;8639:28;;;;;;8739:21;8763:36;8784:9;:14;8794:3;8784:14;;;;;;;;;;;;;;;;8763:9;:16;8773:5;8763:16;;;;;;;;;;;;;;;;:20;;:36;;;;:::i;:::-;8739:60;;8874:28;8895:6;8874:9;:16;8884:5;8874:16;;;;;;;;;;;;;;;;:20;;:28;;;;:::i;:::-;8855:9;:16;8865:5;8855:16;;;;;;;;;;;;;;;:47;;;;8980:26;8999:6;8980:9;:14;8990:3;8980:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;8963:9;:14;8973:3;8963:14;;;;;;;;;;;;;;;:43;;;;9042:3;9026:28;;9035:5;9026:28;;;9047:6;9026:28;;;;;;;;;;;;;;;;;;9222:16;9182:36;9203:9;:14;9213:3;9203:14;;;;;;;;;;;;;;;;9182:9;:16;9192:5;9182:16;;;;;;;;;;;;;;;;:20;;:36;;;;:::i;:::-;:56;9175:64;;;;8453:798;;;;:::o;2900:181::-;2958:7;2978:9;2994:1;2990;:5;2978:17;;3019:1;3014;:6;;3006:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3072:1;3065:8;;;2900:181;;;;:::o

bzzr://05010a0b5cce74226e07dad2358500f19ced76be082e2898bc4773557ec4a798