Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library HxSafeMath //중요 1/3: 자식에서 co ...    - 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) library Roles    - function add(Role storage role, addre ...    - function remove(Role storage role, ad ...    - function has(Role storage role, addre ...  contract HxOwnable //중요:자식에서 com ...    - function isOwner(address account)    - function transferOwnership(address _n ...    - function acceptOwnership()  contract PauserRole is HxOwnable    - function isPauser(address account)    - function addPauser(address account)    - function removePauser(address account ...    - function renouncePauser()    - function _addPauser(address account)    - function _removePauser(address accoun ...  contract Pausable is PauserRole    - function paused()    - function pause()    - function unpause() 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 ...  contract HxERC20 is IERC20 //중요:자 ...    - function totalSupply()    - function balanceOf(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 _burnFrom(address account, u ...  contract ERC20Pausable is HxERC20, ...    - function transfer(address to, uint256 ...    - function transferFrom(address from, a ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract CBK is ERC20Detailed, ERC ... *    - function balanceOf(address owner)    - function transfer(address to, uint256 ...    - function transferFrom(address from, a ...    - function freezeAccount(address holder ...    - function unfreezeAccount(address hold ...    - function lock(address holder, uint256 ...    - function transferWithLock(address hol ...    - function unlock(address holder, uint2 ...    - function upgradeTo(address _newImplem ...    - function _lock(address holder, uint25 ...    - function _unlock(address holder, uint ...    - function _autoUnlock(address holder)    - function _setImplementation(address _ ...    - function ()

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.24;

library HxSafeMath { //중요 1/3: 자식에서 compile문제로 SafeMath->HxSafeMath
    /**
    * @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;
    }
}

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(account != address(0));
        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(account != address(0));
        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 HxOwnable {  //중요:자식에서 compile문제로 Ownable -> HxOwnable
    address public owner;
    address public newOwner;

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

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

    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }
    modifier onlyNewOwner() {
        require(msg.sender != address(0));
        require(msg.sender == newOwner);
        _;
    }

    function isOwner(address account) public view returns (bool) {
        if( account == owner ){
            return true;
        }
        else {
            return false;
        }
    }

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

    function acceptOwnership() public onlyNewOwner returns(bool) {
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
        newOwner = address(0);
    }
}

contract PauserRole is HxOwnable{
    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)|| isOwner(msg.sender));
        _;
    }

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

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

    function removePauser(address account) public onlyOwner {
        _removePauser(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);
    }
}

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

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

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

contract HxERC20 is IERC20 { //중요:자식에서 compile문제로 ERC20 -> HxERC20
    using HxSafeMath for uint256;

    mapping (address => uint256) internal _balances;

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

    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 An uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address owner) public view returns (uint256) {
        return _balances[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 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) {
        _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) {
        require(spender != address(0));

        _allowed[msg.sender][spender] = value;
        emit Approval(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) {
        _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);
        _transfer(from, to, value);
        emit Approval(from, msg.sender, _allowed[from][msg.sender]);
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when allowed_[_spender] == 0. To increment
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * 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) {
        require(spender != address(0));

        _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
     * 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) {
        require(spender != address(0));

        _allowed[msg.sender][spender] = _allowed[msg.sender][spender].sub(subtractedValue);
        emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
        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);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account, deducting from the sender's allowance for said account. Uses the
     * internal burn function.
     * Emits an Approval event (reflecting the reduced allowance).
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burnFrom(address account, uint256 value) internal {
        _allowed[account][msg.sender] = _allowed[account][msg.sender].sub(value);
        _burn(account, value);
        emit Approval(account, msg.sender, _allowed[account][msg.sender]);
    }
}

contract ERC20Pausable is HxERC20, 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);
    }

    /*
     * approve/increaseApprove/decreaseApprove can be set when Paused state
     */

    /*
     * function approve(address spender, uint256 value) public whenNotPaused returns (bool) {
     *     return super.approve(spender, value);
     * }
     *
     * function increaseAllowance(address spender, uint addedValue) public whenNotPaused returns (bool success) {
     *     return super.increaseAllowance(spender, addedValue);
     * }
     *
     * function decreaseAllowance(address spender, uint subtractedValue) public whenNotPaused returns (bool success) {
     *     return super.decreaseAllowance(spender, subtractedValue);
     * }
     */
}

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

contract CBK is ERC20Detailed, ERC20Pausable {

    struct LockInfo {
        uint256 _releaseTime;
        uint256 _amount;
    }

    address public implementation;

    mapping (address => LockInfo[]) public timelockList;
    mapping (address => bool) public frozenAccount;

    event Freeze(address indexed holder);
    event Unfreeze(address indexed holder);
    event Lock(address indexed holder, uint256 value, uint256 releaseTime);
    event Unlock(address indexed holder, uint256 value);

    modifier notFrozen(address _holder) {
        require(!frozenAccount[_holder]);
        _;
    }

    constructor() ERC20Detailed("Cobak Token", "CBK", 18) payable public  {

        _mint(msg.sender, 100000000 * (10 ** 18));
    }

    function balanceOf(address owner) public view returns (uint256) {

        uint256 totalBalance = super.balanceOf(owner);
        if( timelockList[owner].length >0 ){
            for(uint i=0; i<timelockList[owner].length;i++){
                totalBalance = totalBalance.add(timelockList[owner][i]._amount);
            }
        }

        return totalBalance;
    }

    function transfer(address to, uint256 value) public notFrozen(msg.sender) returns (bool) {
        if (timelockList[msg.sender].length > 0 ) {
            _autoUnlock(msg.sender);
        }
        return super.transfer(to, value);
    }

    function transferFrom(address from, address to, uint256 value) public notFrozen(from) returns (bool) {
        if (timelockList[from].length > 0) {
            _autoUnlock(from);
        }
        return super.transferFrom(from, to, value);
    }

    function freezeAccount(address holder) public onlyPauser returns (bool) {
        require(!frozenAccount[holder]);
        frozenAccount[holder] = true;
        emit Freeze(holder);
        return true;
    }

    function unfreezeAccount(address holder) public onlyPauser returns (bool) {
        require(frozenAccount[holder]);
        frozenAccount[holder] = false;
        emit Unfreeze(holder);
        return true;
    }

    function lock(address holder, uint256 value, uint256 releaseTime) public onlyPauser returns (bool) {
        require(_balances[holder] >= value,"There is not enough balances of holder.");
        _lock(holder,value,releaseTime);


        return true;
    }

    function transferWithLock(address holder, uint256 value, uint256 releaseTime) public onlyPauser returns (bool) {
        _transfer(msg.sender, holder, value);
        _lock(holder,value,releaseTime);
        return true;
    }

    function unlock(address holder, uint256 idx) public onlyPauser returns (bool) {
        require( timelockList[holder].length > idx, "There is not lock info.");
        _unlock(holder,idx);
        return true;
    }

    /**
     * @dev Upgrades the implementation address
     * @param _newImplementation address of the new implementation
     */
    function upgradeTo(address _newImplementation) public onlyOwner {
        require(implementation != _newImplementation);
        _setImplementation(_newImplementation);
    }

    function _lock(address holder, uint256 value, uint256 releaseTime) internal returns(bool) {
        _balances[holder] = _balances[holder].sub(value);
        timelockList[holder].push( LockInfo(releaseTime, value) );

        emit Lock(holder, value, releaseTime);
        return true;
    }

    function _unlock(address holder, uint256 idx) internal returns(bool) {
        LockInfo storage lockinfo = timelockList[holder][idx];
        uint256 releaseAmount = lockinfo._amount;

        delete timelockList[holder][idx];
        timelockList[holder][idx] = timelockList[holder][timelockList[holder].length.sub(1)];
        timelockList[holder].length -=1;

        emit Unlock(holder, releaseAmount);
        _balances[holder] = _balances[holder].add(releaseAmount);

        return true;
    }

    function _autoUnlock(address holder) internal returns(bool) {
        for(uint256 idx =0; idx < timelockList[holder].length ; idx++ ) {
            if (timelockList[holder][idx]._releaseTime <= now) {
                // If lockupinfo was deleted, loop restart at same position.
                if( _unlock(holder, idx) ) {
                    idx -=1;
                }
            }
        }
        return true;
    }

    /**
     * @dev Sets the address of the current implementation
     * @param _newImp address of the new implementation
     */
    function _setImplementation(address _newImp) internal {
        implementation = _newImp;
    }

    /**
     * @dev Fallback function allowing to perform a delegatecall
     * to the given implementation. This function will return
     * whatever the implementation call returns
     */
    function () payable external {
        address impl = implementation;
        require(impl != address(0));
        assembly {
            let ptr := mload(0x40)
            calldatacopy(ptr, 0, calldatasize)
            let result := delegatecall(gas, impl, ptr, calldatasize, 0, 0)
            let size := returndatasize
            returndatacopy(ptr, 0, size)

            switch result
            case 0 { revert(ptr, size) }
            default { return(ptr, size) }
        }
    }
}

• 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":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":"account","type":"address"}],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newImplementation","type":"address"}],"name":"upgradeTo","outputs":[],"payable":false,"stateMutability":"nonpayable","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":true,"inputs":[{"name":"account","type":"address"}],"name":"isPauser","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"implementation","outputs":[{"name":"","type":"address"}],"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":"removePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","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":false,"inputs":[{"name":"holder","type":"address"}],"name":"unfreezeAccount","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"holder","type":"address"},{"name":"idx","type":"uint256"}],"name":"unlock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"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":"","type":"address"}],"name":"frozenAccount","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"uint256"}],"name":"timelockList","outputs":[{"name":"_releaseTime","type":"uint256"},{"name":"_amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"holder","type":"address"},{"name":"value","type":"uint256"},{"name":"releaseTime","type":"uint256"}],"name":"transferWithLock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"holder","type":"address"},{"name":"value","type":"uint256"},{"name":"releaseTime","type":"uint256"}],"name":"lock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"holder","type":"address"}],"name":"freezeAccount","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":true,"stateMutability":"payable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"}],"name":"Unfreeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"},{"indexed":false,"name":"releaseTime","type":"uint256"}],"name":"Lock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Unlock","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":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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"}]

60806040526040805190810160405280600b81526020017f436f62616b20546f6b656e0000000000000000000000000000000000000000008152506040805190810160405280600381526020017f43424b0000000000000000000000000000000000000000000000000000000000815250601282600090805190602001906200008a92919062000501565b508160019080519060200190620000a392919062000501565b5080600260006101000a81548160ff021916908360ff16021790555050505033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506200015f33620001a6640100000000026401000000009004565b6000600960006101000a81548160ff021916908315150217905550620001a0336a52b7d2dcc80cd2e400000062000210640100000000026401000000009004565b620005b0565b620001ca816008620003876401000000000262002f4c179091906401000000009004565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156200024d57600080fd5b62000272816005546200044a64010000000002620023fa179091906401000000009004565b600581905550620002da81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200044a64010000000002620023fa179091906401000000009004565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515620003c457600080fd5b620003df82826200046c640100000000026401000000009004565b151515620003ec57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008082840190508381101515156200046257600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515620004aa57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200054457805160ff191683800117855562000575565b8280016001018555821562000575579182015b828111156200057457825182559160200191906001019062000557565b5b50905062000584919062000588565b5090565b620005ad91905b80821115620005a95760008160009055506001016200058f565b5090565b90565b6130a080620005c06000396000f300608060405260043610610196576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610220578063095ea7b3146102b057806318160ddd1461031557806323b872dd146103405780632f54bf6e146103c5578063313ce567146104205780633659cfe61461045157806339509351146104945780633f4ba83a146104f957806346fbf68e146105105780635c60da1b1461056b5780635c975abb146105c25780636b2c0f55146105f15780636ef8d66d1461063457806370a082311461064b578063788649ea146106a257806379ba5097146106fd5780637eee288d1461072c57806382dc1ec4146107915780638456cb59146107d45780638da5cb5b146107eb57806395d89b4114610842578063a457c2d7146108d2578063a9059cbb14610937578063b414d4b61461099c578063d26c4a76146109f7578063d4ee1d9014610a5f578063dd62ed3e14610ab6578063de6baccb14610b2d578063e2ab691d14610b9c578063f26c159f14610c0b578063f2fde38b14610c66575b6000600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156101f957600080fd5b60405136600082376000803683855af43d806000843e816000811461021c578184f35b8184fd5b34801561022c57600080fd5b50610235610ca9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561027557808201518184015260208101905061025a565b50505050905090810190601f1680156102a25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102bc57600080fd5b506102fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d4b565b604051808215151515815260200191505060405180910390f35b34801561032157600080fd5b5061032a610e78565b6040518082815260200191505060405180910390f35b34801561034c57600080fd5b506103ab600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e82565b604051808215151515815260200191505060405180910390f35b3480156103d157600080fd5b50610406600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f49565b604051808215151515815260200191505060405180910390f35b34801561042c57600080fd5b50610435610fb4565b604051808260ff1660ff16815260200191505060405180910390f35b34801561045d57600080fd5b50610492600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fcb565b005b3480156104a057600080fd5b506104df600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611090565b604051808215151515815260200191505060405180910390f35b34801561050557600080fd5b5061050e6112c7565b005b34801561051c57600080fd5b50610551600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611386565b604051808215151515815260200191505060405180910390f35b34801561057757600080fd5b506105806113a3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105ce57600080fd5b506105d76113c9565b604051808215151515815260200191505060405180910390f35b3480156105fd57600080fd5b50610632600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113e0565b005b34801561064057600080fd5b50610649611448565b005b34801561065757600080fd5b5061068c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611453565b6040518082815260200191505060405180910390f35b3480156106ae57600080fd5b506106e3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611587565b604051808215151515815260200191505060405180910390f35b34801561070957600080fd5b506107126116a9565b604051808215151515815260200191505060405180910390f35b34801561073857600080fd5b50610777600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611888565b604051808215151515815260200191505060405180910390f35b34801561079d57600080fd5b506107d2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061197c565b005b3480156107e057600080fd5b506107e96119ac565b005b3480156107f757600080fd5b50610800611a6c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561084e57600080fd5b50610857611a92565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561089757808201518184015260208101905061087c565b50505050905090810190601f1680156108c45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156108de57600080fd5b5061091d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b34565b604051808215151515815260200191505060405180910390f35b34801561094357600080fd5b50610982600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d6b565b604051808215151515815260200191505060405180910390f35b3480156109a857600080fd5b506109dd600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e30565b604051808215151515815260200191505060405180910390f35b348015610a0357600080fd5b50610a42600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e50565b604051808381526020018281526020019250505060405180910390f35b348015610a6b57600080fd5b50610a74611e90565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610ac257600080fd5b50610b17600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611eb6565b6040518082815260200191505060405180910390f35b348015610b3957600080fd5b50610b82600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f3d565b604051808215151515815260200191505060405180910390f35b348015610ba857600080fd5b50610bf1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f85565b604051808215151515815260200191505060405180910390f35b348015610c1757600080fd5b50610c4c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061209f565b604051808215151515815260200191505060405180910390f35b348015610c7257600080fd5b50610ca7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121c2565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d415780601f10610d1657610100808354040283529160200191610d41565b820191906000526020600020905b815481529060010190602001808311610d2457829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610d8857600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b600083600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610ede57600080fd5b6000600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f3457610f328561229e565b505b610f3f858585612384565b9150509392505050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610faa5760019050610faf565b600090505b919050565b6000600260009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561102757600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415151561108457600080fd5b61108d816123b6565b50565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156110cd57600080fd5b61115c82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6112d033611386565b806112e057506112df33610f49565b5b15156112eb57600080fd5b600960009054906101000a900460ff16151561130657600080fd5b6000600960006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600061139c82600861241b90919063ffffffff16565b9050919050565b600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600960009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561143c57600080fd5b611445816124af565b50565b611451336124af565b565b600080600061146184612509565b91506000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561157d57600090505b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561157c5761156d600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561154c57fe5b906000526020600020906002020160010154836123fa90919063ffffffff16565b915080806001019150506114b3565b5b8192505050919050565b600061159233611386565b806115a257506115a133610f49565b5b15156115ad57600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561160557600080fd5b6000600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515156116e657600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561174257600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555090565b600061189333611386565b806118a357506118a233610f49565b5b15156118ae57600080fd5b81600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111515611967576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b6119718383612552565b506001905092915050565b61198533611386565b80611995575061199433610f49565b5b15156119a057600080fd5b6119a98161288c565b50565b6119b533611386565b806119c557506119c433610f49565b5b15156119d057600080fd5b600960009054906101000a900460ff161515156119ec57600080fd5b6001600960006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b2a5780601f10611aff57610100808354040283529160200191611b2a565b820191906000526020600020905b815481529060010190602001808311611b0d57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515611b7157600080fd5b611c0082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b600033600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611dc757600080fd5b6000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611e1d57611e1b3361229e565b505b611e278484612907565b91505092915050565b600b6020528060005260406000206000915054906101000a900460ff1681565b600a60205281600052604060002081815481101515611e6b57fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000611f4833611386565b80611f585750611f5733610f49565b5b1515611f6357600080fd5b611f6e338585612937565b611f79848484612b07565b50600190509392505050565b6000611f9033611386565b80611fa05750611f9f33610f49565b5b1515611fab57600080fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515612088576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001807f5468657265206973206e6f7420656e6f7567682062616c616e636573206f662081526020017f686f6c6465722e0000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b612093848484612b07565b50600190509392505050565b60006120aa33611386565b806120ba57506120b933610f49565b5b15156120c557600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561211e57600080fd5b6001600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561221e57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561225a57600080fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600090505b600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561237a5742600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561233d57fe5b90600052602060002090600202016000015411151561236d576123608382612552565b1561236c576001810390505b5b80806001019150506122a6565b6001915050919050565b6000600960009054906101000a900460ff161515156123a257600080fd5b6123ad848484612c95565b90509392505050565b80600960016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080828401905083811015151561241157600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561245857600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6124c3816008612e9d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000806000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020848154811015156125a357fe5b9060005260206000209060020201915081600101549050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110151561260657fe5b906000526020600020906002020160008082016000905560018201600090555050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206126bc6001600a60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506128e690919063ffffffff16565b8154811015156126c857fe5b9060005260206000209060020201600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110151561272257fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208181805490500391508161279c9190613013565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a261283d81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b6128a0816008612f4c90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000808383111515156128f857600080fd5b82840390508091505092915050565b6000600960009054906101000a900460ff1615151561292557600080fd5b61292f8383612ffc565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561297357600080fd5b6129c581600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612a5a81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000612b5b83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000612d2682600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612db1848484612937565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612ed957600080fd5b612ee3828261241b565b1515612eee57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612f8857600080fd5b612f92828261241b565b151515612f9e57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000613009338484612937565b6001905092915050565b8154818355818111156130405760020281600202836000526020600020918201910161303f9190613045565b5b505050565b61307191905b8082111561306d5760008082016000905560018201600090555060020161304b565b5090565b905600a165627a7a72305820f87ab0ed2748ed20b95f714f81edf247aa0af23edc635713e3e0d6d26ba1feda0029

0x608060405260043610610196576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610220578063095ea7b3146102b057806318160ddd1461031557806323b872dd146103405780632f54bf6e146103c5578063313ce567146104205780633659cfe61461045157806339509351146104945780633f4ba83a146104f957806346fbf68e146105105780635c60da1b1461056b5780635c975abb146105c25780636b2c0f55146105f15780636ef8d66d1461063457806370a082311461064b578063788649ea146106a257806379ba5097146106fd5780637eee288d1461072c57806382dc1ec4146107915780638456cb59146107d45780638da5cb5b146107eb57806395d89b4114610842578063a457c2d7146108d2578063a9059cbb14610937578063b414d4b61461099c578063d26c4a76146109f7578063d4ee1d9014610a5f578063dd62ed3e14610ab6578063de6baccb14610b2d578063e2ab691d14610b9c578063f26c159f14610c0b578063f2fde38b14610c66575b6000600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156101f957600080fd5b60405136600082376000803683855af43d806000843e816000811461021c578184f35b8184fd5b34801561022c57600080fd5b50610235610ca9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561027557808201518184015260208101905061025a565b50505050905090810190601f1680156102a25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102bc57600080fd5b506102fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d4b565b604051808215151515815260200191505060405180910390f35b34801561032157600080fd5b5061032a610e78565b6040518082815260200191505060405180910390f35b34801561034c57600080fd5b506103ab600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e82565b604051808215151515815260200191505060405180910390f35b3480156103d157600080fd5b50610406600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f49565b604051808215151515815260200191505060405180910390f35b34801561042c57600080fd5b50610435610fb4565b604051808260ff1660ff16815260200191505060405180910390f35b34801561045d57600080fd5b50610492600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fcb565b005b3480156104a057600080fd5b506104df600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611090565b604051808215151515815260200191505060405180910390f35b34801561050557600080fd5b5061050e6112c7565b005b34801561051c57600080fd5b50610551600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611386565b604051808215151515815260200191505060405180910390f35b34801561057757600080fd5b506105806113a3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105ce57600080fd5b506105d76113c9565b604051808215151515815260200191505060405180910390f35b3480156105fd57600080fd5b50610632600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113e0565b005b34801561064057600080fd5b50610649611448565b005b34801561065757600080fd5b5061068c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611453565b6040518082815260200191505060405180910390f35b3480156106ae57600080fd5b506106e3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611587565b604051808215151515815260200191505060405180910390f35b34801561070957600080fd5b506107126116a9565b604051808215151515815260200191505060405180910390f35b34801561073857600080fd5b50610777600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611888565b604051808215151515815260200191505060405180910390f35b34801561079d57600080fd5b506107d2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061197c565b005b3480156107e057600080fd5b506107e96119ac565b005b3480156107f757600080fd5b50610800611a6c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561084e57600080fd5b50610857611a92565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561089757808201518184015260208101905061087c565b50505050905090810190601f1680156108c45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156108de57600080fd5b5061091d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b34565b604051808215151515815260200191505060405180910390f35b34801561094357600080fd5b50610982600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d6b565b604051808215151515815260200191505060405180910390f35b3480156109a857600080fd5b506109dd600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e30565b604051808215151515815260200191505060405180910390f35b348015610a0357600080fd5b50610a42600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e50565b604051808381526020018281526020019250505060405180910390f35b348015610a6b57600080fd5b50610a74611e90565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610ac257600080fd5b50610b17600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611eb6565b6040518082815260200191505060405180910390f35b348015610b3957600080fd5b50610b82600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f3d565b604051808215151515815260200191505060405180910390f35b348015610ba857600080fd5b50610bf1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f85565b604051808215151515815260200191505060405180910390f35b348015610c1757600080fd5b50610c4c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061209f565b604051808215151515815260200191505060405180910390f35b348015610c7257600080fd5b50610ca7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121c2565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d415780601f10610d1657610100808354040283529160200191610d41565b820191906000526020600020905b815481529060010190602001808311610d2457829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610d8857600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b600083600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610ede57600080fd5b6000600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f3457610f328561229e565b505b610f3f858585612384565b9150509392505050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610faa5760019050610faf565b600090505b919050565b6000600260009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561102757600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415151561108457600080fd5b61108d816123b6565b50565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156110cd57600080fd5b61115c82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6112d033611386565b806112e057506112df33610f49565b5b15156112eb57600080fd5b600960009054906101000a900460ff16151561130657600080fd5b6000600960006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600061139c82600861241b90919063ffffffff16565b9050919050565b600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600960009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561143c57600080fd5b611445816124af565b50565b611451336124af565b565b600080600061146184612509565b91506000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561157d57600090505b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561157c5761156d600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561154c57fe5b906000526020600020906002020160010154836123fa90919063ffffffff16565b915080806001019150506114b3565b5b8192505050919050565b600061159233611386565b806115a257506115a133610f49565b5b15156115ad57600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561160557600080fd5b6000600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515156116e657600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561174257600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555090565b600061189333611386565b806118a357506118a233610f49565b5b15156118ae57600080fd5b81600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111515611967576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b6119718383612552565b506001905092915050565b61198533611386565b80611995575061199433610f49565b5b15156119a057600080fd5b6119a98161288c565b50565b6119b533611386565b806119c557506119c433610f49565b5b15156119d057600080fd5b600960009054906101000a900460ff161515156119ec57600080fd5b6001600960006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b2a5780601f10611aff57610100808354040283529160200191611b2a565b820191906000526020600020905b815481529060010190602001808311611b0d57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515611b7157600080fd5b611c0082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b600033600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611dc757600080fd5b6000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611e1d57611e1b3361229e565b505b611e278484612907565b91505092915050565b600b6020528060005260406000206000915054906101000a900460ff1681565b600a60205281600052604060002081815481101515611e6b57fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000611f4833611386565b80611f585750611f5733610f49565b5b1515611f6357600080fd5b611f6e338585612937565b611f79848484612b07565b50600190509392505050565b6000611f9033611386565b80611fa05750611f9f33610f49565b5b1515611fab57600080fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515612088576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001807f5468657265206973206e6f7420656e6f7567682062616c616e636573206f662081526020017f686f6c6465722e0000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b612093848484612b07565b50600190509392505050565b60006120aa33611386565b806120ba57506120b933610f49565b5b15156120c557600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561211e57600080fd5b6001600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561221e57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561225a57600080fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600090505b600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561237a5742600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561233d57fe5b90600052602060002090600202016000015411151561236d576123608382612552565b1561236c576001810390505b5b80806001019150506122a6565b6001915050919050565b6000600960009054906101000a900460ff161515156123a257600080fd5b6123ad848484612c95565b90509392505050565b80600960016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080828401905083811015151561241157600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561245857600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6124c3816008612e9d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000806000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020848154811015156125a357fe5b9060005260206000209060020201915081600101549050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110151561260657fe5b906000526020600020906002020160008082016000905560018201600090555050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206126bc6001600a60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506128e690919063ffffffff16565b8154811015156126c857fe5b9060005260206000209060020201600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110151561272257fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208181805490500391508161279c9190613013565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a261283d81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b6128a0816008612f4c90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000808383111515156128f857600080fd5b82840390508091505092915050565b6000600960009054906101000a900460ff1615151561292557600080fd5b61292f8383612ffc565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561297357600080fd5b6129c581600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612a5a81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000612b5b83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000612d2682600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612db1848484612937565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612ed957600080fd5b612ee3828261241b565b1515612eee57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612f8857600080fd5b612f92828261241b565b151515612f9e57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000613009338484612937565b6001905092915050565b8154818355818111156130405760020281600202836000526020600020918201910161303f9190613045565b5b505050565b61307191905b8082111561306d5760008082016000905560018201600090555060020161304b565b5090565b905600a165627a7a72305820f87ab0ed2748ed20b95f714f81edf247aa0af23edc635713e3e0d6d26ba1feda0029

15750:5367:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20652:12;20667:14;;;;;;;;;;;20652:29;;20716:1;20700:18;;:4;:18;;;;20692:27;;;;;;;;20771:4;20765:11;20811:12;20808:1;20803:3;20790:34;20898:1;20895;20881:12;20876:3;20870:4;20865:3;20852:48;20926:14;20977:4;20974:1;20969:3;20954:28;21005:6;21030:1;21025:28;;;;21089:4;21084:3;21077:17;21025:28;21046:4;21041:3;21034:17;15344:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15344:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;15344:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8970:244;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8970:244:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7129:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7129:91:0;;;;;;;;;;;;;;;;;;;;;;;17152:251;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17152:251:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3322:193;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3322:193:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15660:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15660:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;18728:177;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18728:177:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;10501:323;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10501:323:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5975:118;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5975:118:0;;;;;;4261:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4261:109:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15893:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15893:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5228:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5228:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4478:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4478:97:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4583:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4583:77:0;;;;;;16516:378;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16516:378:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17632:217;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17632:217:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3676:181;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3676:181:0;;;;;;;;;;;;;;;;;;;;;;;;;;;18366:219;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18366:219:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4378:92;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4378:92:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5764:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5764:116:0;;;;;;2849:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2849:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;15494:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15494:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;15494:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11344:333;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11344:333:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16902:242;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16902:242:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15989:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15989:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15931:51;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15931:51:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2876:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2876:23:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7881:131;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7881:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18128:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18128:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17857:263;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17857:263:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17411:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17411:213:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3523:145;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3523:145:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;15344:83;15381:6;15414:5;15407:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15344:83;:::o;8970:244::-;9035:4;9079:1;9060:21;;:7;:21;;;;9052:30;;;;;;;;9127:5;9095:8;:20;9104:10;9095:20;;;;;;;;;;;;;;;:29;9116:7;9095:29;;;;;;;;;;;;;;;:37;;;;9169:7;9148:36;;9157:10;9148:36;;;9178:5;9148:36;;;;;;;;;;;;;;;;;;9202:4;9195:11;;8970:244;;;;:::o;7129:91::-;7173:7;7200:12;;7193:19;;7129:91;:::o;17152:251::-;17247:4;17232;16325:13;:22;16339:7;16325:22;;;;;;;;;;;;;;;;;;;;;;;;;16324:23;16316:32;;;;;;;;17296:1;17268:12;:18;17281:4;17268:18;;;;;;;;;;;;;;;:25;;;;:29;17264:79;;;17314:17;17326:4;17314:11;:17::i;:::-;;17264:79;17360:35;17379:4;17385:2;17389:5;17360:18;:35::i;:::-;17353:42;;17152:251;;;;;;:::o;3322:193::-;3377:4;3409:5;;;;;;;;;;;3398:16;;:7;:16;;;3394:114;;;3438:4;3431:11;;;;3394:114;3491:5;3484:12;;3322:193;;;;:::o;15660:83::-;15701:5;15726:9;;;;;;;;;;;15719:16;;15660:83;:::o;18728:177::-;3152:5;;;;;;;;;;;3138:19;;:10;:19;;;3130:28;;;;;;;;18829:18;18811:36;;:14;;;;;;;;;;;:36;;;;18803:45;;;;;;;;18859:38;18878:18;18859;:38::i;:::-;18728:177;:::o;10501:323::-;10581:4;10625:1;10606:21;;:7;:21;;;;10598:30;;;;;;;;10673:45;10707:10;10673:8;:20;10682:10;10673:20;;;;;;;;;;;;;;;:29;10694:7;10673:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;10641:8;:20;10650:10;10641:20;;;;;;;;;;;;;;;:29;10662:7;10641:29;;;;;;;;;;;;;;;:77;;;;10755:7;10734:60;;10743:10;10734:60;;;10764:8;:20;10773:10;10764:20;;;;;;;;;;;;;;;:29;10785:7;10764:29;;;;;;;;;;;;;;;;10734:60;;;;;;;;;;;;;;;;;;10812:4;10805:11;;10501:323;;;;:::o;5975:118::-;4190:20;4199:10;4190:8;:20::i;:::-;:42;;;;4213:19;4221:10;4213:7;:19::i;:::-;4190:42;4182:51;;;;;;;;5644:7;;;;;;;;;;;5636:16;;;;;;;;6044:5;6034:7;;:15;;;;;;;;;;;;;;;;;;6065:20;6074:10;6065:20;;;;;;;;;;;;;;;;;;;;;;5975:118::o;4261:109::-;4317:4;4341:21;4354:7;4341:8;:12;;:21;;;;:::i;:::-;4334:28;;4261:109;;;:::o;15893:29::-;;;;;;;;;;;;;:::o;5228:78::-;5267:4;5291:7;;;;;;;;;;;5284:14;;5228:78;:::o;4478:97::-;3152:5;;;;;;;;;;;3138:19;;:10;:19;;;3130:28;;;;;;;;4545:22;4559:7;4545:13;:22::i;:::-;4478:97;:::o;4583:77::-;4627:25;4641:10;4627:13;:25::i;:::-;4583:77::o;16516:378::-;16571:7;16593:20;16703:6;16616:22;16632:5;16616:15;:22::i;:::-;16593:45;;16681:1;16653:12;:19;16666:5;16653:19;;;;;;;;;;;;;;;:26;;;;:29;16649:206;;;16710:1;16703:8;;16699:145;16715:12;:19;16728:5;16715:19;;;;;;;;;;;;;;;:26;;;;16713:1;:28;16699:145;;;16780:48;16797:12;:19;16810:5;16797:19;;;;;;;;;;;;;;;16817:1;16797:22;;;;;;;;;;;;;;;;;;;;:30;;;16780:12;:16;;:48;;;;:::i;:::-;16765:63;;16742:3;;;;;;;16699:145;;;16649:206;16874:12;16867:19;;16516:378;;;;;:::o;17632:217::-;17700:4;4190:20;4199:10;4190:8;:20::i;:::-;:42;;;;4213:19;4221:10;4213:7;:19::i;:::-;4190:42;4182:51;;;;;;;;17725:13;:21;17739:6;17725:21;;;;;;;;;;;;;;;;;;;;;;;;;17717:30;;;;;;;;17782:5;17758:13;:21;17772:6;17758:21;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;17812:6;17803:16;;;;;;;;;;;;17837:4;17830:11;;17632:217;;;:::o;3676:181::-;3731:4;3249:1;3227:24;;:10;:24;;;;3219:33;;;;;;;;3285:8;;;;;;;;;;;3271:22;;:10;:22;;;3263:31;;;;;;;;3781:8;;;;;;;;;;;3753:37;;3774:5;;;;;;;;;;;3753:37;;;;;;;;;;;;3809:8;;;;;;;;;;;3801:5;;:16;;;;;;;;;;;;;;;;;;3847:1;3828:8;;:21;;;;;;;;;;;;;;;;;;3676:181;:::o;18366:219::-;18438:4;4190:20;4199:10;4190:8;:20::i;:::-;:42;;;;4213:19;4221:10;4213:7;:19::i;:::-;4190:42;4182:51;;;;;;;;18494:3;18464:12;:20;18477:6;18464:20;;;;;;;;;;;;;;;:27;;;;:33;18455:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18536:19;18544:6;18551:3;18536:7;:19::i;:::-;;18573:4;18566:11;;18366:219;;;;:::o;4378:92::-;4190:20;4199:10;4190:8;:20::i;:::-;:42;;;;4213:19;4221:10;4213:7;:19::i;:::-;4190:42;4182:51;;;;;;;;4443:19;4454:7;4443:10;:19::i;:::-;4378:92;:::o;5764:116::-;4190:20;4199:10;4190:8;:20::i;:::-;:42;;;;4213:19;4221:10;4213:7;:19::i;:::-;4190:42;4182:51;;;;;;;;5465:7;;;;;;;;;;;5464:8;5456:17;;;;;;;;5834:4;5824:7;;:14;;;;;;;;;;;;;;;;;;5854:18;5861:10;5854:18;;;;;;;;;;;;;;;;;;;;;;5764:116::o;2849:20::-;;;;;;;;;;;;;:::o;15494:87::-;15533:6;15566:7;15559:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15494:87;:::o;11344:333::-;11429:4;11473:1;11454:21;;:7;:21;;;;11446:30;;;;;;;;11521:50;11555:15;11521:8;:20;11530:10;11521:20;;;;;;;;;;;;;;;:29;11542:7;11521:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;11489:8;:20;11498:10;11489:20;;;;;;;;;;;;;;;:29;11510:7;11489:29;;;;;;;;;;;;;;;:82;;;;11608:7;11587:60;;11596:10;11587:60;;;11617:8;:20;11626:10;11617:20;;;;;;;;;;;;;;;:29;11638:7;11617:29;;;;;;;;;;;;;;;;11587:60;;;;;;;;;;;;;;;;;;11665:4;11658:11;;11344:333;;;;:::o;16902:242::-;16985:4;16964:10;16325:13;:22;16339:7;16325:22;;;;;;;;;;;;;;;;;;;;;;;;;16324:23;16316:32;;;;;;;;17040:1;17006:12;:24;17019:10;17006:24;;;;;;;;;;;;;;;:31;;;;:35;17002:92;;;17059:23;17071:10;17059:11;:23::i;:::-;;17002:92;17111:25;17126:2;17130:5;17111:14;:25::i;:::-;17104:32;;16902:242;;;;;:::o;15989:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;15931:51::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2876:23::-;;;;;;;;;;;;;:::o;7881:131::-;7953:7;7980:8;:15;7989:5;7980:15;;;;;;;;;;;;;;;:24;7996:7;7980:24;;;;;;;;;;;;;;;;7973:31;;7881:131;;;;:::o;18128:230::-;18233:4;4190:20;4199:10;4190:8;:20::i;:::-;:42;;;;4213:19;4221:10;4213:7;:19::i;:::-;4190:42;4182:51;;;;;;;;18250:36;18260:10;18272:6;18280:5;18250:9;:36::i;:::-;18297:31;18303:6;18310:5;18316:11;18297:5;:31::i;:::-;;18346:4;18339:11;;18128:230;;;;;:::o;17857:263::-;17950:4;4190:20;4199:10;4190:8;:20::i;:::-;:42;;;;4213:19;4221:10;4213:7;:19::i;:::-;4190:42;4182:51;;;;;;;;17996:5;17975:9;:17;17985:6;17975:17;;;;;;;;;;;;;;;;:26;;17967:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18055:31;18061:6;18068:5;18074:11;18055:5;:31::i;:::-;;18108:4;18101:11;;17857:263;;;;;:::o;17411:213::-;17477:4;4190:20;4199:10;4190:8;:20::i;:::-;:42;;;;4213:19;4221:10;4213:7;:19::i;:::-;4190:42;4182:51;;;;;;;;17503:13;:21;17517:6;17503:21;;;;;;;;;;;;;;;;;;;;;;;;;17502:22;17494:31;;;;;;;;17560:4;17536:13;:21;17550:6;17536:21;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;17587:6;17580:14;;;;;;;;;;;;17612:4;17605:11;;17411:213;;;:::o;3523:145::-;3152:5;;;;;;;;;;;3138:19;;:10;:19;;;3130:28;;;;;;;;3626:1;3605:23;;:9;:23;;;;3597:32;;;;;;;;3651:9;3640:8;;:20;;;;;;;;;;;;;;;;;;3523:145;:::o;19738:430::-;19792:4;19813:11;19826:1;19813:14;;19809:330;19835:12;:20;19848:6;19835:20;;;;;;;;;;;;;;;:27;;;;19829:3;:33;19809:330;;;19934:3;19892:12;:20;19905:6;19892:20;;;;;;;;;;;;;;;19913:3;19892:25;;;;;;;;;;;;;;;;;;;;:38;;;:45;;19888:240;;;20040:20;20048:6;20056:3;20040:7;:20::i;:::-;20036:77;;;20092:1;20086:7;;;;20036:77;19888:240;19865:5;;;;;;;19809:330;;;20156:4;20149:11;;19738:430;;;;:::o;14141:160::-;14234:4;5465:7;;;;;;;;;;;5464:8;5456:17;;;;;;;;14258:35;14277:4;14283:2;14287:5;14258:18;:35::i;:::-;14251:42;;14141:160;;;;;:::o;20311:97::-;20393:7;20376:14;;:24;;;;;;;;;;;;;;;;;;20311:97;:::o;1444:150::-;1502:7;1522:9;1538:1;1534;:5;1522:17;;1563:1;1558;:6;;1550:15;;;;;;;;1585:1;1578:8;;1444:150;;;;;:::o;2590:165::-;2662:4;2706:1;2687:21;;:7;:21;;;;2679:30;;;;;;;;2727:4;:11;;:20;2739:7;2727:20;;;;;;;;;;;;;;;;;;;;;;;;;2720:27;;2590:165;;;;:::o;4798:130::-;4858:24;4874:7;4858:8;:15;;:24;;;;:::i;:::-;4912:7;4898:22;;;;;;;;;;;;4798:130;:::o;7436:106::-;7491:7;7518:9;:16;7528:5;7518:16;;;;;;;;;;;;;;;;7511:23;;7436:106;;;:::o;19218:512::-;19281:4;19298:25;19362:21;19326:12;:20;19339:6;19326:20;;;;;;;;;;;;;;;19347:3;19326:25;;;;;;;;;;;;;;;;;;;;19298:53;;19386:8;:16;;;19362:40;;19422:12;:20;19435:6;19422:20;;;;;;;;;;;;;;;19443:3;19422:25;;;;;;;;;;;;;;;;;;;;;19415:32;;;;;;;;;;;;;;19486:12;:20;19499:6;19486:20;;;;;;;;;;;;;;;19507:34;19539:1;19507:12;:20;19520:6;19507:20;;;;;;;;;;;;;;;:27;;;;:31;;:34;;;;:::i;:::-;19486:56;;;;;;;;;;;;;;;;;;;;19458:12;:20;19471:6;19458:20;;;;;;;;;;;;;;;19479:3;19458:25;;;;;;;;;;;;;;;;;;;;:84;;;;;;;;;;;;;;;;;;;19583:1;19553:12;:20;19566:6;19553:20;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;:::i;:::-;;19609:6;19602:29;;;19617:13;19602:29;;;;;;;;;;;;;;;;;;19662:36;19684:13;19662:9;:17;19672:6;19662:17;;;;;;;;;;;;;;;;:21;;:36;;;;:::i;:::-;19642:9;:17;19652:6;19642:17;;;;;;;;;;;;;;;:56;;;;19718:4;19711:11;;19218:512;;;;;;:::o;4668:122::-;4725:21;4738:7;4725:8;:12;;:21;;;;:::i;:::-;4774:7;4762:20;;;;;;;;;;;;4668:122;:::o;1208:150::-;1266:7;1312:9;1299:1;1294;:6;;1286:15;;;;;;;;1328:1;1324;:5;1312:17;;1349:1;1342:8;;1208:150;;;;;:::o;14001:132::-;14076:4;5465:7;;;;;;;;;;;5464:8;5456:17;;;;;;;;14100:25;14115:2;14119:5;14100:14;:25::i;:::-;14093:32;;14001:132;;;;:::o;11899:262::-;12001:1;11987:16;;:2;:16;;;;11979:25;;;;;;;;12035:26;12055:5;12035:9;:15;12045:4;12035:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;12017:9;:15;12027:4;12017:15;;;;;;;;;;;;;;;:44;;;;12088:24;12106:5;12088:9;:13;12098:2;12088:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;12072:9;:13;12082:2;12072:13;;;;;;;;;;;;;;;:40;;;;12143:2;12128:25;;12137:4;12128:25;;;12147:5;12128:25;;;;;;;;;;;;;;;;;;11899:262;;;:::o;18913:297::-;18997:4;19034:28;19056:5;19034:9;:17;19044:6;19034:17;;;;;;;;;;;;;;;;:21;;:28;;;;:::i;:::-;19014:9;:17;19024:6;19014:17;;;;;;;;;;;;;;;:48;;;;19073:12;:20;19086:6;19073:20;;;;;;;;;;;;;;;19100:28;;;;;;;;;19109:11;19100:28;;;;19122:5;19100:28;;;19073:57;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;19073:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19153:6;19148:32;;;19161:5;19168:11;19148:32;;;;;;;;;;;;;;;;;;;;;;;;19198:4;19191:11;;18913:297;;;;;:::o;9687:299::-;9766:4;9812:37;9843:5;9812:8;:14;9821:4;9812:14;;;;;;;;;;;;;;;:26;9827:10;9812:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;9783:8;:14;9792:4;9783:14;;;;;;;;;;;;;;;:26;9798:10;9783:26;;;;;;;;;;;;;;;:66;;;;9860:26;9870:4;9876:2;9880:5;9860:9;:26::i;:::-;9917:10;9902:54;;9911:4;9902:54;;;9929:8;:14;9938:4;9929:14;;;;;;;;;;;;;;;:26;9944:10;9929:26;;;;;;;;;;;;;;;;9902:54;;;;;;;;;;;;;;;;;;9974:4;9967:11;;9687:299;;;;;:::o;2307:189::-;2406:1;2387:21;;:7;:21;;;;2379:30;;;;;;;;2428:18;2432:4;2438:7;2428:3;:18::i;:::-;2420:27;;;;;;;;2483:5;2460:4;:11;;:20;2472:7;2460:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;2307:189;;:::o;2042:186::-;2138:1;2119:21;;:7;:21;;;;2111:30;;;;;;;;2161:18;2165:4;2171:7;2161:3;:18::i;:::-;2160:19;2152:28;;;;;;;;2216:4;2193;:11;;:20;2205:7;2193:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;2042:186;;:::o;8183:140::-;8244:4;8261:32;8271:10;8283:2;8287:5;8261:9;:32::i;:::-;8311:4;8304:11;;8183:140;;;;:::o;15750:5367::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://f87ab0ed2748ed20b95f714f81edf247aa0af23edc635713e3e0d6d26ba1feda