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-10-14
*/

/**
 *Submitted for verification at Etherscan.io on 2019-10-13
*/

pragma solidity 0.5.12; /*


___________________________________________________________________
  _      _                                        ______           
  |  |  /          /                                /              
--|-/|-/-----__---/----__----__---_--_----__-------/-------__------
  |/ |/    /___) /   /   ' /   ) / /  ) /___)     /      /   )     
__/__|____(___ _/___(___ _(___/_/_/__/_(___ _____/______(___/__o_o_



███╗   ██╗███████╗██╗  ██╗██╗  ██╗██╗   ██╗███████╗     ██████╗ ██████╗ ██╗███╗   ██╗
████╗  ██║██╔════╝╚██╗██╔╝╚██╗██╔╝██║   ██║██╔════╝    ██╔════╝██╔═══██╗██║████╗  ██║
██╔██╗ ██║█████╗   ╚███╔╝  ╚███╔╝ ██║   ██║███████╗    ██║     ██║   ██║██║██╔██╗ ██║
██║╚██╗██║██╔══╝   ██╔██╗  ██╔██╗ ██║   ██║╚════██║    ██║     ██║   ██║██║██║╚██╗██║
██║ ╚████║███████╗██╔╝ ██╗██╔╝ ██╗╚██████╔╝███████║    ╚██████╗╚██████╔╝██║██║ ╚████║
╚═╝  ╚═══╝╚══════╝╚═╝  ╚═╝╚═╝  ╚═╝ ╚═════╝ ╚══════╝     ╚═════╝ ╚═════╝ ╚═╝╚═╝  ╚═══╝
                                                                                     


=== 'NEXXUS COIN' Token contract with following features ===
    => ERC20 Compliance
    => Higher degree of control by owner - safeguard functionality
    => SafeMath implementation 
    => Burnable and minting 
    => approve and call
    => Increase and decrease allowance
    => air drop (active)


======================= Quick Stats ===================
    => Name        : Nexxus
    => Symbol      : NXR
    => Total supply: 375,000,000 (375 Million)
    => Decimals    : 8


============= Independant Audit of the code ============
    => Multiple Freelancers Auditors
    => Community Audit by Bug Bounty program
    => Scanned code with MythX, Oyente, smartdec tool, chain security tool


-------------------------------------------------------------------
 Copyright (c) 2019 onwards Nexxus Inc. ( https://Nexxuscoin.com )
 Contract designed with ❤ by EtherAuthority ( https://EtherAuthority.io )
-------------------------------------------------------------------
*/ 





//*******************************************************************//
//------------------------ SafeMath Library -------------------------//
//*******************************************************************//
/**
    * @title SafeMath
    * @dev Math operations with safety checks that throw on error
    */
library SafeMath {
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
        return 0;
    }
    uint256 c = a * b;
    require(c / a == b, 'SafeMath mul failed');
    return c;
    }

    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;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b <= a, 'SafeMath sub failed');
    return a - b;
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    require(c >= a, 'SafeMath add failed');
    return c;
    }
}


//*******************************************************************//
//------------------ Contract to Manage Ownership -------------------//
//*******************************************************************//
    
contract owned {
    address payable public owner;
    address payable internal newOwner;

    event OwnershipTransferred(address indexed _from, address indexed _to);

    constructor() public {
        owner = msg.sender;
    }

    modifier onlyOwner {
        require(msg.sender == owner);
        _;
    }

    function transferOwnership(address payable _newOwner) public onlyOwner {
        require(_newOwner != address(0), 'Invalid address');
        newOwner = _newOwner;
    }

    //this flow is to prevent transferring ownership to wrong wallet by mistake
    function acceptOwnership() public {
        require(msg.sender == newOwner);
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
        newOwner = address(0);
    }
}
 

    
//****************************************************************************//
//---------------------        MAIN CODE STARTS HERE     ---------------------//
//****************************************************************************//
    
contract NexxusCoin is owned {
    

    /*===============================
    =         DATA STORAGE          =
    ===============================*/

    // Public variables of the token
    using SafeMath for uint256;
    string constant public name = "Nexxus";
    string constant public symbol = "NXR";
    uint256 constant public decimals = 8;
    uint256 public totalSupply = 375000000 * (10**decimals);   //375 million tokens
	uint256 constant public maxSupply = 375000000 * (10**decimals);   //375 million tokens
    bool public safeguard;  //putting safeguard on will halt all non-owner functions

    // This creates a mapping with all data storage
    mapping (address => uint256) public balanceOf;
    mapping (address => mapping (address => uint256)) public allowance;
    mapping (address => bool) public frozenAccount;


    /*===============================
    =         PUBLIC EVENTS         =
    ===============================*/

    // This generates a public event of token transfer
    event Transfer(address indexed from, address indexed to, uint256 value);

    // This notifies clients about the amount burnt
    event Burn(address indexed from, uint256 value);
        
    // This generates a public event for frozen (blacklisting) accounts
    event FrozenAccounts(address target, bool frozen);
    
    // This will log approval of token Transfer
    event Approval(address indexed from, address indexed spender, uint256 value);


    /*======================================
    =       STANDARD ERC20 FUNCTIONS       =
    ======================================*/

    /* Internal transfer, only can be called by this contract */
    function _transfer(address _from, address _to, uint _value) internal {
        
        //checking conditions
        require(!safeguard, 'Safeguard is placed');
        require(!frozenAccount[_from], 'Frozen Account');                     // Check if sender is frozen
        require(!frozenAccount[_to], 'Frozen Account');                       // Check if recipient is frozen
        require(_to != address(0), 'Invalid address');
        // overflow and undeflow checked by SafeMath Library
        balanceOf[_from] = balanceOf[_from].sub(_value);    // Subtract from the sender
        balanceOf[_to] = balanceOf[_to].add(_value);        // Add the same to the recipient
        
        // emit Transfer event
        emit Transfer(_from, _to, _value);
    }

    /**
        * 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) {
        //no need to check for input validations, as that is ruled by SafeMath
        _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) {
        //checking of allowance and token value is done by SafeMath
        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, 'Safeguard is placed');
        require(balanceOf[msg.sender] >= _value, 'Balance does not have enough tokens');
        allowance[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }


    /*=====================================
    =       CUSTOM PUBLIC FUNCTIONS       =
    ======================================*/
    
    constructor() public{
        //sending all the tokens to Owner
        balanceOf[owner] = totalSupply;
        
        //firing event which logs this transaction
        emit Transfer(address(0), owner, totalSupply);
    }
    
    
    /**
     * Increase allowance of spender
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        require(allowance[msg.sender][spender] > 0 ,"no amount is approved" );
        uint256 newAmount = allowance[msg.sender][spender].add(addedValue);
        approve(spender, newAmount);
        
        return true;
    }
    
    
    /**
     * Decrease allowance of spender
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        require(allowance[msg.sender][spender] >= subtractedValue,"subtractedValue is not correct" );
        uint256 newAmount = allowance[msg.sender][spender].sub(subtractedValue);
        approve(spender, newAmount);
        
        return true;
    }
    
    
    /**
     * Approve and make call to any _spender smart contract.
     */
    function approveAndCall(address _spender, uint256 _value, bytes memory _extraData) public returns (bool success)  {
        approve(_spender, _value);
        (bool result,) = _spender.call(abi.encodeWithSignature("receiveApproval(address,uint256,address,bytes)", msg.sender, _value, address(this), _extraData));
        if(!result){
            return false;
        }
        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, 'Safeguard is placed');
        //checking of enough token balance is done by SafeMath
        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;
    }

    /**
        * Destroy tokens from other account
        *
        * Remove `_value` tokens from the system irreversibly on behalf of `_from`.
        *
        * @param _from the address of the sender
        * @param _value the amount of money to burn
        */
    function burnFrom(address _from, uint256 _value) public returns (bool success) {
        require(!safeguard, 'Safeguard is placed');
        //checking of allowance and token value is done by SafeMath
        balanceOf[_from] = balanceOf[_from].sub(_value);                         // Subtract from the targeted balance
        allowance[_from][msg.sender] = allowance[_from][msg.sender].sub(_value); // Subtract from the sender's allowance
        totalSupply = totalSupply.sub(_value);                                   // Update totalSupply
        emit  Burn(_from, _value);
        emit Transfer(_from, address(0), _value);
        return true;
    }
        
    
    /** 
        * @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);
    }
    
    /** 
        * @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 {
		require(totalSupply.add(mintedAmount) <= maxSupply, 'Cannot Mint more than maximum supply');
        balanceOf[target] = balanceOf[target].add(mintedAmount);
        totalSupply = totalSupply.add(mintedAmount);
        emit Transfer(address(0), target, mintedAmount);
    }

        

    /**
        * Owner can transfer tokens from contract to owner address
        *
        * 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 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;    
        }
    }
    

    /*************************************/
    /*    Section for User 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,uint256[] memory tokenAmount) public  {
        uint256 totalAddresses = recipients.length;
        require(totalAddresses <= 150,"Too many recipients");
        for(uint i = 0; i < totalAddresses; i++)
        {
          //This will loop through all the recipients and send them the specified tokens
          //Input data validation is unncessary, as that is done by SafeMath and which also saves some gas.
          transfer(recipients[i], tokenAmount[i]);
        }
    }
    
 

}

• No Contract Security Audit Submitted- Submit Audit Here

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

60806040526008600a0a63165a0bc00260025534801561001e57600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600254600460008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6002546040518082815260200191505060405180910390a36127378061015e6000396000f3fe608060405234801561001057600080fd5b50600436106101735760003560e01c806379cc6790116100de578063b57dbdc611610097578063dd62ed3e11610071578063dd62ed3e1461096d578063e724529c146109e5578063f2fde38b14610a35578063fbde8d7514610a7957610173565b8063b57dbdc614610830578063cae9ca5114610852578063d5abeb011461094f57610173565b806379cc6790146105d55780638da5cb5b1461063b57806395d89b4114610685578063a457c2d714610708578063a9059cbb1461076e578063b414d4b6146107d457610173565b806342966c681161013057806342966c68146103895780634bec8335146103cf57806367243482146103d957806370a082311461052557806379ba50971461057d57806379c650681461058757610173565b806306fdde0314610178578063095ea7b3146101fb57806318160ddd1461026157806323b872dd1461027f578063313ce567146103055780633950935114610323575b600080fd5b610180610aa7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101c05780820151818401526020810190506101a5565b50505050905090810190601f1680156101ed5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102476004803603604081101561021157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ae0565b604051808215151515815260200191505060405180910390f35b610269610ced565b6040518082815260200191505060405180910390f35b6102eb6004803603606081101561029557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610cf3565b604051808215151515815260200191505060405180910390f35b61030d610e1a565b6040518082815260200191505060405180910390f35b61036f6004803603604081101561033957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e1f565b604051808215151515815260200191505060405180910390f35b6103b56004803603602081101561039f57600080fd5b8101908080359060200190929190505050610fbb565b604051808215151515815260200191505060405180910390f35b6103d76111ad565b005b610523600480360360408110156103ef57600080fd5b810190808035906020019064010000000081111561040c57600080fd5b82018360208201111561041e57600080fd5b8035906020019184602083028401116401000000008311171561044057600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156104a057600080fd5b8201836020820111156104b257600080fd5b803590602001918460208302840111640100000000831117156104d457600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050611260565b005b6105676004803603602081101561053b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061132f565b6040518082815260200191505060405180910390f35b610585611347565b005b6105d36004803603604081101561059d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114e4565b005b610621600480360360408110156105eb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116ce565b604051808215151515815260200191505060405180910390f35b6106436119d0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61068d6119f5565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106cd5780820151818401526020810190506106b2565b50505050905090810190601f1680156106fa5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107546004803603604081101561071e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a2e565b604051808215151515815260200191505060405180910390f35b6107ba6004803603604081101561078457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bcb565b604051808215151515815260200191505060405180910390f35b610816600480360360208110156107ea57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611be2565b604051808215151515815260200191505060405180910390f35b610838611c02565b604051808215151515815260200191505060405180910390f35b6109356004803603606081101561086857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156108af57600080fd5b8201836020820111156108c157600080fd5b803590602001918460018302840111640100000000831117156108e357600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611c15565b604051808215151515815260200191505060405180910390f35b610957611e58565b6040518082815260200191505060405180910390f35b6109cf6004803603604081101561098357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e66565b6040518082815260200191505060405180910390f35b610a33600480360360408110156109fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050611e8b565b005b610a7760048036036020811015610a4b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611fae565b005b610aa560048036036020811015610a8f57600080fd5b81019080803590602001909291905050506120ee565b005b6040518060400160405280600681526020017f4e6578787573000000000000000000000000000000000000000000000000000081525081565b6000600360009054906101000a900460ff1615610b65576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f53616665677561726420697320706c616365640000000000000000000000000081525060200191505060405180910390fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610bfd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806126e06023913960400191505060405180910390fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60025481565b6000610d8482600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e0f8484846121f9565b600190509392505050565b600881565b600080600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411610f12576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f6e6f20616d6f756e7420697320617070726f766564000000000000000000000081525060200191505060405180910390fd5b6000610fa383600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461263390919063ffffffff16565b9050610faf8482610ae0565b50600191505092915050565b6000600360009054906101000a900460ff1615611040576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f53616665677561726420697320706c616365640000000000000000000000000081525060200191505060405180910390fd5b61109282600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110ea8260025461217690919063ffffffff16565b6002819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461120657600080fd5b60001515600360009054906101000a900460ff1615151415611242576001600360006101000a81548160ff02191690831515021790555061125e565b6000600360006101000a81548160ff0219169083151502179055505b565b60008251905060968111156112dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f546f6f206d616e7920726563697069656e74730000000000000000000000000081525060200191505060405180910390fd5b60008090505b818110156113295761131b8482815181106112fa57fe5b602002602001015184838151811061130e57fe5b6020026020010151611bcb565b5080806001019150506112e3565b50505050565b60046020528060005260406000206000915090505481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146113a157600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461153d57600080fd5b6008600a0a63165a0bc00261155d8260025461263390919063ffffffff16565b11156115b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806126bc6024913960400191505060405180910390fd5b61160681600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461263390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061165e8160025461263390919063ffffffff16565b6002819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000600360009054906101000a900460ff1615611753576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f53616665677561726420697320706c616365640000000000000000000000000081525060200191505060405180910390fd5b6117a582600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061187782600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061190c8260025461217690919063ffffffff16565b6002819055508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040518060400160405280600381526020017f4e5852000000000000000000000000000000000000000000000000000000000081525081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611b22576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f7375627472616374656456616c7565206973206e6f7420636f7272656374000081525060200191505060405180910390fd5b6000611bb383600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b9050611bbf8482610ae0565b50600191505092915050565b6000611bd83384846121f9565b6001905092915050565b60066020528060005260406000206000915054906101000a900460ff1681565b600360009054906101000a900460ff1681565b6000611c218484610ae0565b5060008473ffffffffffffffffffffffffffffffffffffffff1633853086604051602401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611cec578082015181840152602081019050611cd1565b50505050905090810190601f168015611d195780820380516001836020036101000a031916815260200191505b50955050505050506040516020818303038152906040527f8f4ffcb1000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310611dd15780518252602082019150602081019050602083039250611dae565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611e33576040519150601f19603f3d011682016040523d82523d6000602084013e611e38565b606091505b5050905080611e4b576000915050611e51565b60019150505b9392505050565b6008600a0a63165a0bc00281565b6005602052816000526040600020602052806000526040600020600091509150505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611ee457600080fd5b80600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f0a5b43af0ef09ecb703ee244f015ac762879d4da4b736850137608ea10ecc2a48282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461200757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156120aa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f496e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461214757600080fd5b612173306000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836121f9565b50565b6000828211156121ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f536166654d61746820737562206661696c65640000000000000000000000000081525060200191505060405180910390fd5b818303905092915050565b600360009054906101000a900460ff161561227c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f53616665677561726420697320706c616365640000000000000000000000000081525060200191505060405180910390fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561233c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f46726f7a656e204163636f756e7400000000000000000000000000000000000081525060200191505060405180910390fd5b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156123fc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f46726f7a656e204163636f756e7400000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561249f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f496e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b6124f181600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061258681600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461263390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000808284019050838110156126b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f536166654d61746820616464206661696c65640000000000000000000000000081525060200191505060405180910390fd5b809150509291505056fe43616e6e6f74204d696e74206d6f7265207468616e206d6178696d756d20737570706c7942616c616e636520646f6573206e6f74206861766520656e6f75676820746f6b656e73a265627a7a72315820c691d62b97840de6a95e20532c7b522fa920abf8a73786bf9b36ccf0bbc2089764736f6c634300050c0032

0x608060405234801561001057600080fd5b50600436106101735760003560e01c806379cc6790116100de578063b57dbdc611610097578063dd62ed3e11610071578063dd62ed3e1461096d578063e724529c146109e5578063f2fde38b14610a35578063fbde8d7514610a7957610173565b8063b57dbdc614610830578063cae9ca5114610852578063d5abeb011461094f57610173565b806379cc6790146105d55780638da5cb5b1461063b57806395d89b4114610685578063a457c2d714610708578063a9059cbb1461076e578063b414d4b6146107d457610173565b806342966c681161013057806342966c68146103895780634bec8335146103cf57806367243482146103d957806370a082311461052557806379ba50971461057d57806379c650681461058757610173565b806306fdde0314610178578063095ea7b3146101fb57806318160ddd1461026157806323b872dd1461027f578063313ce567146103055780633950935114610323575b600080fd5b610180610aa7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101c05780820151818401526020810190506101a5565b50505050905090810190601f1680156101ed5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102476004803603604081101561021157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ae0565b604051808215151515815260200191505060405180910390f35b610269610ced565b6040518082815260200191505060405180910390f35b6102eb6004803603606081101561029557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610cf3565b604051808215151515815260200191505060405180910390f35b61030d610e1a565b6040518082815260200191505060405180910390f35b61036f6004803603604081101561033957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e1f565b604051808215151515815260200191505060405180910390f35b6103b56004803603602081101561039f57600080fd5b8101908080359060200190929190505050610fbb565b604051808215151515815260200191505060405180910390f35b6103d76111ad565b005b610523600480360360408110156103ef57600080fd5b810190808035906020019064010000000081111561040c57600080fd5b82018360208201111561041e57600080fd5b8035906020019184602083028401116401000000008311171561044057600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156104a057600080fd5b8201836020820111156104b257600080fd5b803590602001918460208302840111640100000000831117156104d457600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050611260565b005b6105676004803603602081101561053b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061132f565b6040518082815260200191505060405180910390f35b610585611347565b005b6105d36004803603604081101561059d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114e4565b005b610621600480360360408110156105eb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116ce565b604051808215151515815260200191505060405180910390f35b6106436119d0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61068d6119f5565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106cd5780820151818401526020810190506106b2565b50505050905090810190601f1680156106fa5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107546004803603604081101561071e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a2e565b604051808215151515815260200191505060405180910390f35b6107ba6004803603604081101561078457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bcb565b604051808215151515815260200191505060405180910390f35b610816600480360360208110156107ea57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611be2565b604051808215151515815260200191505060405180910390f35b610838611c02565b604051808215151515815260200191505060405180910390f35b6109356004803603606081101561086857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156108af57600080fd5b8201836020820111156108c157600080fd5b803590602001918460018302840111640100000000831117156108e357600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611c15565b604051808215151515815260200191505060405180910390f35b610957611e58565b6040518082815260200191505060405180910390f35b6109cf6004803603604081101561098357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e66565b6040518082815260200191505060405180910390f35b610a33600480360360408110156109fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050611e8b565b005b610a7760048036036020811015610a4b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611fae565b005b610aa560048036036020811015610a8f57600080fd5b81019080803590602001909291905050506120ee565b005b6040518060400160405280600681526020017f4e6578787573000000000000000000000000000000000000000000000000000081525081565b6000600360009054906101000a900460ff1615610b65576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f53616665677561726420697320706c616365640000000000000000000000000081525060200191505060405180910390fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610bfd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806126e06023913960400191505060405180910390fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60025481565b6000610d8482600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e0f8484846121f9565b600190509392505050565b600881565b600080600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411610f12576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f6e6f20616d6f756e7420697320617070726f766564000000000000000000000081525060200191505060405180910390fd5b6000610fa383600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461263390919063ffffffff16565b9050610faf8482610ae0565b50600191505092915050565b6000600360009054906101000a900460ff1615611040576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f53616665677561726420697320706c616365640000000000000000000000000081525060200191505060405180910390fd5b61109282600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110ea8260025461217690919063ffffffff16565b6002819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461120657600080fd5b60001515600360009054906101000a900460ff1615151415611242576001600360006101000a81548160ff02191690831515021790555061125e565b6000600360006101000a81548160ff0219169083151502179055505b565b60008251905060968111156112dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f546f6f206d616e7920726563697069656e74730000000000000000000000000081525060200191505060405180910390fd5b60008090505b818110156113295761131b8482815181106112fa57fe5b602002602001015184838151811061130e57fe5b6020026020010151611bcb565b5080806001019150506112e3565b50505050565b60046020528060005260406000206000915090505481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146113a157600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461153d57600080fd5b6008600a0a63165a0bc00261155d8260025461263390919063ffffffff16565b11156115b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806126bc6024913960400191505060405180910390fd5b61160681600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461263390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061165e8160025461263390919063ffffffff16565b6002819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000600360009054906101000a900460ff1615611753576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f53616665677561726420697320706c616365640000000000000000000000000081525060200191505060405180910390fd5b6117a582600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061187782600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061190c8260025461217690919063ffffffff16565b6002819055508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040518060400160405280600381526020017f4e5852000000000000000000000000000000000000000000000000000000000081525081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611b22576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f7375627472616374656456616c7565206973206e6f7420636f7272656374000081525060200191505060405180910390fd5b6000611bb383600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b9050611bbf8482610ae0565b50600191505092915050565b6000611bd83384846121f9565b6001905092915050565b60066020528060005260406000206000915054906101000a900460ff1681565b600360009054906101000a900460ff1681565b6000611c218484610ae0565b5060008473ffffffffffffffffffffffffffffffffffffffff1633853086604051602401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611cec578082015181840152602081019050611cd1565b50505050905090810190601f168015611d195780820380516001836020036101000a031916815260200191505b50955050505050506040516020818303038152906040527f8f4ffcb1000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310611dd15780518252602082019150602081019050602083039250611dae565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611e33576040519150601f19603f3d011682016040523d82523d6000602084013e611e38565b606091505b5050905080611e4b576000915050611e51565b60019150505b9392505050565b6008600a0a63165a0bc00281565b6005602052816000526040600020602052806000526040600020600091509150505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611ee457600080fd5b80600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f0a5b43af0ef09ecb703ee244f015ac762879d4da4b736850137608ea10ecc2a48282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461200757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156120aa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f496e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461214757600080fd5b612173306000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836121f9565b50565b6000828211156121ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f536166654d61746820737562206661696c65640000000000000000000000000081525060200191505060405180910390fd5b818303905092915050565b600360009054906101000a900460ff161561227c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f53616665677561726420697320706c616365640000000000000000000000000081525060200191505060405180910390fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561233c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f46726f7a656e204163636f756e7400000000000000000000000000000000000081525060200191505060405180910390fd5b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156123fc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f46726f7a656e204163636f756e7400000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561249f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f496e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b6124f181600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461217690919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061258681600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461263390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000808284019050838110156126b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f536166654d61746820616464206661696c65640000000000000000000000000081525060200191505060405180910390fd5b809150509291505056fe43616e6e6f74204d696e74206d6f7265207468616e206d6178696d756d20737570706c7942616c616e636520646f6573206e6f74206861766520656e6f75676820746f6b656e73a265627a7a72315820c691d62b97840de6a95e20532c7b522fa920abf8a73786bf9b36ccf0bbc2089764736f6c634300050c0032

5414:10468:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5414:10468:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5648:38;;;:::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;5648:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9288:359;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9288:359:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5780:55;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8681:317;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8681:317:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5737:36;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10103:321;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10103:321:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11546:492;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11546:492:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14755:195;;;:::i;:::-;;15338:530;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15338:530:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;15338:530:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15338:530: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;15338:530: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;;15338:530:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;15338:530:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15338:530: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;15338:530: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;;15338:530:0;;;;;;;;;;;;;;;:::i;:::-;;6095:45;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6095:45:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4950:196;;;:::i;:::-;;13608:356;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13608:356:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12322:664;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12322:664:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4381:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5693:37;;;:::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;5693:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10498:354;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10498:354:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8135:242;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8135:242:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6220:46;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6220:46:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5954:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10950:403;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10950:403:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;10950:403:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;10950:403:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;10950:403: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;;10950:403:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5862:62;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6147:66;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6147:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13214:165;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13214:165:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4689:172;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4689:172:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;14268:214;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14268:214:0;;;;;;;;;;;;;;;;;:::i;:::-;;5648:38;;;;;;;;;;;;;;;;;;;:::o;9288:359::-;9355:12;9389:9;;;;;;;;;;;9388:10;9380:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9466:6;9441:9;:21;9451:10;9441:21;;;;;;;;;;;;;;;;:31;;9433:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9557:6;9523:9;:21;9533:10;9523:21;;;;;;;;;;;;;;;:31;9545:8;9523:31;;;;;;;;;;;;;;;:40;;;;9600:8;9579:38;;9588:10;9579:38;;;9610:6;9579:38;;;;;;;;;;;;;;;;;;9635:4;9628:11;;9288:359;;;;:::o;5780:55::-;;;;:::o;8681:317::-;8763:12;8888:40;8921:6;8888:9;:16;8898:5;8888:16;;;;;;;;;;;;;;;:28;8905:10;8888:28;;;;;;;;;;;;;;;;:32;;:40;;;;:::i;:::-;8857:9;:16;8867:5;8857:16;;;;;;;;;;;;;;;:28;8874:10;8857:28;;;;;;;;;;;;;;;:71;;;;8939:29;8949:5;8956:3;8961:6;8939:9;:29::i;:::-;8986:4;8979:11;;8681:317;;;;;:::o;5737:36::-;5772:1;5737:36;:::o;10103:321::-;10183:4;10241:1;10208:9;:21;10218:10;10208:21;;;;;;;;;;;;;;;:30;10230:7;10208:30;;;;;;;;;;;;;;;;:34;10200:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10280:17;10300:46;10335:10;10300:9;:21;10310:10;10300:21;;;;;;;;;;;;;;;:30;10322:7;10300:30;;;;;;;;;;;;;;;;:34;;:46;;;;:::i;:::-;10280:66;;10357:27;10365:7;10374:9;10357:7;:27::i;:::-;;10412:4;10405:11;;;10103:321;;;;:::o;11546:492::-;11592:12;11626:9;;;;;;;;;;;11625:10;11617:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11758:33;11784:6;11758:9;:21;11768:10;11758:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;11734:9;:21;11744:10;11734:21;;;;;;;;;;;;;;;:57;;;;11845:23;11861:6;11845:11;;:15;;:23;;;;:::i;:::-;11831:11;:37;;;;11933:10;11928:24;;;11945:6;11928:24;;;;;;;;;;;;;;;;;;11997:1;11968:40;;11977:10;11968:40;;;12001:6;11968:40;;;;;;;;;;;;;;;;;;12026:4;12019:11;;11546:492;;;:::o;14755:195::-;4655:5;;;;;;;;;;;4641:19;;:10;:19;;;4633:28;;;;;;14832:5;14819:18;;:9;;;;;;;;;;;:18;;;14815:128;;;14865:4;14853:9;;:16;;;;;;;;;;;;;;;;;;14815:128;;;14922:5;14910:9;;:17;;;;;;;;;;;;;;;;;;14815:128;14755:195::o;15338:530::-;15432:22;15457:10;:17;15432:42;;15511:3;15493:14;:21;;15485:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15552:6;15561:1;15552:10;;15548:313;15568:14;15564:1;:18;15548:313;;;15810:39;15819:10;15830:1;15819:13;;;;;;;;;;;;;;15834:11;15846:1;15834:14;;;;;;;;;;;;;;15810:8;:39::i;:::-;;15584:3;;;;;;;15548:313;;;;15338:530;;;:::o;6095:45::-;;;;;;;;;;;;;;;;;:::o;4950:196::-;5017:8;;;;;;;;;;;5003:22;;:10;:22;;;4995:31;;;;;;5070:8;;;;;;;;;;;5042:37;;5063:5;;;;;;;;;;;5042:37;;;;;;;;;;;;5098:8;;;;;;;;;;;5090:5;;:16;;;;;;;;;;;;;;;;;;5136:1;5117:8;;:21;;;;;;;;;;;;;;;;;;4950:196::o;13608:356::-;4655:5;;;;;;;;;;;4641:19;;:10;:19;;;4633:28;;;;;;5772:1;5911:2;:12;5898:9;:26;13695:29;13711:12;13695:11;;:15;;:29;;;;:::i;:::-;:42;;13687:91;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13809:35;13831:12;13809:9;:17;13819:6;13809:17;;;;;;;;;;;;;;;;:21;;:35;;;;:::i;:::-;13789:9;:17;13799:6;13789:17;;;;;;;;;;;;;;;:55;;;;13869:29;13885:12;13869:11;;:15;;:29;;;;:::i;:::-;13855:11;:43;;;;13935:6;13914:42;;13931:1;13914:42;;;13943:12;13914:42;;;;;;;;;;;;;;;;;;13608:356;;:::o;12322:664::-;12387:12;12421:9;;;;;;;;;;;12420:10;12412:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12553:28;12574:6;12553:9;:16;12563:5;12553:16;;;;;;;;;;;;;;;;:20;;:28;;;;:::i;:::-;12534:9;:16;12544:5;12534:16;;;;;;;;;;;;;;;:47;;;;12685:40;12718:6;12685:9;:16;12695:5;12685:16;;;;;;;;;;;;;;;:28;12702:10;12685:28;;;;;;;;;;;;;;;;:32;;:40;;;;:::i;:::-;12654:9;:16;12664:5;12654:16;;;;;;;;;;;;;;;:28;12671:10;12654:28;;;;;;;;;;;;;;;:71;;;;12790:23;12806:6;12790:11;;:15;;:23;;;;:::i;:::-;12776:11;:37;;;;12891:5;12886:19;;;12898:6;12886:19;;;;;;;;;;;;;;;;;;12945:1;12921:35;;12930:5;12921:35;;;12949:6;12921:35;;;;;;;;;;;;;;;;;;12974:4;12967:11;;12322:664;;;;:::o;4381:28::-;;;;;;;;;;;;;:::o;5693:37::-;;;;;;;;;;;;;;;;;;;:::o;10498:354::-;10583:4;10642:15;10608:9;:21;10618:10;10608:21;;;;;;;;;;;;;;;:30;10630:7;10608:30;;;;;;;;;;;;;;;;:49;;10600:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10703:17;10723:51;10758:15;10723:9;:21;10733:10;10723:21;;;;;;;;;;;;;;;:30;10745:7;10723:30;;;;;;;;;;;;;;;;:34;;:51;;;;:::i;:::-;10703:71;;10785:27;10793:7;10802:9;10785:7;:27::i;:::-;;10840:4;10833:11;;;10498:354;;;;:::o;8135:242::-;8198:12;8303:34;8313:10;8325:3;8330:6;8303:9;:34::i;:::-;8365:4;8358:11;;8135:242;;;;:::o;6220:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;5954:21::-;;;;;;;;;;;;;:::o;10950:403::-;11049:12;11075:25;11083:8;11093:6;11075:7;:25::i;:::-;;11112:11;11128:8;:13;;11216:10;11228:6;11244:4;11251:10;11142:120;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;11142:120:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;11142:120:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;11142:120:0;11128:135;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;11128:135:0;;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;11111:152:0;;;11278:6;11274:50;;11307:5;11300:12;;;;;11274:50;11341:4;11334:11;;;10950:403;;;;;;:::o;5862:62::-;5772:1;5911:2;:12;5898:9;:26;5862:62;:::o;6147:66::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13214:165::-;4655:5;;;;;;;;;;;4641:19;;:10;:19;;;4633:28;;;;;;13318:6;13294:13;:21;13308:6;13294:21;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;13341;13356:6;13364;13341:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13214:165;;:::o;4689:172::-;4655:5;;;;;;;;;;;4641:19;;:10;:19;;;4633:28;;;;;;4800:1;4779:23;;:9;:23;;;;4771:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4844:9;4833:8;;:20;;;;;;;;;;;;;;;;;;4689:172;:::o;14268:214::-;4655:5;;;;;;;;;;;4641:19;;:10;:19;;;4633:28;;;;;;14430:44;14448:4;14455:5;;;;;;;;;;;14462:11;14430:9;:44::i;:::-;14268:214;:::o;3819:139::-;3877:7;3906:1;3901;:6;;3893:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3949:1;3945;:5;3938:12;;3819:139;;;;:::o;7126:777::-;7256:9;;;;;;;;;;;7255:10;7247:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7309:13;:20;7323:5;7309:20;;;;;;;;;;;;;;;;;;;;;;;;;7308:21;7300:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7417:13;:18;7431:3;7417:18;;;;;;;;;;;;;;;;;;;;;;;;;7416:19;7408:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7542:1;7527:17;;:3;:17;;;;7519:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7656:28;7677:6;7656:9;:16;7666:5;7656:16;;;;;;;;;;;;;;;;:20;;:28;;;;:::i;:::-;7637:9;:16;7647:5;7637:16;;;;;;;;;;;;;;;:47;;;;7743:26;7762:6;7743:9;:14;7753:3;7743:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;7726:9;:14;7736:3;7726:14;;;;;;;;;;;;;;;:43;;;;7883:3;7867:28;;7876:5;7867:28;;;7888:6;7867:28;;;;;;;;;;;;;;;;;;7126:777;;;:::o;3966:159::-;4024:7;4040:9;4056:1;4052;:5;4040:17;;4077:1;4072;:6;;4064:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4116:1;4109:8;;;3966:159;;;;:::o

bzzr://c691d62b97840de6a95e20532c7b522fa920abf8a73786bf9b36ccf0bbc20897