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-06-12
*/

pragma solidity 0.5.2;

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

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

    /**
    * @dev Integer division of two numbers, truncating the quotient.
    */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // assert(b > 0); // Solidity automatically throws when dividing by 0
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold
        return c;
    }

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

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


contract Ownable {
    address payable public owner;


    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);


    /**
     * @dev The Ownable constructor sets the original `owner` of the contract to the sender
     * account.
     */
    constructor() public {
        owner = msg.sender;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }

    /**
     * @dev Allows the current owner to transfer control of the contract to a newOwner.
     * @param newOwner The address to transfer ownership to.
     */
    function transferOwnership(address payable newOwner) external onlyOwner {
        require(newOwner != address(0));
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }

}


contract SYNCContract is Ownable
{

using SafeMath for uint256;
    mapping(address => uint256) internal balances;

    mapping(address => uint256) internal totalBalances;
    
    mapping (address => mapping (address => uint256)) internal allowed;

    mapping (address => uint256) internal totalAllowed;

    /**
     * @dev total number of tokens in existence
    */
    uint256 internal totSupply;

    /**
     * @dev Gets the total supply of tokens currently in circulation.
     * @return An uint256 representing the amount of tokens already minted.
    */
    function totalSupply() view public returns(uint256)
    {
        return totSupply;
    }
    
    /**
     * @dev Gets the sum of all tokens that this address allowed others spend on its expence. 
     * Basically a sum of all allowances from this address
     * @param _owner The address to query the allowances of.
     * @return An uint256 representing the sum of all allowances of the passed address.
    */
    function getTotalAllowed(address _owner) view public returns(uint256)
    {
        return totalAllowed[_owner];
    }

    /**
     * @dev Sets the sum of all tokens that this address allowed others spend on its expence. 
     * @param _owner The address to query the allowances of.
     * @param _newValue The amount of tokens allowed by the _owner address.
    */
    function setTotalAllowed(address _owner, uint256 _newValue) internal
    {
        totalAllowed[_owner]=_newValue;
    }

    /**
    * @dev Sets the total supply of tokens currently in circulation. 
    * Callable only internally and only when total supply should be changed for consistency
    * @param _newValue An uint256 representing the amount of tokens already minted.
    */

    function setTotalSupply(uint256 _newValue) internal
    {
        totSupply=_newValue;
    }


    /**
     * @dev Gets the balance of the specified address.
     * @param _owner The address to query the the balance of.
     * @return An uint256 representing the amount owned by the passed address.
    */

    function balanceOf(address _owner) view public returns(uint256)
    {
        return balances[_owner];
    }

    /**
     * @dev Sets the balance of the specified address. 
     * Only callable from inside smart contract by method updateInvestorTokenBalance, which is callable only by contract owner
     * @param _investor The address to query the the balance of.
     * @return An uint256 representing the amount owned by the passed address.
    */
    function setBalanceOf(address _investor, uint256 _newValue) internal
    {
        require(_investor!=0x0000000000000000000000000000000000000000);
        balances[_investor]=_newValue;
    }


    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param _owner address The address which owns the funds.
     * @param _spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */

    function allowance(address _owner, address _spender) view public returns(uint256)
    {
        require(msg.sender==_owner || msg.sender == _spender || msg.sender==getOwner());
        return allowed[_owner][_spender];
    }

    /**
     * @dev Set the amount of tokens that an owner allowed to a spender.
     * @param _owner address The address which owns the funds.
     * @param _spender address The address which will spend the funds.
     * @param _newValue uint256 The amount of tokens allowed to spend by _spender on _owsner's expence.
     */
    function setAllowance(address _owner, address _spender, uint256 _newValue) internal
    {
        require(_spender!=0x0000000000000000000000000000000000000000);
        uint256 newTotal = getTotalAllowed(_owner).sub(allowance(_owner, _spender)).add(_newValue);
        require(newTotal <= balanceOf(_owner));
        allowed[_owner][_spender]=_newValue;
        setTotalAllowed(_owner,newTotal);
    }


   constructor() public
    {
        // require(_rate > 0);
    //    require(_cap > 0);
        //rate=_rate;
        cap = 48000000*1000000000000000000;
    }

    
    bytes32 public constant name = "SYNCoin";

    bytes4 public constant symbol = "SYNC";

    uint8 public constant decimals = 18;

    uint256 public cap;

    bool public mintingFinished;

    /** @dev Fires on every transportation of tokens, both minting and transfer
     *  @param _from address The address from which transfer has been initialized.
     *  @param _to address The address to where the tokens are headed.
     *  @param value uint256 The amount of tokens transferred
     */
    event Transfer(address indexed _from, address indexed _to, uint256 value);

    /** @dev Fires when owner allows spender to spend value of tokens on their(owner's) expence
     *  @param _owner address The address from which allowance has been initialized.
     *  @param _spender address The address who was allowed to spend tokens on owner's expence.
     *  @param value uint256 The amount of tokens allowed for spending
     */
    event Approval(address indexed _owner, address indexed _spender, uint256 value);

    /** @dev Fires on every creation of new tokens
     *  @param _to address The owner address of new tokens.
     *  @param amount uint256 The amount of tokens created
     */
    event Mint(address indexed _to, uint256 amount);

    /** @dev fires when minting process is complete and no new tokens can be minted
    */
    event MintFinished();

    // /** @dev Fires on every destruction of existing tokens
    //  *  @param to address The owner address of tokens burned.
    //  *  @param value uint256 The amount of tokens destroyed
    //  */
    // event Burn(address indexed _owner, uint256 _value);

    /** @dev Check if tokens are no more mintable
    */
    modifier canMint() {
        require(!mintingFinished);
        _;
    }

    function getName() pure public returns(bytes32)
    {
        return name;
    }

    function getSymbol() pure public returns(bytes4)
    {
        return symbol;
    }

    function getTokenDecimals() pure public returns(uint256)
    {
        return decimals;
    }
    
    function getMintingFinished() view public returns(bool)
    {
        return mintingFinished;
    }

    /** @dev Get maximum amount of how many tokens can be minted by this contract
     * @return uint256 The amount of how many tokens can be minted by this contract
    */
    function getTokenCap() view public returns(uint256)
    {
        return cap;
    }

    /** @dev Set maximum amount of how many tokens can be minted by this contract
    */
    function setTokenCap(uint256 _newCap) external onlyOwner
    {
        cap=_newCap;
    }

    /** @dev Set the balance of _investor as _newValue. Only usable by contract owner
     * @param _investor address The address whose balance is updated
     * @param _newValue uint256. The new token balance of _investor 
    */
    function updateTokenInvestorBalance(address _investor, uint256 _newValue) onlyOwner external
    {
        setTokens(_investor,_newValue);
    }

    /**
     * @dev transfer token for a specified address
     * @param _to The address to transfer to.
     * @param _value The amount to be transferred.
    */

    function transfer(address _to, uint256 _value) public returns(bool){
        require(msg.sender!=_to);
        require(_value <= balanceOf(msg.sender));

        // SafeMath.sub will throw if there is not enough balance.
        setBalanceOf(msg.sender, balanceOf(msg.sender).sub(_value));
        setBalanceOf(_to, balanceOf(_to).add(_value));

        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    /**
     * @dev Transfer tokens from one address to another
     * @param _from address The address which you want to send tokens from
     * @param _to address The address which you want to transfer to
     * @param _value uint256 the amount of tokens to be transferred
     */
    function transferFrom(address _from, address _to, uint256 _value) public returns(bool){
        require(_value <= balanceOf(_from));
        require(_value <= allowance(_from,_to));
        setBalanceOf(_from, balanceOf(_from).sub(_value));
        setBalanceOf(_to, balanceOf(_to).add(_value));
        setAllowance(_from,_to,allowance(_from,_to).sub(_value));
        emit Transfer(_from, _to, _value);
        return true;
    }

    /**
 * @dev Approve the passed address to spend the specified amount of tokens on expence of msg.sender.
 *
 * Beware that changing an allowance with this method brings the risk that someone may use both the old
 * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
 * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
 * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
 * @param _owner The address of the owner which allows tokens to a spender
 * @param _spender The address which will spend the funds.
 * @param _value The amount of tokens to be spent.
 */
    function approve(address _owner,address _spender, uint256 _value) public returns(bool){
        require(msg.sender ==_owner);
        setAllowance(msg.sender,_spender, _value);
        emit Approval(msg.sender, _spender, _value);
        return true;
    }


    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     *
     * approve should be called when allowed[_spender] == 0. To increment
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * @param _owner The address of the owner which allows tokens to a spender
     * @param _spender The address which will spend the funds.
     * @param _addedValue The amount of tokens to increase the allowance by.
     */
    function increaseApproval(address _owner, address _spender, uint _addedValue) public returns(bool){
        require(msg.sender==_owner);
        setAllowance(_owner,_spender,allowance(_owner,_spender).add(_addedValue));
        emit Approval(_owner, _spender, allowance(_owner,_spender));
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     *
     * approve should be called when allowed[_spender] == 0. To decrement
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * @param _owner The address of the owner which allows tokens to a spender
     * @param _spender The address which will spend the funds.
     * @param _subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseApproval(address _owner,address _spender, uint _subtractedValue) public returns(bool){
        require(msg.sender==_owner);

        uint oldValue = allowance(_owner,_spender);
        if (_subtractedValue > oldValue) {
            setAllowance(_owner,_spender, 0);
        } else {
            setAllowance(_owner,_spender, oldValue.sub(_subtractedValue));
        }
        emit Approval(_owner, _spender, allowance(_owner,_spender));
        return true;
    }

    /**
     * @dev Function to mint tokens
     * @param _to The address that will receive the minted tokens.
     * @param _amount The amount of tokens to mint.
     * @return A boolean that indicates if the operation was successful.
     */


    function mint(address _to, uint256 _amount) canMint internal{
        require(totalSupply().add(_amount) <= getTokenCap());
        setTotalSupply(totalSupply().add(_amount));
        setBalanceOf(_to, balanceOf(_to).add(_amount));
        emit Mint(_to, _amount);
        emit Transfer(address(0), _to, _amount);
    }
    
    /**
     * @dev Changes balance of _to to _amount, also increments or decrements total token supply depending on whether balance is increased or decreased
     * @param _to address The address which token balance is updated
     * @param _amount uint256 The new balance
    */
    function setTokens(address _to, uint256 _amount) canMint internal{
        if(_amount > balanceOf(_to)){
            uint256 diff = _amount.sub(balanceOf(_to));
            require( totalSupply().add(diff) <= getTokenCap());
            setTotalSupply(totalSupply().add(diff));
            setBalanceOf(_to, _amount);
        }else{
            uint256 diff = balanceOf(_to).sub(_amount);
            setTotalSupply(totalSupply().sub(diff));
            setBalanceOf(_to, _amount);
        }
        emit Transfer(address(0), _to, _amount);
    }    

    /**
     * @dev Function to stop minting new tokens.
     * @return True if the operation was successful.
     */
    function finishMinting() canMint onlyOwner external{
        emit MintFinished();
    }

    //Crowdsale
    
    // how many token units a buyer gets per wei
    //uint256 internal rate;

    // amount of raised money in wei
    //uint256 internal weiRaised;
    
    /**
     * event for token purchase logging
     * @param _beneficiary who got the tokens
     * @param value uint256 The amount of weis paid for purchase
     * @param amount uint256 The amount of tokens purchased
     */
    //event TokenPurchase(address indexed _beneficiary, uint256 value, uint256 amount);

     /**
     * event for when current balance of smart contract is emptied by contract owner
     * @param amount uint  The amount of wei withdrawn from contract balance
     * @param timestamp uint The timestamp of withdrawal
     */
    //event InvestmentsWithdrawn(uint indexed amount, uint indexed timestamp);

    /**
     @dev Fallback function for when contract is simply sent ether. This calls buyTokens() method
    */
    // function () external payable {
    //     buyTokens(msg.sender);
    // }

    /**
     * @dev Just a getter for token rate
     * @return uint256 Current token rate stored in this contract and by which new tokens are minted
    */
    // function getTokenRate() view public returns(uint256)
    // {
    //     return rate;
    // }

    /**
     * @dev Setter for token rate. Callable by contract owner only
     * @param _newRate uint256 New token rate stored in this contract
    */
    // function setTokenRate(uint256 _newRate) external onlyOwner
    // {
    //     rate = _newRate;
    // }

    /**
     * @dev Returns how much wei was ever received by this smart contract
    */
    // function getWeiRaised() view external returns(uint256)
    // {
    //     return weiRaised;
    // }

    /**
     * @dev low level token purchase function. Can be called from fallback function or directly
     * @param _buyer address The address which will receive bought tokens
    */
    // function buyTokens(address _buyer) public payable{
    //     require(msg.value > 0);
    //     uint256 weiAmount = msg.value;

    //     // calculate token amount to be created
    //     uint256 tokens = getTokenAmount(weiAmount);
    //     require(validPurchase(tokens));

    //     // update state
    //     weiRaised = weiRaised.add(weiAmount);
    //     mint(_buyer, tokens);
    //     emit TokenPurchase(_buyer, weiAmount, tokens);
    // }

    /**
     * @dev Get how many tokens can be received for this amount of wei.
     * @param weiAmount uint256 The amount of wei
     * @return uint256 How many tokens to be bought for weiAmount
    */
    // function getTokenAmount(uint256 weiAmount) internal view returns(uint256) {
    //     return weiAmount.div(getTokenRate());
    // }

    /**
     * @dev Function for smart contract owner to withdraw all wei from contract's balance
    */
    // function withdrawInvestments() external onlyOwner{
    //     uint  amount = address(this).balance;
    //     getOwner().transfer(amount * 1 wei);
    //     emit InvestmentsWithdrawn(amount, block.timestamp);
    // }

    /**
     * @dev Get current balance of smart contract in wei. Callable only by contract owner
     * @return uint256 Current contract balance if wei
    */
    
    // function getCurrentInvestments() view external onlyOwner returns(uint256)
    // {
    //     return address(this).balance;
    // }

    /**
     * @dev Get the address of owner of this smart contract
     * @return address
    */
    function getOwner() view internal returns(address payable)
    {
        return owner;
    }

    /**
     * @return true if the transaction can buy tokens
    */ 
    // function validPurchase(uint256 tokensAmount) internal pure returns (bool) {
    //     bool nonZeroPurchase = tokensAmount != 0;
    //     return nonZeroPurchase;
    // }
    function destroy() external onlyOwner{
        selfdestruct(getOwner());
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"mintingFinished","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getSymbol","outputs":[{"name":"","type":"bytes4"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[],"name":"getName","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"pure","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":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getTokenDecimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"_newCap","type":"uint256"}],"name":"setTokenCap","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getTokenCap","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"cap","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getMintingFinished","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_investor","type":"address"},{"name":"_newValue","type":"uint256"}],"name":"updateTokenInvestorBalance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"finishMinting","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"destroy","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":"bytes4"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"getTotalAllowed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[],"name":"MintFinished","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

608060405234801561001057600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506a27b46536c66c8e300000006006819055506116d2806100726000396000f3fe608060405234801561001057600080fd5b5060043610610190576000357c01000000000000000000000000000000000000000000000000000000009004806370a08231116100fb578063965232c0116100b4578063dd62ed3e1161008e578063dd62ed3e14610665578063e1f21c67146106dd578063f019c26714610763578063f2fde38b146107e957610190565b8063965232c014610521578063a9059cbb14610579578063bcdd6121146105df57610190565b806370a08231146103c157806379fdf548146104195780637d64bcb41461046757806383197ef0146104715780638da5cb5b1461047b57806395d89b41146104c557610190565b806324f65ee71161014d57806324f65ee7146102f35780632854bc7e146103115780632f087a281461033f578063313ce5671461035d578063355274ea14610381578063676cb63d1461039f57610190565b806305d2035b1461019557806306fdde03146101b757806315070401146101d557806317d7de7c1461023157806318160ddd1461024f57806323b872dd1461026d575b600080fd5b61019d61082d565b604051808215151515815260200191505060405180910390f35b6101bf610840565b6040518082815260200191505060405180910390f35b6101dd610864565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b61023961088c565b6040518082815260200191505060405180910390f35b6102576108b4565b6040518082815260200191505060405180910390f35b6102d96004803603606081101561028357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108be565b604051808215151515815260200191505060405180910390f35b6102fb6109cd565b6040518082815260200191505060405180910390f35b61033d6004803603602081101561032757600080fd5b81019080803590602001909291905050506109d9565b005b610347610a3e565b6040518082815260200191505060405180910390f35b610365610a48565b604051808260ff1660ff16815260200191505060405180910390f35b610389610a4d565b6040518082815260200191505060405180910390f35b6103a7610a53565b604051808215151515815260200191505060405180910390f35b610403600480360360208110156103d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a6a565b6040518082815260200191505060405180910390f35b6104656004803603604081101561042f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ab3565b005b61046f610b1c565b005b610479610bc1565b005b610483610c3c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104cd610c61565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b6105636004803603602081101561053757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c85565b6040518082815260200191505060405180910390f35b6105c56004803603604081101561058f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610cce565b604051808215151515815260200191505060405180910390f35b61064b600480360360608110156105f557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dd9565b604051808215151515815260200191505060405180910390f35b6106c76004803603604081101561067b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610eb4565b6040518082815260200191505060405180910390f35b610749600480360360608110156106f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fe8565b604051808215151515815260200191505060405180910390f35b6107cf6004803603606081101561077957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061109f565b604051808215151515815260200191505060405180910390f35b61082b600480360360208110156107ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061119a565b005b600760009054906101000a900460ff1681565b7f53594e436f696e0000000000000000000000000000000000000000000000000081565b60007f53594e4300000000000000000000000000000000000000000000000000000000905090565b60007f53594e436f696e00000000000000000000000000000000000000000000000000905090565b6000600554905090565b60006108c984610a6a565b82111515156108d757600080fd5b6108e18484610eb4565b82111515156108ef57600080fd5b6109138461090e8461090088610a6a565b6112ef90919063ffffffff16565b611308565b610937836109328461092487610a6a565b61138c90919063ffffffff16565b611308565b61095d84846109588561094a8989610eb4565b6112ef90919063ffffffff16565b6113aa565b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b6000601260ff16905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610a3457600080fd5b8060068190555050565b6000600654905090565b601281565b60065481565b6000600760009054906101000a900460ff16905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610b0e57600080fd5b610b1882826114c8565b5050565b600760009054906101000a900460ff16151515610b3857600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610b9357600080fd5b7fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a1565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610c1c57600080fd5b610c2461162b565b73ffffffffffffffffffffffffffffffffffffffff16ff5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f53594e430000000000000000000000000000000000000000000000000000000081565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151515610d0b57600080fd5b610d1433610a6a565b8211151515610d2257600080fd5b610d4633610d4184610d3333610a6a565b6112ef90919063ffffffff16565b611308565b610d6a83610d6584610d5787610a6a565b61138c90919063ffffffff16565b611308565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e1557600080fd5b610e3b8484610e3685610e288989610eb4565b61138c90919063ffffffff16565b6113aa565b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925610e948787610eb4565b6040518082815260200191505060405180910390a3600190509392505050565b60008273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161480610f1b57508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610f585750610f2961162b565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b1515610f6357600080fd5b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561102457600080fd5b61102f3384846113aa565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190509392505050565b60008373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156110db57600080fd5b60006110e78585610eb4565b905080831115611102576110fd858560006113aa565b611120565b61111f858561111a86856112ef90919063ffffffff16565b6113aa565b5b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9256111798888610eb4565b6040518082815260200191505060405180910390a360019150509392505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156111f557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561123157600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008282111515156112fd57fe5b818303905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561134457600080fd5b80600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b60008082840190508381101515156113a057fe5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156113e657600080fd5b600061141e826114106113f98787610eb4565b61140288610c85565b6112ef90919063ffffffff16565b61138c90919063ffffffff16565b905061142984610a6a565b811115151561143757600080fd5b81600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114c28482611654565b50505050565b600760009054906101000a900460ff161515156114e457600080fd5b6114ed82610a6a565b81111561157457600061151161150284610a6a565b836112ef90919063ffffffff16565b905061151b610a3e565b611535826115276108b4565b61138c90919063ffffffff16565b1115151561154257600080fd5b61156461155f826115516108b4565b61138c90919063ffffffff16565b61169c565b61156e8383611308565b506115c1565b60006115918261158385610a6a565b6112ef90919063ffffffff16565b90506115b56115b0826115a26108b4565b6112ef90919063ffffffff16565b61169c565b6115bf8383611308565b505b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b806005819055505056fea165627a7a72305820e89322e182386ef3178015b6d733e80732ab669665f693dc9c1465c93db30efe0029

0x608060405234801561001057600080fd5b5060043610610190576000357c01000000000000000000000000000000000000000000000000000000009004806370a08231116100fb578063965232c0116100b4578063dd62ed3e1161008e578063dd62ed3e14610665578063e1f21c67146106dd578063f019c26714610763578063f2fde38b146107e957610190565b8063965232c014610521578063a9059cbb14610579578063bcdd6121146105df57610190565b806370a08231146103c157806379fdf548146104195780637d64bcb41461046757806383197ef0146104715780638da5cb5b1461047b57806395d89b41146104c557610190565b806324f65ee71161014d57806324f65ee7146102f35780632854bc7e146103115780632f087a281461033f578063313ce5671461035d578063355274ea14610381578063676cb63d1461039f57610190565b806305d2035b1461019557806306fdde03146101b757806315070401146101d557806317d7de7c1461023157806318160ddd1461024f57806323b872dd1461026d575b600080fd5b61019d61082d565b604051808215151515815260200191505060405180910390f35b6101bf610840565b6040518082815260200191505060405180910390f35b6101dd610864565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b61023961088c565b6040518082815260200191505060405180910390f35b6102576108b4565b6040518082815260200191505060405180910390f35b6102d96004803603606081101561028357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108be565b604051808215151515815260200191505060405180910390f35b6102fb6109cd565b6040518082815260200191505060405180910390f35b61033d6004803603602081101561032757600080fd5b81019080803590602001909291905050506109d9565b005b610347610a3e565b6040518082815260200191505060405180910390f35b610365610a48565b604051808260ff1660ff16815260200191505060405180910390f35b610389610a4d565b6040518082815260200191505060405180910390f35b6103a7610a53565b604051808215151515815260200191505060405180910390f35b610403600480360360208110156103d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a6a565b6040518082815260200191505060405180910390f35b6104656004803603604081101561042f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ab3565b005b61046f610b1c565b005b610479610bc1565b005b610483610c3c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104cd610c61565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b6105636004803603602081101561053757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c85565b6040518082815260200191505060405180910390f35b6105c56004803603604081101561058f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610cce565b604051808215151515815260200191505060405180910390f35b61064b600480360360608110156105f557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dd9565b604051808215151515815260200191505060405180910390f35b6106c76004803603604081101561067b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610eb4565b6040518082815260200191505060405180910390f35b610749600480360360608110156106f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fe8565b604051808215151515815260200191505060405180910390f35b6107cf6004803603606081101561077957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061109f565b604051808215151515815260200191505060405180910390f35b61082b600480360360208110156107ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061119a565b005b600760009054906101000a900460ff1681565b7f53594e436f696e0000000000000000000000000000000000000000000000000081565b60007f53594e4300000000000000000000000000000000000000000000000000000000905090565b60007f53594e436f696e00000000000000000000000000000000000000000000000000905090565b6000600554905090565b60006108c984610a6a565b82111515156108d757600080fd5b6108e18484610eb4565b82111515156108ef57600080fd5b6109138461090e8461090088610a6a565b6112ef90919063ffffffff16565b611308565b610937836109328461092487610a6a565b61138c90919063ffffffff16565b611308565b61095d84846109588561094a8989610eb4565b6112ef90919063ffffffff16565b6113aa565b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b6000601260ff16905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610a3457600080fd5b8060068190555050565b6000600654905090565b601281565b60065481565b6000600760009054906101000a900460ff16905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610b0e57600080fd5b610b1882826114c8565b5050565b600760009054906101000a900460ff16151515610b3857600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610b9357600080fd5b7fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a1565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610c1c57600080fd5b610c2461162b565b73ffffffffffffffffffffffffffffffffffffffff16ff5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f53594e430000000000000000000000000000000000000000000000000000000081565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151515610d0b57600080fd5b610d1433610a6a565b8211151515610d2257600080fd5b610d4633610d4184610d3333610a6a565b6112ef90919063ffffffff16565b611308565b610d6a83610d6584610d5787610a6a565b61138c90919063ffffffff16565b611308565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e1557600080fd5b610e3b8484610e3685610e288989610eb4565b61138c90919063ffffffff16565b6113aa565b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925610e948787610eb4565b6040518082815260200191505060405180910390a3600190509392505050565b60008273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161480610f1b57508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610f585750610f2961162b565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b1515610f6357600080fd5b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561102457600080fd5b61102f3384846113aa565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190509392505050565b60008373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156110db57600080fd5b60006110e78585610eb4565b905080831115611102576110fd858560006113aa565b611120565b61111f858561111a86856112ef90919063ffffffff16565b6113aa565b5b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9256111798888610eb4565b6040518082815260200191505060405180910390a360019150509392505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156111f557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561123157600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008282111515156112fd57fe5b818303905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561134457600080fd5b80600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b60008082840190508381101515156113a057fe5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156113e657600080fd5b600061141e826114106113f98787610eb4565b61140288610c85565b6112ef90919063ffffffff16565b61138c90919063ffffffff16565b905061142984610a6a565b811115151561143757600080fd5b81600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114c28482611654565b50505050565b600760009054906101000a900460ff161515156114e457600080fd5b6114ed82610a6a565b81111561157457600061151161150284610a6a565b836112ef90919063ffffffff16565b905061151b610a3e565b611535826115276108b4565b61138c90919063ffffffff16565b1115151561154257600080fd5b61156461155f826115516108b4565b61138c90919063ffffffff16565b61169c565b61156e8383611308565b506115c1565b60006115918261158385610a6a565b6112ef90919063ffffffff16565b90506115b56115b0826115a26108b4565b6112ef90919063ffffffff16565b61169c565b6115bf8383611308565b505b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b806005819055505056fea165627a7a72305820e89322e182386ef3178015b6d733e80732ab669665f693dc9c1465c93db30efe0029

2196:17292:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2196:17292:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6654:27;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6487:40;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8390:86;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;8299:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2785:92;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10450:439;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10450:439:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8484:96;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9063:92;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9063:92:0;;;;;;;;;;;;;;;;;:::i;:::-;;8878:86;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6583:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6627:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8592:102;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4316:111;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4316:111:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9398:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9398:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;15385:89;;;:::i;:::-;;19405:80;;;:::i;:::-;;1314:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6536:38;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;3213:121;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3213:121:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9723:430;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9723:430:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12421:320;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12421:320:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5323:228;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5323:228:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11587:261;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11587:261:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13317:491;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13317:491:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1983:202;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1983:202:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;6654:27;;;;;;;;;;;;;:::o;6487:40::-;;;:::o;8390:86::-;8431:6;8462;8455:13;;8390:86;:::o;8299:83::-;8338:7;8370:4;8363:11;;8299:83;:::o;2785:92::-;2828:7;2860:9;;2853:16;;2785:92;:::o;10450:439::-;10531:4;10565:16;10575:5;10565:9;:16::i;:::-;10555:6;:26;;10547:35;;;;;;;;10611:20;10621:5;10627:3;10611:9;:20::i;:::-;10601:6;:30;;10593:39;;;;;;;;10643:49;10656:5;10663:28;10684:6;10663:16;10673:5;10663:9;:16::i;:::-;:20;;:28;;;;:::i;:::-;10643:12;:49::i;:::-;10703:45;10716:3;10721:26;10740:6;10721:14;10731:3;10721:9;:14::i;:::-;:18;;:26;;;;:::i;:::-;10703:12;:45::i;:::-;10759:56;10772:5;10778:3;10782:32;10807:6;10782:20;10792:5;10798:3;10782:9;:20::i;:::-;:24;;:32;;;;:::i;:::-;10759:12;:56::i;:::-;10847:3;10831:28;;10840:5;10831:28;;;10852:6;10831:28;;;;;;;;;;;;;;;;;;10877:4;10870:11;;10450:439;;;;;:::o;8484:96::-;8532:7;6616:2;8557:15;;;;8484:96;:::o;9063:92::-;1780:5;;;;;;;;;;;1766:19;;:10;:19;;;1758:28;;;;;;;;9140:7;9136:3;:11;;;;9063:92;:::o;8878:86::-;8921:7;8953:3;;8946:10;;8878:86;:::o;6583:35::-;6616:2;6583:35;:::o;6627:18::-;;;;:::o;8592:102::-;8642:4;8671:15;;;;;;;;;;;8664:22;;8592:102;:::o;4316:111::-;4371:7;4403:8;:16;4412:6;4403:16;;;;;;;;;;;;;;;;4396:23;;4316:111;;;:::o;9398:147::-;1780:5;;;;;;;;;;;1766:19;;:10;:19;;;1758:28;;;;;;;;9507:30;9517:9;9527;9507;:30::i;:::-;9398:147;;:::o;15385:89::-;8255:15;;;;;;;;;;;8254:16;8246:25;;;;;;;;1780:5;;;;;;;;;;;1766:19;;:10;:19;;;1758:28;;;;;;;;15452:14;;;;;;;;;;15385:89::o;19405:80::-;1780:5;;;;;;;;;;;1766:19;;:10;:19;;;1758:28;;;;;;;;19466:10;:8;:10::i;:::-;19453:24;;;1314:28;;;;;;;;;;;;;:::o;6536:38::-;;;:::o;3213:121::-;3274:7;3306:12;:20;3319:6;3306:20;;;;;;;;;;;;;;;;3299:27;;3213:121;;;:::o;9723:430::-;9785:4;9821:3;9809:15;;:10;:15;;;;9801:24;;;;;;;;9854:21;9864:10;9854:9;:21::i;:::-;9844:6;:31;;9836:40;;;;;;;;9957:59;9970:10;9982:33;10008:6;9982:21;9992:10;9982:9;:21::i;:::-;:25;;:33;;;;:::i;:::-;9957:12;:59::i;:::-;10027:45;10040:3;10045:26;10064:6;10045:14;10055:3;10045:9;:14::i;:::-;:18;;:26;;;;:::i;:::-;10027:12;:45::i;:::-;10111:3;10090:33;;10099:10;10090:33;;;10116:6;10090:33;;;;;;;;;;;;;;;;;;10141:4;10134:11;;9723:430;;;;:::o;12421:320::-;12514:4;12550:6;12538:18;;:10;:18;;;12530:27;;;;;;;;12568:73;12581:6;12588:8;12597:43;12628:11;12597:26;12607:6;12614:8;12597:9;:26::i;:::-;:30;;:43;;;;:::i;:::-;12568:12;:73::i;:::-;12674:8;12657:54;;12666:6;12657:54;;;12684:26;12694:6;12701:8;12684:9;:26::i;:::-;12657:54;;;;;;;;;;;;;;;;;;12729:4;12722:11;;12421:320;;;;;:::o;5323:228::-;5396:7;5441:6;5429:18;;:10;:18;;;:44;;;;5465:8;5451:22;;:10;:22;;;5429:44;:70;;;;5489:10;:8;:10::i;:::-;5477:22;;:10;:22;;;5429:70;5421:79;;;;;;;;5518:7;:15;5526:6;5518:15;;;;;;;;;;;;;;;:25;5534:8;5518:25;;;;;;;;;;;;;;;;5511:32;;5323:228;;;;:::o;11587:261::-;11668:4;11705:6;11692:19;;:10;:19;;;11684:28;;;;;;;;11723:41;11736:10;11747:8;11757:6;11723:12;:41::i;:::-;11801:8;11780:38;;11789:10;11780:38;;;11811:6;11780:38;;;;;;;;;;;;;;;;;;11836:4;11829:11;;11587:261;;;;;:::o;13317:491::-;13414:4;13450:6;13438:18;;:10;:18;;;13430:27;;;;;;;;13470:13;13486:26;13496:6;13503:8;13486:9;:26::i;:::-;13470:42;;13546:8;13527:16;:27;13523:186;;;13571:32;13584:6;13591:8;13601:1;13571:12;:32::i;:::-;13523:186;;;13636:61;13649:6;13656:8;13666:30;13679:16;13666:8;:12;;:30;;;;:::i;:::-;13636:12;:61::i;:::-;13523:186;13741:8;13724:54;;13733:6;13724:54;;;13751:26;13761:6;13768:8;13751:9;:26::i;:::-;13724:54;;;;;;;;;;;;;;;;;;13796:4;13789:11;;;13317:491;;;;;:::o;1983:202::-;1780:5;;;;;;;;;;;1766:19;;:10;:19;;;1758:28;;;;;;;;2094:1;2074:22;;:8;:22;;;;2066:31;;;;;;;;2141:8;2113:37;;2134:5;;;;;;;;;;;2113:37;;;;;;;;;;;;2169:8;2161:5;;:16;;;;;;;;;;;;;;;;;;1983:202;:::o;936:123::-;994:7;1026:1;1021;:6;;1014:14;;;;;;1050:1;1046;:5;1039:12;;936:123;;;;:::o;4783:195::-;4887:42;4876:53;;:9;:53;;;;4868:62;;;;;;;;4961:9;4941:8;:19;4950:9;4941:19;;;;;;;;;;;;;;;:29;;;;4783:195;;:::o;1134:147::-;1192:7;1212:9;1228:1;1224;:5;1212:17;;1252:1;1247;:6;;1240:14;;;;;;1272:1;1265:8;;;1134:147;;;;:::o;5892:408::-;6010:42;6000:52;;:8;:52;;;;5992:61;;;;;;;;6064:16;6083:71;6144:9;6083:56;6111:27;6121:6;6129:8;6111:9;:27::i;:::-;6083:23;6099:6;6083:15;:23::i;:::-;:27;;:56;;;;:::i;:::-;:60;;:71;;;;:::i;:::-;6064:90;;6185:17;6195:6;6185:9;:17::i;:::-;6173:8;:29;;6165:38;;;;;;;;6240:9;6214:7;:15;6222:6;6214:15;;;;;;;;;;;;;;;:25;6230:8;6214:25;;;;;;;;;;;;;;;:35;;;;6260:32;6276:6;6283:8;6260:15;:32::i;:::-;5892:408;;;;:::o;14693:558::-;8255:15;;;;;;;;;;;8254:16;8246:25;;;;;;;;14782:14;14792:3;14782:9;:14::i;:::-;14772:7;:24;14769:425;;;14812:12;14827:27;14839:14;14849:3;14839:9;:14::i;:::-;14827:7;:11;;:27;;;;:::i;:::-;14812:42;;14905:13;:11;:13::i;:::-;14878:23;14896:4;14878:13;:11;:13::i;:::-;:17;;:23;;;;:::i;:::-;:40;;14869:50;;;;;;;;14934:39;14949:23;14967:4;14949:13;:11;:13::i;:::-;:17;;:23;;;;:::i;:::-;14934:14;:39::i;:::-;14988:26;15001:3;15006:7;14988:12;:26::i;:::-;14769:425;;;;15045:12;15060:27;15079:7;15060:14;15070:3;15060:9;:14::i;:::-;:18;;:27;;;;:::i;:::-;15045:42;;15102:39;15117:23;15135:4;15117:13;:11;:13::i;:::-;:17;;:23;;;;:::i;:::-;15102:14;:39::i;:::-;15156:26;15169:3;15174:7;15156:12;:26::i;:::-;14769:425;;15230:3;15209:34;;15226:1;15209:34;;;15235:7;15209:34;;;;;;;;;;;;;;;;;;14693:558;;:::o;19045:95::-;19087:15;19127:5;;;;;;;;;;;19120:12;;19045:95;:::o;3594:123::-;3700:9;3679:12;:20;3692:6;3679:20;;;;;;;;;;;;;;;:30;;;;3594:123;;:::o;3993:95::-;4071:9;4061;:19;;;;3993:95;:::o

bzzr://e89322e182386ef3178015b6d733e80732ab669665f693dc9c1465c93db30efe