Contract

Contract Source Code (Solidity)Audit Report

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)
•    - function pow(uint256 base, uint256 ex ...
• 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 ne ...
•  contract AdminRole is Ownable
•    - function isAdmin(address account)
•    - function addAdmin(address account)
•    - function removeAdmin(address account)
•    - function renounceAdmin()
•    - function _addAdmin(address account)
•    - function _removeAdmin(address account ...
•  contract Pausable is AdminRole
•    - 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 ...
•    - function approve(address spender, uin ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•  contract ERC20Detailed is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract FRR is ERC20Detailed, ERC ... *
•    - function balanceOf(address owner)
•    - function lockedBalanceOf(address owne ...
•    - 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 _lock(address holder, uint25 ...
•    - function _unlock(address holder, uint ...
•    - function _autoUnlock(address holder)
•    - function autoUnlock()
•    - function burn(uint256 value)
•    - function burnFrom(address from, uint2 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-11-26
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.5.0;

/**
 * @title SafeMath
 * @dev Math operations with safety checks that revert on error
 */
library SafeMath {

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

        return c;
    }

    /**
    * @dev Subtracts two numbers, 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 numbers, 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 numbers 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;
    }

    function pow(uint256 base, uint256 exponent) internal pure returns (uint256) {
        if (exponent == 0) {
            return 1;
        }
        else if (exponent == 1) {
            return base;
        }
        else if (base == 0 && exponent != 0) {
            return 0;
        }
        else {
            uint256 z = base;
            for (uint256 i = 1; i < exponent; i++)
                z = mul(z, base);
            return z;
        }
    }
}

library Roles {
    struct Role {
        mapping(address => bool) bearer;
    }

    function add(Role storage role, address account) internal {
        require(account != address(0));
        require(!has(role, account));
        role.bearer[account] = true;
    }

    function remove(Role storage role, address account) internal {
        require(account != address(0));
        require(has(role, account));
        role.bearer[account] = false;
    }

    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0));
        return role.bearer[account];
    }
}

contract Ownable {
    address public owner;

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

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

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

    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));
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }
}

contract AdminRole is Ownable {
    using Roles for Roles.Role;

    event AdminAdded(address indexed account);
    event AdminRemoved(address indexed account);

    Roles.Role private _admin_list;

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

    modifier onlyAdmin() {
        require(isAdmin(msg.sender) || isOwner(msg.sender));
        _;
    }

    function isAdmin(address account) public view returns (bool) {
        return _admin_list.has(account);
    }

    function addAdmin(address account) public onlyAdmin {
        _addAdmin(account);
    }

    function removeAdmin(address account) public onlyOwner {
        _removeAdmin(account);
    }

    function renounceAdmin() public {
        _removeAdmin(msg.sender);
    }

    function _addAdmin(address account) internal {
        _admin_list.add(account);
        emit AdminAdded(account);
    }

    function _removeAdmin(address account) internal {
        _admin_list.remove(account);
        emit AdminRemoved(account);
    }
}

contract Pausable is AdminRole {
    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 onlyAdmin whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

    /**
     * @dev called by the owner to unpause, returns to normal state
     */
    function unpause() public onlyAdmin 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), "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 {
        require(_allowed[account][msg.sender] > 0, "Nothing allowed.");
        _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);
    }

    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 FRR is ERC20Detailed, ERC20Pausable {
    struct LockInfo {
        uint256 _releaseTime;
        uint256 _amount;
    }

    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], "freezing");
        _;
    }

    constructor() ERC20Detailed("Frontrow", "FRR", 18) public {
        uint256 totalSupply = SafeMath.mul(SafeMath.pow(10, decimals()), 10000000000);
        _mint(msg.sender, totalSupply);

        transfer(0x36c2946355a9eC0D322279bF788dC6C8f25cF15A, SafeMath.mul(SafeMath.pow(10, decimals()), 2250000000));
        transfer(0xC3EF77f20aeFb0cF4525f98a146c6D3460f66EB9, SafeMath.mul(SafeMath.pow(10, decimals()), 2000000000));
        transfer(0xf7277750cf08446455B3FD678F99A5e33C95157C, SafeMath.mul(SafeMath.pow(10, decimals()), 1000000000));
        transfer(0xF15b11e8FDCf33BdAE06a963fea4BB8E51129566, SafeMath.mul(SafeMath.pow(10, decimals()), 1000000000));
        transfer(0x994bf51475E05Ca6256B71E8a073c317Dc8f7ece, SafeMath.mul(SafeMath.pow(10, decimals()), 1000000000));

        transfer(0xA615053842cB8C9C18a3B5679cEAE8E9ac9079Be, SafeMath.mul(SafeMath.pow(10, decimals()), 500000000));
        transfer(0xAb5bD3428004E32Ede5eCDB42373Fa5915720f8A, SafeMath.mul(SafeMath.pow(10, decimals()), 333333333));
        transfer(0xBFBaa1Ed544D24D893DA51F36c5360290A37313b, SafeMath.mul(SafeMath.pow(10, decimals()), 166666667));
        transfer(0x43e31Ea8F0b22D465a0a65D81Dc76436B54ea502, SafeMath.mul(SafeMath.pow(10, decimals()), 166666667));
        transfer(0xF8a58eCAE5ff3685AD7a1F308e0B20d08E78C2ca, SafeMath.mul(SafeMath.pow(10, decimals()), 125000000));

        transfer(0xdB9f59dc864fC75CC450Cd9aDF43A0972Afd896b, SafeMath.mul(SafeMath.pow(10, decimals()), 125000000));
        transfer(0xa175A911bbbB56B00Db2A36BC007fbc84dc16612, SafeMath.mul(SafeMath.pow(10, decimals()), 125000000));
        transfer(0x7D72fdec94F86Ae5C1Ddb30aA81907a1D835908a, SafeMath.mul(SafeMath.pow(10, decimals()), 125000000));
        transfer(0x3c51c6d9d9cC61A82C8bd93d1ef16F60a11096C0, SafeMath.mul(SafeMath.pow(10, decimals()), 125000000));
        transfer(0x2dE2A4068b34632B0268D04a770a94e6fEEc0BC7, SafeMath.mul(SafeMath.pow(10, decimals()), 125000000));

        transfer(0x785136C221026Fec6dA31d51839c942657E4f484, SafeMath.mul(SafeMath.pow(10, decimals()), 125000000));
        transfer(0x31f3e0Ca764CDd722bfbD2D8F068f8969df56930, SafeMath.mul(SafeMath.pow(10, decimals()), 100000000));
        transfer(0x25C1cb4bcE4eb170b185BAF540FFAcaFDca61518, SafeMath.mul(SafeMath.pow(10, decimals()), 100000000));
        transfer(0x8e9F54b2A5D880DF75C9411322396BEA93E873EB, SafeMath.mul(SafeMath.pow(10, decimals()), 100000000));
        transfer(0xe71f47f6F6FEDdDaCB8293340175C63451dFb2c6, SafeMath.mul(SafeMath.pow(10, decimals()), 100000000));

        transfer(0x5f8060638DdCb51fc229638794D0397a629bc1D7, SafeMath.mul(SafeMath.pow(10, decimals()), 100000000));
        transfer(0xF36E9eDC14F5FfDc7827df7aC479b449670bd612, SafeMath.mul(SafeMath.pow(10, decimals()), 100000000));
        transfer(0x92aE72a7837e90548E9B94245bC3620A8856246C, SafeMath.mul(SafeMath.pow(10, decimals()), 100000000));
        transfer(0x0707Ce952F35331ea7b552C9226cC223414CaB55, SafeMath.mul(SafeMath.pow(10, decimals()), 8333333));
    }

    function balanceOf(address owner) public view returns (uint256) {
        uint256 unlockBalance = super.balanceOf(owner);
        uint256 lockedBalance = lockedBalanceOf(owner);
        return SafeMath.add(unlockBalance, lockedBalance);
    }

    function lockedBalanceOf(address owner) public view returns (uint256) {
        uint256 totalBalance = 0;
        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 onlyAdmin returns (bool) {
        require(!frozenAccount[holder]);
        frozenAccount[holder] = true;
        emit Freeze(holder);
        return true;
    }

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

    function lock(address holder, uint256 value, uint256 releaseTime) public onlyAdmin returns (bool) {
        require(releaseTime > now, "require(releaseTime > now)");
        require(_balances[holder] >= value, "There is not enough balance of holder.");
        _lock(holder, value, releaseTime);
        return true;
    }

    function transferWithLock(address holder, uint256 value, uint256 releaseTime) public onlyAdmin returns (bool) {
        require(releaseTime > now, "require(releaseTime > now)");
        _transfer(msg.sender, holder, value);
        _lock(holder, value, releaseTime);
        return true;
    }

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

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

    function autoUnlock() public returns (bool) {
        if (timelockList[msg.sender].length > 0) {
            return _autoUnlock(msg.sender);
        }
        else {
            return false;
        }
    }

    /**
     * @dev Burns a specific amount of tokens.
     * @param value The amount of token to be burned.
     */
    function burn(uint256 value) public notFrozen(msg.sender) {
        if (timelockList[msg.sender].length > 0) {
            _autoUnlock(msg.sender);
        }
        require(SafeMath.sub(balanceOf(msg.sender), lockedBalanceOf(msg.sender)) >= value, "not enough balance.");
        _burn(msg.sender, value);
    }

    /**
     * @dev Burns a specific amount of tokens from the target address and decrements allowance
     * @param from address The address which you want to send tokens from
     * @param value uint256 The amount of token to be burned
     */
    function burnFrom(address from, uint256 value) public notFrozen(from) {
        if (timelockList[from].length > 0) {
            _autoUnlock(from);
        }
        require(SafeMath.sub(balanceOf(msg.sender), lockedBalanceOf(msg.sender)) >= value, "not enough balance.");
        _burnFrom(from, value);
    }
}

• Beosin- Nov 25~th, 2021 - Security Audit Report

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"removeAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isAdmin","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"lockedBalanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"holder","type":"address"}],"name":"unfreezeAccount","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"autoUnlock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"value","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"holder","type":"address"},{"name":"idx","type":"uint256"}],"name":"unlock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"frozenAccount","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"uint256"}],"name":"timelockList","outputs":[{"name":"_releaseTime","type":"uint256"},{"name":"_amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"holder","type":"address"},{"name":"value","type":"uint256"},{"name":"releaseTime","type":"uint256"}],"name":"transferWithLock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"holder","type":"address"},{"name":"value","type":"uint256"},{"name":"releaseTime","type":"uint256"}],"name":"lock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"holder","type":"address"}],"name":"freezeAccount","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"}],"name":"Unfreeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"},{"indexed":false,"name":"releaseTime","type":"uint256"}],"name":"Lock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Unlock","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"AdminAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"AdminRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040523480156200001157600080fd5b506040805190810160405280600881526020017f46726f6e74726f770000000000000000000000000000000000000000000000008152506040805190810160405280600381526020017f4652520000000000000000000000000000000000000000000000000000000000815250601282600090805190602001906200009892919062001b9b565b508160019080519060200190620000b192919062001b9b565b5080600260006101000a81548160ff021916908360ff16021790555050505033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506200012b3362000f1b640100000000026401000000009004565b6000600860006101000a81548160ff0219169083151502179055506000620001a862000188600a6200016b62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6402540be4006200103264010000000002620039c4176401000000009004565b9050620001c5338262001074640100000000026401000000009004565b620002527336c2946355a9ec0d322279bf788dc6c8f25cf15a6200023d6200021e600a6200020162000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b63861c46806200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b50620002e073c3ef77f20aefb0cf4525f98a146c6d3460f66eb9620002cb620002ac600a6200028f62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b63773594006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b506200036e73f7277750cf08446455b3fd678f99a5e33c95157c620003596200033a600a6200031d62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b633b9aca006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b50620003fc73f15b11e8fdcf33bdae06a963fea4bb8e51129566620003e7620003c8600a620003ab62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b633b9aca006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b506200048a73994bf51475e05ca6256b71e8a073c317dc8f7ece6200047562000456600a6200043962000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b633b9aca006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b506200051873a615053842cb8c9c18a3b5679ceae8e9ac9079be62000503620004e4600a620004c762000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b631dcd65006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b50620005a673ab5bd3428004e32ede5ecdb42373fa5915720f8a6200059162000572600a6200055562000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6313de43556200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b506200063473bfbaa1ed544d24d893da51f36c5360290a37313b6200061f62000600600a620005e362000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6309ef21ab6200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b50620006c27343e31ea8f0b22d465a0a65d81dc76436b54ea502620006ad6200068e600a6200067162000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6309ef21ab6200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b506200075073f8a58ecae5ff3685ad7a1f308e0b20d08e78c2ca6200073b6200071c600a620006ff62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b63077359406200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b50620007de73db9f59dc864fc75cc450cd9adf43a0972afd896b620007c9620007aa600a6200078d62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b63077359406200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b506200086c73a175a911bbbb56b00db2a36bc007fbc84dc166126200085762000838600a6200081b62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b63077359406200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b50620008fa737d72fdec94f86ae5c1ddb30aa81907a1d835908a620008e5620008c6600a620008a962000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b63077359406200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000988733c51c6d9d9cc61a82c8bd93d1ef16f60a11096c06200097362000954600a6200093762000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b63077359406200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000a16732de2a4068b34632b0268d04a770a94e6feec0bc762000a01620009e2600a620009c562000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b63077359406200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000aa473785136c221026fec6da31d51839c942657e4f48462000a8f62000a70600a62000a5362000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b63077359406200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000b327331f3e0ca764cdd722bfbd2d8f068f8969df5693062000b1d62000afe600a62000ae162000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6305f5e1006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000bc07325c1cb4bce4eb170b185baf540ffacafdca6151862000bab62000b8c600a62000b6f62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6305f5e1006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000c4e738e9f54b2a5d880df75c9411322396bea93e873eb62000c3962000c1a600a62000bfd62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6305f5e1006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000cdc73e71f47f6f6fedddacb8293340175c63451dfb2c662000cc762000ca8600a62000c8b62000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6305f5e1006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000d6a735f8060638ddcb51fc229638794d0397a629bc1d762000d5562000d36600a62000d1962000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6305f5e1006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000df873f36e9edc14f5ffdc7827df7ac479b449670bd61262000de362000dc4600a62000da762000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6305f5e1006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000e867392ae72a7837e90548e9b94245bc3620a8856246c62000e7162000e52600a62000e3562000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b6305f5e1006200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b5062000f13730707ce952f35331ea7b552c9226cc223414cab5562000efe62000ee0600a62000ec362000f85640100000000026401000000009004565b60ff1662000f9c6401000000000262003948176401000000009004565b627f28156200103264010000000002620039c4176401000000009004565b620011eb640100000000026401000000009004565b505062001cb1565b62000f3f816007620013426401000000000262003820179091906401000000009004565b8073ffffffffffffffffffffffffffffffffffffffff167f44d6d25963f097ad14f29f06854a01f575648a1ef82f30e562ccd3889717e33960405160405180910390a250565b6000600260009054906101000a900460ff16905090565b60008082141562000fb157600190506200102c565b600182141562000fc4578290506200102c565b60008314801562000fd6575060008214155b1562000fe657600090506200102c565b60008390506000600190505b83811015620010265762001016828662001032640100000000026401000000009004565b9150808060010191505062000ff2565b50809150505b92915050565b6000808314156200104757600090506200106e565b600082840290508284828115156200105b57fe5b041415156200106957600080fd5b809150505b92915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515620010b157600080fd5b620010d6816005546200140564010000000002620028b4179091906401000000009004565b6005819055506200113e81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200140564010000000002620028b4179091906401000000009004565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600033600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515620012b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f667265657a696e6700000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156200131957620013173362001427640100000000026401000000009004565b505b6200133984846200152364010000000002620031db176401000000009004565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156200137f57600080fd5b6200139a82826200156a640100000000026401000000009004565b151515620013a757600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008082840190508381101515156200141d57600080fd5b8091505092915050565b600080600090505b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050811015620015195742600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002082815481101515620014c857fe5b9060005260206000209060020201600001541115156200150b57620014fd8382620015ff640100000000026401000000009004565b156200150a576001810390505b5b80806001019150506200142f565b5060019050919050565b6000600860009054906101000a900460ff161515156200154257600080fd5b6200156283836200195f64010000000002620038d0176401000000009004565b905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515620015a857600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600080600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020838154811015156200164f57fe5b90600052602060002090600202019050600081600101549050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481101515620016b557fe5b906000526020600020906002020160008082016000905560018201600090555050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206200177b6001600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506200198764010000000002620026d3179091906401000000009004565b8154811015156200178857fe5b9060005260206000209060020201600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002085815481101515620017e357fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020818180549050039150816200185f919062001c22565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a26200191081600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200140564010000000002620028b4179091906401000000009004565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b60006200197d338484620019aa640100000000026401000000009004565b6001905092915050565b60008282111515156200199957600080fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515620019e757600080fd5b62001a4981600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200198764010000000002620026d3179091906401000000009004565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062001aee81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200140564010000000002620028b4179091906401000000009004565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1062001bde57805160ff191683800117855562001c0f565b8280016001018555821562001c0f579182015b8281111562001c0e57825182559160200191906001019062001bf1565b5b50905062001c1e919062001c57565b5090565b81548183558181111562001c525760020281600202836000526020600020918201910162001c51919062001c7f565b5b505050565b62001c7c91905b8082111562001c7857600081600090555060010162001c5e565b5090565b90565b62001cae91905b8082111562001caa5760008082016000905560018201600090555060020162001c86565b5090565b90565b613a2e8062001cc16000396000f3fe608060405260043610610196576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461019b578063095ea7b31461022b5780631785f53c1461029e57806318160ddd146102ef57806323b872dd1461031a57806324d7806c146103ad5780632f54bf6e14610416578063313ce5671461047f57806339509351146104b05780633f4ba83a1461052357806342966c681461053a57806359355736146105755780635c975abb146105da578063704802751461060957806370a082311461065a578063788649ea146106bf57806378fd38ca1461072857806379cc6790146107575780637eee288d146107b25780638456cb59146108255780638bad0c0a1461083c5780638da5cb5b1461085357806395d89b41146108aa578063a457c2d71461093a578063a9059cbb146109ad578063b414d4b614610a20578063d26c4a7614610a89578063dd62ed3e14610aff578063de6baccb14610b84578063e2ab691d14610c01578063f26c159f14610c7e578063f2fde38b14610ce7575b600080fd5b3480156101a757600080fd5b506101b0610d38565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101f05780820151818401526020810190506101d5565b50505050905090810190601f16801561021d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561023757600080fd5b506102846004803603604081101561024e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dda565b604051808215151515815260200191505060405180910390f35b3480156102aa57600080fd5b506102ed600480360360208110156102c157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e0a565b005b3480156102fb57600080fd5b50610304610e72565b6040518082815260200191505060405180910390f35b34801561032657600080fd5b506103936004803603606081101561033d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e7c565b604051808215151515815260200191505060405180910390f35b3480156103b957600080fd5b506103fc600480360360208110156103d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fac565b604051808215151515815260200191505060405180910390f35b34801561042257600080fd5b506104656004803603602081101561043957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fc9565b604051808215151515815260200191505060405180910390f35b34801561048b57600080fd5b50610494611034565b604051808260ff1660ff16815260200191505060405180910390f35b3480156104bc57600080fd5b50610509600480360360408110156104d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061104b565b604051808215151515815260200191505060405180910390f35b34801561052f57600080fd5b5061053861107b565b005b34801561054657600080fd5b506105736004803603602081101561055d57600080fd5b810190808035906020019092919050505061113a565b005b34801561058157600080fd5b506105c46004803603602081101561059857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112f2565b6040518082815260200191505060405180910390f35b3480156105e657600080fd5b506105ef61141e565b604051808215151515815260200191505060405180910390f35b34801561061557600080fd5b506106586004803603602081101561062c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611435565b005b34801561066657600080fd5b506106a96004803603602081101561067d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611465565b6040518082815260200191505060405180910390f35b3480156106cb57600080fd5b5061070e600480360360208110156106e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611493565b604051808215151515815260200191505060405180910390f35b34801561073457600080fd5b5061073d6115b5565b604051808215151515815260200191505060405180910390f35b34801561076357600080fd5b506107b06004803603604081101561077a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611619565b005b3480156107be57600080fd5b5061080b600480360360408110156107d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117d2565b604051808215151515815260200191505060405180910390f35b34801561083157600080fd5b5061083a6118c6565b005b34801561084857600080fd5b50610851611986565b005b34801561085f57600080fd5b50610868611991565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156108b657600080fd5b506108bf6119b7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156108ff5780820151818401526020810190506108e4565b50505050905090810190601f16801561092c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561094657600080fd5b506109936004803603604081101561095d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a59565b604051808215151515815260200191505060405180910390f35b3480156109b957600080fd5b50610a06600480360360408110156109d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a89565b604051808215151515815260200191505060405180910390f35b348015610a2c57600080fd5b50610a6f60048036036020811015610a4357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611bb7565b604051808215151515815260200191505060405180910390f35b348015610a9557600080fd5b50610ae260048036036040811015610aac57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bd7565b604051808381526020018281526020019250505060405180910390f35b348015610b0b57600080fd5b50610b6e60048036036040811015610b2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c17565b6040518082815260200191505060405180910390f35b348015610b9057600080fd5b50610be760048036036060811015610ba757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611c9e565b604051808215151515815260200191505060405180910390f35b348015610c0d57600080fd5b50610c6460048036036060811015610c2457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611d5d565b604051808215151515815260200191505060405180910390f35b348015610c8a57600080fd5b50610ccd60048036036020811015610ca157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611eee565b604051808215151515815260200191505060405180910390f35b348015610cf357600080fd5b50610d3660048036036020811015610d0a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612011565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610dd05780601f10610da557610100808354040283529160200191610dd0565b820191906000526020600020905b815481529060010190602001808311610db357829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff16151515610df857600080fd5b610e028383612169565b905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e6657600080fd5b610e6f81612296565b50565b6000600554905090565b600083600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610f41576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f667265657a696e6700000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f9757610f95856122f0565b505b610fa28585856123d6565b9150509392505050565b6000610fc282600761240890919063ffffffff16565b9050919050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561102a576001905061102f565b600090505b919050565b6000600260009054906101000a900460ff16905090565b6000600860009054906101000a900460ff1615151561106957600080fd5b611073838361249c565b905092915050565b61108433610fac565b80611094575061109333610fc9565b5b151561109f57600080fd5b600860009054906101000a900460ff1615156110ba57600080fd5b6000600860006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b33600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156111fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f667265657a696e6700000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561125357611251336122f0565b505b8161126e61126033611465565b611269336112f2565b6126d3565b101515156112e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e63652e0000000000000000000000000081525060200191505060405180910390fd5b6112ee33836126f5565b5050565b600080600090506000600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156114155760008090505b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561141357611404600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811015156113e357fe5b906000526020600020906002020160010154836128b490919063ffffffff16565b9150808060010191505061134a565b505b80915050919050565b6000600860009054906101000a900460ff16905090565b61143e33610fac565b8061144e575061144d33610fc9565b5b151561145957600080fd5b611462816128d5565b50565b6000806114718361292f565b9050600061147e846112f2565b905061148a82826128b4565b92505050919050565b600061149e33610fac565b806114ae57506114ad33610fc9565b5b15156114b957600080fd5b600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561151157600080fd5b6000600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b600080600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156116115761160a336122f0565b9050611616565b600090505b90565b81600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156116dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f667265657a696e6700000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561173257611730836122f0565b505b8161174d61173f33611465565b611748336112f2565b6126d3565b101515156117c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e63652e0000000000000000000000000081525060200191505060405180910390fd5b6117cd8383612978565b505050565b60006117dd33610fac565b806117ed57506117ec33610fc9565b5b15156117f857600080fd5b81600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115156118b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b6118bb8383612c6a565b506001905092915050565b6118cf33610fac565b806118df57506118de33610fc9565b5b15156118ea57600080fd5b600860009054906101000a900460ff1615151561190657600080fd5b6001600860006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b61198f33612296565b565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611a4f5780601f10611a2457610100808354040283529160200191611a4f565b820191906000526020600020905b815481529060010190602001808311611a3257829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff16151515611a7757600080fd5b611a818383612fa4565b905092915050565b600033600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611b4e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f667265657a696e6700000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611ba457611ba2336122f0565b505b611bae84846131db565b91505092915050565b600a6020528060005260406000206000915054906101000a900460ff1681565b600960205281600052604060002081815481101515611bf257fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000611ca933610fac565b80611cb95750611cb833610fc9565b5b1515611cc457600080fd5b4282111515611d3b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f726571756972652872656c6561736554696d65203e206e6f772900000000000081525060200191505060405180910390fd5b611d4633858561320b565b611d518484846133db565b50600190509392505050565b6000611d6833610fac565b80611d785750611d7733610fc9565b5b1515611d8357600080fd5b4282111515611dfa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f726571756972652872656c6561736554696d65203e206e6f772900000000000081525060200191505060405180910390fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515611ed7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001807f5468657265206973206e6f7420656e6f7567682062616c616e6365206f66206881526020017f6f6c6465722e000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b611ee28484846133db565b50600190509392505050565b6000611ef933610fac565b80611f095750611f0833610fc9565b5b1515611f1457600080fd5b600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611f6d57600080fd5b6001600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561206d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156120a957600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156121a657600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6122aa81600761356990919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fa3b62bc36326052d97ea62d63c3d60308ed4c3ea8ac079dd8499f1e9c4f80c0f60405160405180910390a250565b600080600090505b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156123cc5742600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561238f57fe5b9060005260206000209060020201600001541115156123bf576123b28382612c6a565b156123be576001810390505b5b80806001019150506122f8565b5060019050919050565b6000600860009054906101000a900460ff161515156123f457600080fd5b6123ff848484613618565b90509392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561244557600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156124d957600080fd5b61256882600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008282111515156126e457600080fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561279a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f72657175697265286163636f756e7420213d206164647265737328302900000081525060200191505060405180910390fd5b6127af816005546126d390919063ffffffff16565b60058190555061280781600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101515156128cb57600080fd5b8091505092915050565b6128e981600761382090919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f44d6d25963f097ad14f29f06854a01f575648a1ef82f30e562ccd3889717e33960405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111515612a6c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4e6f7468696e6720616c6c6f7765642e0000000000000000000000000000000081525060200191505060405180910390fd5b612afb81600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b8582826126f5565b3373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a35050565b600080600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481101515612cb957fe5b90600052602060002090600202019050600081600101549050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481101515612d1e57fe5b906000526020600020906002020160008082016000905560018201600090555050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020612dd46001600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506126d390919063ffffffff16565b815481101515612de057fe5b9060005260206000209060020201600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002085815481101515612e3a57fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081818054905003915081612eb491906138e7565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a2612f5581600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612fe157600080fd5b61307082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600860009054906101000a900460ff161515156131f957600080fd5b61320383836138d0565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561324757600080fd5b61329981600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061332e81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600061342f83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156135a557600080fd5b6135af8282612408565b15156135ba57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006136a982600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061373484848461320b565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561385c57600080fd5b6138668282612408565b15151561387257600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006138dd33848461320b565b6001905092915050565b815481835581811115613914576002028160020283600052602060002091820191016139139190613919565b5b505050565b61394591905b808211156139415760008082016000905560018201600090555060020161391f565b5090565b90565b60008082141561395b57600190506139be565b600182141561396c578290506139be565b60008314801561397d575060008214155b1561398b57600090506139be565b60008390506000600190505b838110156139b8576139a982866139c4565b91508080600101915050613997565b50809150505b92915050565b6000808314156139d757600090506139fc565b600082840290508284828115156139ea57fe5b041415156139f757600080fd5b809150505b9291505056fea165627a7a723058205f8683dad25593f2fe2afc6f97fdbafcafca879806b87cd0c150f92eb1b8cb6d0029

0x608060405260043610610196576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461019b578063095ea7b31461022b5780631785f53c1461029e57806318160ddd146102ef57806323b872dd1461031a57806324d7806c146103ad5780632f54bf6e14610416578063313ce5671461047f57806339509351146104b05780633f4ba83a1461052357806342966c681461053a57806359355736146105755780635c975abb146105da578063704802751461060957806370a082311461065a578063788649ea146106bf57806378fd38ca1461072857806379cc6790146107575780637eee288d146107b25780638456cb59146108255780638bad0c0a1461083c5780638da5cb5b1461085357806395d89b41146108aa578063a457c2d71461093a578063a9059cbb146109ad578063b414d4b614610a20578063d26c4a7614610a89578063dd62ed3e14610aff578063de6baccb14610b84578063e2ab691d14610c01578063f26c159f14610c7e578063f2fde38b14610ce7575b600080fd5b3480156101a757600080fd5b506101b0610d38565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101f05780820151818401526020810190506101d5565b50505050905090810190601f16801561021d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561023757600080fd5b506102846004803603604081101561024e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dda565b604051808215151515815260200191505060405180910390f35b3480156102aa57600080fd5b506102ed600480360360208110156102c157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e0a565b005b3480156102fb57600080fd5b50610304610e72565b6040518082815260200191505060405180910390f35b34801561032657600080fd5b506103936004803603606081101561033d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e7c565b604051808215151515815260200191505060405180910390f35b3480156103b957600080fd5b506103fc600480360360208110156103d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fac565b604051808215151515815260200191505060405180910390f35b34801561042257600080fd5b506104656004803603602081101561043957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fc9565b604051808215151515815260200191505060405180910390f35b34801561048b57600080fd5b50610494611034565b604051808260ff1660ff16815260200191505060405180910390f35b3480156104bc57600080fd5b50610509600480360360408110156104d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061104b565b604051808215151515815260200191505060405180910390f35b34801561052f57600080fd5b5061053861107b565b005b34801561054657600080fd5b506105736004803603602081101561055d57600080fd5b810190808035906020019092919050505061113a565b005b34801561058157600080fd5b506105c46004803603602081101561059857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112f2565b6040518082815260200191505060405180910390f35b3480156105e657600080fd5b506105ef61141e565b604051808215151515815260200191505060405180910390f35b34801561061557600080fd5b506106586004803603602081101561062c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611435565b005b34801561066657600080fd5b506106a96004803603602081101561067d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611465565b6040518082815260200191505060405180910390f35b3480156106cb57600080fd5b5061070e600480360360208110156106e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611493565b604051808215151515815260200191505060405180910390f35b34801561073457600080fd5b5061073d6115b5565b604051808215151515815260200191505060405180910390f35b34801561076357600080fd5b506107b06004803603604081101561077a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611619565b005b3480156107be57600080fd5b5061080b600480360360408110156107d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117d2565b604051808215151515815260200191505060405180910390f35b34801561083157600080fd5b5061083a6118c6565b005b34801561084857600080fd5b50610851611986565b005b34801561085f57600080fd5b50610868611991565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156108b657600080fd5b506108bf6119b7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156108ff5780820151818401526020810190506108e4565b50505050905090810190601f16801561092c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561094657600080fd5b506109936004803603604081101561095d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a59565b604051808215151515815260200191505060405180910390f35b3480156109b957600080fd5b50610a06600480360360408110156109d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a89565b604051808215151515815260200191505060405180910390f35b348015610a2c57600080fd5b50610a6f60048036036020811015610a4357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611bb7565b604051808215151515815260200191505060405180910390f35b348015610a9557600080fd5b50610ae260048036036040811015610aac57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bd7565b604051808381526020018281526020019250505060405180910390f35b348015610b0b57600080fd5b50610b6e60048036036040811015610b2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c17565b6040518082815260200191505060405180910390f35b348015610b9057600080fd5b50610be760048036036060811015610ba757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611c9e565b604051808215151515815260200191505060405180910390f35b348015610c0d57600080fd5b50610c6460048036036060811015610c2457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611d5d565b604051808215151515815260200191505060405180910390f35b348015610c8a57600080fd5b50610ccd60048036036020811015610ca157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611eee565b604051808215151515815260200191505060405180910390f35b348015610cf357600080fd5b50610d3660048036036020811015610d0a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612011565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610dd05780601f10610da557610100808354040283529160200191610dd0565b820191906000526020600020905b815481529060010190602001808311610db357829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff16151515610df857600080fd5b610e028383612169565b905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e6657600080fd5b610e6f81612296565b50565b6000600554905090565b600083600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610f41576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f667265657a696e6700000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f9757610f95856122f0565b505b610fa28585856123d6565b9150509392505050565b6000610fc282600761240890919063ffffffff16565b9050919050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561102a576001905061102f565b600090505b919050565b6000600260009054906101000a900460ff16905090565b6000600860009054906101000a900460ff1615151561106957600080fd5b611073838361249c565b905092915050565b61108433610fac565b80611094575061109333610fc9565b5b151561109f57600080fd5b600860009054906101000a900460ff1615156110ba57600080fd5b6000600860006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b33600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156111fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f667265657a696e6700000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561125357611251336122f0565b505b8161126e61126033611465565b611269336112f2565b6126d3565b101515156112e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e63652e0000000000000000000000000081525060200191505060405180910390fd5b6112ee33836126f5565b5050565b600080600090506000600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156114155760008090505b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561141357611404600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811015156113e357fe5b906000526020600020906002020160010154836128b490919063ffffffff16565b9150808060010191505061134a565b505b80915050919050565b6000600860009054906101000a900460ff16905090565b61143e33610fac565b8061144e575061144d33610fc9565b5b151561145957600080fd5b611462816128d5565b50565b6000806114718361292f565b9050600061147e846112f2565b905061148a82826128b4565b92505050919050565b600061149e33610fac565b806114ae57506114ad33610fc9565b5b15156114b957600080fd5b600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561151157600080fd5b6000600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b600080600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156116115761160a336122f0565b9050611616565b600090505b90565b81600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156116dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f667265657a696e6700000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561173257611730836122f0565b505b8161174d61173f33611465565b611748336112f2565b6126d3565b101515156117c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e63652e0000000000000000000000000081525060200191505060405180910390fd5b6117cd8383612978565b505050565b60006117dd33610fac565b806117ed57506117ec33610fc9565b5b15156117f857600080fd5b81600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115156118b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b6118bb8383612c6a565b506001905092915050565b6118cf33610fac565b806118df57506118de33610fc9565b5b15156118ea57600080fd5b600860009054906101000a900460ff1615151561190657600080fd5b6001600860006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b61198f33612296565b565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611a4f5780601f10611a2457610100808354040283529160200191611a4f565b820191906000526020600020905b815481529060010190602001808311611a3257829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff16151515611a7757600080fd5b611a818383612fa4565b905092915050565b600033600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611b4e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f667265657a696e6700000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611ba457611ba2336122f0565b505b611bae84846131db565b91505092915050565b600a6020528060005260406000206000915054906101000a900460ff1681565b600960205281600052604060002081815481101515611bf257fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000611ca933610fac565b80611cb95750611cb833610fc9565b5b1515611cc457600080fd5b4282111515611d3b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f726571756972652872656c6561736554696d65203e206e6f772900000000000081525060200191505060405180910390fd5b611d4633858561320b565b611d518484846133db565b50600190509392505050565b6000611d6833610fac565b80611d785750611d7733610fc9565b5b1515611d8357600080fd5b4282111515611dfa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f726571756972652872656c6561736554696d65203e206e6f772900000000000081525060200191505060405180910390fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515611ed7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001807f5468657265206973206e6f7420656e6f7567682062616c616e6365206f66206881526020017f6f6c6465722e000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b611ee28484846133db565b50600190509392505050565b6000611ef933610fac565b80611f095750611f0833610fc9565b5b1515611f1457600080fd5b600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611f6d57600080fd5b6001600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561206d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156120a957600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156121a657600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6122aa81600761356990919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fa3b62bc36326052d97ea62d63c3d60308ed4c3ea8ac079dd8499f1e9c4f80c0f60405160405180910390a250565b600080600090505b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156123cc5742600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561238f57fe5b9060005260206000209060020201600001541115156123bf576123b28382612c6a565b156123be576001810390505b5b80806001019150506122f8565b5060019050919050565b6000600860009054906101000a900460ff161515156123f457600080fd5b6123ff848484613618565b90509392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561244557600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156124d957600080fd5b61256882600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008282111515156126e457600080fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561279a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f72657175697265286163636f756e7420213d206164647265737328302900000081525060200191505060405180910390fd5b6127af816005546126d390919063ffffffff16565b60058190555061280781600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101515156128cb57600080fd5b8091505092915050565b6128e981600761382090919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f44d6d25963f097ad14f29f06854a01f575648a1ef82f30e562ccd3889717e33960405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111515612a6c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4e6f7468696e6720616c6c6f7765642e0000000000000000000000000000000081525060200191505060405180910390fd5b612afb81600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b8582826126f5565b3373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a35050565b600080600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481101515612cb957fe5b90600052602060002090600202019050600081600101549050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481101515612d1e57fe5b906000526020600020906002020160008082016000905560018201600090555050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020612dd46001600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506126d390919063ffffffff16565b815481101515612de057fe5b9060005260206000209060020201600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002085815481101515612e3a57fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081818054905003915081612eb491906138e7565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a2612f5581600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612fe157600080fd5b61307082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600860009054906101000a900460ff161515156131f957600080fd5b61320383836138d0565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561324757600080fd5b61329981600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061332e81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600061342f83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156135a557600080fd5b6135af8282612408565b15156135ba57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006136a982600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061373484848461320b565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561385c57600080fd5b6138668282612408565b15151561387257600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006138dd33848461320b565b6001905092915050565b815481835581811115613914576002028160020283600052602060002091820191016139139190613919565b5b505050565b61394591905b808211156139415760008082016000905560018201600090555060020161391f565b5090565b90565b60008082141561395b57600190506139be565b600182141561396c578290506139be565b60008314801561397d575060008214155b1561398b57600090506139be565b60008390506000600190505b838110156139b8576139a982866139c4565b91508080600101915050613997565b50809150505b92915050565b6000808314156139d757600090506139fc565b600082840290508284828115156139ea57fe5b041415156139f757600080fd5b809150505b9291505056fea165627a7a723058205f8683dad25593f2fe2afc6f97fdbafcafca879806b87cd0c150f92eb1b8cb6d0029

15484:8588:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15078:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15078:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;15078:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14195:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14195:140:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14195:140:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4334:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4334:95:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4334:95:0;;;;;;;;;;;;;;;;;;;;;;6913:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6913:91:0;;;;;;;;;;;;;;;;;;;;;;;20006:251;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20006:251:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20006:251:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4118:111;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4118:111:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4118:111:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3324:193;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3324:193:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3324:193:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15394:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15394:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;14343:175;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14343:175:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14343:175:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5827:117;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5827:117:0;;;;;;23176:318;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23176:318:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23176:318:0;;;;;;;;;;;;;;;;;;;;19382:367;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19382:367:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19382:367:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5081:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5081:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4237:89;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4237:89:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4237:89:0;;;;;;;;;;;;;;;;;;;;;;19128:246;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19128:246:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19128:246:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20485:216;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20485:216:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20485:216:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22833:214;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22833:214:0;;;;;;;;;;;;;;;;;;;;;;;;;;;23753:316;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23753:316:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23753:316:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21350:218;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21350:218:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21350:218:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5617:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5617:115:0;;;;;;4437:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4437:75:0;;;;;;3049:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3049:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;15228:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15228:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;15228:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14526:185;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14526:185:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14526:185:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19757:241;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19757:241:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19757:241:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15682:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15682:45:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15682:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15625:50;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15625:50:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15625:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7665:131;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7665:131:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7665:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21044:298;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21044:298:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21044:298:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20709:327;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20709:327:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20709:327:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20265:212;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20265:212:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20265:212:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3525:192;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3525:192:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3525:192:0;;;;;;;;;;;;;;;;;;;;;;15078:83;15115:13;15148:5;15141:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15078:83;:::o;14195:140::-;14274:4;5318:7;;;;;;;;;;;5317:8;5309:17;;;;;;;;14298:29;14312:7;14321:5;14298:13;:29::i;:::-;14291:36;;14195:140;;;;:::o;4334:95::-;3290:5;;;;;;;;;;;3276:19;;:10;:19;;;3268:28;;;;;;;;4400:21;4413:7;4400:12;:21::i;:::-;4334:95;:::o;6913:91::-;6957:7;6984:12;;6977:19;;6913:91;:::o;20006:251::-;20101:4;20086;16017:13;:22;16031:7;16017:22;;;;;;;;;;;;;;;;;;;;;;;;;16016:23;16008:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20150:1;20122:12;:18;20135:4;20122:18;;;;;;;;;;;;;;;:25;;;;:29;20118:79;;;20168:17;20180:4;20168:11;:17::i;:::-;;20118:79;20214:35;20233:4;20239:2;20243:5;20214:18;:35::i;:::-;20207:42;;20006:251;;;;;;:::o;4118:111::-;4173:4;4197:24;4213:7;4197:11;:15;;:24;;;;:::i;:::-;4190:31;;4118:111;;;:::o;3324:193::-;3379:4;3411:5;;;;;;;;;;;3400:16;;:7;:16;;;3396:114;;;3440:4;3433:11;;;;3396:114;3493:5;3486:12;;3324:193;;;;:::o;15394:83::-;15435:5;15460:9;;;;;;;;;;;15453:16;;15394:83;:::o;14343:175::-;14434:12;5318:7;;;;;;;;;;;5317:8;5309:17;;;;;;;;14466:44;14490:7;14499:10;14466:23;:44::i;:::-;14459:51;;14343:175;;;;:::o;5827:117::-;4047:19;4055:10;4047:7;:19::i;:::-;:42;;;;4070:19;4078:10;4070:7;:19::i;:::-;4047:42;4039:51;;;;;;;;5497:7;;;;;;;;;;;5489:16;;;;;;;;5895:5;5885:7;;:15;;;;;;;;;;;;;;;;;;5916:20;5925:10;5916:20;;;;;;;;;;;;;;;;;;;;;;5827:117::o;23176:318::-;23222:10;16017:13;:22;16031:7;16017:22;;;;;;;;;;;;;;;;;;;;;;;;;16016:23;16008:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23283:1;23249:12;:24;23262:10;23249:24;;;;;;;;;;;;;;;:31;;;;:35;23245:91;;;23301:23;23313:10;23301:11;:23::i;:::-;;23245:91;23422:5;23354:64;23367:21;23377:10;23367:9;:21::i;:::-;23390:27;23406:10;23390:15;:27::i;:::-;23354:12;:64::i;:::-;:73;;23346:105;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23462:24;23468:10;23480:5;23462;:24::i;:::-;23176:318;;:::o;19382:367::-;19443:7;19463:20;19486:1;19463:24;;19531:1;19502:12;:19;19515:5;19502:19;;;;;;;;;;;;;;;:26;;;;:30;19498:214;;;19554:6;19563:1;19554:10;;19549:152;19570:12;:19;19583:5;19570:19;;;;;;;;;;;;;;;:26;;;;19566:1;:30;19549:152;;;19637:48;19654:12;:19;19667:5;19654:19;;;;;;;;;;;;;;;19674:1;19654:22;;;;;;;;;;;;;;;;;;;;:30;;;19637:12;:16;;:48;;;;:::i;:::-;19622:63;;19598:3;;;;;;;19549:152;;;;19498:214;19729:12;19722:19;;;19382:367;;;:::o;5081:78::-;5120:4;5144:7;;;;;;;;;;;5137:14;;5081:78;:::o;4237:89::-;4047:19;4055:10;4047:7;:19::i;:::-;:42;;;;4070:19;4078:10;4070:7;:19::i;:::-;4047:42;4039:51;;;;;;;;4300:18;4310:7;4300:9;:18::i;:::-;4237:89;:::o;19128:246::-;19183:7;19203:21;19227:22;19243:5;19227:15;:22::i;:::-;19203:46;;19260:21;19284:22;19300:5;19284:15;:22::i;:::-;19260:46;;19324:42;19337:13;19352;19324:12;:42::i;:::-;19317:49;;;;19128:246;;;:::o;20485:216::-;20552:4;4047:19;4055:10;4047:7;:19::i;:::-;:42;;;;4070:19;4078:10;4070:7;:19::i;:::-;4047:42;4039:51;;;;;;;;20577:13;:21;20591:6;20577:21;;;;;;;;;;;;;;;;;;;;;;;;;20569:30;;;;;;;;20634:5;20610:13;:21;20624:6;20610:21;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;20664:6;20655:16;;;;;;;;;;;;20689:4;20682:11;;20485:216;;;:::o;22833:214::-;22871:4;22926:1;22892:12;:24;22905:10;22892:24;;;;;;;;;;;;;;;:31;;;;:35;22888:152;;;22951:23;22963:10;22951:11;:23::i;:::-;22944:30;;;;22888:152;23023:5;23016:12;;22833:214;;:::o;23753:316::-;23817:4;16017:13;:22;16031:7;16017:22;;;;;;;;;;;;;;;;;;;;;;;;;16016:23;16008:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23866:1;23838:12;:18;23851:4;23838:18;;;;;;;;;;;;;;;:25;;;;:29;23834:79;;;23884:17;23896:4;23884:11;:17::i;:::-;;23834:79;23999:5;23931:64;23944:21;23954:10;23944:9;:21::i;:::-;23967:27;23983:10;23967:15;:27::i;:::-;23931:12;:64::i;:::-;:73;;23923:105;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24039:22;24049:4;24055:5;24039:9;:22::i;:::-;23753:316;;;:::o;21350:218::-;21421:4;4047:19;4055:10;4047:7;:19::i;:::-;:42;;;;4070:19;4078:10;4070:7;:19::i;:::-;4047:42;4039:51;;;;;;;;21476:3;21446:12;:20;21459:6;21446:20;;;;;;;;;;;;;;;:27;;;;:33;21438:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21518:20;21526:6;21534:3;21518:7;:20::i;:::-;;21556:4;21549:11;;21350:218;;;;:::o;5617:115::-;4047:19;4055:10;4047:7;:19::i;:::-;:42;;;;4070:19;4078:10;4070:7;:19::i;:::-;4047:42;4039:51;;;;;;;;5318:7;;;;;;;;;;;5317:8;5309:17;;;;;;;;5686:4;5676:7;;:14;;;;;;;;;;;;;;;;;;5706:18;5713:10;5706:18;;;;;;;;;;;;;;;;;;;;;;5617:115::o;4437:75::-;4480:24;4493:10;4480:12;:24::i;:::-;4437:75::o;3049:20::-;;;;;;;;;;;;;:::o;15228:87::-;15267:13;15300:7;15293:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15228:87;:::o;14526:185::-;14622:12;5318:7;;;;;;;;;;;5317:8;5309:17;;;;;;;;14654:49;14678:7;14687:15;14654:23;:49::i;:::-;14647:56;;14526:185;;;;:::o;19757:241::-;19840:4;19819:10;16017:13;:22;16031:7;16017:22;;;;;;;;;;;;;;;;;;;;;;;;;16016:23;16008:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19895:1;19861:12;:24;19874:10;19861:24;;;;;;;;;;;;;;;:31;;;;:35;19857:91;;;19913:23;19925:10;19913:11;:23::i;:::-;;19857:91;19965:25;19980:2;19984:5;19965:14;:25::i;:::-;19958:32;;19757:241;;;;;:::o;15682:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;15625:50::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7665:131::-;7737:7;7764:8;:15;7773:5;7764:15;;;;;;;;;;;;;;;:24;7780:7;7764:24;;;;;;;;;;;;;;;;7757:31;;7665:131;;;;:::o;21044:298::-;21148:4;4047:19;4055:10;4047:7;:19::i;:::-;:42;;;;4070:19;4078:10;4070:7;:19::i;:::-;4047:42;4039:51;;;;;;;;21187:3;21173:11;:17;21165:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21232:36;21242:10;21254:6;21262:5;21232:9;:36::i;:::-;21279:33;21285:6;21293:5;21300:11;21279:5;:33::i;:::-;;21330:4;21323:11;;21044:298;;;;;:::o;20709:327::-;20801:4;4047:19;4055:10;4047:7;:19::i;:::-;:42;;;;4070:19;4078:10;4070:7;:19::i;:::-;4047:42;4039:51;;;;;;;;20840:3;20826:11;:17;20818:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20914:5;20893:9;:17;20903:6;20893:17;;;;;;;;;;;;;;;;:26;;20885:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20973:33;20979:6;20987:5;20994:11;20973:5;:33::i;:::-;;21024:4;21017:11;;20709:327;;;;;:::o;20265:212::-;20330:4;4047:19;4055:10;4047:7;:19::i;:::-;:42;;;;4070:19;4078:10;4070:7;:19::i;:::-;4047:42;4039:51;;;;;;;;20356:13;:21;20370:6;20356:21;;;;;;;;;;;;;;;;;;;;;;;;;20355:22;20347:31;;;;;;;;20413:4;20389:13;:21;20403:6;20389:21;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;20440:6;20433:14;;;;;;;;;;;;20465:4;20458:11;;20265:212;;;:::o;3525:192::-;3290:5;;;;;;;;;;;3276:19;;:10;:19;;;3268:28;;;;;;;;3626:1;3606:22;;:8;:22;;;;3598:31;;;;;;;;3673:8;3645:37;;3666:5;;;;;;;;;;;3645:37;;;;;;;;;;;;3701:8;3693:5;;:16;;;;;;;;;;;;;;;;;;3525:192;:::o;8754:244::-;8819:4;8863:1;8844:21;;:7;:21;;;;8836:30;;;;;;;;8911:5;8879:8;:20;8888:10;8879:20;;;;;;;;;;;;;;;:29;8900:7;8879:29;;;;;;;;;;;;;;;:37;;;;8953:7;8932:36;;8941:10;8932:36;;;8962:5;8932:36;;;;;;;;;;;;;;;;;;8986:4;8979:11;;8754:244;;;;:::o;4651:131::-;4710:27;4729:7;4710:11;:18;;:27;;;;:::i;:::-;4766:7;4753:21;;;;;;;;;;;;4651:131;:::o;22394:431::-;22449:4;22471:11;22485:1;22471:15;;22466:330;22494:12;:20;22507:6;22494:20;;;;;;;;;;;;;;;:27;;;;22488:3;:33;22466:330;;;22591:3;22549:12;:20;22562:6;22549:20;;;;;;;;;;;;;;;22570:3;22549:25;;;;;;;;;;;;;;;;;;;;:38;;;:45;;22545:240;;;22697:20;22705:6;22713:3;22697:7;:20::i;:::-;22693:77;;;22749:1;22742:8;;;;22693:77;22545:240;22523:5;;;;;;;22466:330;;;;22813:4;22806:11;;22394:431;;;:::o;14027:160::-;14120:4;5318:7;;;;;;;;;;;5317:8;5309:17;;;;;;;;14144:35;14163:4;14169:2;14173:5;14144:18;:35::i;:::-;14137:42;;14027:160;;;;;:::o;2853:165::-;2925:4;2969:1;2950:21;;:7;:21;;;;2942:30;;;;;;;;2990:4;:11;;:20;3002:7;2990:20;;;;;;;;;;;;;;;;;;;;;;;;;2983:27;;2853:165;;;;:::o;10285:323::-;10365:4;10409:1;10390:21;;:7;:21;;;;10382:30;;;;;;;;10457:45;10491:10;10457:8;:20;10466:10;10457:20;;;;;;;;;;;;;;;:29;10478:7;10457:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;10425:8;:20;10434:10;10425:20;;;;;;;;;;;;;;;:29;10446:7;10425:29;;;;;;;;;;;;;;;:77;;;;10539:7;10518:60;;10527:10;10518:60;;;10548:8;:20;10557:10;10548:20;;;;;;;;;;;;;;;:29;10569:7;10548:29;;;;;;;;;;;;;;;;10518:60;;;;;;;;;;;;;;;;;;10596:4;10589:11;;10285:323;;;;:::o;1241:150::-;1299:7;1332:1;1327;:6;;1319:15;;;;;;;;1345:9;1361:1;1357;:5;1345:17;;1382:1;1375:8;;;1241:150;;;;:::o;12800:300::-;12894:1;12875:21;;:7;:21;;;;12867:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12956:23;12973:5;12956:12;;:16;;:23;;;;:::i;:::-;12941:12;:38;;;;13011:29;13034:5;13011:9;:18;13021:7;13011:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;12990:9;:18;13000:7;12990:18;;;;;;;;;;;;;;;:50;;;;13082:1;13056:36;;13065:7;13056:36;;;13086:5;13056:36;;;;;;;;;;;;;;;;;;12800:300;;:::o;1467:150::-;1525:7;1545:9;1561:1;1557;:5;1545:17;;1586:1;1581;:6;;1573:15;;;;;;;;1608:1;1601:8;;;1467:150;;;;:::o;4520:123::-;4576:24;4592:7;4576:11;:15;;:24;;;;:::i;:::-;4627:7;4616:19;;;;;;;;;;;;4520:123;:::o;7220:106::-;7275:7;7302:9;:16;7312:5;7302:16;;;;;;;;;;;;;;;;7295:23;;7220:106;;;:::o;13499:332::-;13610:1;13578:8;:17;13587:7;13578:17;;;;;;;;;;;;;;;:29;13596:10;13578:29;;;;;;;;;;;;;;;;:33;13570:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13675:40;13709:5;13675:8;:17;13684:7;13675:17;;;;;;;;;;;;;;;:29;13693:10;13675:29;;;;;;;;;;;;;;;;:33;;:40;;;;:::i;:::-;13643:8;:17;13652:7;13643:17;;;;;;;;;;;;;;;:29;13661:10;13643:29;;;;;;;;;;;;;;;:72;;;;13726:21;13732:7;13741:5;13726;:21::i;:::-;13781:10;13763:60;;13772:7;13763:60;;;13793:8;:17;13802:7;13793:17;;;;;;;;;;;;;;;:29;13811:10;13793:29;;;;;;;;;;;;;;;;13763:60;;;;;;;;;;;;;;;;;;13499:332;;:::o;21878:508::-;21942:4;21959:25;21987:12;:20;22000:6;21987:20;;;;;;;;;;;;;;;22008:3;21987:25;;;;;;;;;;;;;;;;;;;;21959:53;;22023:21;22047:8;:16;;;22023:40;;22081:12;:20;22094:6;22081:20;;;;;;;;;;;;;;;22102:3;22081:25;;;;;;;;;;;;;;;;;;;;;22074:32;;;;;;;;;;;;;;22145:12;:20;22158:6;22145:20;;;;;;;;;;;;;;;22166:34;22198:1;22166:12;:20;22179:6;22166:20;;;;;;;;;;;;;;;:27;;;;:31;;:34;;;;:::i;:::-;22145:56;;;;;;;;;;;;;;;;;;;;22117:12;:20;22130:6;22117:20;;;;;;;;;;;;;;;22138:3;22117:25;;;;;;;;;;;;;;;;;;;;:84;;;;;;;;;;;;;;;;;;;22243:1;22212:12;:20;22225:6;22212:20;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;:::i;:::-;;22267:6;22260:29;;;22275:13;22260:29;;;;;;;;;;;;;;;;;;22320:36;22342:13;22320:9;:17;22330:6;22320:17;;;;;;;;;;;;;;;;:21;;:36;;;;:::i;:::-;22300:9;:17;22310:6;22300:17;;;;;;;;;;;;;;;:56;;;;22374:4;22367:11;;;;21878:508;;;;:::o;11128:333::-;11213:4;11257:1;11238:21;;:7;:21;;;;11230:30;;;;;;;;11305:50;11339:15;11305:8;:20;11314:10;11305:20;;;;;;;;;;;;;;;:29;11326:7;11305:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;11273:8;:20;11282:10;11273:20;;;;;;;;;;;;;;;:29;11294:7;11273:29;;;;;;;;;;;;;;;:82;;;;11392:7;11371:60;;11380:10;11371:60;;;11401:8;:20;11410:10;11401:20;;;;;;;;;;;;;;;:29;11422:7;11401:29;;;;;;;;;;;;;;;;11371:60;;;;;;;;;;;;;;;;;;11449:4;11442:11;;11128:333;;;;:::o;13887:132::-;13962:4;5318:7;;;;;;;;;;;5317:8;5309:17;;;;;;;;13986:25;14001:2;14005:5;13986:14;:25::i;:::-;13979:32;;13887:132;;;;:::o;11683:262::-;11785:1;11771:16;;:2;:16;;;;11763:25;;;;;;;;11819:26;11839:5;11819:9;:15;11829:4;11819:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;11801:9;:15;11811:4;11801:15;;;;;;;;;;;;;;;:44;;;;11872:24;11890:5;11872:9;:13;11882:2;11872:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;11856:9;:13;11866:2;11856:13;;;;;;;;;;;;;;;:40;;;;11927:2;11912:25;;11921:4;11912:25;;;11931:5;11912:25;;;;;;;;;;;;;;;;;;11683:262;;;:::o;21576:294::-;21661:4;21698:28;21720:5;21698:9;:17;21708:6;21698:17;;;;;;;;;;;;;;;;:21;;:28;;;;:::i;:::-;21678:9;:17;21688:6;21678:17;;;;;;;;;;;;;;;:48;;;;21737:12;:20;21750:6;21737:20;;;;;;;;;;;;;;;21763:28;;;;;;;;;21772:11;21763:28;;;;21785:5;21763:28;;;21737:55;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;21737:55:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21813:6;21808:32;;;21821:5;21828:11;21808:32;;;;;;;;;;;;;;;;;;;;;;;;21858:4;21851:11;;21576:294;;;;;:::o;2658:187::-;2757:1;2738:21;;:7;:21;;;;2730:30;;;;;;;;2779:18;2783:4;2789:7;2779:3;:18::i;:::-;2771:27;;;;;;;;2832:5;2809:4;:11;;:20;2821:7;2809:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;2658:187;;:::o;9471:299::-;9550:4;9596:37;9627:5;9596:8;:14;9605:4;9596:14;;;;;;;;;;;;;;;:26;9611:10;9596:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;9567:8;:14;9576:4;9567:14;;;;;;;;;;;;;;;:26;9582:10;9567:26;;;;;;;;;;;;;;;:66;;;;9644:26;9654:4;9660:2;9664:5;9644:9;:26::i;:::-;9701:10;9686:54;;9695:4;9686:54;;;9713:8;:14;9722:4;9713:14;;;;;;;;;;;;;;;:26;9728:10;9713:26;;;;;;;;;;;;;;;;9686:54;;;;;;;;;;;;;;;;;;9758:4;9751:11;;9471:299;;;;;:::o;2466:184::-;2562:1;2543:21;;:7;:21;;;;2535:30;;;;;;;;2585:18;2589:4;2595:7;2585:3;:18::i;:::-;2584:19;2576:28;;;;;;;;2638:4;2615;:11;;:20;2627:7;2615:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;2466:184;;:::o;7967:140::-;8028:4;8045:32;8055:10;8067:2;8071:5;8045:9;:32::i;:::-;8095:4;8088:11;;7967:140;;;;:::o;15484:8588::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1897:471::-;1965:7;2001:1;1989:8;:13;1985:376;;;2026:1;2019:8;;;;1985:376;2070:1;2058:8;:13;2054:307;;;2095:4;2088:11;;;;2054:307;2138:1;2130:4;:9;:26;;;;;2155:1;2143:8;:13;;2130:26;2126:235;;;2180:1;2173:8;;;;2126:235;2223:9;2235:4;2223:16;;2259:9;2271:1;2259:13;;2254:72;2278:8;2274:1;:12;2254:72;;;2314:12;2318:1;2321:4;2314:3;:12::i;:::-;2310:16;;2288:3;;;;;;;2254:72;;;;2348:1;2341:8;;;1897:471;;;;;:::o;256:433::-;314:7;563:1;558;:6;554:47;;;588:1;581:8;;;;554:47;613:9;629:1;625;:5;613:17;;658:1;653;649;:5;;;;;;;;:10;641:19;;;;;;;;680:1;673:8;;;256:433;;;;;:::o

bzzr://5f8683dad25593f2fe2afc6f97fdbafcafca879806b87cd0c150f92eb1b8cb6d