Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library HxSafeMath    - 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 WITCH is ERC20Detailed, E ... *    - 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 2021-07-09
*/

pragma solidity ^0.4.24;

library HxSafeMath {
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        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 WITCH 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("Witch Token", "WITCH", 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"}]

60806040526040805190810160405280600b81526020017f576974636820546f6b656e0000000000000000000000000000000000000000008152506040805190810160405280600581526020017f5749544348000000000000000000000000000000000000000000000000000000815250601282600090805190602001906200008a92919062000501565b508160019080519060200190620000a392919062000501565b5080600260006101000a81548160ff021916908360ff16021790555050505033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506200015f33620001a6640100000000026401000000009004565b6000600960006101000a81548160ff021916908315150217905550620001a0336a52b7d2dcc80cd2e400000062000210640100000000026401000000009004565b620005b0565b620001ca816008620003876401000000000262002f4c179091906401000000009004565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156200024d57600080fd5b62000272816005546200044a64010000000002620023fa179091906401000000009004565b600581905550620002da81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200044a64010000000002620023fa179091906401000000009004565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515620003c457600080fd5b620003df82826200046c640100000000026401000000009004565b151515620003ec57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008082840190508381101515156200046257600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515620004aa57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200054457805160ff191683800117855562000575565b8280016001018555821562000575579182015b828111156200057457825182559160200191906001019062000557565b5b50905062000584919062000588565b5090565b620005ad91905b80821115620005a95760008160009055506001016200058f565b5090565b90565b6130a080620005c06000396000f300608060405260043610610196576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610220578063095ea7b3146102b057806318160ddd1461031557806323b872dd146103405780632f54bf6e146103c5578063313ce567146104205780633659cfe61461045157806339509351146104945780633f4ba83a146104f957806346fbf68e146105105780635c60da1b1461056b5780635c975abb146105c25780636b2c0f55146105f15780636ef8d66d1461063457806370a082311461064b578063788649ea146106a257806379ba5097146106fd5780637eee288d1461072c57806382dc1ec4146107915780638456cb59146107d45780638da5cb5b146107eb57806395d89b4114610842578063a457c2d7146108d2578063a9059cbb14610937578063b414d4b61461099c578063d26c4a76146109f7578063d4ee1d9014610a5f578063dd62ed3e14610ab6578063de6baccb14610b2d578063e2ab691d14610b9c578063f26c159f14610c0b578063f2fde38b14610c66575b6000600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156101f957600080fd5b60405136600082376000803683855af43d806000843e816000811461021c578184f35b8184fd5b34801561022c57600080fd5b50610235610ca9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561027557808201518184015260208101905061025a565b50505050905090810190601f1680156102a25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102bc57600080fd5b506102fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d4b565b604051808215151515815260200191505060405180910390f35b34801561032157600080fd5b5061032a610e78565b6040518082815260200191505060405180910390f35b34801561034c57600080fd5b506103ab600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e82565b604051808215151515815260200191505060405180910390f35b3480156103d157600080fd5b50610406600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f49565b604051808215151515815260200191505060405180910390f35b34801561042c57600080fd5b50610435610fb4565b604051808260ff1660ff16815260200191505060405180910390f35b34801561045d57600080fd5b50610492600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fcb565b005b3480156104a057600080fd5b506104df600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611090565b604051808215151515815260200191505060405180910390f35b34801561050557600080fd5b5061050e6112c7565b005b34801561051c57600080fd5b50610551600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611386565b604051808215151515815260200191505060405180910390f35b34801561057757600080fd5b506105806113a3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105ce57600080fd5b506105d76113c9565b604051808215151515815260200191505060405180910390f35b3480156105fd57600080fd5b50610632600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113e0565b005b34801561064057600080fd5b50610649611448565b005b34801561065757600080fd5b5061068c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611453565b6040518082815260200191505060405180910390f35b3480156106ae57600080fd5b506106e3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611587565b604051808215151515815260200191505060405180910390f35b34801561070957600080fd5b506107126116a9565b604051808215151515815260200191505060405180910390f35b34801561073857600080fd5b50610777600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611888565b604051808215151515815260200191505060405180910390f35b34801561079d57600080fd5b506107d2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061197c565b005b3480156107e057600080fd5b506107e96119ac565b005b3480156107f757600080fd5b50610800611a6c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561084e57600080fd5b50610857611a92565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561089757808201518184015260208101905061087c565b50505050905090810190601f1680156108c45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156108de57600080fd5b5061091d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b34565b604051808215151515815260200191505060405180910390f35b34801561094357600080fd5b50610982600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d6b565b604051808215151515815260200191505060405180910390f35b3480156109a857600080fd5b506109dd600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e30565b604051808215151515815260200191505060405180910390f35b348015610a0357600080fd5b50610a42600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e50565b604051808381526020018281526020019250505060405180910390f35b348015610a6b57600080fd5b50610a74611e90565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610ac257600080fd5b50610b17600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611eb6565b6040518082815260200191505060405180910390f35b348015610b3957600080fd5b50610b82600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f3d565b604051808215151515815260200191505060405180910390f35b348015610ba857600080fd5b50610bf1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f85565b604051808215151515815260200191505060405180910390f35b348015610c1757600080fd5b50610c4c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061209f565b604051808215151515815260200191505060405180910390f35b348015610c7257600080fd5b50610ca7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121c2565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d415780601f10610d1657610100808354040283529160200191610d41565b820191906000526020600020905b815481529060010190602001808311610d2457829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610d8857600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b600083600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610ede57600080fd5b6000600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f3457610f328561229e565b505b610f3f858585612384565b9150509392505050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610faa5760019050610faf565b600090505b919050565b6000600260009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561102757600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415151561108457600080fd5b61108d816123b6565b50565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156110cd57600080fd5b61115c82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6112d033611386565b806112e057506112df33610f49565b5b15156112eb57600080fd5b600960009054906101000a900460ff16151561130657600080fd5b6000600960006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600061139c82600861241b90919063ffffffff16565b9050919050565b600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600960009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561143c57600080fd5b611445816124af565b50565b611451336124af565b565b600080600061146184612509565b91506000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561157d57600090505b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561157c5761156d600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561154c57fe5b906000526020600020906002020160010154836123fa90919063ffffffff16565b915080806001019150506114b3565b5b8192505050919050565b600061159233611386565b806115a257506115a133610f49565b5b15156115ad57600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561160557600080fd5b6000600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515156116e657600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561174257600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555090565b600061189333611386565b806118a357506118a233610f49565b5b15156118ae57600080fd5b81600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111515611967576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b6119718383612552565b506001905092915050565b61198533611386565b80611995575061199433610f49565b5b15156119a057600080fd5b6119a98161288c565b50565b6119b533611386565b806119c557506119c433610f49565b5b15156119d057600080fd5b600960009054906101000a900460ff161515156119ec57600080fd5b6001600960006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b2a5780601f10611aff57610100808354040283529160200191611b2a565b820191906000526020600020905b815481529060010190602001808311611b0d57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515611b7157600080fd5b611c0082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b600033600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611dc757600080fd5b6000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611e1d57611e1b3361229e565b505b611e278484612907565b91505092915050565b600b6020528060005260406000206000915054906101000a900460ff1681565b600a60205281600052604060002081815481101515611e6b57fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000611f4833611386565b80611f585750611f5733610f49565b5b1515611f6357600080fd5b611f6e338585612937565b611f79848484612b07565b50600190509392505050565b6000611f9033611386565b80611fa05750611f9f33610f49565b5b1515611fab57600080fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515612088576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001807f5468657265206973206e6f7420656e6f7567682062616c616e636573206f662081526020017f686f6c6465722e0000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b612093848484612b07565b50600190509392505050565b60006120aa33611386565b806120ba57506120b933610f49565b5b15156120c557600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561211e57600080fd5b6001600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561221e57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561225a57600080fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600090505b600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561237a5742600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561233d57fe5b90600052602060002090600202016000015411151561236d576123608382612552565b1561236c576001810390505b5b80806001019150506122a6565b6001915050919050565b6000600960009054906101000a900460ff161515156123a257600080fd5b6123ad848484612c95565b90509392505050565b80600960016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080828401905083811015151561241157600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561245857600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6124c3816008612e9d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000806000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020848154811015156125a357fe5b9060005260206000209060020201915081600101549050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110151561260657fe5b906000526020600020906002020160008082016000905560018201600090555050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206126bc6001600a60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506128e690919063ffffffff16565b8154811015156126c857fe5b9060005260206000209060020201600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110151561272257fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208181805490500391508161279c9190613013565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a261283d81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b6128a0816008612f4c90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000808383111515156128f857600080fd5b82840390508091505092915050565b6000600960009054906101000a900460ff1615151561292557600080fd5b61292f8383612ffc565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561297357600080fd5b6129c581600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612a5a81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000612b5b83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000612d2682600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612db1848484612937565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612ed957600080fd5b612ee3828261241b565b1515612eee57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612f8857600080fd5b612f92828261241b565b151515612f9e57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000613009338484612937565b6001905092915050565b8154818355818111156130405760020281600202836000526020600020918201910161303f9190613045565b5b505050565b61307191905b8082111561306d5760008082016000905560018201600090555060020161304b565b5090565b905600a165627a7a72305820b1cb1042ff1b6b648e7270032eafdf1965b5d7ab049090e34b53d0af9867cf890029

0x608060405260043610610196576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610220578063095ea7b3146102b057806318160ddd1461031557806323b872dd146103405780632f54bf6e146103c5578063313ce567146104205780633659cfe61461045157806339509351146104945780633f4ba83a146104f957806346fbf68e146105105780635c60da1b1461056b5780635c975abb146105c25780636b2c0f55146105f15780636ef8d66d1461063457806370a082311461064b578063788649ea146106a257806379ba5097146106fd5780637eee288d1461072c57806382dc1ec4146107915780638456cb59146107d45780638da5cb5b146107eb57806395d89b4114610842578063a457c2d7146108d2578063a9059cbb14610937578063b414d4b61461099c578063d26c4a76146109f7578063d4ee1d9014610a5f578063dd62ed3e14610ab6578063de6baccb14610b2d578063e2ab691d14610b9c578063f26c159f14610c0b578063f2fde38b14610c66575b6000600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156101f957600080fd5b60405136600082376000803683855af43d806000843e816000811461021c578184f35b8184fd5b34801561022c57600080fd5b50610235610ca9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561027557808201518184015260208101905061025a565b50505050905090810190601f1680156102a25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102bc57600080fd5b506102fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d4b565b604051808215151515815260200191505060405180910390f35b34801561032157600080fd5b5061032a610e78565b6040518082815260200191505060405180910390f35b34801561034c57600080fd5b506103ab600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e82565b604051808215151515815260200191505060405180910390f35b3480156103d157600080fd5b50610406600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f49565b604051808215151515815260200191505060405180910390f35b34801561042c57600080fd5b50610435610fb4565b604051808260ff1660ff16815260200191505060405180910390f35b34801561045d57600080fd5b50610492600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fcb565b005b3480156104a057600080fd5b506104df600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611090565b604051808215151515815260200191505060405180910390f35b34801561050557600080fd5b5061050e6112c7565b005b34801561051c57600080fd5b50610551600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611386565b604051808215151515815260200191505060405180910390f35b34801561057757600080fd5b506105806113a3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105ce57600080fd5b506105d76113c9565b604051808215151515815260200191505060405180910390f35b3480156105fd57600080fd5b50610632600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113e0565b005b34801561064057600080fd5b50610649611448565b005b34801561065757600080fd5b5061068c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611453565b6040518082815260200191505060405180910390f35b3480156106ae57600080fd5b506106e3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611587565b604051808215151515815260200191505060405180910390f35b34801561070957600080fd5b506107126116a9565b604051808215151515815260200191505060405180910390f35b34801561073857600080fd5b50610777600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611888565b604051808215151515815260200191505060405180910390f35b34801561079d57600080fd5b506107d2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061197c565b005b3480156107e057600080fd5b506107e96119ac565b005b3480156107f757600080fd5b50610800611a6c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561084e57600080fd5b50610857611a92565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561089757808201518184015260208101905061087c565b50505050905090810190601f1680156108c45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156108de57600080fd5b5061091d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b34565b604051808215151515815260200191505060405180910390f35b34801561094357600080fd5b50610982600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d6b565b604051808215151515815260200191505060405180910390f35b3480156109a857600080fd5b506109dd600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e30565b604051808215151515815260200191505060405180910390f35b348015610a0357600080fd5b50610a42600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e50565b604051808381526020018281526020019250505060405180910390f35b348015610a6b57600080fd5b50610a74611e90565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610ac257600080fd5b50610b17600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611eb6565b6040518082815260200191505060405180910390f35b348015610b3957600080fd5b50610b82600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f3d565b604051808215151515815260200191505060405180910390f35b348015610ba857600080fd5b50610bf1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f85565b604051808215151515815260200191505060405180910390f35b348015610c1757600080fd5b50610c4c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061209f565b604051808215151515815260200191505060405180910390f35b348015610c7257600080fd5b50610ca7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121c2565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d415780601f10610d1657610100808354040283529160200191610d41565b820191906000526020600020905b815481529060010190602001808311610d2457829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610d8857600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b600083600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610ede57600080fd5b6000600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f3457610f328561229e565b505b610f3f858585612384565b9150509392505050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610faa5760019050610faf565b600090505b919050565b6000600260009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561102757600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415151561108457600080fd5b61108d816123b6565b50565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156110cd57600080fd5b61115c82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6112d033611386565b806112e057506112df33610f49565b5b15156112eb57600080fd5b600960009054906101000a900460ff16151561130657600080fd5b6000600960006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600061139c82600861241b90919063ffffffff16565b9050919050565b600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600960009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561143c57600080fd5b611445816124af565b50565b611451336124af565b565b600080600061146184612509565b91506000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561157d57600090505b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561157c5761156d600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561154c57fe5b906000526020600020906002020160010154836123fa90919063ffffffff16565b915080806001019150506114b3565b5b8192505050919050565b600061159233611386565b806115a257506115a133610f49565b5b15156115ad57600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561160557600080fd5b6000600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515156116e657600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561174257600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555090565b600061189333611386565b806118a357506118a233610f49565b5b15156118ae57600080fd5b81600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111515611967576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b6119718383612552565b506001905092915050565b61198533611386565b80611995575061199433610f49565b5b15156119a057600080fd5b6119a98161288c565b50565b6119b533611386565b806119c557506119c433610f49565b5b15156119d057600080fd5b600960009054906101000a900460ff161515156119ec57600080fd5b6001600960006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b2a5780601f10611aff57610100808354040283529160200191611b2a565b820191906000526020600020905b815481529060010190602001808311611b0d57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515611b7157600080fd5b611c0082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b600033600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611dc757600080fd5b6000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611e1d57611e1b3361229e565b505b611e278484612907565b91505092915050565b600b6020528060005260406000206000915054906101000a900460ff1681565b600a60205281600052604060002081815481101515611e6b57fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000611f4833611386565b80611f585750611f5733610f49565b5b1515611f6357600080fd5b611f6e338585612937565b611f79848484612b07565b50600190509392505050565b6000611f9033611386565b80611fa05750611f9f33610f49565b5b1515611fab57600080fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515612088576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001807f5468657265206973206e6f7420656e6f7567682062616c616e636573206f662081526020017f686f6c6465722e0000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b612093848484612b07565b50600190509392505050565b60006120aa33611386565b806120ba57506120b933610f49565b5b15156120c557600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561211e57600080fd5b6001600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561221e57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561225a57600080fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600090505b600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561237a5742600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561233d57fe5b90600052602060002090600202016000015411151561236d576123608382612552565b1561236c576001810390505b5b80806001019150506122a6565b6001915050919050565b6000600960009054906101000a900460ff161515156123a257600080fd5b6123ad848484612c95565b90509392505050565b80600960016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080828401905083811015151561241157600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561245857600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6124c3816008612e9d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000806000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020848154811015156125a357fe5b9060005260206000209060020201915081600101549050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110151561260657fe5b906000526020600020906002020160008082016000905560018201600090555050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206126bc6001600a60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506128e690919063ffffffff16565b8154811015156126c857fe5b9060005260206000209060020201600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110151561272257fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208181805490500391508161279c9190613013565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a261283d81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b6128a0816008612f4c90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000808383111515156128f857600080fd5b82840390508091505092915050565b6000600960009054906101000a900460ff1615151561292557600080fd5b61292f8383612ffc565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561297357600080fd5b6129c581600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612a5a81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fa90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000612b5b83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000612d2682600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128e690919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612db1848484612937565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612ed957600080fd5b612ee3828261241b565b1515612eee57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612f8857600080fd5b612f92828261241b565b151515612f9e57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000613009338484612937565b6001905092915050565b8154818355818111156130405760020281600202836000526020600020918201910161303f9190613045565b5b505050565b61307191905b8082111561306d5760008082016000905560018201600090555060020161304b565b5090565b905600a165627a7a72305820b1cb1042ff1b6b648e7270032eafdf1965b5d7ab049090e34b53d0af9867cf890029

15381:5371:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20287:12;20302:14;;;;;;;;;;;20287:29;;20351:1;20335:18;;:4;:18;;;;20327:27;;;;;;;;20406:4;20400:11;20446:12;20443:1;20438:3;20425:34;20533:1;20530;20516:12;20511:3;20505:4;20500:3;20487:48;20561:14;20612:4;20609:1;20604:3;20589:28;20640:6;20665:1;20660:28;;;;20724:4;20719:3;20712:17;20660:28;20681:4;20676:3;20669:17;14975:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14975: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;14975:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8601:244;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8601:244:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6760:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6760:91:0;;;;;;;;;;;;;;;;;;;;;;;16787:251;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16787:251:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2953:193;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2953:193:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15291:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15291:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;18363:177;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18363:177:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;10132:323;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10132:323:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5606:118;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5606:118:0;;;;;;3892:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3892:109:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15526:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15526:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4859:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4859:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4109:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4109:97:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4214:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4214:77:0;;;;;;16151:378;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16151:378:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17267:217;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17267:217:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3307:181;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3307:181:0;;;;;;;;;;;;;;;;;;;;;;;;;;;18001:219;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18001:219:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4009:92;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4009:92:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5395:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5395:116:0;;;;;;2480:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2480:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;15125:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15125: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;15125:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10975:333;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10975:333:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16537:242;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16537:242:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15622:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15622:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15564:51;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15564:51:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2507:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2507:23:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7512:131;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7512:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17763:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17763:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17492:263;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17492:263:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17046:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17046:213:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3154:145;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3154:145:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;14975:83;15012:6;15045:5;15038:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14975:83;:::o;8601:244::-;8666:4;8710:1;8691:21;;:7;:21;;;;8683:30;;;;;;;;8758:5;8726:8;:20;8735:10;8726:20;;;;;;;;;;;;;;;:29;8747:7;8726:29;;;;;;;;;;;;;;;:37;;;;8800:7;8779:36;;8788:10;8779:36;;;8809:5;8779:36;;;;;;;;;;;;;;;;;;8833:4;8826:11;;8601:244;;;;:::o;6760:91::-;6804:7;6831:12;;6824:19;;6760:91;:::o;16787:251::-;16882:4;16867;15958:13;:22;15972:7;15958:22;;;;;;;;;;;;;;;;;;;;;;;;;15957:23;15949:32;;;;;;;;16931:1;16903:12;:18;16916:4;16903:18;;;;;;;;;;;;;;;:25;;;;:29;16899:79;;;16949:17;16961:4;16949:11;:17::i;:::-;;16899:79;16995:35;17014:4;17020:2;17024:5;16995:18;:35::i;:::-;16988:42;;16787:251;;;;;;:::o;2953:193::-;3008:4;3040:5;;;;;;;;;;;3029:16;;:7;:16;;;3025:114;;;3069:4;3062:11;;;;3025:114;3122:5;3115:12;;2953:193;;;;:::o;15291:83::-;15332:5;15357:9;;;;;;;;;;;15350:16;;15291:83;:::o;18363:177::-;2783:5;;;;;;;;;;;2769:19;;:10;:19;;;2761:28;;;;;;;;18464:18;18446:36;;:14;;;;;;;;;;;:36;;;;18438:45;;;;;;;;18494:38;18513:18;18494;:38::i;:::-;18363:177;:::o;10132:323::-;10212:4;10256:1;10237:21;;:7;:21;;;;10229:30;;;;;;;;10304:45;10338:10;10304:8;:20;10313:10;10304:20;;;;;;;;;;;;;;;:29;10325:7;10304:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;10272:8;:20;10281:10;10272:20;;;;;;;;;;;;;;;:29;10293:7;10272:29;;;;;;;;;;;;;;;:77;;;;10386:7;10365:60;;10374:10;10365:60;;;10395:8;:20;10404:10;10395:20;;;;;;;;;;;;;;;:29;10416:7;10395:29;;;;;;;;;;;;;;;;10365:60;;;;;;;;;;;;;;;;;;10443:4;10436:11;;10132:323;;;;:::o;5606:118::-;3821:20;3830:10;3821:8;:20::i;:::-;:42;;;;3844:19;3852:10;3844:7;:19::i;:::-;3821:42;3813:51;;;;;;;;5275:7;;;;;;;;;;;5267:16;;;;;;;;5675:5;5665:7;;:15;;;;;;;;;;;;;;;;;;5696:20;5705:10;5696:20;;;;;;;;;;;;;;;;;;;;;;5606:118::o;3892:109::-;3948:4;3972:21;3985:7;3972:8;:12;;:21;;;;:::i;:::-;3965:28;;3892:109;;;:::o;15526:29::-;;;;;;;;;;;;;:::o;4859:78::-;4898:4;4922:7;;;;;;;;;;;4915:14;;4859:78;:::o;4109:97::-;2783:5;;;;;;;;;;;2769:19;;:10;:19;;;2761:28;;;;;;;;4176:22;4190:7;4176:13;:22::i;:::-;4109:97;:::o;4214:77::-;4258:25;4272:10;4258:13;:25::i;:::-;4214:77::o;16151:378::-;16206:7;16228:20;16338:6;16251:22;16267:5;16251:15;:22::i;:::-;16228:45;;16316:1;16288:12;:19;16301:5;16288:19;;;;;;;;;;;;;;;:26;;;;:29;16284:206;;;16345:1;16338:8;;16334:145;16350:12;:19;16363:5;16350:19;;;;;;;;;;;;;;;:26;;;;16348:1;:28;16334:145;;;16415:48;16432:12;:19;16445:5;16432:19;;;;;;;;;;;;;;;16452:1;16432:22;;;;;;;;;;;;;;;;;;;;:30;;;16415:12;:16;;:48;;;;:::i;:::-;16400:63;;16377:3;;;;;;;16334:145;;;16284:206;16509:12;16502:19;;16151:378;;;;;:::o;17267:217::-;17335:4;3821:20;3830:10;3821:8;:20::i;:::-;:42;;;;3844:19;3852:10;3844:7;:19::i;:::-;3821:42;3813:51;;;;;;;;17360:13;:21;17374:6;17360:21;;;;;;;;;;;;;;;;;;;;;;;;;17352:30;;;;;;;;17417:5;17393:13;:21;17407:6;17393:21;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;17447:6;17438:16;;;;;;;;;;;;17472:4;17465:11;;17267:217;;;:::o;3307:181::-;3362:4;2880:1;2858:24;;:10;:24;;;;2850:33;;;;;;;;2916:8;;;;;;;;;;;2902:22;;:10;:22;;;2894:31;;;;;;;;3412:8;;;;;;;;;;;3384:37;;3405:5;;;;;;;;;;;3384:37;;;;;;;;;;;;3440:8;;;;;;;;;;;3432:5;;:16;;;;;;;;;;;;;;;;;;3478:1;3459:8;;:21;;;;;;;;;;;;;;;;;;3307:181;:::o;18001:219::-;18073:4;3821:20;3830:10;3821:8;:20::i;:::-;:42;;;;3844:19;3852:10;3844:7;:19::i;:::-;3821:42;3813:51;;;;;;;;18129:3;18099:12;:20;18112:6;18099:20;;;;;;;;;;;;;;;:27;;;;:33;18090:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18171:19;18179:6;18186:3;18171:7;:19::i;:::-;;18208:4;18201:11;;18001:219;;;;:::o;4009:92::-;3821:20;3830:10;3821:8;:20::i;:::-;:42;;;;3844:19;3852:10;3844:7;:19::i;:::-;3821:42;3813:51;;;;;;;;4074:19;4085:7;4074:10;:19::i;:::-;4009:92;:::o;5395:116::-;3821:20;3830:10;3821:8;:20::i;:::-;:42;;;;3844:19;3852:10;3844:7;:19::i;:::-;3821:42;3813:51;;;;;;;;5096:7;;;;;;;;;;;5095:8;5087:17;;;;;;;;5465:4;5455:7;;:14;;;;;;;;;;;;;;;;;;5485:18;5492:10;5485:18;;;;;;;;;;;;;;;;;;;;;;5395:116::o;2480:20::-;;;;;;;;;;;;;:::o;15125:87::-;15164:6;15197:7;15190:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15125:87;:::o;10975:333::-;11060:4;11104:1;11085:21;;:7;:21;;;;11077:30;;;;;;;;11152:50;11186:15;11152:8;:20;11161:10;11152:20;;;;;;;;;;;;;;;:29;11173:7;11152:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;11120:8;:20;11129:10;11120:20;;;;;;;;;;;;;;;:29;11141:7;11120:29;;;;;;;;;;;;;;;:82;;;;11239:7;11218:60;;11227:10;11218:60;;;11248:8;:20;11257:10;11248:20;;;;;;;;;;;;;;;:29;11269:7;11248:29;;;;;;;;;;;;;;;;11218:60;;;;;;;;;;;;;;;;;;11296:4;11289:11;;10975:333;;;;:::o;16537:242::-;16620:4;16599:10;15958:13;:22;15972:7;15958:22;;;;;;;;;;;;;;;;;;;;;;;;;15957:23;15949:32;;;;;;;;16675:1;16641:12;:24;16654:10;16641:24;;;;;;;;;;;;;;;:31;;;;:35;16637:92;;;16694:23;16706:10;16694:11;:23::i;:::-;;16637:92;16746:25;16761:2;16765:5;16746:14;:25::i;:::-;16739:32;;16537:242;;;;;:::o;15622:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;15564:51::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2507:23::-;;;;;;;;;;;;;:::o;7512:131::-;7584:7;7611:8;:15;7620:5;7611:15;;;;;;;;;;;;;;;:24;7627:7;7611:24;;;;;;;;;;;;;;;;7604:31;;7512:131;;;;:::o;17763:230::-;17868:4;3821:20;3830:10;3821:8;:20::i;:::-;:42;;;;3844:19;3852:10;3844:7;:19::i;:::-;3821:42;3813:51;;;;;;;;17885:36;17895:10;17907:6;17915:5;17885:9;:36::i;:::-;17932:31;17938:6;17945:5;17951:11;17932:5;:31::i;:::-;;17981:4;17974:11;;17763:230;;;;;:::o;17492:263::-;17585:4;3821:20;3830:10;3821:8;:20::i;:::-;:42;;;;3844:19;3852:10;3844:7;:19::i;:::-;3821:42;3813:51;;;;;;;;17631:5;17610:9;:17;17620:6;17610:17;;;;;;;;;;;;;;;;:26;;17602:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17690:31;17696:6;17703:5;17709:11;17690:5;:31::i;:::-;;17743:4;17736:11;;17492:263;;;;;:::o;17046:213::-;17112:4;3821:20;3830:10;3821:8;:20::i;:::-;:42;;;;3844:19;3852:10;3844:7;:19::i;:::-;3821:42;3813:51;;;;;;;;17138:13;:21;17152:6;17138:21;;;;;;;;;;;;;;;;;;;;;;;;;17137:22;17129:31;;;;;;;;17195:4;17171:13;:21;17185:6;17171:21;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;17222:6;17215:14;;;;;;;;;;;;17247:4;17240:11;;17046:213;;;:::o;3154:145::-;2783:5;;;;;;;;;;;2769:19;;:10;:19;;;2761:28;;;;;;;;3257:1;3236:23;;:9;:23;;;;3228:32;;;;;;;;3282:9;3271:8;;:20;;;;;;;;;;;;;;;;;;3154:145;:::o;19373:430::-;19427:4;19448:11;19461:1;19448:14;;19444:330;19470:12;:20;19483:6;19470:20;;;;;;;;;;;;;;;:27;;;;19464:3;:33;19444:330;;;19569:3;19527:12;:20;19540:6;19527:20;;;;;;;;;;;;;;;19548:3;19527:25;;;;;;;;;;;;;;;;;;;;:38;;;:45;;19523:240;;;19675:20;19683:6;19691:3;19675:7;:20::i;:::-;19671:77;;;19727:1;19721:7;;;;19671:77;19523:240;19500:5;;;;;;;19444:330;;;19791:4;19784:11;;19373:430;;;;:::o;13772:160::-;13865:4;5096:7;;;;;;;;;;;5095:8;5087:17;;;;;;;;13889:35;13908:4;13914:2;13918:5;13889:18;:35::i;:::-;13882:42;;13772:160;;;;;:::o;19946:97::-;20028:7;20011:14;;:24;;;;;;;;;;;;;;;;;;19946:97;:::o;1075:150::-;1133:7;1153:9;1169:1;1165;:5;1153:17;;1194:1;1189;:6;;1181:15;;;;;;;;1216:1;1209:8;;1075:150;;;;;:::o;2221:165::-;2293:4;2337:1;2318:21;;:7;:21;;;;2310:30;;;;;;;;2358:4;:11;;:20;2370:7;2358:20;;;;;;;;;;;;;;;;;;;;;;;;;2351:27;;2221:165;;;;:::o;4429:130::-;4489:24;4505:7;4489:8;:15;;:24;;;;:::i;:::-;4543:7;4529:22;;;;;;;;;;;;4429:130;:::o;7067:106::-;7122:7;7149:9;:16;7159:5;7149:16;;;;;;;;;;;;;;;;7142:23;;7067:106;;;:::o;18853:512::-;18916:4;18933:25;18997:21;18961:12;:20;18974:6;18961:20;;;;;;;;;;;;;;;18982:3;18961:25;;;;;;;;;;;;;;;;;;;;18933:53;;19021:8;:16;;;18997:40;;19057:12;:20;19070:6;19057:20;;;;;;;;;;;;;;;19078:3;19057:25;;;;;;;;;;;;;;;;;;;;;19050:32;;;;;;;;;;;;;;19121:12;:20;19134:6;19121:20;;;;;;;;;;;;;;;19142:34;19174:1;19142:12;:20;19155:6;19142:20;;;;;;;;;;;;;;;:27;;;;:31;;:34;;;;:::i;:::-;19121:56;;;;;;;;;;;;;;;;;;;;19093:12;:20;19106:6;19093:20;;;;;;;;;;;;;;;19114:3;19093:25;;;;;;;;;;;;;;;;;;;;:84;;;;;;;;;;;;;;;;;;;19218:1;19188:12;:20;19201:6;19188:20;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;:::i;:::-;;19244:6;19237:29;;;19252:13;19237:29;;;;;;;;;;;;;;;;;;19297:36;19319:13;19297:9;:17;19307:6;19297:17;;;;;;;;;;;;;;;;:21;;:36;;;;:::i;:::-;19277:9;:17;19287:6;19277:17;;;;;;;;;;;;;;;:56;;;;19353:4;19346:11;;18853:512;;;;;;:::o;4299:122::-;4356:21;4369:7;4356:8;:12;;:21;;;;:::i;:::-;4405:7;4393:20;;;;;;;;;;;;4299:122;:::o;839:150::-;897:7;943:9;930:1;925;:6;;917:15;;;;;;;;959:1;955;:5;943:17;;980:1;973:8;;839:150;;;;;:::o;13632:132::-;13707:4;5096:7;;;;;;;;;;;5095:8;5087:17;;;;;;;;13731:25;13746:2;13750:5;13731:14;:25::i;:::-;13724:32;;13632:132;;;;:::o;11530:262::-;11632:1;11618:16;;:2;:16;;;;11610:25;;;;;;;;11666:26;11686:5;11666:9;:15;11676:4;11666:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;11648:9;:15;11658:4;11648:15;;;;;;;;;;;;;;;:44;;;;11719:24;11737:5;11719:9;:13;11729:2;11719:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;11703:9;:13;11713:2;11703:13;;;;;;;;;;;;;;;:40;;;;11774:2;11759:25;;11768:4;11759:25;;;11778:5;11759:25;;;;;;;;;;;;;;;;;;11530:262;;;:::o;18548:297::-;18632:4;18669:28;18691:5;18669:9;:17;18679:6;18669:17;;;;;;;;;;;;;;;;:21;;:28;;;;:::i;:::-;18649:9;:17;18659:6;18649:17;;;;;;;;;;;;;;;:48;;;;18708:12;:20;18721:6;18708:20;;;;;;;;;;;;;;;18735:28;;;;;;;;;18744:11;18735:28;;;;18757:5;18735:28;;;18708:57;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;18708:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18788:6;18783:32;;;18796:5;18803:11;18783:32;;;;;;;;;;;;;;;;;;;;;;;;18833:4;18826:11;;18548:297;;;;;:::o;9318:299::-;9397:4;9443:37;9474:5;9443:8;:14;9452:4;9443:14;;;;;;;;;;;;;;;:26;9458:10;9443:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;9414:8;:14;9423:4;9414:14;;;;;;;;;;;;;;;:26;9429:10;9414:26;;;;;;;;;;;;;;;:66;;;;9491:26;9501:4;9507:2;9511:5;9491:9;:26::i;:::-;9548:10;9533:54;;9542:4;9533:54;;;9560:8;:14;9569:4;9560:14;;;;;;;;;;;;;;;:26;9575:10;9560:26;;;;;;;;;;;;;;;;9533:54;;;;;;;;;;;;;;;;;;9605:4;9598:11;;9318:299;;;;;:::o;1938:189::-;2037:1;2018:21;;:7;:21;;;;2010:30;;;;;;;;2059:18;2063:4;2069:7;2059:3;:18::i;:::-;2051:27;;;;;;;;2114:5;2091:4;:11;;:20;2103:7;2091:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;1938:189;;:::o;1673:186::-;1769:1;1750:21;;:7;:21;;;;1742:30;;;;;;;;1792:18;1796:4;1802:7;1792:3;:18::i;:::-;1791:19;1783:28;;;;;;;;1847:4;1824;:11;;:20;1836:7;1824:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;1673:186;;:::o;7814:140::-;7875:4;7892:32;7902:10;7914:2;7918:5;7892:9;:32::i;:::-;7942:4;7935:11;;7814:140;;;;:::o;15381:5371::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://b1cb1042ff1b6b648e7270032eafdf1965b5d7ab049090e34b53d0af9867cf89