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 2020-03-19
*/

pragma solidity ^0.5.14;


/**
* @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 c) {
        if (a == 0) {
            return 0;
        }
        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 a / b;
    }

    /**
    * @dev Subtracts 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 c) {
        c = a + b;
        assert(c >= a);
        return c;
    }
}

/**
* @title Math
* @dev Assorted math operations
*/
library Math {
    function max64(uint64 a, uint64 b) internal pure returns (uint64) {
        return a >= b ? a : b;
    }

    function min64(uint64 a, uint64 b) internal pure returns (uint64) {
        return a < b ? a : b;
    }

    function max256(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    function min256(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }
}

/**
* @title ERC20Basic
* @dev Simpler version of ERC20 interface
* @dev see https://github.com/ethereum/EIPs/issues/179
*/
contract ERC20Basic {
    function totalSupply() public view returns (uint256);
    function balanceOf(address who) public view returns (uint256);
    function transfer(address to, uint256 value) public returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
}

/**
* @title ERC20 interface
* @dev see https://github.com/ethereum/EIPs/issues/20
*/
contract ERC20 is ERC20Basic {
    function allowance(address owner, address spender)
    public view returns (uint256);

    function transferFrom(address from, address to, uint256 value)
    public returns (bool);

    function approve(address spender, uint256 value) public returns (bool);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

/**
* @title Basic token
* @dev Basic version of StandardToken, with no allowances.
*/
contract BasicToken is ERC20Basic {
    using SafeMath for uint256;
    mapping(address => uint256) balances;

    uint256 totalSupply_;

    /**
    * @dev total number of tokens in existence
    */
    function totalSupply() public view returns (uint256) {
        return totalSupply_;
    }
    /**
    * @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(_to != address(0));
        require(_value <= balances[msg.sender]);

        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    /**
    * @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) public view returns (uint256) {
        return balances[_owner];
    }

}

/**
* @title Burnable Token
* @dev Token that can be irreversibly burned (destroyed).
*/
contract BurnableToken is BasicToken {

    event Burn(address indexed burner, uint256 value);

    /**
    * @dev Burns a specific amount of tokens.
    * @param _value The amount of token to be burned.
    */
    function burn(uint256 _value) public {
        _burn(msg.sender, _value);
    }

    function _burn(address _who, uint256 _value) internal {
        require(_value <= balances[_who]);
        // no need to require value <= totalSupply, since that would imply the
        // sender's balance is greater than the totalSupply, which *should* be an assertion failure

        balances[_who] = balances[_who].sub(_value);
        totalSupply_ = totalSupply_.sub(_value);
        emit Burn(_who, _value);
        emit Transfer(_who, address(0), _value);
    }
}

/**
* @title Standard ERC20 token
*
* @dev Implementation of the basic standard token.
* @dev https://github.com/ethereum/EIPs/issues/20
* @dev Based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
*/
contract StandardToken is ERC20, BasicToken {

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


    /**
    * @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(_to != address(0));
        require(_value <= balances[_from]);
        require(_value <= allowed[_from][msg.sender]);

        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
        emit Transfer(_from, _to, _value);
        return true;
    }

    /**
    * @dev Approve the passed address to spend the specified amount of tokens on behalf 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 _spender The address which will spend the funds.
    * @param _value The amount of tokens to be spent.
    */
    function approve(address _spender, uint256 _value) public returns (bool) {
        allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    /**
    * @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
    )
    public
    view
    returns (uint256)
    {
        return allowed[_owner][_spender];
    }

    /**
    * @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 _spender The address which will spend the funds.
    * @param _addedValue The amount of tokens to increase the allowance by.
    */
    function increaseApproval(
        address _spender,
        uint _addedValue
    )
    public
    returns (bool)
    {
        allowed[msg.sender][_spender] = (
        allowed[msg.sender][_spender].add(_addedValue));
        emit Approval(msg.sender, _spender, allowed[msg.sender][_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 _spender The address which will spend the funds.
    * @param _subtractedValue The amount of tokens to decrease the allowance by.
    */
    function decreaseApproval(
        address _spender,
        uint _subtractedValue
    )
    public
    returns (bool)
    {
        uint oldValue = allowed[msg.sender][_spender];
        if (_subtractedValue > oldValue) {
            allowed[msg.sender][_spender] = 0;
        } else {
            allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
        }
        emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }

}

/**
* @title Ownable
* @dev The Ownable contract has an owner address, and provides basic authorization control
* functions, this simplifies the implementation of "user permissions".
*/
contract Ownable {
    address public owner;
    address public tokenManager;


    event OwnershipRenounced(address indexed previousOwner);
    event OwnershipTransferred(
        address indexed previousOwner,
        address indexed newOwner
    );
    event MagegerTransferred(
        address indexed previousManager,
        address indexed newManager
    );



    /**
    * @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 Throws if called by any account other than the owner.
    */
    modifier onlyManager() {
        require(msg.sender == tokenManager);
        _;
    }

    /**
    * @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 newOwner) public onlyOwner {
        require(newOwner != address(0));
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }

    /**


    * @dev Allows the current owner to transfer control of the contract to a newOwner.
    * @param newManager The address to transfer managerShip to.
    */
    function transferTokenManager(address newManager) public onlyOwner {
        require(newManager != address(0));
        emit MagegerTransferred(tokenManager, newManager);
        tokenManager = newManager;
    }

    /**
    * @dev Allows the current owner to relinquish control of the contract.
    */
    function renounceOwnership() public onlyOwner {
        emit OwnershipRenounced(owner);
        owner = address(0);
    }

}

/**
* @title Mintable token
* @dev Simple ERC20 Token example, with mintable token creation
* @dev Issue: * https://github.com/OpenZeppelin/openzeppelin-solidity/issues/120
* Based on code by TokenMarketNet: https://github.com/TokenMarketNet/ico/blob/master/contracts/MintableToken.sol
*/
contract MintableToken is StandardToken, Ownable {
    event Mint(address indexed to, uint256 amount);
    event MintFinished();
    uint256 public maxMint = 50_000_000_000_000_000_000_000_000_000;

    bool public mintingFinished = false;


    modifier canMint() {
        require(!mintingFinished);
        _;
    }

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

    /**
    * @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
    )
    hasMintPermission
    canMint
    public
    returns (bool)
    {
        require(maxMint >= totalSupply_.add(_amount));
        totalSupply_ = totalSupply_.add(_amount);
        balances[_to] = balances[_to].add(_amount);
        emit Mint(_to, _amount);
        emit Transfer(address(0), _to, _amount);
        return true;
    }

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

contract Pausable is Ownable {
    event Pause();
    event Unpause();

    bool public paused = false;


    /**
    * @dev Modifier to make a function callable only when the contract is not paused.
    */
    modifier whenNotPaused() {
        require(!paused);
        _;
    }

    /**
    * @dev Modifier to make a function callable only when the contract is paused.
    */
    modifier whenPaused() {
        require(paused);
        _;
    }

    /**
    * @dev called by the owner to pause, triggers stopped state
    */
    function pause() onlyOwner whenNotPaused public {
        paused = true;
        emit Pause();
    }

    /**
    * @dev called by the owner to unpause, returns to normal state
    */
    function unpause() onlyOwner whenPaused public {
        paused = false;
        emit Unpause();
    }
}
contract ManagedToken is StandardToken, Ownable {


    /**
    * @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 managedTransferFrom(
        address _from,
        address _to,
        uint256 _value
    )
    public
    onlyManager
    returns (bool)
    {
        require(_to != address(0));
        require(_value <= balances[_from]);

        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        emit Transfer(_from, _to, _value);
        return true;
    }

}

contract PausableToken is StandardToken, Pausable {

    function transfer(
        address _to,
        uint256 _value
    )
    public
    whenNotPaused
    returns (bool)
    {
        return super.transfer(_to, _value);
    }

    function transferFrom(
        address _from,
        address _to,
        uint256 _value
    )
    public
    whenNotPaused
    returns (bool)
    {
        return super.transferFrom(_from, _to, _value);
    }

    function approve(
        address _spender,
        uint256 _value
    )
    public
    whenNotPaused
    returns (bool)
    {
        return super.approve(_spender, _value);
    }

    function increaseApproval(
        address _spender,
        uint _addedValue
    )
    public
    whenNotPaused
    returns (bool success)
    {
        return super.increaseApproval(_spender, _addedValue);
    }

    function decreaseApproval(
        address _spender,
        uint _subtractedValue
    )
    public
    whenNotPaused
    returns (bool success)
    {
        return super.decreaseApproval(_spender, _subtractedValue);
    }
}
/**
* @title SampleCrowdsaleToken
* @dev Very simple ERC20 Token that can be minted.
* It is meant to be used in a crowdsale contract.
*/
contract WorldpetToken is MintableToken,PausableToken,BurnableToken,ManagedToken {

    // solium-disable-next-line uppercase
    string public constant name = "Worldpet Token";
    string public constant symbol = "WPT"; // solium-disable-line uppercase
    uint8 public constant decimals = 18; // solium-disable-line uppercase

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","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":"burner","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousManager","type":"address"},{"indexed":true,"internalType":"address","name":"newManager","type":"address"}],"name":"MagegerTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[],"name":"MintFinished","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[],"name":"Pause","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"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_spender","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":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","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":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"finishMinting","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_addedValue","type":"uint256"}],"name":"increaseApproval","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":"managedTransferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"maxMint","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"mint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"mintingFinished","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","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","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokenManager","outputs":[{"internalType":"address","name":"","type":"address"}],"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":"","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":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newManager","type":"address"}],"name":"transferTokenManager","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526ba18f07d736b90be5500000006005556006805461ffff19169055600380546001600160a01b03191633179055611081806100406000396000f3fe608060405234801561001057600080fd5b50600436106101735760003560e01c806366188463116100de5780638456cb5911610097578063a9059cbb11610071578063a9059cbb14610408578063d73dd62314610434578063dd62ed3e14610460578063f2fde38b1461048e57610173565b80638456cb59146103f05780638da5cb5b146103f857806395d89b411461040057610173565b8063661884631461035057806370a082311461037c578063715018a6146103a25780637501f741146103aa5780637c55ffdf146103b25780637d64bcb4146103e857610173565b8063313ce56711610130578063313ce567146102b15780633f4ba83a146102cf57806340c10f19146102d957806342966c68146103055780635c975abb1461032257806360da8f9a1461032a57610173565b806305d2035b1461017857806306fdde0314610194578063095ea7b31461021157806318160ddd1461023d57806323b872dd146102575780632a709b141461028d575b600080fd5b6101806104b4565b604080519115158252519081900360200190f35b61019c6104bd565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101d65781810151838201526020016101be565b50505050905090810190601f1680156102035780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101806004803603604081101561022757600080fd5b506001600160a01b0381351690602001356104e7565b610245610510565b60408051918252519081900360200190f35b6101806004803603606081101561026d57600080fd5b506001600160a01b03813581169160208101359091169060400135610516565b610295610541565b604080516001600160a01b039092168252519081900360200190f35b6102b9610550565b6040805160ff9092168252519081900360200190f35b6102d7610555565b005b610180600480360360408110156102ef57600080fd5b506001600160a01b0381351690602001356105b6565b6102d76004803603602081101561031b57600080fd5b50356106c8565b6101806106d5565b6102d76004803603602081101561034057600080fd5b50356001600160a01b03166106e3565b6101806004803603604081101561036657600080fd5b506001600160a01b038135169060200135610769565b6102456004803603602081101561039257600080fd5b50356001600160a01b031661078b565b6102d76107a6565b610245610807565b610180600480360360608110156103c857600080fd5b506001600160a01b0381358116916020810135909116906040013561080d565b61018061090a565b6102d7610970565b6102956109d6565b61019c6109e5565b6101806004803603604081101561041e57600080fd5b506001600160a01b038135169060200135610a04565b6101806004803603604081101561044a57600080fd5b506001600160a01b038135169060200135610a26565b6102456004803603604081101561047657600080fd5b506001600160a01b0381358116916020013516610a48565b6102d7600480360360208110156104a457600080fd5b50356001600160a01b0316610a73565b60065460ff1681565b6040518060400160405280600e81526020016d2bb7b936323832ba102a37b5b2b760911b81525081565b600654600090610100900460ff16156104ff57600080fd5b6105098383610af9565b9392505050565b60015490565b600654600090610100900460ff161561052e57600080fd5b610539848484610b5f565b949350505050565b6004546001600160a01b031681565b601281565b6003546001600160a01b0316331461056c57600080fd5b600654610100900460ff1661058057600080fd5b6006805461ff00191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a1565b6003546000906001600160a01b031633146105d057600080fd5b60065460ff16156105e057600080fd5b6001546105f3908363ffffffff610cc216565b600554101561060157600080fd5b600154610614908363ffffffff610cc216565b6001556001600160a01b038316600090815260208190526040902054610640908363ffffffff610cc216565b6001600160a01b03841660008181526020818152604091829020939093558051858152905191927f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d412139688592918290030190a26040805183815290516001600160a01b0385169160009160008051602061102d8339815191529181900360200190a350600192915050565b6106d23382610cd5565b50565b600654610100900460ff1681565b6003546001600160a01b031633146106fa57600080fd5b6001600160a01b03811661070d57600080fd5b6004546040516001600160a01b038084169216907f71d487db3774dd2b49d3d70fff8cab524e3cb2a943e0a12a084d9f3c86f33b4190600090a3600480546001600160a01b0319166001600160a01b0392909216919091179055565b600654600090610100900460ff161561078157600080fd5b6105098383610dc4565b6001600160a01b031660009081526020819052604090205490565b6003546001600160a01b031633146107bd57600080fd5b6003546040516001600160a01b03909116907ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482090600090a2600380546001600160a01b0319169055565b60055481565b6004546000906001600160a01b0316331461082757600080fd5b6001600160a01b03831661083a57600080fd5b6001600160a01b03841660009081526020819052604090205482111561085f57600080fd5b6001600160a01b038416600090815260208190526040902054610888908363ffffffff610eb416565b6001600160a01b0380861660009081526020819052604080822093909355908516815220546108bd908363ffffffff610cc216565b6001600160a01b0380851660008181526020818152604091829020949094558051868152905191939288169260008051602061102d83398151915292918290030190a35060019392505050565b6003546000906001600160a01b0316331461092457600080fd5b60065460ff161561093457600080fd5b6006805460ff191660011790556040517fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0890600090a150600190565b6003546001600160a01b0316331461098757600080fd5b600654610100900460ff161561099c57600080fd5b6006805461ff0019166101001790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b6003546001600160a01b031681565b6040518060400160405280600381526020016215d41560ea1b81525081565b600654600090610100900460ff1615610a1c57600080fd5b6105098383610ec6565b600654600090610100900460ff1615610a3e57600080fd5b6105098383610f93565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6003546001600160a01b03163314610a8a57600080fd5b6001600160a01b038116610a9d57600080fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b3360008181526002602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60006001600160a01b038316610b7457600080fd5b6001600160a01b038416600090815260208190526040902054821115610b9957600080fd5b6001600160a01b0384166000908152600260209081526040808320338452909152902054821115610bc957600080fd5b6001600160a01b038416600090815260208190526040902054610bf2908363ffffffff610eb416565b6001600160a01b038086166000908152602081905260408082209390935590851681522054610c27908363ffffffff610cc216565b6001600160a01b03808516600090815260208181526040808320949094559187168152600282528281203382529091522054610c69908363ffffffff610eb416565b6001600160a01b038086166000818152600260209081526040808320338452825291829020949094558051868152905192871693919260008051602061102d833981519152929181900390910190a35060019392505050565b81810182811015610ccf57fe5b92915050565b6001600160a01b038216600090815260208190526040902054811115610cfa57600080fd5b6001600160a01b038216600090815260208190526040902054610d23908263ffffffff610eb416565b6001600160a01b038316600090815260208190526040902055600154610d4f908263ffffffff610eb416565b6001556040805182815290516001600160a01b038416917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a26040805182815290516000916001600160a01b0385169160008051602061102d8339815191529181900360200190a35050565b3360009081526002602090815260408083206001600160a01b038616845290915281205480831115610e19573360009081526002602090815260408083206001600160a01b0388168452909152812055610e4e565b610e29818463ffffffff610eb416565b3360009081526002602090815260408083206001600160a01b03891684529091529020555b3360008181526002602090815260408083206001600160a01b0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600082821115610ec057fe5b50900390565b60006001600160a01b038316610edb57600080fd5b33600090815260208190526040902054821115610ef757600080fd5b33600090815260208190526040902054610f17908363ffffffff610eb416565b33600090815260208190526040808220929092556001600160a01b03851681522054610f49908363ffffffff610cc216565b6001600160a01b0384166000818152602081815260409182902093909355805185815290519192339260008051602061102d8339815191529281900390910190a350600192915050565b3360009081526002602090815260408083206001600160a01b0386168452909152812054610fc7908363ffffffff610cc216565b3360008181526002602090815260408083206001600160a01b0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a35060019291505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa265627a7a72315820bcf0afd52909a13e30bb0c7f3c408c7be744e1b26c5f5e9669b50bbadcba4f5b64736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106101735760003560e01c806366188463116100de5780638456cb5911610097578063a9059cbb11610071578063a9059cbb14610408578063d73dd62314610434578063dd62ed3e14610460578063f2fde38b1461048e57610173565b80638456cb59146103f05780638da5cb5b146103f857806395d89b411461040057610173565b8063661884631461035057806370a082311461037c578063715018a6146103a25780637501f741146103aa5780637c55ffdf146103b25780637d64bcb4146103e857610173565b8063313ce56711610130578063313ce567146102b15780633f4ba83a146102cf57806340c10f19146102d957806342966c68146103055780635c975abb1461032257806360da8f9a1461032a57610173565b806305d2035b1461017857806306fdde0314610194578063095ea7b31461021157806318160ddd1461023d57806323b872dd146102575780632a709b141461028d575b600080fd5b6101806104b4565b604080519115158252519081900360200190f35b61019c6104bd565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101d65781810151838201526020016101be565b50505050905090810190601f1680156102035780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101806004803603604081101561022757600080fd5b506001600160a01b0381351690602001356104e7565b610245610510565b60408051918252519081900360200190f35b6101806004803603606081101561026d57600080fd5b506001600160a01b03813581169160208101359091169060400135610516565b610295610541565b604080516001600160a01b039092168252519081900360200190f35b6102b9610550565b6040805160ff9092168252519081900360200190f35b6102d7610555565b005b610180600480360360408110156102ef57600080fd5b506001600160a01b0381351690602001356105b6565b6102d76004803603602081101561031b57600080fd5b50356106c8565b6101806106d5565b6102d76004803603602081101561034057600080fd5b50356001600160a01b03166106e3565b6101806004803603604081101561036657600080fd5b506001600160a01b038135169060200135610769565b6102456004803603602081101561039257600080fd5b50356001600160a01b031661078b565b6102d76107a6565b610245610807565b610180600480360360608110156103c857600080fd5b506001600160a01b0381358116916020810135909116906040013561080d565b61018061090a565b6102d7610970565b6102956109d6565b61019c6109e5565b6101806004803603604081101561041e57600080fd5b506001600160a01b038135169060200135610a04565b6101806004803603604081101561044a57600080fd5b506001600160a01b038135169060200135610a26565b6102456004803603604081101561047657600080fd5b506001600160a01b0381358116916020013516610a48565b6102d7600480360360208110156104a457600080fd5b50356001600160a01b0316610a73565b60065460ff1681565b6040518060400160405280600e81526020016d2bb7b936323832ba102a37b5b2b760911b81525081565b600654600090610100900460ff16156104ff57600080fd5b6105098383610af9565b9392505050565b60015490565b600654600090610100900460ff161561052e57600080fd5b610539848484610b5f565b949350505050565b6004546001600160a01b031681565b601281565b6003546001600160a01b0316331461056c57600080fd5b600654610100900460ff1661058057600080fd5b6006805461ff00191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a1565b6003546000906001600160a01b031633146105d057600080fd5b60065460ff16156105e057600080fd5b6001546105f3908363ffffffff610cc216565b600554101561060157600080fd5b600154610614908363ffffffff610cc216565b6001556001600160a01b038316600090815260208190526040902054610640908363ffffffff610cc216565b6001600160a01b03841660008181526020818152604091829020939093558051858152905191927f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d412139688592918290030190a26040805183815290516001600160a01b0385169160009160008051602061102d8339815191529181900360200190a350600192915050565b6106d23382610cd5565b50565b600654610100900460ff1681565b6003546001600160a01b031633146106fa57600080fd5b6001600160a01b03811661070d57600080fd5b6004546040516001600160a01b038084169216907f71d487db3774dd2b49d3d70fff8cab524e3cb2a943e0a12a084d9f3c86f33b4190600090a3600480546001600160a01b0319166001600160a01b0392909216919091179055565b600654600090610100900460ff161561078157600080fd5b6105098383610dc4565b6001600160a01b031660009081526020819052604090205490565b6003546001600160a01b031633146107bd57600080fd5b6003546040516001600160a01b03909116907ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482090600090a2600380546001600160a01b0319169055565b60055481565b6004546000906001600160a01b0316331461082757600080fd5b6001600160a01b03831661083a57600080fd5b6001600160a01b03841660009081526020819052604090205482111561085f57600080fd5b6001600160a01b038416600090815260208190526040902054610888908363ffffffff610eb416565b6001600160a01b0380861660009081526020819052604080822093909355908516815220546108bd908363ffffffff610cc216565b6001600160a01b0380851660008181526020818152604091829020949094558051868152905191939288169260008051602061102d83398151915292918290030190a35060019392505050565b6003546000906001600160a01b0316331461092457600080fd5b60065460ff161561093457600080fd5b6006805460ff191660011790556040517fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0890600090a150600190565b6003546001600160a01b0316331461098757600080fd5b600654610100900460ff161561099c57600080fd5b6006805461ff0019166101001790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b6003546001600160a01b031681565b6040518060400160405280600381526020016215d41560ea1b81525081565b600654600090610100900460ff1615610a1c57600080fd5b6105098383610ec6565b600654600090610100900460ff1615610a3e57600080fd5b6105098383610f93565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6003546001600160a01b03163314610a8a57600080fd5b6001600160a01b038116610a9d57600080fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b3360008181526002602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60006001600160a01b038316610b7457600080fd5b6001600160a01b038416600090815260208190526040902054821115610b9957600080fd5b6001600160a01b0384166000908152600260209081526040808320338452909152902054821115610bc957600080fd5b6001600160a01b038416600090815260208190526040902054610bf2908363ffffffff610eb416565b6001600160a01b038086166000908152602081905260408082209390935590851681522054610c27908363ffffffff610cc216565b6001600160a01b03808516600090815260208181526040808320949094559187168152600282528281203382529091522054610c69908363ffffffff610eb416565b6001600160a01b038086166000818152600260209081526040808320338452825291829020949094558051868152905192871693919260008051602061102d833981519152929181900390910190a35060019392505050565b81810182811015610ccf57fe5b92915050565b6001600160a01b038216600090815260208190526040902054811115610cfa57600080fd5b6001600160a01b038216600090815260208190526040902054610d23908263ffffffff610eb416565b6001600160a01b038316600090815260208190526040902055600154610d4f908263ffffffff610eb416565b6001556040805182815290516001600160a01b038416917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a26040805182815290516000916001600160a01b0385169160008051602061102d8339815191529181900360200190a35050565b3360009081526002602090815260408083206001600160a01b038616845290915281205480831115610e19573360009081526002602090815260408083206001600160a01b0388168452909152812055610e4e565b610e29818463ffffffff610eb416565b3360009081526002602090815260408083206001600160a01b03891684529091529020555b3360008181526002602090815260408083206001600160a01b0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600082821115610ec057fe5b50900390565b60006001600160a01b038316610edb57600080fd5b33600090815260208190526040902054821115610ef757600080fd5b33600090815260208190526040902054610f17908363ffffffff610eb416565b33600090815260208190526040808220929092556001600160a01b03851681522054610f49908363ffffffff610cc216565b6001600160a01b0384166000818152602081815260409182902093909355805185815290519192339260008051602061102d8339815191529281900390910190a350600192915050565b3360009081526002602090815260408083206001600160a01b0386168452909152812054610fc7908363ffffffff610cc216565b3360008181526002602090815260408083206001600160a01b0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a35060019291505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa265627a7a72315820bcf0afd52909a13e30bb0c7f3c408c7be744e1b26c5f5e9669b50bbadcba4f5b64736f6c63430005110032

16024:337:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16024:337:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11919:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;16157:46;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;16157:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15217:189;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15217:189:0;;;;;;;;:::i;3074:91::-;;;:::i;:::-;;;;;;;;;;;;;;;;14989:220;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14989:220:0;;;;;;;;;;;;;;;;;:::i;9547:27::-;;;:::i;:::-;;;;-1:-1:-1;;;;;9547:27:0;;;;;;;;;;;;;;16287:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13852:105;;;:::i;:::-;;12389:416;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;12389:416:0;;;;;;;;:::i;4344:81::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4344:81:0;;:::i;13177:26::-;;;:::i;10967:215::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10967:215:0;-1:-1:-1;;;;;10967:215:0;;:::i;15644:232::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15644:232:0;;;;;;;;:::i;3912:107::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3912:107:0;-1:-1:-1;;;;;3912:107:0;;:::i;11283:124::-;;;:::i;11847:63::-;;;:::i;14305:427::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14305:427:0;;;;;;;;;;;;;;;;;:::i;12932:158::-;;;:::i;13656:103::-;;;:::i;9520:20::-;;;:::i;16210:37::-;;;:::i;14800:181::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14800:181:0;;;;;;;;:::i;15414:222::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15414:222:0;;;;;;;;:::i;7326:179::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7326:179:0;;;;;;;;;;:::i;10593:192::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10593:192:0;-1:-1:-1;;;;;10593:192:0;;:::i;11919:35::-;;;;;;:::o;16157:46::-;;;;;;;;;;;;;;-1:-1:-1;;;16157:46:0;;;;:::o;15217:189::-;13363:6;;15338:4;;13363:6;;;;;13362:7;13354:16;;;;;;15367:31;15381:8;15391:6;15367:13;:31::i;:::-;15360:38;15217:189;-1:-1:-1;;;15217:189:0:o;3074:91::-;3145:12;;3074:91;:::o;14989:220::-;13363:6;;15134:4;;13363:6;;;;;13362:7;13354:16;;;;;;15163:38;15182:5;15189:3;15194:6;15163:18;:38::i;:::-;15156:45;14989:220;-1:-1:-1;;;;14989:220:0:o;9547:27::-;;;-1:-1:-1;;;;;9547:27:0;;:::o;16287:35::-;16320:2;16287:35;:::o;13852:105::-;10213:5;;-1:-1:-1;;;;;10213:5:0;10199:10;:19;10191:28;;;;;;13539:6;;;;;;;13531:15;;;;;;13910:6;:14;;-1:-1:-1;;13910:14:0;;;13940:9;;;;13919:5;;13940:9;13852:105::o;12389:416::-;12110:5;;12520:4;;-1:-1:-1;;;;;12110:5:0;12096:10;:19;12088:28;;;;;;12004:15;;;;12003:16;11995:25;;;;;;12561:12;;:25;;12578:7;12561:25;:16;:25;:::i;:::-;12550:7;;:36;;12542:45;;;;;;12613:12;;:25;;12630:7;12613:25;:16;:25;:::i;:::-;12598:12;:40;-1:-1:-1;;;;;12665:13:0;;:8;:13;;;;;;;;;;;:26;;12683:7;12665:26;:17;:26;:::i;:::-;-1:-1:-1;;;;;12649:13:0;;:8;:13;;;;;;;;;;;;:42;;;;12707:18;;;;;;;12649:13;;12707:18;;;;;;;;;12741:34;;;;;;;;-1:-1:-1;;;;;12741:34:0;;;12758:1;;-1:-1:-1;;;;;;;;;;;12741:34:0;;;;;;;;-1:-1:-1;12793:4:0;12389:416;;;;:::o;4344:81::-;4392:25;4398:10;4410:6;4392:5;:25::i;:::-;4344:81;:::o;13177:26::-;;;;;;;;;:::o;10967:215::-;10213:5;;-1:-1:-1;;;;;10213:5:0;10199:10;:19;10191:28;;;;;;-1:-1:-1;;;;;11053:24:0;;11045:33;;;;;;11113:12;;11094:44;;-1:-1:-1;;;;;11094:44:0;;;;11113:12;;11094:44;;11113:12;;11094:44;11149:12;:25;;-1:-1:-1;;;;;;11149:25:0;-1:-1:-1;;;;;11149:25:0;;;;;;;;;;10967:215::o;15644:232::-;13363:6;;15781:12;;13363:6;;;;;13362:7;13354:16;;;;;;15818:50;15841:8;15851:16;15818:22;:50::i;3912:107::-;-1:-1:-1;;;;;3995:16:0;3968:7;3995:16;;;;;;;;;;;;3912:107::o;11283:124::-;10213:5;;-1:-1:-1;;;;;10213:5:0;10199:10;:19;10191:28;;;;;;11364:5;;11345:25;;-1:-1:-1;;;;;11364:5:0;;;;11345:25;;11364:5;;11345:25;11381:5;:18;;-1:-1:-1;;;;;;11381:18:0;;;11283:124::o;11847:63::-;;;;:::o;14305:427::-;10386:12;;14455:4;;-1:-1:-1;;;;;10386:12:0;10372:10;:26;10364:35;;;;;;-1:-1:-1;;;;;14485:17:0;;14477:26;;;;;;-1:-1:-1;;;;;14532:15:0;;:8;:15;;;;;;;;;;;14522:25;;;14514:34;;;;;;-1:-1:-1;;;;;14579:15:0;;:8;:15;;;;;;;;;;;:27;;14599:6;14579:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;14561:15:0;;;:8;:15;;;;;;;;;;;:45;;;;14633:13;;;;;;;:25;;14651:6;14633:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;14617:13:0;;;:8;:13;;;;;;;;;;;;:41;;;;14674:28;;;;;;;14617:13;;14674:28;;;;-1:-1:-1;;;;;;;;;;;14674:28:0;;;;;;;;-1:-1:-1;14720:4:0;14305:427;;;;;:::o;12932:158::-;10213:5;;12991:4;;-1:-1:-1;;;;;10213:5:0;10199:10;:19;10191:28;;;;;;12004:15;;;;12003:16;11995:25;;;;;;13008:15;:22;;-1:-1:-1;;13008:22:0;13026:4;13008:22;;;13046:14;;;;13008:15;;13046:14;-1:-1:-1;13078:4:0;12932:158;:::o;13656:103::-;10213:5;;-1:-1:-1;;;;;10213:5:0;10199:10;:19;10191:28;;;;;;13363:6;;;;;;;13362:7;13354:16;;;;;;13715:6;:13;;-1:-1:-1;;13715:13:0;;;;;13744:7;;;;13715:13;;13744:7;13656:103::o;9520:20::-;;;-1:-1:-1;;;;;9520:20:0;;:::o;16210:37::-;;;;;;;;;;;;;;-1:-1:-1;;;16210:37:0;;;;:::o;14800:181::-;13363:6;;14917:4;;13363:6;;;;;13362:7;13354:16;;;;;;14946:27;14961:3;14966:6;14946:14;:27::i;15414:222::-;13363:6;;15546:12;;13363:6;;;;;13362:7;13354:16;;;;;;15583:45;15606:8;15616:11;15583:22;:45::i;7326:179::-;-1:-1:-1;;;;;7472:15:0;;;7440:7;7472:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;7326:179::o;10593:192::-;10213:5;;-1:-1:-1;;;;;10213:5:0;10199:10;:19;10191:28;;;;;;-1:-1:-1;;;;;10674:22:0;;10666:31;;;;;;10734:5;;10713:37;;-1:-1:-1;;;;;10713:37:0;;;;10734:5;;10713:37;;10734:5;;10713:37;10761:5;:16;;-1:-1:-1;;;;;;10761:16:0;-1:-1:-1;;;;;10761:16:0;;;;;;;;;;10593:192::o;6784:206::-;6876:10;6851:4;6868:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6868:29:0;;;;;;;;;;;:38;;;6922;;;;;;;6851:4;;6868:29;;6876:10;;6922:38;;;;;;;;-1:-1:-1;6978:4:0;6784:206;;;;:::o;5599:537::-;5725:4;-1:-1:-1;;;;;5755:17:0;;5747:26;;;;;;-1:-1:-1;;;;;5802:15:0;;:8;:15;;;;;;;;;;;5792:25;;;5784:34;;;;;;-1:-1:-1;;;;;5847:14:0;;;;;;:7;:14;;;;;;;;5862:10;5847:26;;;;;;;;5837:36;;;5829:45;;;;;;-1:-1:-1;;;;;5905:15:0;;:8;:15;;;;;;;;;;;:27;;5925:6;5905:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;5887:15:0;;;:8;:15;;;;;;;;;;;:45;;;;5959:13;;;;;;;:25;;5977:6;5959:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;5943:13:0;;;:8;:13;;;;;;;;;;;:41;;;;6024:14;;;;;:7;:14;;;;;6039:10;6024:26;;;;;;;:38;;6055:6;6024:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;5995:14:0;;;;;;;:7;:14;;;;;;;;6010:10;5995:26;;;;;;;;:67;;;;6078:28;;;;;;;;;;;5995:14;;-1:-1:-1;;;;;;;;;;;6078:28:0;;;;;;;;;;-1:-1:-1;6124:4:0;5599:537;;;;;:::o;1135:141::-;1219:5;;;1242:6;;;;1235:14;;;;1135:141;;;;:::o;4433:477::-;-1:-1:-1;;;;;4516:14:0;;:8;:14;;;;;;;;;;;4506:24;;;4498:33;;;;;;-1:-1:-1;;;;;4742:14:0;;:8;:14;;;;;;;;;;;:26;;4761:6;4742:26;:18;:26;:::i;:::-;-1:-1:-1;;;;;4725:14:0;;:8;:14;;;;;;;;;;:43;4794:12;;:24;;4811:6;4794:24;:16;:24;:::i;:::-;4779:12;:39;4834:18;;;;;;;;-1:-1:-1;;;;;4834:18:0;;;;;;;;;;;;;4868:34;;;;;;;;4891:1;;-1:-1:-1;;;;;4868:34:0;;;-1:-1:-1;;;;;;;;;;;4868:34:0;;;;;;;;4433:477;;:::o;8806:490::-;8970:10;8924:4;8962:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;8962:29:0;;;;;;;;;;9006:27;;;9002:188;;;9058:10;9082:1;9050:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;9050:29:0;;;;;;;;;:33;9002:188;;;9148:30;:8;9161:16;9148:30;:12;:30;:::i;:::-;9124:10;9116:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;9116:29:0;;;;;;;;;:62;9002:188;9214:10;9236:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;9205:61:0;;9236:29;;;;;;;;;;;9205:61;;;;;;;;;9214:10;9205:61;;;;;;;;;;;-1:-1:-1;9284:4:0;;8806:490;-1:-1:-1;;;8806:490:0:o;937:123::-;995:7;1027:1;1022;:6;;1015:14;;;;-1:-1:-1;1047:5:0;;;937:123::o;3336:355::-;3399:4;-1:-1:-1;;;;;3424:17:0;;3416:26;;;;;;3480:10;3471:8;:20;;;;;;;;;;;3461:30;;;3453:39;;;;;;3537:10;3528:8;:20;;;;;;;;;;;:32;;3553:6;3528:32;:24;:32;:::i;:::-;3514:10;3505:8;:20;;;;;;;;;;;:55;;;;-1:-1:-1;;;;;3587:13:0;;;;;;:25;;3605:6;3587:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;3571:13:0;;:8;:13;;;;;;;;;;;;:41;;;;3628:33;;;;;;;3571:13;;3637:10;;-1:-1:-1;;;;;;;;;;;3628:33:0;;;;;;;;;-1:-1:-1;3679:4:0;3336:355;;;;:::o;7987:332::-;8173:10;8100:4;8165:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;8165:29:0;;;;;;;;;;:46;;8199:11;8165:46;:33;:46;:::i;:::-;8130:10;8122:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;8122:29:0;;;;;;;;;;;;:90;;;8228:61;;;;;;8122:29;;8228:61;;;;;;;;;;;-1:-1:-1;8307:4:0;7987:332;;;;:::o

bzzr://bcf0afd52909a13e30bb0c7f3c408c7be744e1b26c5f5e9669b50bbadcba4f5b