Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ... library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract ERC20 is IERC20    - function totalSupply()    - function balanceOf(address owner)    - function freezeOf(address owner)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address from, addr ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _freeze(uint256 value)    - function _unfreeze(uint256 value)    - function _approve(address owner, addr ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals() library Roles    - function add(Role storage role, addre ...    - function remove(Role storage role, ad ...    - function has(Role storage role, addre ...  contract PauserRole    - function isPauser(address account)    - function addPauser(address account)    - function renouncePauser()    - function _addPauser(address account)    - function _removePauser(address accoun ...  contract Pausable is PauserRole    - function paused()    - function pause()    - function unpause()  contract Lockable is PauserRole    - function isLock(address account)    - function lock(address account, bool i ...  contract ERC20Pausable is ERC20, P ...    - function transfer(address to, uint256 ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...  contract HooToken is ERC20, ERC20D ... *    - function mint(uint256 value)    - function burn(uint256 value)    - function freeze(uint256 value)    - function unfreeze(uint256 value)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-25
*/

/**
 *Submitted for verification at Etherscan.io on 2019-07-18
*/

/**
 * Source Code first verified at https://etherscan.io on Sunday, April 28, 2019
 (UTC) */

pragma solidity ^0.5.7;


/**
 * @title ERC20 interface
 * @dev see https://eips.ethereum.org/EIPS/eip-20
 */
interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

    function approve(address spender, uint256 value) external returns (bool);

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

    function totalSupply() external view returns (uint256);

    function balanceOf(address who) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
    
    event Freeze(address indexed from, uint256 value);
    
    event Unfreeze(address indexed from, uint256 value);
}



/**
 * @title SafeMath
 * @dev Unsigned math operations with safety checks that revert on error.
 */
library SafeMath {
    /**
     * @dev Multiplies two unsigned integers, reverts on overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b);

        return c;
    }

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

        return c;
    }

    /**
     * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Adds two unsigned integers, reverts on overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);

        return c;
    }

    /**
     * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
     * reverts when dividing by zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }
}

/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://eips.ethereum.org/EIPS/eip-20
 * Originally based on code by FirstBlood:
 * https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 *
 * This implementation emits additional Approval events, allowing applications to reconstruct the allowance status for
 * all accounts just by listening to said events. Note that this isn't required by the specification, and other
 * compliant implementations may not do it.
 */
contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowed;
    
    mapping (address => uint256) private _freezeOf;
    
    uint256 private _totalSupply;

    /**
     * @dev Total number of tokens in existence.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev Gets the balance of the specified address.
     * @param owner The address to query the balance of.
     * @return A uint256 representing the amount owned by the passed address.
     */
    function balanceOf(address owner) public view returns (uint256) {
        return _balances[owner];
    }
    
    /**
     * @dev Gets the balance of the specified freeze address.
     * @param owner The address to query the balance of.
     * @return A uint256 representing the amount owned by the freeze address.
     */
    function freezeOf(address owner) public view returns (uint256) {
        return _freezeOf[owner];
    }

    /**
     * @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 Transfer token to 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) {
        _transfer(msg.sender, 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) {
        _approve(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev Transfer tokens from one address to another.
     * Note that while this function emits an Approval event, this is not required as per the specification,
     * and other compliant implementations may not emit the event.
     * @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) {
        _transfer(from, to, value);
        _approve(from, msg.sender, _allowed[from][msg.sender].sub(value));
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowed[msg.sender][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
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param addedValue The amount of tokens to increase the allowance by.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowed[msg.sender][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
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @dev Transfer token for a specified addresses.
     * @param from The address to transfer from.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     */
    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0));

        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }

    /**
     * @dev Internal function that mints an amount of the token and assigns it to
     * an account. This encapsulates the modification of balances such that the
     * proper events are emitted.
     * @param account The account that will receive the created tokens.
     * @param value The amount that will be created.
     */
    function _mint(address account, uint256 value) internal {
        require(account != address(0));
        _totalSupply = _totalSupply.add(value);
        _balances[account] = _balances[account].add(value);
        emit Transfer(address(0), account, value);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account.
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0));
        
        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }
    
    function _freeze(uint256 value) internal {
        require(_balances[msg.sender]>=value); // Check if the sender has enough
        require(value > 0);
        _balances[msg.sender] = _balances[msg.sender].sub(value);
        _freezeOf[msg.sender] = _freezeOf[msg.sender].add(value);
        emit Freeze(msg.sender, value);
    }
    
    function _unfreeze(uint256 value) internal{
        require(_freezeOf[msg.sender]>=value); 
		require(value > 0);
        _freezeOf[msg.sender] = _freezeOf[msg.sender].sub(value); 
		_balances[msg.sender] = _balances[msg.sender].add(value);
        emit Unfreeze(msg.sender, value);

    }
    
    /**
     * @dev Approve an address to spend another addresses' tokens.
     * @param owner The address that owns the tokens.
     * @param spender The address that will spend the tokens.
     * @param value The number of tokens that can be spent.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(spender != address(0));
        require(owner != address(0));

        _allowed[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

}


/**
 * @title ERC20Detailed token
 * @dev The decimals are only for visualization purposes.
 * All the operations are done using the smallest and indivisible token unit,
 * just as on Ethereum all the operations are done in wei.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

    /**
     * @return the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @return the symbol of the token.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @return the number of decimals of the token.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

/**
 * @title Roles
 * @dev Library for managing addresses assigned to a Role.
 */
library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account));

        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account));

        role.bearer[account] = false;
    }

    /**
     * @dev Check if an account has this role.
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0));
        return role.bearer[account];
    }
}


contract PauserRole {
    using Roles for Roles.Role;

    event PauserAdded(address indexed account);
    event PauserRemoved(address indexed account);

    Roles.Role private _pausers;

    constructor () internal {
        _addPauser(msg.sender);
    }

    modifier onlyPauser() {
        require(isPauser(msg.sender));
        _;
    }

    function isPauser(address account) public view returns (bool) {
        return _pausers.has(account);
    }

    function addPauser(address account) public onlyPauser {
        _addPauser(account);
    }

    function renouncePauser() public {
        _removePauser(msg.sender);
    }

    function _addPauser(address account) internal {
        _pausers.add(account);
        emit PauserAdded(account);
    }

    function _removePauser(address account) internal {
        _pausers.remove(account);
        emit PauserRemoved(account);
    }
}



/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is PauserRole {
    event Paused(address account);
    event Unpaused(address account);

    bool private _paused;

    constructor () internal {
        _paused = false;
    }

    /**
     * @return True if the contract is paused, false otherwise.
     */
    function paused() public view returns (bool) {
        return _paused;
    }

    /**
     * @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 a pauser to pause, triggers stopped state.
     */
    function pause() public onlyPauser whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

    /**
     * @dev Called by a pauser to unpause, returns to normal state.
     */
    function unpause() public onlyPauser whenPaused {
        _paused = false;
        emit Unpaused(msg.sender);
    }
}

/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Lockable is PauserRole{
    

    mapping (address => bool) private lockers;
    

    event LockAccount(address account, bool islock);
    
    
    /**
     * @dev Check if the account is locked.
     * @param account specific account address.
     */
    function isLock(address account) public view returns (bool) {
        return lockers[account];
    }
    
    /**
     * @dev Lock or thaw account address
     * @param account specific account address.
     * @param islock true lock, false thaw.
     */
    function lock(address account, bool islock)  public onlyPauser {
        lockers[account] = islock;
        emit LockAccount(account, islock);
    }
    
}




/**
 * @title Pausable token
 * @dev ERC20 modified with pausable transfers. 
 */
contract ERC20Pausable is ERC20, Pausable,Lockable {
    
    function transfer(address to, uint256 value) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(to));
        return super.transfer(to, value);
    }

    function transferFrom(address from, address to, uint256 value) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(from));
        require(!isLock(to));
        return super.transferFrom(from, to, value);
    }

    function approve(address spender, uint256 value) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(spender));
        return super.approve(spender, value);
    }

    function increaseAllowance(address spender, uint addedValue) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(spender));
        return super.increaseAllowance(spender, addedValue);
    }

    function decreaseAllowance(address spender, uint subtractedValue) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(spender));
        return super.decreaseAllowance(spender, subtractedValue);
    }
}


contract HooToken is ERC20, ERC20Detailed, ERC20Pausable {
    
    // metadata
    string public constant tokenName = "HooToken";
    string public constant tokenSymbol = "HOO";
    uint8 public constant decimalUnits = 8;
    uint256 public constant initialSupply = 1000000000;
    
    constructor() ERC20Pausable()  ERC20Detailed(tokenName, tokenSymbol, decimalUnits) ERC20() public {
        require(initialSupply > 0);
        _mint(msg.sender, initialSupply * (10 ** uint256(decimals())));
    }
    
    function mint(uint256 value) public whenNotPaused {
        _mint(msg.sender, value * (10 ** uint256(decimals())));
    }
    
    /**
     * @dev Burns a specific amount of tokens.
     * @param value The amount of token to be burned.
     */
    function burn(uint256 value) public whenNotPaused {
        require(!isLock(msg.sender));
        _burn(msg.sender, value);
    }
    
    /**
     * @dev Freeze a specific amount of tokens.
     * @param value The amount of token to be Freeze.
     */
    function freeze(uint256 value) public whenNotPaused {
        require(!isLock(msg.sender));
        _freeze(value);
    }
    
        /**
     * @dev unFreeze a specific amount of tokens.
     * @param value The amount of token to be unFreeze.
     */
    function unfreeze(uint256 value) public whenNotPaused {
        require(!isLock(msg.sender));
        _unfreeze(value);
    }
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimalUnits","outputs":[{"name":"","type":"uint8"}],"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":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"initialSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isPauser","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isLock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"},{"name":"islock","type":"bool"}],"name":"lock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"unfreeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"tokenName","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokenSymbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":true,"inputs":[{"name":"owner","type":"address"}],"name":"freezeOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"freeze","outputs":[],"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"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"},{"indexed":false,"name":"islock","type":"bool"}],"name":"LockAccount","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"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":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Unfreeze","type":"event"}]

60806040523480156200001157600080fd5b506040518060400160405280600881526020017f486f6f546f6b656e0000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f484f4f0000000000000000000000000000000000000000000000000000000000815250600882600490805190602001906200009892919062000448565b508160059080519060200190620000b192919062000448565b5080600660006101000a81548160ff021916908360ff160217905550505050620000e1336200014160201b60201c565b6000600860006101000a81548160ff0219169083151502179055506000633b9aca00116200010e57600080fd5b6200013b3362000123620001a260201b60201c565b60ff16600a0a633b9aca0002620001b960201b60201c565b620004f7565b6200015c8160076200031a60201b62001fef1790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000600660009054906101000a900460ff16905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620001f457600080fd5b62000210816003546200039560201b62001f5f1790919060201c565b6003819055506200026e816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200039560201b62001f5f1790919060201c565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6200032c8282620003b560201b60201c565b156200033757600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600080828401905083811015620003ab57600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620003f157600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200048b57805160ff1916838001178555620004bc565b82800160010185558215620004bc579182015b82811115620004bb5782518255916020019190600101906200049e565b5b509050620004cb9190620004cf565b5090565b620004f491905b80821115620004f0576000816000905550600101620004d6565b5090565b90565b61208d80620005076000396000f3fe608060405234801561001057600080fd5b50600436106101c45760003560e01c80636623fc46116100f957806395d89b4111610097578063a9059cbb11610071578063a9059cbb1461087f578063cd4217c1146108e5578063d7a78db81461093d578063dd62ed3e1461096b576101c4565b806395d89b4114610768578063a0712d68146107eb578063a457c2d714610819576101c4565b806370a08231116100d357806370a082311461063f5780637b61c3201461069757806382dc1ec41461071a5780638456cb591461075e576101c4565b80636623fc46146105845780636c02a931146105b25780636ef8d66d14610635576101c4565b8063395093511161016657806346fbf68e1161014057806346fbf68e1461045a5780635016128e146104b65780635c975abb146105125780635f8f9c5d14610534576101c4565b806339509351146103bc5780633f4ba83a1461042257806342966c681461042c576101c4565b80631caba41f116101a25780631caba41f146102d057806323b872dd146102f4578063313ce5671461037a578063378dc3dc1461039e576101c4565b806306fdde03146101c9578063095ea7b31461024c57806318160ddd146102b2575b600080fd5b6101d16109e3565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102115780820151818401526020810190506101f6565b50505050905090810190601f16801561023e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102986004803603604081101561026257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a85565b604051808215151515815260200191505060405180910390f35b6102ba610ad9565b6040518082815260200191505060405180910390f35b6102d8610ae3565b604051808260ff1660ff16815260200191505060405180910390f35b6103606004803603606081101561030a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ae8565b604051808215151515815260200191505060405180910390f35b610382610b51565b604051808260ff1660ff16815260200191505060405180910390f35b6103a6610b68565b6040518082815260200191505060405180910390f35b610408600480360360408110156103d257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b70565b604051808215151515815260200191505060405180910390f35b61042a610bc4565b005b6104586004803603602081101561044257600080fd5b8101908080359060200190929190505050610c6f565b005b61049c6004803603602081101561047057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ca9565b604051808215151515815260200191505060405180910390f35b6104f8600480360360208110156104cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610cc6565b604051808215151515815260200191505060405180910390f35b61051a610d1c565b604051808215151515815260200191505060405180910390f35b6105826004803603604081101561054a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610d33565b005b6105b06004803603602081101561059a57600080fd5b8101908080359060200190929190505050610e0f565b005b6105ba610e48565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105fa5780820151818401526020810190506105df565b50505050905090810190601f1680156106275780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61063d610e81565b005b6106816004803603602081101561065557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e8c565b6040518082815260200191505060405180910390f35b61069f610ed4565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106df5780820151818401526020810190506106c4565b50505050905090810190601f16801561070c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61075c6004803603602081101561073057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f0d565b005b610766610f2b565b005b610770610fd7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156107b0578082015181840152602081019050610795565b50505050905090810190601f1680156107dd5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6108176004803603602081101561080157600080fd5b8101908080359060200190929190505050611079565b005b6108656004803603604081101561082f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110af565b604051808215151515815260200191505060405180910390f35b6108cb6004803603604081101561089557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611103565b604051808215151515815260200191505060405180910390f35b610927600480360360208110156108fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611157565b6040518082815260200191505060405180910390f35b6109696004803603602081101561095357600080fd5b81019080803590602001909291905050506111a0565b005b6109cd6004803603604081101561098157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111d9565b6040518082815260200191505060405180910390f35b606060048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610a7b5780601f10610a5057610100808354040283529160200191610a7b565b820191906000526020600020905b815481529060010190602001808311610a5e57829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff1615610aa157600080fd5b610aaa33610cc6565b15610ab457600080fd5b610abd83610cc6565b15610ac757600080fd5b610ad18383611260565b905092915050565b6000600354905090565b600881565b6000600860009054906101000a900460ff1615610b0457600080fd5b610b0d33610cc6565b15610b1757600080fd5b610b2084610cc6565b15610b2a57600080fd5b610b3383610cc6565b15610b3d57600080fd5b610b48848484611277565b90509392505050565b6000600660009054906101000a900460ff16905090565b633b9aca0081565b6000600860009054906101000a900460ff1615610b8c57600080fd5b610b9533610cc6565b15610b9f57600080fd5b610ba883610cc6565b15610bb257600080fd5b610bbc8383611328565b905092915050565b610bcd33610ca9565b610bd657600080fd5b600860009054906101000a900460ff16610bef57600080fd5b6000600860006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600860009054906101000a900460ff1615610c8957600080fd5b610c9233610cc6565b15610c9c57600080fd5b610ca633826113cd565b50565b6000610cbf82600761151f90919063ffffffff16565b9050919050565b6000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600860009054906101000a900460ff16905090565b610d3c33610ca9565b610d4557600080fd5b80600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f44470762d57decc756f36bb9c7381b522388c21b7b48a4b012357d29611386128282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b600860009054906101000a900460ff1615610e2957600080fd5b610e3233610cc6565b15610e3c57600080fd5b610e45816115b1565b50565b6040518060400160405280600881526020017f486f6f546f6b656e00000000000000000000000000000000000000000000000081525081565b610e8a33611783565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600381526020017f484f4f000000000000000000000000000000000000000000000000000000000081525081565b610f1633610ca9565b610f1f57600080fd5b610f28816117dd565b50565b610f3433610ca9565b610f3d57600080fd5b600860009054906101000a900460ff1615610f5757600080fd5b6001600860006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b606060058054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561106f5780601f106110445761010080835404028352916020019161106f565b820191906000526020600020905b81548152906001019060200180831161105257829003601f168201915b5050505050905090565b600860009054906101000a900460ff161561109357600080fd5b6110ac3361109f610b51565b60ff16600a0a8302611837565b50565b6000600860009054906101000a900460ff16156110cb57600080fd5b6110d433610cc6565b156110de57600080fd5b6110e783610cc6565b156110f157600080fd5b6110fb8383611989565b905092915050565b6000600860009054906101000a900460ff161561111f57600080fd5b61112833610cc6565b1561113257600080fd5b61113b83610cc6565b1561114557600080fd5b61114f8383611a2e565b905092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900460ff16156111ba57600080fd5b6111c333610cc6565b156111cd57600080fd5b6111d681611a45565b50565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600061126d338484611c16565b6001905092915050565b6000611284848484611d75565b61131d843361131885600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b611c16565b600190509392505050565b60006113c333846113be85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b611c16565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561140757600080fd5b61141c81600354611f3f90919063ffffffff16565b600381905550611473816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561155a57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b80600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156115fd57600080fd5b6000811161160a57600080fd5b61165c81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506116f0816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f826040518082815260200191505060405180910390a250565b611797816007611f7e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6117f1816007611fef90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561187157600080fd5b61188681600354611f5f90919063ffffffff16565b6003819055506118dd816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000611a243384611a1f85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b611c16565b6001905092915050565b6000611a3b338484611d75565b6001905092915050565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611a9057600080fd5b60008111611a9d57600080fd5b611aee816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b8281600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0826040518082815260200191505060405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611c5057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611c8a57600080fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611daf57600080fd5b611e00816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611e93816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115611f4e57600080fd5b600082840390508091505092915050565b600080828401905083811015611f7457600080fd5b8091505092915050565b611f88828261151f565b611f9157600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b611ff9828261151f565b1561200357600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fea165627a7a72305820412312c5f43b0c18d64974280c112f045875ad5be216f13945f786bdae2e9d4b0029

0x608060405234801561001057600080fd5b50600436106101c45760003560e01c80636623fc46116100f957806395d89b4111610097578063a9059cbb11610071578063a9059cbb1461087f578063cd4217c1146108e5578063d7a78db81461093d578063dd62ed3e1461096b576101c4565b806395d89b4114610768578063a0712d68146107eb578063a457c2d714610819576101c4565b806370a08231116100d357806370a082311461063f5780637b61c3201461069757806382dc1ec41461071a5780638456cb591461075e576101c4565b80636623fc46146105845780636c02a931146105b25780636ef8d66d14610635576101c4565b8063395093511161016657806346fbf68e1161014057806346fbf68e1461045a5780635016128e146104b65780635c975abb146105125780635f8f9c5d14610534576101c4565b806339509351146103bc5780633f4ba83a1461042257806342966c681461042c576101c4565b80631caba41f116101a25780631caba41f146102d057806323b872dd146102f4578063313ce5671461037a578063378dc3dc1461039e576101c4565b806306fdde03146101c9578063095ea7b31461024c57806318160ddd146102b2575b600080fd5b6101d16109e3565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102115780820151818401526020810190506101f6565b50505050905090810190601f16801561023e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102986004803603604081101561026257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a85565b604051808215151515815260200191505060405180910390f35b6102ba610ad9565b6040518082815260200191505060405180910390f35b6102d8610ae3565b604051808260ff1660ff16815260200191505060405180910390f35b6103606004803603606081101561030a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ae8565b604051808215151515815260200191505060405180910390f35b610382610b51565b604051808260ff1660ff16815260200191505060405180910390f35b6103a6610b68565b6040518082815260200191505060405180910390f35b610408600480360360408110156103d257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b70565b604051808215151515815260200191505060405180910390f35b61042a610bc4565b005b6104586004803603602081101561044257600080fd5b8101908080359060200190929190505050610c6f565b005b61049c6004803603602081101561047057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ca9565b604051808215151515815260200191505060405180910390f35b6104f8600480360360208110156104cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610cc6565b604051808215151515815260200191505060405180910390f35b61051a610d1c565b604051808215151515815260200191505060405180910390f35b6105826004803603604081101561054a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610d33565b005b6105b06004803603602081101561059a57600080fd5b8101908080359060200190929190505050610e0f565b005b6105ba610e48565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105fa5780820151818401526020810190506105df565b50505050905090810190601f1680156106275780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61063d610e81565b005b6106816004803603602081101561065557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e8c565b6040518082815260200191505060405180910390f35b61069f610ed4565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106df5780820151818401526020810190506106c4565b50505050905090810190601f16801561070c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61075c6004803603602081101561073057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f0d565b005b610766610f2b565b005b610770610fd7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156107b0578082015181840152602081019050610795565b50505050905090810190601f1680156107dd5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6108176004803603602081101561080157600080fd5b8101908080359060200190929190505050611079565b005b6108656004803603604081101561082f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110af565b604051808215151515815260200191505060405180910390f35b6108cb6004803603604081101561089557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611103565b604051808215151515815260200191505060405180910390f35b610927600480360360208110156108fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611157565b6040518082815260200191505060405180910390f35b6109696004803603602081101561095357600080fd5b81019080803590602001909291905050506111a0565b005b6109cd6004803603604081101561098157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111d9565b6040518082815260200191505060405180910390f35b606060048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610a7b5780601f10610a5057610100808354040283529160200191610a7b565b820191906000526020600020905b815481529060010190602001808311610a5e57829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff1615610aa157600080fd5b610aaa33610cc6565b15610ab457600080fd5b610abd83610cc6565b15610ac757600080fd5b610ad18383611260565b905092915050565b6000600354905090565b600881565b6000600860009054906101000a900460ff1615610b0457600080fd5b610b0d33610cc6565b15610b1757600080fd5b610b2084610cc6565b15610b2a57600080fd5b610b3383610cc6565b15610b3d57600080fd5b610b48848484611277565b90509392505050565b6000600660009054906101000a900460ff16905090565b633b9aca0081565b6000600860009054906101000a900460ff1615610b8c57600080fd5b610b9533610cc6565b15610b9f57600080fd5b610ba883610cc6565b15610bb257600080fd5b610bbc8383611328565b905092915050565b610bcd33610ca9565b610bd657600080fd5b600860009054906101000a900460ff16610bef57600080fd5b6000600860006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600860009054906101000a900460ff1615610c8957600080fd5b610c9233610cc6565b15610c9c57600080fd5b610ca633826113cd565b50565b6000610cbf82600761151f90919063ffffffff16565b9050919050565b6000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600860009054906101000a900460ff16905090565b610d3c33610ca9565b610d4557600080fd5b80600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f44470762d57decc756f36bb9c7381b522388c21b7b48a4b012357d29611386128282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b600860009054906101000a900460ff1615610e2957600080fd5b610e3233610cc6565b15610e3c57600080fd5b610e45816115b1565b50565b6040518060400160405280600881526020017f486f6f546f6b656e00000000000000000000000000000000000000000000000081525081565b610e8a33611783565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600381526020017f484f4f000000000000000000000000000000000000000000000000000000000081525081565b610f1633610ca9565b610f1f57600080fd5b610f28816117dd565b50565b610f3433610ca9565b610f3d57600080fd5b600860009054906101000a900460ff1615610f5757600080fd5b6001600860006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b606060058054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561106f5780601f106110445761010080835404028352916020019161106f565b820191906000526020600020905b81548152906001019060200180831161105257829003601f168201915b5050505050905090565b600860009054906101000a900460ff161561109357600080fd5b6110ac3361109f610b51565b60ff16600a0a8302611837565b50565b6000600860009054906101000a900460ff16156110cb57600080fd5b6110d433610cc6565b156110de57600080fd5b6110e783610cc6565b156110f157600080fd5b6110fb8383611989565b905092915050565b6000600860009054906101000a900460ff161561111f57600080fd5b61112833610cc6565b1561113257600080fd5b61113b83610cc6565b1561114557600080fd5b61114f8383611a2e565b905092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900460ff16156111ba57600080fd5b6111c333610cc6565b156111cd57600080fd5b6111d681611a45565b50565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600061126d338484611c16565b6001905092915050565b6000611284848484611d75565b61131d843361131885600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b611c16565b600190509392505050565b60006113c333846113be85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b611c16565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561140757600080fd5b61141c81600354611f3f90919063ffffffff16565b600381905550611473816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561155a57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b80600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156115fd57600080fd5b6000811161160a57600080fd5b61165c81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506116f0816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f826040518082815260200191505060405180910390a250565b611797816007611f7e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6117f1816007611fef90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561187157600080fd5b61188681600354611f5f90919063ffffffff16565b6003819055506118dd816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000611a243384611a1f85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b611c16565b6001905092915050565b6000611a3b338484611d75565b6001905092915050565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611a9057600080fd5b60008111611a9d57600080fd5b611aee816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b8281600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0826040518082815260200191505060405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611c5057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611c8a57600080fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611daf57600080fd5b611e00816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f3f90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611e93816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5f90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115611f4e57600080fd5b600082840390508091505092915050565b600080828401905083811015611f7457600080fd5b8091505092915050565b611f88828261151f565b611f9157600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b611ff9828261151f565b1561200357600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fea165627a7a72305820412312c5f43b0c18d64974280c112f045875ad5be216f13945f786bdae2e9d4b0029

17544:1449:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17544:1449:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11831:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;11831:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16810:215;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16810:215:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3910:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17732:38;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16539:263;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16539:263:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12147:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17777:50;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17033:242;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17033:242:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15219:118;;;:::i;:::-;;18324:132;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18324:132:0;;;;;;;;;;;;;;;;;:::i;:::-;;13489:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13489:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15741:102;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15741:102:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14472:78;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16009:151;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16009:151:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;18856:128;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18856:128:0;;;;;;;;;;;;;;;;;:::i;:::-;;17631:45;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;17631:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13706:77;;;:::i;:::-;;4220:106;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4220:106:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17683:42;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;17683:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13606:92;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13606:92:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;15008:116;;;:::i;:::-;;11981:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;11981:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18068:123;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18068:123:0;;;;;;;;;;;;;;;;;:::i;:::-;;17283:252;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17283:252:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16329:202;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16329:202:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4556:105;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4556:105:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18590:124;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18590:124:0;;;;;;;;;;;;;;;;;:::i;:::-;;5000:131;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5000:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11831:83;11868:13;11901:5;11894:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11831:83;:::o;16810:215::-;16889:4;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;16915:18;16922:10;16915:6;:18::i;:::-;16914:19;16906:28;;;;;;16954:15;16961:7;16954:6;:15::i;:::-;16953:16;16945:25;;;;;;16988:29;17002:7;17011:5;16988:13;:29::i;:::-;16981:36;;16810:215;;;;:::o;3910:91::-;3954:7;3981:12;;3974:19;;3910:91;:::o;17732:38::-;17769:1;17732:38;:::o;16539:263::-;16632:4;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;16658:18;16665:10;16658:6;:18::i;:::-;16657:19;16649:28;;;;;;16697:12;16704:4;16697:6;:12::i;:::-;16696:13;16688:22;;;;;;16730:10;16737:2;16730:6;:10::i;:::-;16729:11;16721:20;;;;;;16759:35;16778:4;16784:2;16788:5;16759:18;:35::i;:::-;16752:42;;16539:263;;;;;:::o;12147:83::-;12188:5;12213:9;;;;;;;;;;;12206:16;;12147:83;:::o;17777:50::-;17817:10;17777:50;:::o;17033:242::-;17124:4;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;17150:18;17157:10;17150:6;:18::i;:::-;17149:19;17141:28;;;;;;17189:15;17196:7;17189:6;:15::i;:::-;17188:16;17180:25;;;;;;17223:44;17247:7;17256:10;17223:23;:44::i;:::-;17216:51;;17033:242;;;;:::o;15219:118::-;13440:20;13449:10;13440:8;:20::i;:::-;13432:29;;;;;;14888:7;;;;;;;;;;;14880:16;;;;;;15288:5;15278:7;;:15;;;;;;;;;;;;;;;;;;15309:20;15318:10;15309:20;;;;;;;;;;;;;;;;;;;;;;15219:118::o;18324:132::-;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;18394:18;18401:10;18394:6;:18::i;:::-;18393:19;18385:28;;;;;;18424:24;18430:10;18442:5;18424;:24::i;:::-;18324:132;:::o;13489:109::-;13545:4;13569:21;13582:7;13569:8;:12;;:21;;;;:::i;:::-;13562:28;;13489:109;;;:::o;15741:102::-;15795:4;15819:7;:16;15827:7;15819:16;;;;;;;;;;;;;;;;;;;;;;;;;15812:23;;15741:102;;;:::o;14472:78::-;14511:4;14535:7;;;;;;;;;;;14528:14;;14472:78;:::o;16009:151::-;13440:20;13449:10;13440:8;:20::i;:::-;13432:29;;;;;;16102:6;16083:7;:16;16091:7;16083:16;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;16124:28;16136:7;16145:6;16124:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16009:151;;:::o;18856:128::-;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;18930:18;18937:10;18930:6;:18::i;:::-;18929:19;18921:28;;;;;;18960:16;18970:5;18960:9;:16::i;:::-;18856:128;:::o;17631:45::-;;;;;;;;;;;;;;;;;;;:::o;13706:77::-;13750:25;13764:10;13750:13;:25::i;:::-;13706:77::o;4220:106::-;4275:7;4302:9;:16;4312:5;4302:16;;;;;;;;;;;;;;;;4295:23;;4220:106;;;:::o;17683:42::-;;;;;;;;;;;;;;;;;;;:::o;13606:92::-;13440:20;13449:10;13440:8;:20::i;:::-;13432:29;;;;;;13671:19;13682:7;13671:10;:19::i;:::-;13606:92;:::o;15008:116::-;13440:20;13449:10;13440:8;:20::i;:::-;13432:29;;;;;;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;15078:4;15068:7;;:14;;;;;;;;;;;;;;;;;;15098:18;15105:10;15098:18;;;;;;;;;;;;;;;;;;;;;;15008:116::o;11981:87::-;12020:13;12053:7;12046:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11981:87;:::o;18068:123::-;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;18129:54;18135:10;18170;:8;:10::i;:::-;18162:19;;18156:2;:25;18147:5;:35;18129:5;:54::i;:::-;18068:123;:::o;17283:252::-;17379:4;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;17405:18;17412:10;17405:6;:18::i;:::-;17404:19;17396:28;;;;;;17444:15;17451:7;17444:6;:15::i;:::-;17443:16;17435:25;;;;;;17478:49;17502:7;17511:15;17478:23;:49::i;:::-;17471:56;;17283:252;;;;:::o;16329:202::-;16404:4;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;16430:18;16437:10;16430:6;:18::i;:::-;16429:19;16421:28;;;;;;16469:10;16476:2;16469:6;:10::i;:::-;16468:11;16460:20;;;;;;16498:25;16513:2;16517:5;16498:14;:25::i;:::-;16491:32;;16329:202;;;;:::o;4556:105::-;4610:7;4637:9;:16;4647:5;4637:16;;;;;;;;;;;;;;;;4630:23;;4556:105;;;:::o;18590:124::-;14709:7;;;;;;;;;;;14708:8;14700:17;;;;;;18662:18;18669:10;18662:6;:18::i;:::-;18661:19;18653:28;;;;;;18692:14;18700:5;18692:7;:14::i;:::-;18590:124;:::o;5000:131::-;5072:7;5099:8;:15;5108:5;5099:15;;;;;;;;;;;;;;;:24;5115:7;5099:24;;;;;;;;;;;;;;;;5092:31;;5000:131;;;;:::o;6093:148::-;6158:4;6175:36;6184:10;6196:7;6205:5;6175:8;:36::i;:::-;6229:4;6222:11;;6093:148;;;;:::o;6714:228::-;6793:4;6810:26;6820:4;6826:2;6830:5;6810:9;:26::i;:::-;6847:65;6856:4;6862:10;6874:37;6905:5;6874:8;:14;6883:4;6874:14;;;;;;;;;;;;;;;:26;6889:10;6874:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;6847:8;:65::i;:::-;6930:4;6923:11;;6714:228;;;;;:::o;7468:203::-;7548:4;7565:76;7574:10;7586:7;7595:45;7629:10;7595:8;:20;7604:10;7595:20;;;;;;;;;;;;;;;:29;7616:7;7595:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;7565:8;:76::i;:::-;7659:4;7652:11;;7468:203;;;;:::o;9758:277::-;9852:1;9833:21;;:7;:21;;;;9825:30;;;;;;9891:23;9908:5;9891:12;;:16;;:23;;;;:::i;:::-;9876:12;:38;;;;9946:29;9969:5;9946:9;:18;9956:7;9946:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;9925:9;:18;9935:7;9925:18;;;;;;;;;;;;;;;:50;;;;10017:1;9991:36;;10000:7;9991:36;;;10021:5;9991:36;;;;;;;;;;;;;;;;;;9758:277;;:::o;12952:165::-;13024:4;13068:1;13049:21;;:7;:21;;;;13041:30;;;;;;13089:4;:11;;:20;13101:7;13089:20;;;;;;;;;;;;;;;;;;;;;;;;;13082:27;;12952:165;;;;:::o;10394:296::-;10478:5;10455:9;:21;10465:10;10455:21;;;;;;;;;;;;;;;;:28;;10447:37;;;;;;10506:1;10498:5;:9;10490:18;;;;;;10543:32;10569:5;10543:9;:21;10553:10;10543:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;10519:9;:21;10529:10;10519:21;;;;;;;;;;;;;;;:56;;;;10605:32;10631:5;10605:9;:21;10615:10;10605:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;10581:9;:21;10591:10;10581:21;;;;;;;;;;;;;;;:56;;;;10662:10;10653:27;;;10674:5;10653:27;;;;;;;;;;;;;;;;;;10394:296;:::o;13921:130::-;13981:24;13997:7;13981:8;:15;;:24;;;;:::i;:::-;14035:7;14021:22;;;;;;;;;;;;13921:130;:::o;13791:122::-;13848:21;13861:7;13848:8;:12;;:21;;;;:::i;:::-;13897:7;13885:20;;;;;;;;;;;;13791:122;:::o;9257:267::-;9351:1;9332:21;;:7;:21;;;;9324:30;;;;;;9380:23;9397:5;9380:12;;:16;;:23;;;;:::i;:::-;9365:12;:38;;;;9435:29;9458:5;9435:9;:18;9445:7;9435:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;9414:9;:18;9424:7;9414:18;;;;;;;;;;;;;;;:50;;;;9501:7;9480:36;;9497:1;9480:36;;;9510:5;9480:36;;;;;;;;;;;;;;;;;;9257:267;;:::o;8202:213::-;8287:4;8304:81;8313:10;8325:7;8334:50;8368:15;8334:8;:20;8343:10;8334:20;;;;;;;;;;;;;;;:29;8355:7;8334:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;8304:8;:81::i;:::-;8403:4;8396:11;;8202:213;;;;:::o;5306:140::-;5367:4;5384:32;5394:10;5406:2;5410:5;5384:9;:32::i;:::-;5434:4;5427:11;;5306:140;;;;:::o;10047:335::-;10130:5;10107:9;:21;10117:10;10107:21;;;;;;;;;;;;;;;;:28;;10099:37;;;;;;10197:1;10189:5;:9;10181:18;;;;;;10234:32;10260:5;10234:9;:21;10244:10;10234:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;10210:9;:21;10220:10;10210:21;;;;;;;;;;;;;;;:56;;;;10301:32;10327:5;10301:9;:21;10311:10;10301:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;10277:9;:21;10287:10;10277:21;;;;;;;;;;;;;;;:56;;;;10356:10;10349:25;;;10368:5;10349:25;;;;;;;;;;;;;;;;;;10047:335;:::o;10967:254::-;11079:1;11060:21;;:7;:21;;;;11052:30;;;;;;11118:1;11101:19;;:5;:19;;;;11093:28;;;;;;11161:5;11134:8;:15;11143:5;11134:15;;;;;;;;;;;;;;;:24;11150:7;11134:24;;;;;;;;;;;;;;;:32;;;;11198:7;11182:31;;11191:5;11182:31;;;11207:5;11182:31;;;;;;;;;;;;;;;;;;10967:254;;;:::o;8643:262::-;8745:1;8731:16;;:2;:16;;;;8723:25;;;;;;8779:26;8799:5;8779:9;:15;8789:4;8779:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;8761:9;:15;8771:4;8761:15;;;;;;;;;;;;;;;:44;;;;8832:24;8850:5;8832:9;:13;8842:2;8832:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;8816:9;:13;8826:2;8816:13;;;;;;;;;;;;;;;:40;;;;8887:2;8872:25;;8881:4;8872:25;;;8891:5;8872:25;;;;;;;;;;;;;;;;;;8643:262;;;:::o;2309:150::-;2367:7;2400:1;2395;:6;;2387:15;;;;;;2413:9;2429:1;2425;:5;2413:17;;2450:1;2443:8;;;2309:150;;;;:::o;2547:::-;2605:7;2625:9;2641:1;2637;:5;2625:17;;2666:1;2661;:6;;2653:15;;;;;;2688:1;2681:8;;;2547:150;;;;:::o;12709:148::-;12789:18;12793:4;12799:7;12789:3;:18::i;:::-;12781:27;;;;;;12844:5;12821:4;:11;;:20;12833:7;12821:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;12709:148;;:::o;12484:145::-;12562:18;12566:4;12572:7;12562:3;:18::i;:::-;12561:19;12553:28;;;;;;12617:4;12594;:11;;:20;12606:7;12594:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;12484:145;;:::o

bzzr://412312c5f43b0c18d64974280c112f045875ad5be216f13945f786bdae2e9d4b