Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
• library Roles
•    - function add(Role storage role, addre ...
•    - function remove(Role storage role, ad ...
•    - function has(Role storage role, addre ...
•  contract Ownable
•    - function isOwner(address account)
•    - function transferOwnership(address _n ...
•    - function acceptOwnership()
•  contract PauserRole is Ownable
•    - 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 ERC20 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 ERC20, P ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(address from, a ...
•  contract ERC20Detailed is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract Veron 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 2019-10-27
*/

pragma solidity ^0.5.0;

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

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

        return c;
    }

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

        return c;
    }

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

        return c;
    }

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

        return c;
    }

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

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 Ownable {
    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 Ownable{
    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 ERC20 is IERC20 {
    using SafeMath 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 ERC20, 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 Veron 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("VERON", "VREX", 18) public  {
        
        _mint(msg.sender, 30000000000 * (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":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newImplementation","type":"address"}],"name":"upgradeTo","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isPauser","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"implementation","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","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":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"holder","type":"address"}],"name":"unfreezeAccount","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"uint256","name":"idx","type":"uint256"}],"name":"unlock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","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":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"frozenAccount","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"timelockList","outputs":[{"internalType":"uint256","name":"_releaseTime","type":"uint256"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"releaseTime","type":"uint256"}],"name":"transferWithLock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"releaseTime","type":"uint256"}],"name":"lock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"holder","type":"address"}],"name":"freezeAccount","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"}],"name":"Unfreeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"releaseTime","type":"uint256"}],"name":"Lock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Unlock","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040523480156200001157600080fd5b506040518060400160405280600581526020017f5645524f4e0000000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f56524558000000000000000000000000000000000000000000000000000000008152506012826000908051906020019062000098929190620004d0565b508160019080519060200190620000b1929190620004d0565b5080600260006101000a81548160ff021916908360ff16021790555050505033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506200016433620001a360201b60201c565b6000600960006101000a81548160ff0219169083151502179055506200019d336b60ef6b1aba6f0723300000006200020460201b60201c565b6200057f565b620001be8160086200036760201b620030181790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200023f57600080fd5b6200025b816005546200041d60201b620024db1790919060201c565b600581905550620002ba81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200041d60201b620024db1790919060201c565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415620003a257600080fd5b620003b482826200043d60201b60201c565b15620003bf57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000808284019050838110156200043357600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200047957600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200051357805160ff191683800117855562000544565b8280016001018555821562000544579182015b828111156200054357825182559160200191906001019062000526565b5b50905062000553919062000557565b5090565b6200057c91905b80821115620005785760008160009055506001016200055e565b5090565b90565b613198806200058f6000396000f3fe6080604052600436106101e35760003560e01c806379ba509711610102578063b414d4b611610095578063de6baccb11610064578063de6baccb14610c58578063e2ab691d14610cd5578063f26c159f14610d52578063f2fde38b14610dbb576101e3565b8063b414d4b614610a9d578063d26c4a7614610b06578063d4ee1d9014610b7c578063dd62ed3e14610bd3576101e3565b80638da5cb5b116100d15780638da5cb5b146108d057806395d89b4114610927578063a457c2d7146109b7578063a9059cbb14610a2a576101e3565b806379ba5097146107c65780637eee288d146107f557806382dc1ec4146108685780638456cb59146108b9576101e3565b80633f4ba83a1161017a5780636b2c0f55116101495780636b2c0f55146106905780636ef8d66d146106e157806370a08231146106f8578063788649ea1461075d576101e3565b80633f4ba83a1461058a57806346fbf68e146105a15780635c60da1b1461060a5780635c975abb14610661576101e3565b80632f54bf6e116101b65780632f54bf6e1461042c578063313ce567146104955780633659cfe6146104c65780633950935114610517576101e3565b806306fdde031461026b578063095ea7b3146102fb57806318160ddd1461036e57806323b872dd14610399575b6000600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561024457600080fd5b60405136600082376000803683855af43d806000843e8160008114610267578184f35b8184fd5b34801561027757600080fd5b50610280610e0c565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102c05780820151818401526020810190506102a5565b50505050905090810190601f1680156102ed5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561030757600080fd5b506103546004803603604081101561031e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610eae565b604051808215151515815260200191505060405180910390f35b34801561037a57600080fd5b50610383610fd9565b6040518082815260200191505060405180910390f35b3480156103a557600080fd5b50610412600480360360608110156103bc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fe3565b604051808215151515815260200191505060405180910390f35b34801561043857600080fd5b5061047b6004803603602081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110a8565b604051808215151515815260200191505060405180910390f35b3480156104a157600080fd5b506104aa611113565b604051808260ff1660ff16815260200191505060405180910390f35b3480156104d257600080fd5b50610515600480360360208110156104e957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061112a565b005b34801561052357600080fd5b506105706004803603604081101561053a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111eb565b604051808215151515815260200191505060405180910390f35b34801561059657600080fd5b5061059f611420565b005b3480156105ad57600080fd5b506105f0600480360360208110156105c457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114db565b604051808215151515815260200191505060405180910390f35b34801561061657600080fd5b5061061f6114f8565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561066d57600080fd5b5061067661151e565b604051808215151515815260200191505060405180910390f35b34801561069c57600080fd5b506106df600480360360208110156106b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611535565b005b3480156106ed57600080fd5b506106f661159b565b005b34801561070457600080fd5b506107476004803603602081101561071b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115a6565b6040518082815260200191505060405180910390f35b34801561076957600080fd5b506107ac6004803603602081101561078057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116d7565b604051808215151515815260200191505060405180910390f35b3480156107d257600080fd5b506107db6117f5565b604051808215151515815260200191505060405180910390f35b34801561080157600080fd5b5061084e6004803603604081101561081857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506119d0565b604051808215151515815260200191505060405180910390f35b34801561087457600080fd5b506108b76004803603602081101561088b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ac0565b005b3480156108c557600080fd5b506108ce611aee565b005b3480156108dc57600080fd5b506108e5611baa565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561093357600080fd5b5061093c611bd0565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561097c578082015181840152602081019050610961565b50505050905090810190601f1680156109a95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156109c357600080fd5b50610a10600480360360408110156109da57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611c72565b604051808215151515815260200191505060405180910390f35b348015610a3657600080fd5b50610a8360048036036040811015610a4d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ea7565b604051808215151515815260200191505060405180910390f35b348015610aa957600080fd5b50610aec60048036036020811015610ac057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f6a565b604051808215151515815260200191505060405180910390f35b348015610b1257600080fd5b50610b5f60048036036040811015610b2957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611f8a565b604051808381526020018281526020019250505060405180910390f35b348015610b8857600080fd5b50610b91611fc8565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610bdf57600080fd5b50610c4260048036036040811015610bf657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611fee565b6040518082815260200191505060405180910390f35b348015610c6457600080fd5b50610cbb60048036036060811015610c7b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050612075565b604051808215151515815260200191505060405180910390f35b348015610ce157600080fd5b50610d3860048036036060811015610cf857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291905050506120bb565b604051808215151515815260200191505060405180910390f35b348015610d5e57600080fd5b50610da160048036036020811015610d7557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061218e565b604051808215151515815260200191505060405180910390f35b348015610dc757600080fd5b50610e0a60048036036020811015610dde57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122ad565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ea45780601f10610e7957610100808354040283529160200191610ea4565b820191906000526020600020905b815481529060010190602001808311610e8757829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ee957600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b600083600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561103d57600080fd5b6000600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156110935761109185612385565b505b61109e858585612467565b9150509392505050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611109576001905061110e565b600090505b919050565b6000600260009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461118457600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156111df57600080fd5b6111e881612497565b50565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561122657600080fd5b6112b582600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124db90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b611429336114db565b806114395750611438336110a8565b5b61144257600080fd5b600960009054906101000a900460ff1661145b57600080fd5b6000600960006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b60006114f18260086124fa90919063ffffffff16565b9050919050565b600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600960009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461158f57600080fd5b6115988161258c565b50565b6115a43361258c565b565b6000806115b2836125e6565b90506000600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156116ce5760008090505b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156116cc576116bd600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811061169c57fe5b906000526020600020906002020160010154836124db90919063ffffffff16565b91508080600101915050611605565b505b80915050919050565b60006116e2336114db565b806116f257506116f1336110a8565b5b6116fb57600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661175157600080fd5b6000600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561183057600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461188a57600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555090565b60006119db336114db565b806119eb57506119ea336110a8565b5b6119f457600080fd5b81600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011611aab576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b611ab5838361262f565b506001905092915050565b611ac9336114db565b80611ad95750611ad8336110a8565b5b611ae257600080fd5b611aeb81612961565b50565b611af7336114db565b80611b075750611b06336110a8565b5b611b1057600080fd5b600960009054906101000a900460ff1615611b2a57600080fd5b6001600960006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611c685780601f10611c3d57610100808354040283529160200191611c68565b820191906000526020600020905b815481529060010190602001808311611c4b57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611cad57600080fd5b611d3c82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129bb90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b600033600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611f0157600080fd5b6000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611f5757611f5533612385565b505b611f6184846129db565b91505092915050565b600b6020528060005260406000206000915054906101000a900460ff1681565b600a6020528160005260406000208181548110611fa357fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000612080336114db565b80612090575061208f336110a8565b5b61209957600080fd5b6120a4338585612a09565b6120af848484612bd7565b50600190509392505050565b60006120c6336114db565b806120d657506120d5336110a8565b5b6120df57600080fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015612177576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061313d6027913960400191505060405180910390fd5b612182848484612bd7565b50600190509392505050565b6000612199336114db565b806121a957506121a8336110a8565b5b6121b257600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561220957600080fd5b6001600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461230757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561234157600080fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600090505b600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561245d5742600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811061242257fe5b9060005260206000209060020201600001541161245057612443838261262f565b1561244f576001810390505b5b808060010191505061238d565b5060019050919050565b6000600960009054906101000a900460ff161561248357600080fd5b61248e848484612d65565b90509392505050565b80600960016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000808284019050838110156124f057600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561253557600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6125a0816008612f6d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600080600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020838154811061267c57fe5b90600052602060002090600202019050600081600101549050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481106126df57fe5b906000526020600020906002020160008082016000905560018201600090555050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206127956001600a60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506129bb90919063ffffffff16565b8154811061279f57fe5b9060005260206000209060020201600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002085815481106127f757fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208181805490500391508161287191906130db565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a261291281600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124db90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b61297581600861301890919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000828211156129ca57600080fd5b600082840390508091505092915050565b6000600960009054906101000a900460ff16156129f757600080fd5b612a0183836130c4565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612a4357600080fd5b612a9581600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129bb90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b2a81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124db90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000612c2b83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129bb90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060400160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000612df682600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129bb90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612e81848484612a09565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612fa757600080fd5b612fb182826124fa565b612fba57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561305257600080fd5b61305c82826124fa565b1561306657600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006130d1338484612a09565b6001905092915050565b81548183558181111561310857600202816002028360005260206000209182019101613107919061310d565b5b505050565b61313991905b8082111561313557600080820160009055600182016000905550600201613113565b5090565b9056fe5468657265206973206e6f7420656e6f7567682062616c616e636573206f6620686f6c6465722ea265627a7a72315820152351b2c2a9349383fbe7a41a15b53b128bdb73ae69a7c9cf316e0d70d8bbd764736f6c634300050b0032

0x6080604052600436106101e35760003560e01c806379ba509711610102578063b414d4b611610095578063de6baccb11610064578063de6baccb14610c58578063e2ab691d14610cd5578063f26c159f14610d52578063f2fde38b14610dbb576101e3565b8063b414d4b614610a9d578063d26c4a7614610b06578063d4ee1d9014610b7c578063dd62ed3e14610bd3576101e3565b80638da5cb5b116100d15780638da5cb5b146108d057806395d89b4114610927578063a457c2d7146109b7578063a9059cbb14610a2a576101e3565b806379ba5097146107c65780637eee288d146107f557806382dc1ec4146108685780638456cb59146108b9576101e3565b80633f4ba83a1161017a5780636b2c0f55116101495780636b2c0f55146106905780636ef8d66d146106e157806370a08231146106f8578063788649ea1461075d576101e3565b80633f4ba83a1461058a57806346fbf68e146105a15780635c60da1b1461060a5780635c975abb14610661576101e3565b80632f54bf6e116101b65780632f54bf6e1461042c578063313ce567146104955780633659cfe6146104c65780633950935114610517576101e3565b806306fdde031461026b578063095ea7b3146102fb57806318160ddd1461036e57806323b872dd14610399575b6000600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561024457600080fd5b60405136600082376000803683855af43d806000843e8160008114610267578184f35b8184fd5b34801561027757600080fd5b50610280610e0c565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102c05780820151818401526020810190506102a5565b50505050905090810190601f1680156102ed5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561030757600080fd5b506103546004803603604081101561031e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610eae565b604051808215151515815260200191505060405180910390f35b34801561037a57600080fd5b50610383610fd9565b6040518082815260200191505060405180910390f35b3480156103a557600080fd5b50610412600480360360608110156103bc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fe3565b604051808215151515815260200191505060405180910390f35b34801561043857600080fd5b5061047b6004803603602081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110a8565b604051808215151515815260200191505060405180910390f35b3480156104a157600080fd5b506104aa611113565b604051808260ff1660ff16815260200191505060405180910390f35b3480156104d257600080fd5b50610515600480360360208110156104e957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061112a565b005b34801561052357600080fd5b506105706004803603604081101561053a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111eb565b604051808215151515815260200191505060405180910390f35b34801561059657600080fd5b5061059f611420565b005b3480156105ad57600080fd5b506105f0600480360360208110156105c457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114db565b604051808215151515815260200191505060405180910390f35b34801561061657600080fd5b5061061f6114f8565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561066d57600080fd5b5061067661151e565b604051808215151515815260200191505060405180910390f35b34801561069c57600080fd5b506106df600480360360208110156106b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611535565b005b3480156106ed57600080fd5b506106f661159b565b005b34801561070457600080fd5b506107476004803603602081101561071b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115a6565b6040518082815260200191505060405180910390f35b34801561076957600080fd5b506107ac6004803603602081101561078057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116d7565b604051808215151515815260200191505060405180910390f35b3480156107d257600080fd5b506107db6117f5565b604051808215151515815260200191505060405180910390f35b34801561080157600080fd5b5061084e6004803603604081101561081857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506119d0565b604051808215151515815260200191505060405180910390f35b34801561087457600080fd5b506108b76004803603602081101561088b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ac0565b005b3480156108c557600080fd5b506108ce611aee565b005b3480156108dc57600080fd5b506108e5611baa565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561093357600080fd5b5061093c611bd0565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561097c578082015181840152602081019050610961565b50505050905090810190601f1680156109a95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156109c357600080fd5b50610a10600480360360408110156109da57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611c72565b604051808215151515815260200191505060405180910390f35b348015610a3657600080fd5b50610a8360048036036040811015610a4d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ea7565b604051808215151515815260200191505060405180910390f35b348015610aa957600080fd5b50610aec60048036036020811015610ac057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f6a565b604051808215151515815260200191505060405180910390f35b348015610b1257600080fd5b50610b5f60048036036040811015610b2957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611f8a565b604051808381526020018281526020019250505060405180910390f35b348015610b8857600080fd5b50610b91611fc8565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610bdf57600080fd5b50610c4260048036036040811015610bf657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611fee565b6040518082815260200191505060405180910390f35b348015610c6457600080fd5b50610cbb60048036036060811015610c7b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050612075565b604051808215151515815260200191505060405180910390f35b348015610ce157600080fd5b50610d3860048036036060811015610cf857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291905050506120bb565b604051808215151515815260200191505060405180910390f35b348015610d5e57600080fd5b50610da160048036036020811015610d7557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061218e565b604051808215151515815260200191505060405180910390f35b348015610dc757600080fd5b50610e0a60048036036020811015610dde57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122ad565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ea45780601f10610e7957610100808354040283529160200191610ea4565b820191906000526020600020905b815481529060010190602001808311610e8757829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ee957600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b600083600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561103d57600080fd5b6000600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156110935761109185612385565b505b61109e858585612467565b9150509392505050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611109576001905061110e565b600090505b919050565b6000600260009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461118457600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156111df57600080fd5b6111e881612497565b50565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561122657600080fd5b6112b582600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124db90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b611429336114db565b806114395750611438336110a8565b5b61144257600080fd5b600960009054906101000a900460ff1661145b57600080fd5b6000600960006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b60006114f18260086124fa90919063ffffffff16565b9050919050565b600960019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600960009054906101000a900460ff16905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461158f57600080fd5b6115988161258c565b50565b6115a43361258c565b565b6000806115b2836125e6565b90506000600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156116ce5760008090505b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156116cc576116bd600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811061169c57fe5b906000526020600020906002020160010154836124db90919063ffffffff16565b91508080600101915050611605565b505b80915050919050565b60006116e2336114db565b806116f257506116f1336110a8565b5b6116fb57600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661175157600080fd5b6000600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561183057600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461188a57600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555090565b60006119db336114db565b806119eb57506119ea336110a8565b5b6119f457600080fd5b81600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011611aab576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b611ab5838361262f565b506001905092915050565b611ac9336114db565b80611ad95750611ad8336110a8565b5b611ae257600080fd5b611aeb81612961565b50565b611af7336114db565b80611b075750611b06336110a8565b5b611b1057600080fd5b600960009054906101000a900460ff1615611b2a57600080fd5b6001600960006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611c685780601f10611c3d57610100808354040283529160200191611c68565b820191906000526020600020905b815481529060010190602001808311611c4b57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611cad57600080fd5b611d3c82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129bb90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b600033600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611f0157600080fd5b6000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611f5757611f5533612385565b505b611f6184846129db565b91505092915050565b600b6020528060005260406000206000915054906101000a900460ff1681565b600a6020528160005260406000208181548110611fa357fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000612080336114db565b80612090575061208f336110a8565b5b61209957600080fd5b6120a4338585612a09565b6120af848484612bd7565b50600190509392505050565b60006120c6336114db565b806120d657506120d5336110a8565b5b6120df57600080fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015612177576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061313d6027913960400191505060405180910390fd5b612182848484612bd7565b50600190509392505050565b6000612199336114db565b806121a957506121a8336110a8565b5b6121b257600080fd5b600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561220957600080fd5b6001600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461230757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561234157600080fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600090505b600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561245d5742600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811061242257fe5b9060005260206000209060020201600001541161245057612443838261262f565b1561244f576001810390505b5b808060010191505061238d565b5060019050919050565b6000600960009054906101000a900460ff161561248357600080fd5b61248e848484612d65565b90509392505050565b80600960016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000808284019050838110156124f057600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561253557600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6125a0816008612f6d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600080600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020838154811061267c57fe5b90600052602060002090600202019050600081600101549050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481106126df57fe5b906000526020600020906002020160008082016000905560018201600090555050600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206127956001600a60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506129bb90919063ffffffff16565b8154811061279f57fe5b9060005260206000209060020201600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002085815481106127f757fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208181805490500391508161287191906130db565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a261291281600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124db90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b61297581600861301890919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000828211156129ca57600080fd5b600082840390508091505092915050565b6000600960009054906101000a900460ff16156129f757600080fd5b612a0183836130c4565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612a4357600080fd5b612a9581600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129bb90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b2a81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124db90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000612c2b83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129bb90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060400160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000612df682600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129bb90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612e81848484612a09565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612fa757600080fd5b612fb182826124fa565b612fba57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561305257600080fd5b61305c82826124fa565b1561306657600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006130d1338484612a09565b6001905092915050565b81548183558181111561310857600202816002028360005260206000209182019101613107919061310d565b5b505050565b61313991905b8082111561313557600080820160009055600182016000905550600201613113565b5090565b9056fe5468657265206973206e6f7420656e6f7567682062616c616e636573206f6620686f6c6465722ea265627a7a72315820152351b2c2a9349383fbe7a41a15b53b128bdb73ae69a7c9cf316e0d70d8bbd764736f6c634300050b0032

15584:5521:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20628:12;20643:14;;;;;;;;;;;20628:29;;20692:1;20676:18;;:4;:18;;;;20668:27;;;;;;20747:4;20741:11;20787:12;20784:1;20779:3;20766:34;20874:1;20871;20857:12;20852:3;20846:4;20841:3;20828:48;20902:14;20953:4;20950:1;20945:3;20930:28;20993:6;21018:1;21013:28;;;;21077:4;21072:3;21065:17;21013:28;21034:4;21029:3;21022:17;15178:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15178:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;15178:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8793:244;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8793:244:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8793:244:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6952:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6952:91:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17034:263;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17034:263:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17034:263:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3195:193;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3195:193:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3195:193:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15494:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15494:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18658:177;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18658:177:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18658:177:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;10324:323;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10324:323:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10324:323:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5858:118;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5858:118:0;;;:::i;:::-;;4140:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4140:109:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4140:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15737:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15737:29:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5111:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5111:78:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4361:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4361:97:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4361:97:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4466:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4466:77:0;;;:::i;:::-;;16366:394;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16366:394:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16366:394:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17530:217;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17530:217:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17530:217:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3549:189;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3549:189:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18292:219;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18292:219:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18292:219:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4257:92;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4257:92:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4257:92:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;5647:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5647:116:0;;;:::i;:::-;;2718:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2718:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15328:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15328:87:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;15328:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11167:333;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11167:333:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11167:333:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16772:254;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16772:254:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16772:254:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15830:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15830:46:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15830:46:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15775:51;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15775:51:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15775:51:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;2745:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2745:23:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7704:131;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7704:131:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7704:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18050:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18050:230:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18050:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17759:279;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17759:279:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17759:279:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17309:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17309:213:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17309:213:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3396:145;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3396:145:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3396:145:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;15178:83;15215:13;15248:5;15241:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15178:83;:::o;8793:244::-;8858:4;8902:1;8883:21;;:7;:21;;;;8875:30;;;;;;8950:5;8918:8;:20;8927:10;8918:20;;;;;;;;;;;;;;;:29;8939:7;8918:29;;;;;;;;;;;;;;;:37;;;;8992:7;8971:36;;8980:10;8971:36;;;9001:5;8971:36;;;;;;;;;;;;;;;;;;9025:4;9018:11;;8793:244;;;;:::o;6952:91::-;6996:7;7023:12;;7016:19;;6952:91;:::o;17034:263::-;17129:4;17114;16170:13;:22;16184:7;16170:22;;;;;;;;;;;;;;;;;;;;;;;;;16169:23;16161:32;;;;;;17178:1;17150:12;:18;17163:4;17150:18;;;;;;;;;;;;;;;:25;;;;:29;17146:91;;;17196:17;17208:4;17196:11;:17::i;:::-;;17146:91;17254:35;17273:4;17279:2;17283:5;17254:18;:35::i;:::-;17247:42;;17034:263;;;;;;:::o;3195:193::-;3250:4;3282:5;;;;;;;;;;;3271:16;;:7;:16;;;3267:114;;;3311:4;3304:11;;;;3267:114;3364:5;3357:12;;3195:193;;;;:::o;15494:83::-;15535:5;15560:9;;;;;;;;;;;15553:16;;15494:83;:::o;18658:177::-;3021:5;;;;;;;;;;;3007:19;;:10;:19;;;2999:28;;;;;;18759:18;18741:36;;:14;;;;;;;;;;;:36;;;;18733:45;;;;;;18789:38;18808:18;18789;:38::i;:::-;18658:177;:::o;10324:323::-;10404:4;10448:1;10429:21;;:7;:21;;;;10421:30;;;;;;10496:45;10530:10;10496:8;:20;10505:10;10496:20;;;;;;;;;;;;;;;:29;10517:7;10496:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;10464:8;:20;10473:10;10464:20;;;;;;;;;;;;;;;:29;10485:7;10464:29;;;;;;;;;;;;;;;:77;;;;10578:7;10557:60;;10566:10;10557:60;;;10587:8;:20;10596:10;10587:20;;;;;;;;;;;;;;;:29;10608:7;10587:29;;;;;;;;;;;;;;;;10557:60;;;;;;;;;;;;;;;;;;10635:4;10628:11;;10324:323;;;;:::o;5858:118::-;4069:20;4078:10;4069:8;:20::i;:::-;:42;;;;4092:19;4100:10;4092:7;:19::i;:::-;4069:42;4061:51;;;;;;5527:7;;;;;;;;;;;5519:16;;;;;;5927:5;5917:7;;:15;;;;;;;;;;;;;;;;;;5948:20;5957:10;5948:20;;;;;;;;;;;;;;;;;;;;;;5858:118::o;4140:109::-;4196:4;4220:21;4233:7;4220:8;:12;;:21;;;;:::i;:::-;4213:28;;4140:109;;;:::o;15737:29::-;;;;;;;;;;;;;:::o;5111:78::-;5150:4;5174:7;;;;;;;;;;;5167:14;;5111:78;:::o;4361:97::-;3021:5;;;;;;;;;;;3007:19;;:10;:19;;;2999:28;;;;;;4428:22;4442:7;4428:13;:22::i;:::-;4361:97;:::o;4466:77::-;4510:25;4524:10;4510:13;:25::i;:::-;4466:77::o;16366:394::-;16421:7;16451:20;16474:22;16490:5;16474:15;:22::i;:::-;16451:45;;16539:1;16511:12;:19;16524:5;16511:19;;;;;;;;;;;;;;;:26;;;;:29;16507:206;;;16561:6;16568:1;16561:8;;16557:145;16573:12;:19;16586:5;16573:19;;;;;;;;;;;;;;;:26;;;;16571:1;:28;16557:145;;;16638:48;16655:12;:19;16668:5;16655:19;;;;;;;;;;;;;;;16675:1;16655:22;;;;;;;;;;;;;;;;;;:30;;;16638:12;:16;;:48;;;;:::i;:::-;16623:63;;16600:3;;;;;;;16557:145;;;;16507:206;16740:12;16733:19;;;16366:394;;;:::o;17530:217::-;17598:4;4069:20;4078:10;4069:8;:20::i;:::-;:42;;;;4092:19;4100:10;4092:7;:19::i;:::-;4069:42;4061:51;;;;;;17623:13;:21;17637:6;17623:21;;;;;;;;;;;;;;;;;;;;;;;;;17615:30;;;;;;17680:5;17656:13;:21;17670:6;17656:21;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;17710:6;17701:16;;;;;;;;;;;;17735:4;17728:11;;17530:217;;;:::o;3549:189::-;3604:4;3118:1;3096:24;;:10;:24;;;;3088:33;;;;;;3154:8;;;;;;;;;;;3140:22;;:10;:22;;;3132:31;;;;;;3654:8;;;;;;;;;;;3626:37;;3647:5;;;;;;;;;;;3626:37;;;;;;;;;;;;3690:8;;;;;;;;;;;3682:5;;:16;;;;;;;;;;;;;;;;;;3728:1;3709:8;;:21;;;;;;;;;;;;;;;;;;3549:189;:::o;18292:219::-;18364:4;4069:20;4078:10;4069:8;:20::i;:::-;:42;;;;4092:19;4100:10;4092:7;:19::i;:::-;4069:42;4061:51;;;;;;18420:3;18390:12;:20;18403:6;18390:20;;;;;;;;;;;;;;;:27;;;;:33;18381:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18462:19;18470:6;18477:3;18462:7;:19::i;:::-;;18499:4;18492:11;;18292:219;;;;:::o;4257:92::-;4069:20;4078:10;4069:8;:20::i;:::-;:42;;;;4092:19;4100:10;4092:7;:19::i;:::-;4069:42;4061:51;;;;;;4322:19;4333:7;4322:10;:19::i;:::-;4257:92;:::o;5647:116::-;4069:20;4078:10;4069:8;:20::i;:::-;:42;;;;4092:19;4100:10;4092:7;:19::i;:::-;4069:42;4061:51;;;;;;5348:7;;;;;;;;;;;5347:8;5339:17;;;;;;5717:4;5707:7;;:14;;;;;;;;;;;;;;;;;;5737:18;5744:10;5737:18;;;;;;;;;;;;;;;;;;;;;;5647:116::o;2718:20::-;;;;;;;;;;;;;:::o;15328:87::-;15367:13;15400:7;15393:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15328:87;:::o;11167:333::-;11252:4;11296:1;11277:21;;:7;:21;;;;11269:30;;;;;;11344:50;11378:15;11344:8;:20;11353:10;11344:20;;;;;;;;;;;;;;;:29;11365:7;11344:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;11312:8;:20;11321:10;11312:20;;;;;;;;;;;;;;;:29;11333:7;11312:29;;;;;;;;;;;;;;;:82;;;;11431:7;11410:60;;11419:10;11410:60;;;11440:8;:20;11449:10;11440:20;;;;;;;;;;;;;;;:29;11461:7;11440:29;;;;;;;;;;;;;;;;11410:60;;;;;;;;;;;;;;;;;;11488:4;11481:11;;11167:333;;;;:::o;16772:254::-;16855:4;16834:10;16170:13;:22;16184:7;16170:22;;;;;;;;;;;;;;;;;;;;;;;;;16169:23;16161:32;;;;;;16910:1;16876:12;:24;16889:10;16876:24;;;;;;;;;;;;;;;:31;;;;:35;16872:104;;;16929:23;16941:10;16929:11;:23::i;:::-;;16872:104;16993:25;17008:2;17012:5;16993:14;:25::i;:::-;16986:32;;16772:254;;;;;:::o;15830:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;15775:51::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2745:23::-;;;;;;;;;;;;;:::o;7704:131::-;7776:7;7803:8;:15;7812:5;7803:15;;;;;;;;;;;;;;;:24;7819:7;7803:24;;;;;;;;;;;;;;;;7796:31;;7704:131;;;;:::o;18050:230::-;18155:4;4069:20;4078:10;4069:8;:20::i;:::-;:42;;;;4092:19;4100:10;4092:7;:19::i;:::-;4069:42;4061:51;;;;;;18172:36;18182:10;18194:6;18202:5;18172:9;:36::i;:::-;18219:31;18225:6;18232:5;18238:11;18219:5;:31::i;:::-;;18268:4;18261:11;;18050:230;;;;;:::o;17759:279::-;17852:4;4069:20;4078:10;4069:8;:20::i;:::-;:42;;;;4092:19;4100:10;4092:7;:19::i;:::-;4069:42;4061:51;;;;;;17898:5;17877:9;:17;17887:6;17877:17;;;;;;;;;;;;;;;;:26;;17869:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17957:31;17963:6;17970:5;17976:11;17957:5;:31::i;:::-;;18026:4;18019:11;;17759:279;;;;;:::o;17309:213::-;17375:4;4069:20;4078:10;4069:8;:20::i;:::-;:42;;;;4092:19;4100:10;4092:7;:19::i;:::-;4069:42;4061:51;;;;;;17401:13;:21;17415:6;17401:21;;;;;;;;;;;;;;;;;;;;;;;;;17400:22;17392:31;;;;;;17458:4;17434:13;:21;17448:6;17434:21;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;17485:6;17478:14;;;;;;;;;;;;17510:4;17503:11;;17309:213;;;:::o;3396:145::-;3021:5;;;;;;;;;;;3007:19;;:10;:19;;;2999:28;;;;;;3499:1;3478:23;;:9;:23;;;;3470:32;;;;;;3524:9;3513:8;;:20;;;;;;;;;;;;;;;;;;3396:145;:::o;19704:430::-;19758:4;19779:11;19792:1;19779:14;;19775:330;19801:12;:20;19814:6;19801:20;;;;;;;;;;;;;;;:27;;;;19795:3;:33;19775:330;;;19900:3;19858:12;:20;19871:6;19858:20;;;;;;;;;;;;;;;19879:3;19858:25;;;;;;;;;;;;;;;;;;:38;;;:45;19854:240;;20006:20;20014:6;20022:3;20006:7;:20::i;:::-;20002:77;;;20058:1;20052:7;;;;20002:77;19854:240;19831:5;;;;;;;19775:330;;;;20122:4;20115:11;;19704:430;;;:::o;13966:160::-;14059:4;5348:7;;;;;;;;;;;5347:8;5339:17;;;;;;14083:35;14102:4;14108:2;14112:5;14083:18;:35::i;:::-;14076:42;;13966:160;;;;;:::o;20281:97::-;20363:7;20346:14;;:24;;;;;;;;;;;;;;;;;;20281:97;:::o;1376:150::-;1434:7;1454:9;1470:1;1466;:5;1454:17;;1495:1;1490;:6;;1482:15;;;;;;1517:1;1510:8;;;1376:150;;;;:::o;2522:165::-;2594:4;2638:1;2619:21;;:7;:21;;;;2611:30;;;;;;2659:4;:11;;:20;2671:7;2659:20;;;;;;;;;;;;;;;;;;;;;;;;;2652:27;;2522:165;;;;:::o;4681:130::-;4741:24;4757:7;4741:8;:15;;:24;;;;:::i;:::-;4795:7;4781:22;;;;;;;;;;;;4681:130;:::o;7259:106::-;7314:7;7341:9;:16;7351:5;7341:16;;;;;;;;;;;;;;;;7334:23;;7259:106;;;:::o;19164:528::-;19227:4;19244:25;19272:12;:20;19285:6;19272:20;;;;;;;;;;;;;;;19293:3;19272:25;;;;;;;;;;;;;;;;;;19244:53;;19308:21;19332:8;:16;;;19308:40;;19368:12;:20;19381:6;19368:20;;;;;;;;;;;;;;;19389:3;19368:25;;;;;;;;;;;;;;;;;;;19361:32;;;;;;;;;;;;;;19432:12;:20;19445:6;19432:20;;;;;;;;;;;;;;;19453:34;19485:1;19453:12;:20;19466:6;19453:20;;;;;;;;;;;;;;;:27;;;;:31;;:34;;;;:::i;:::-;19432:56;;;;;;;;;;;;;;;;;;19404:12;:20;19417:6;19404:20;;;;;;;;;;;;;;;19425:3;19404:25;;;;;;;;;;;;;;;;;;:84;;;;;;;;;;;;;;;;;;;19529:1;19499:12;:20;19512:6;19499:20;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;:::i;:::-;;19563:6;19556:29;;;19571:13;19556:29;;;;;;;;;;;;;;;;;;19616:36;19638:13;19616:9;:17;19626:6;19616:17;;;;;;;;;;;;;;;;:21;;:36;;;;:::i;:::-;19596:9;:17;19606:6;19596:17;;;;;;;;;;;;;;;:56;;;;19680:4;19673:11;;;;19164:528;;;;:::o;4551:122::-;4608:21;4621:7;4608:8;:12;;:21;;;;:::i;:::-;4657:7;4645:20;;;;;;;;;;;;4551:122;:::o;1140:150::-;1198:7;1231:1;1226;:6;;1218:15;;;;;;1244:9;1260:1;1256;:5;1244:17;;1281:1;1274:8;;;1140:150;;;;:::o;13826:132::-;13901:4;5348:7;;;;;;;;;;;5347:8;5339:17;;;;;;13925:25;13940:2;13944:5;13925:14;:25::i;:::-;13918:32;;13826:132;;;;:::o;11722:262::-;11824:1;11810:16;;:2;:16;;;;11802:25;;;;;;11858:26;11878:5;11858:9;:15;11868:4;11858:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;11840:9;:15;11850:4;11840:15;;;;;;;;;;;;;;;:44;;;;11911:24;11929:5;11911:9;:13;11921:2;11911:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;11895:9;:13;11905:2;11895:13;;;;;;;;;;;;;;;:40;;;;11966:2;11951:25;;11960:4;11951:25;;;11970:5;11951:25;;;;;;;;;;;;;;;;;;11722:262;;;:::o;18847:305::-;18931:4;18968:28;18990:5;18968:9;:17;18978:6;18968:17;;;;;;;;;;;;;;;;:21;;:28;;;;:::i;:::-;18948:9;:17;18958:6;18948:17;;;;;;;;;;;;;;;:48;;;;19007:12;:20;19020:6;19007:20;;;;;;;;;;;;;;;19034:28;;;;;;;;19043:11;19034:28;;;;19056:5;19034:28;;;19007:57;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;19007:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19095:6;19090:32;;;19103:5;19110:11;19090:32;;;;;;;;;;;;;;;;;;;;;;;;19140:4;19133:11;;18847:305;;;;;:::o;9510:299::-;9589:4;9635:37;9666:5;9635:8;:14;9644:4;9635:14;;;;;;;;;;;;;;;:26;9650:10;9635:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;9606:8;:14;9615:4;9606:14;;;;;;;;;;;;;;;:26;9621:10;9606:26;;;;;;;;;;;;;;;:66;;;;9683:26;9693:4;9699:2;9703:5;9683:9;:26::i;:::-;9740:10;9725:54;;9734:4;9725:54;;;9752:8;:14;9761:4;9752:14;;;;;;;;;;;;;;;:26;9767:10;9752:26;;;;;;;;;;;;;;;;9725:54;;;;;;;;;;;;;;;;;;9797:4;9790:11;;9510:299;;;;;:::o;2239:189::-;2338:1;2319:21;;:7;:21;;;;2311:30;;;;;;2360:18;2364:4;2370:7;2360:3;:18::i;:::-;2352:27;;;;;;2415:5;2392:4;:11;;:20;2404:7;2392:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;2239:189;;:::o;1974:186::-;2070:1;2051:21;;:7;:21;;;;2043:30;;;;;;2093:18;2097:4;2103:7;2093:3;:18::i;:::-;2092:19;2084:28;;;;;;2148:4;2125;:11;;:20;2137:7;2125:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;1974:186;;:::o;8006:140::-;8067:4;8084:32;8094:10;8106:2;8110:5;8084:9;:32::i;:::-;8134:4;8127:11;;8006:140;;;;:::o;15584:5521::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://152351b2c2a9349383fbe7a41a15b53b128bdb73ae69a7c9cf316e0d70d8bbd7