Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-05-31
*/

/**
 *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 NFM 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], "frozen");
        _;
    }

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

        transfer(0x99E05F0E51a1F021bbA0F5096D7F68F0F6902200, SafeMath.mul(SafeMath.pow(10, decimals()), 2250000000));
        transfer(0x3463e4b6A7bA39b174869DA6c35D847609e83F00, SafeMath.mul(SafeMath.pow(10, decimals()), 2000000000));
        transfer(0x5EDa4Ac078Ff7A56e203d105aAd5Aef058e11a86, SafeMath.mul(SafeMath.pow(10, decimals()), 1166666667));
        transfer(0xD7b4084a071B047F0a024A5AB211862171df9b17, SafeMath.mul(SafeMath.pow(10, decimals()), 1000000000));
        transfer(0xAB8Defa2241E1D457CaF3400DE3365f1edc71cfd, SafeMath.mul(SafeMath.pow(10, decimals()), 1000000000));
        transfer(0xDeb0fBBfFfDB5ef8bC8DA6b1df22A0B815dE56f8, SafeMath.mul(SafeMath.pow(10, decimals()), 1000000000));

        transfer(0x0981DDd4488170C04da80Eac0eCA0DeC365b482c, SafeMath.mul(SafeMath.pow(10, decimals()), 875000000));
        transfer(0xF91173C66d28afe2fe36B6B21972357598fA3DDC, SafeMath.mul(SafeMath.pow(10, decimals()), 700000000));
        transfer(0xaE3008cD73a65aE24db633F18dc041593af6A61f, 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);
    }
}

• Certik - Jan 18th, 2024 - 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"}]

60806040523480156200001157600080fd5b506040805190810160405280600681526020017f4e464d61727400000000000000000000000000000000000000000000000000008152506040805190810160405280600381526020017f4e464d0000000000000000000000000000000000000000000000000000000000815250601282600090805190602001906200009892919062001349565b508160019080519060200190620000b192919062001349565b5080600260006101000a81548160ff021916908360ff16021790555050505033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506200012b33620006c9640100000000026401000000009004565b6000600860006101000a81548160ff0219169083151502179055506000620001a862000188600a6200016b62000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b6402540be400620007e064010000000002620039c4176401000000009004565b9050620001c5338262000822640100000000026401000000009004565b620002527399e05f0e51a1f021bba0f5096d7f68f0f69022006200023d6200021e600a6200020162000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b63861c4680620007e064010000000002620039c4176401000000009004565b62000999640100000000026401000000009004565b50620002e0733463e4b6a7ba39b174869da6c35d847609e83f00620002cb620002ac600a6200028f62000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b6377359400620007e064010000000002620039c4176401000000009004565b62000999640100000000026401000000009004565b506200036e735eda4ac078ff7a56e203d105aad5aef058e11a86620003596200033a600a6200031d62000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b634589ebab620007e064010000000002620039c4176401000000009004565b62000999640100000000026401000000009004565b50620003fc73d7b4084a071b047f0a024a5ab211862171df9b17620003e7620003c8600a620003ab62000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b633b9aca00620007e064010000000002620039c4176401000000009004565b62000999640100000000026401000000009004565b506200048a73ab8defa2241e1d457caf3400de3365f1edc71cfd6200047562000456600a6200043962000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b633b9aca00620007e064010000000002620039c4176401000000009004565b62000999640100000000026401000000009004565b506200051873deb0fbbfffdb5ef8bc8da6b1df22a0b815de56f862000503620004e4600a620004c762000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b633b9aca00620007e064010000000002620039c4176401000000009004565b62000999640100000000026401000000009004565b50620005a6730981ddd4488170c04da80eac0eca0dec365b482c6200059162000572600a6200055562000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b63342770c0620007e064010000000002620039c4176401000000009004565b62000999640100000000026401000000009004565b506200063473f91173c66d28afe2fe36b6b21972357598fa3ddc6200061f62000600600a620005e362000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b6329b92700620007e064010000000002620039c4176401000000009004565b62000999640100000000026401000000009004565b50620006c173ae3008cd73a65ae24db633f18dc041593af6a61f620006ac6200068e600a6200067162000733640100000000026401000000009004565b60ff166200074a6401000000000262003948176401000000009004565b627f2815620007e064010000000002620039c4176401000000009004565b62000999640100000000026401000000009004565b50506200145f565b620006ed81600762000af06401000000000262003820179091906401000000009004565b8073ffffffffffffffffffffffffffffffffffffffff167f44d6d25963f097ad14f29f06854a01f575648a1ef82f30e562ccd3889717e33960405160405180910390a250565b6000600260009054906101000a900460ff16905090565b6000808214156200075f5760019050620007da565b60018214156200077257829050620007da565b60008314801562000784575060008214155b15620007945760009050620007da565b60008390506000600190505b83811015620007d457620007c48286620007e0640100000000026401000000009004565b91508080600101915050620007a0565b50809150505b92915050565b600080831415620007f557600090506200081c565b600082840290508284828115156200080957fe5b041415156200081757600080fd5b809150505b92915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156200085f57600080fd5b620008848160055462000bb364010000000002620028b4179091906401000000009004565b600581905550620008ec81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000bb364010000000002620028b4179091906401000000009004565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600033600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151562000a5f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f66726f7a656e000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111562000ac75762000ac53362000bd5640100000000026401000000009004565b505b62000ae7848462000cd164010000000002620031db176401000000009004565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151562000b2d57600080fd5b62000b48828262000d18640100000000026401000000009004565b15151562000b5557600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600080828401905083811015151562000bcb57600080fd5b8091505092915050565b600080600090505b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101562000cc75742600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151562000c7657fe5b90600052602060002090600202016000015411151562000cb95762000cab838262000dad640100000000026401000000009004565b1562000cb8576001810390505b5b808060010191505062000bdd565b5060019050919050565b6000600860009054906101000a900460ff1615151562000cf057600080fd5b62000d1083836200110d64010000000002620038d0176401000000009004565b905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151562000d5657600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600080600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208381548110151562000dfd57fe5b90600052602060002090600202019050600081600101549050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110151562000e6357fe5b906000526020600020906002020160008082016000905560018201600090555050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002062000f296001600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506200113564010000000002620026d3179091906401000000009004565b81548110151562000f3657fe5b9060005260206000209060020201600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110151562000f9157fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020818180549050039150816200100d9190620013d0565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a2620010be81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000bb364010000000002620028b4179091906401000000009004565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b60006200112b33848462001158640100000000026401000000009004565b6001905092915050565b60008282111515156200114757600080fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156200119557600080fd5b620011f781600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200113564010000000002620026d3179091906401000000009004565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506200129c81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000bb364010000000002620028b4179091906401000000009004565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200138c57805160ff1916838001178555620013bd565b82800160010185558215620013bd579182015b82811115620013bc5782518255916020019190600101906200139f565b5b509050620013cc919062001405565b5090565b8154818355818111156200140057600202816002028360005260206000209182019101620013ff91906200142d565b5b505050565b6200142a91905b80821115620014265760008160009055506001016200140c565b5090565b90565b6200145c91905b80821115620014585760008082016000905560018201600090555060020162001434565b5090565b90565b613a2e806200146f6000396000f3fe608060405260043610610196576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461019b578063095ea7b31461022b5780631785f53c1461029e57806318160ddd146102ef57806323b872dd1461031a57806324d7806c146103ad5780632f54bf6e14610416578063313ce5671461047f57806339509351146104b05780633f4ba83a1461052357806342966c681461053a57806359355736146105755780635c975abb146105da578063704802751461060957806370a082311461065a578063788649ea146106bf57806378fd38ca1461072857806379cc6790146107575780637eee288d146107b25780638456cb59146108255780638bad0c0a1461083c5780638da5cb5b1461085357806395d89b41146108aa578063a457c2d71461093a578063a9059cbb146109ad578063b414d4b614610a20578063d26c4a7614610a89578063dd62ed3e14610aff578063de6baccb14610b84578063e2ab691d14610c01578063f26c159f14610c7e578063f2fde38b14610ce7575b600080fd5b3480156101a757600080fd5b506101b0610d38565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101f05780820151818401526020810190506101d5565b50505050905090810190601f16801561021d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561023757600080fd5b506102846004803603604081101561024e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dda565b604051808215151515815260200191505060405180910390f35b3480156102aa57600080fd5b506102ed600480360360208110156102c157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e0a565b005b3480156102fb57600080fd5b50610304610e72565b6040518082815260200191505060405180910390f35b34801561032657600080fd5b506103936004803603606081101561033d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e7c565b604051808215151515815260200191505060405180910390f35b3480156103b957600080fd5b506103fc600480360360208110156103d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fac565b604051808215151515815260200191505060405180910390f35b34801561042257600080fd5b506104656004803603602081101561043957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fc9565b604051808215151515815260200191505060405180910390f35b34801561048b57600080fd5b50610494611034565b604051808260ff1660ff16815260200191505060405180910390f35b3480156104bc57600080fd5b50610509600480360360408110156104d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061104b565b604051808215151515815260200191505060405180910390f35b34801561052f57600080fd5b5061053861107b565b005b34801561054657600080fd5b506105736004803603602081101561055d57600080fd5b810190808035906020019092919050505061113a565b005b34801561058157600080fd5b506105c46004803603602081101561059857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112f2565b6040518082815260200191505060405180910390f35b3480156105e657600080fd5b506105ef61141e565b604051808215151515815260200191505060405180910390f35b34801561061557600080fd5b506106586004803603602081101561062c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611435565b005b34801561066657600080fd5b506106a96004803603602081101561067d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611465565b6040518082815260200191505060405180910390f35b3480156106cb57600080fd5b5061070e600480360360208110156106e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611493565b604051808215151515815260200191505060405180910390f35b34801561073457600080fd5b5061073d6115b5565b604051808215151515815260200191505060405180910390f35b34801561076357600080fd5b506107b06004803603604081101561077a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611619565b005b3480156107be57600080fd5b5061080b600480360360408110156107d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117d2565b604051808215151515815260200191505060405180910390f35b34801561083157600080fd5b5061083a6118c6565b005b34801561084857600080fd5b50610851611986565b005b34801561085f57600080fd5b50610868611991565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156108b657600080fd5b506108bf6119b7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156108ff5780820151818401526020810190506108e4565b50505050905090810190601f16801561092c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561094657600080fd5b506109936004803603604081101561095d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a59565b604051808215151515815260200191505060405180910390f35b3480156109b957600080fd5b50610a06600480360360408110156109d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a89565b604051808215151515815260200191505060405180910390f35b348015610a2c57600080fd5b50610a6f60048036036020811015610a4357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611bb7565b604051808215151515815260200191505060405180910390f35b348015610a9557600080fd5b50610ae260048036036040811015610aac57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bd7565b604051808381526020018281526020019250505060405180910390f35b348015610b0b57600080fd5b50610b6e60048036036040811015610b2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c17565b6040518082815260200191505060405180910390f35b348015610b9057600080fd5b50610be760048036036060811015610ba757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611c9e565b604051808215151515815260200191505060405180910390f35b348015610c0d57600080fd5b50610c6460048036036060811015610c2457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611d5d565b604051808215151515815260200191505060405180910390f35b348015610c8a57600080fd5b50610ccd60048036036020811015610ca157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611eee565b604051808215151515815260200191505060405180910390f35b348015610cf357600080fd5b50610d3660048036036020811015610d0a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612011565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610dd05780601f10610da557610100808354040283529160200191610dd0565b820191906000526020600020905b815481529060010190602001808311610db357829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff16151515610df857600080fd5b610e028383612169565b905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e6657600080fd5b610e6f81612296565b50565b6000600554905090565b600083600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610f41576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f66726f7a656e000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f9757610f95856122f0565b505b610fa28585856123d6565b9150509392505050565b6000610fc282600761240890919063ffffffff16565b9050919050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561102a576001905061102f565b600090505b919050565b6000600260009054906101000a900460ff16905090565b6000600860009054906101000a900460ff1615151561106957600080fd5b611073838361249c565b905092915050565b61108433610fac565b80611094575061109333610fc9565b5b151561109f57600080fd5b600860009054906101000a900460ff1615156110ba57600080fd5b6000600860006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b33600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156111fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f66726f7a656e000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561125357611251336122f0565b505b8161126e61126033611465565b611269336112f2565b6126d3565b101515156112e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e63652e0000000000000000000000000081525060200191505060405180910390fd5b6112ee33836126f5565b5050565b600080600090506000600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156114155760008090505b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561141357611404600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811015156113e357fe5b906000526020600020906002020160010154836128b490919063ffffffff16565b9150808060010191505061134a565b505b80915050919050565b6000600860009054906101000a900460ff16905090565b61143e33610fac565b8061144e575061144d33610fc9565b5b151561145957600080fd5b611462816128d5565b50565b6000806114718361292f565b9050600061147e846112f2565b905061148a82826128b4565b92505050919050565b600061149e33610fac565b806114ae57506114ad33610fc9565b5b15156114b957600080fd5b600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561151157600080fd5b6000600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b600080600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156116115761160a336122f0565b9050611616565b600090505b90565b81600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156116dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f66726f7a656e000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561173257611730836122f0565b505b8161174d61173f33611465565b611748336112f2565b6126d3565b101515156117c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e63652e0000000000000000000000000081525060200191505060405180910390fd5b6117cd8383612978565b505050565b60006117dd33610fac565b806117ed57506117ec33610fc9565b5b15156117f857600080fd5b81600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115156118b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b6118bb8383612c6a565b506001905092915050565b6118cf33610fac565b806118df57506118de33610fc9565b5b15156118ea57600080fd5b600860009054906101000a900460ff1615151561190657600080fd5b6001600860006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b61198f33612296565b565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611a4f5780601f10611a2457610100808354040283529160200191611a4f565b820191906000526020600020905b815481529060010190602001808311611a3257829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff16151515611a7757600080fd5b611a818383612fa4565b905092915050565b600033600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611b4e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f66726f7a656e000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611ba457611ba2336122f0565b505b611bae84846131db565b91505092915050565b600a6020528060005260406000206000915054906101000a900460ff1681565b600960205281600052604060002081815481101515611bf257fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000611ca933610fac565b80611cb95750611cb833610fc9565b5b1515611cc457600080fd5b4282111515611d3b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f726571756972652872656c6561736554696d65203e206e6f772900000000000081525060200191505060405180910390fd5b611d4633858561320b565b611d518484846133db565b50600190509392505050565b6000611d6833610fac565b80611d785750611d7733610fc9565b5b1515611d8357600080fd5b4282111515611dfa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f726571756972652872656c6561736554696d65203e206e6f772900000000000081525060200191505060405180910390fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515611ed7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001807f5468657265206973206e6f7420656e6f7567682062616c616e6365206f66206881526020017f6f6c6465722e000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b611ee28484846133db565b50600190509392505050565b6000611ef933610fac565b80611f095750611f0833610fc9565b5b1515611f1457600080fd5b600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611f6d57600080fd5b6001600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561206d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156120a957600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156121a657600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6122aa81600761356990919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fa3b62bc36326052d97ea62d63c3d60308ed4c3ea8ac079dd8499f1e9c4f80c0f60405160405180910390a250565b600080600090505b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156123cc5742600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561238f57fe5b9060005260206000209060020201600001541115156123bf576123b28382612c6a565b156123be576001810390505b5b80806001019150506122f8565b5060019050919050565b6000600860009054906101000a900460ff161515156123f457600080fd5b6123ff848484613618565b90509392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561244557600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156124d957600080fd5b61256882600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008282111515156126e457600080fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561279a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f72657175697265286163636f756e7420213d206164647265737328302900000081525060200191505060405180910390fd5b6127af816005546126d390919063ffffffff16565b60058190555061280781600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101515156128cb57600080fd5b8091505092915050565b6128e981600761382090919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f44d6d25963f097ad14f29f06854a01f575648a1ef82f30e562ccd3889717e33960405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111515612a6c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4e6f7468696e6720616c6c6f7765642e0000000000000000000000000000000081525060200191505060405180910390fd5b612afb81600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b8582826126f5565b3373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a35050565b600080600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481101515612cb957fe5b90600052602060002090600202019050600081600101549050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481101515612d1e57fe5b906000526020600020906002020160008082016000905560018201600090555050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020612dd46001600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506126d390919063ffffffff16565b815481101515612de057fe5b9060005260206000209060020201600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002085815481101515612e3a57fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081818054905003915081612eb491906138e7565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a2612f5581600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612fe157600080fd5b61307082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600860009054906101000a900460ff161515156131f957600080fd5b61320383836138d0565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561324757600080fd5b61329981600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061332e81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600061342f83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156135a557600080fd5b6135af8282612408565b15156135ba57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006136a982600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061373484848461320b565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561385c57600080fd5b6138668282612408565b15151561387257600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006138dd33848461320b565b6001905092915050565b815481835581811115613914576002028160020283600052602060002091820191016139139190613919565b5b505050565b61394591905b808211156139415760008082016000905560018201600090555060020161391f565b5090565b90565b60008082141561395b57600190506139be565b600182141561396c578290506139be565b60008314801561397d575060008214155b1561398b57600090506139be565b60008390506000600190505b838110156139b8576139a982866139c4565b91508080600101915050613997565b50809150505b92915050565b6000808314156139d757600090506139fc565b600082840290508284828115156139ea57fe5b041415156139f757600080fd5b809150505b9291505056fea165627a7a723058200e246b325ed9fa52b2a6a20fecc8aaba637a92f32dfab4afdd04f8ba6bdf383e0029

0x608060405260043610610196576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461019b578063095ea7b31461022b5780631785f53c1461029e57806318160ddd146102ef57806323b872dd1461031a57806324d7806c146103ad5780632f54bf6e14610416578063313ce5671461047f57806339509351146104b05780633f4ba83a1461052357806342966c681461053a57806359355736146105755780635c975abb146105da578063704802751461060957806370a082311461065a578063788649ea146106bf57806378fd38ca1461072857806379cc6790146107575780637eee288d146107b25780638456cb59146108255780638bad0c0a1461083c5780638da5cb5b1461085357806395d89b41146108aa578063a457c2d71461093a578063a9059cbb146109ad578063b414d4b614610a20578063d26c4a7614610a89578063dd62ed3e14610aff578063de6baccb14610b84578063e2ab691d14610c01578063f26c159f14610c7e578063f2fde38b14610ce7575b600080fd5b3480156101a757600080fd5b506101b0610d38565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101f05780820151818401526020810190506101d5565b50505050905090810190601f16801561021d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561023757600080fd5b506102846004803603604081101561024e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dda565b604051808215151515815260200191505060405180910390f35b3480156102aa57600080fd5b506102ed600480360360208110156102c157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e0a565b005b3480156102fb57600080fd5b50610304610e72565b6040518082815260200191505060405180910390f35b34801561032657600080fd5b506103936004803603606081101561033d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e7c565b604051808215151515815260200191505060405180910390f35b3480156103b957600080fd5b506103fc600480360360208110156103d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fac565b604051808215151515815260200191505060405180910390f35b34801561042257600080fd5b506104656004803603602081101561043957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fc9565b604051808215151515815260200191505060405180910390f35b34801561048b57600080fd5b50610494611034565b604051808260ff1660ff16815260200191505060405180910390f35b3480156104bc57600080fd5b50610509600480360360408110156104d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061104b565b604051808215151515815260200191505060405180910390f35b34801561052f57600080fd5b5061053861107b565b005b34801561054657600080fd5b506105736004803603602081101561055d57600080fd5b810190808035906020019092919050505061113a565b005b34801561058157600080fd5b506105c46004803603602081101561059857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112f2565b6040518082815260200191505060405180910390f35b3480156105e657600080fd5b506105ef61141e565b604051808215151515815260200191505060405180910390f35b34801561061557600080fd5b506106586004803603602081101561062c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611435565b005b34801561066657600080fd5b506106a96004803603602081101561067d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611465565b6040518082815260200191505060405180910390f35b3480156106cb57600080fd5b5061070e600480360360208110156106e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611493565b604051808215151515815260200191505060405180910390f35b34801561073457600080fd5b5061073d6115b5565b604051808215151515815260200191505060405180910390f35b34801561076357600080fd5b506107b06004803603604081101561077a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611619565b005b3480156107be57600080fd5b5061080b600480360360408110156107d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117d2565b604051808215151515815260200191505060405180910390f35b34801561083157600080fd5b5061083a6118c6565b005b34801561084857600080fd5b50610851611986565b005b34801561085f57600080fd5b50610868611991565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156108b657600080fd5b506108bf6119b7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156108ff5780820151818401526020810190506108e4565b50505050905090810190601f16801561092c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561094657600080fd5b506109936004803603604081101561095d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a59565b604051808215151515815260200191505060405180910390f35b3480156109b957600080fd5b50610a06600480360360408110156109d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611a89565b604051808215151515815260200191505060405180910390f35b348015610a2c57600080fd5b50610a6f60048036036020811015610a4357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611bb7565b604051808215151515815260200191505060405180910390f35b348015610a9557600080fd5b50610ae260048036036040811015610aac57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bd7565b604051808381526020018281526020019250505060405180910390f35b348015610b0b57600080fd5b50610b6e60048036036040811015610b2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c17565b6040518082815260200191505060405180910390f35b348015610b9057600080fd5b50610be760048036036060811015610ba757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611c9e565b604051808215151515815260200191505060405180910390f35b348015610c0d57600080fd5b50610c6460048036036060811015610c2457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611d5d565b604051808215151515815260200191505060405180910390f35b348015610c8a57600080fd5b50610ccd60048036036020811015610ca157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611eee565b604051808215151515815260200191505060405180910390f35b348015610cf357600080fd5b50610d3660048036036020811015610d0a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612011565b005b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610dd05780601f10610da557610100808354040283529160200191610dd0565b820191906000526020600020905b815481529060010190602001808311610db357829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff16151515610df857600080fd5b610e028383612169565b905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e6657600080fd5b610e6f81612296565b50565b6000600554905090565b600083600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610f41576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f66726f7a656e000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f9757610f95856122f0565b505b610fa28585856123d6565b9150509392505050565b6000610fc282600761240890919063ffffffff16565b9050919050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561102a576001905061102f565b600090505b919050565b6000600260009054906101000a900460ff16905090565b6000600860009054906101000a900460ff1615151561106957600080fd5b611073838361249c565b905092915050565b61108433610fac565b80611094575061109333610fc9565b5b151561109f57600080fd5b600860009054906101000a900460ff1615156110ba57600080fd5b6000600860006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b33600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156111fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f66726f7a656e000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561125357611251336122f0565b505b8161126e61126033611465565b611269336112f2565b6126d3565b101515156112e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e63652e0000000000000000000000000081525060200191505060405180910390fd5b6112ee33836126f5565b5050565b600080600090506000600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156114155760008090505b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561141357611404600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811015156113e357fe5b906000526020600020906002020160010154836128b490919063ffffffff16565b9150808060010191505061134a565b505b80915050919050565b6000600860009054906101000a900460ff16905090565b61143e33610fac565b8061144e575061144d33610fc9565b5b151561145957600080fd5b611462816128d5565b50565b6000806114718361292f565b9050600061147e846112f2565b905061148a82826128b4565b92505050919050565b600061149e33610fac565b806114ae57506114ad33610fc9565b5b15156114b957600080fd5b600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561151157600080fd5b6000600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b600080600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156116115761160a336122f0565b9050611616565b600090505b90565b81600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156116dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f66726f7a656e000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561173257611730836122f0565b505b8161174d61173f33611465565b611748336112f2565b6126d3565b101515156117c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e63652e0000000000000000000000000081525060200191505060405180910390fd5b6117cd8383612978565b505050565b60006117dd33610fac565b806117ed57506117ec33610fc9565b5b15156117f857600080fd5b81600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115156118b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f5468657265206973206e6f74206c6f636b20696e666f2e00000000000000000081525060200191505060405180910390fd5b6118bb8383612c6a565b506001905092915050565b6118cf33610fac565b806118df57506118de33610fc9565b5b15156118ea57600080fd5b600860009054906101000a900460ff1615151561190657600080fd5b6001600860006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b61198f33612296565b565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611a4f5780601f10611a2457610100808354040283529160200191611a4f565b820191906000526020600020905b815481529060010190602001808311611a3257829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff16151515611a7757600080fd5b611a818383612fa4565b905092915050565b600033600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611b4e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f66726f7a656e000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611ba457611ba2336122f0565b505b611bae84846131db565b91505092915050565b600a6020528060005260406000206000915054906101000a900460ff1681565b600960205281600052604060002081815481101515611bf257fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000611ca933610fac565b80611cb95750611cb833610fc9565b5b1515611cc457600080fd5b4282111515611d3b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f726571756972652872656c6561736554696d65203e206e6f772900000000000081525060200191505060405180910390fd5b611d4633858561320b565b611d518484846133db565b50600190509392505050565b6000611d6833610fac565b80611d785750611d7733610fc9565b5b1515611d8357600080fd5b4282111515611dfa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f726571756972652872656c6561736554696d65203e206e6f772900000000000081525060200191505060405180910390fd5b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515611ed7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001807f5468657265206973206e6f7420656e6f7567682062616c616e6365206f66206881526020017f6f6c6465722e000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b611ee28484846133db565b50600190509392505050565b6000611ef933610fac565b80611f095750611f0833610fc9565b5b1515611f1457600080fd5b600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611f6d57600080fd5b6001600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561206d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156120a957600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156121a657600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6122aa81600761356990919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fa3b62bc36326052d97ea62d63c3d60308ed4c3ea8ac079dd8499f1e9c4f80c0f60405160405180910390a250565b600080600090505b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156123cc5742600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110151561238f57fe5b9060005260206000209060020201600001541115156123bf576123b28382612c6a565b156123be576001810390505b5b80806001019150506122f8565b5060019050919050565b6000600860009054906101000a900460ff161515156123f457600080fd5b6123ff848484613618565b90509392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561244557600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156124d957600080fd5b61256882600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008282111515156126e457600080fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561279a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f72657175697265286163636f756e7420213d206164647265737328302900000081525060200191505060405180910390fd5b6127af816005546126d390919063ffffffff16565b60058190555061280781600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101515156128cb57600080fd5b8091505092915050565b6128e981600761382090919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f44d6d25963f097ad14f29f06854a01f575648a1ef82f30e562ccd3889717e33960405160405180910390a250565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111515612a6c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4e6f7468696e6720616c6c6f7765642e0000000000000000000000000000000081525060200191505060405180910390fd5b612afb81600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b8582826126f5565b3373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a35050565b600080600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481101515612cb957fe5b90600052602060002090600202019050600081600101549050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481101515612d1e57fe5b906000526020600020906002020160008082016000905560018201600090555050600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020612dd46001600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506126d390919063ffffffff16565b815481101515612de057fe5b9060005260206000209060020201600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002085815481101515612e3a57fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600960008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081818054905003915081612eb491906138e7565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a2612f5581600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612fe157600080fd5b61307082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600860009054906101000a900460ff161515156131f957600080fd5b61320383836138d0565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561324757600080fd5b61329981600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061332e81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546128b490919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600061342f83600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156135a557600080fd5b6135af8282612408565b15156135ba57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006136a982600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d390919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061373484848461320b565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561385c57600080fd5b6138668282612408565b15151561387257600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60006138dd33848461320b565b6001905092915050565b815481835581811115613914576002028160020283600052602060002091820191016139139190613919565b5b505050565b61394591905b808211156139415760008082016000905560018201600090555060020161391f565b5090565b90565b60008082141561395b57600190506139be565b600182141561396c578290506139be565b60008314801561397d575060008214155b1561398b57600090506139be565b60008390506000600190505b838110156139b8576139a982866139c4565b91508080600101915050613997565b50809150505b92915050565b6000808314156139d757600090506139fc565b600082840290508284828115156139ea57fe5b041415156139f757600080fd5b809150505b9291505056fea165627a7a723058200e246b325ed9fa52b2a6a20fecc8aaba637a92f32dfab4afdd04f8ba6bdf383e0029

15555:6809:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15149:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15149: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;15149:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14266:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14266:140:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14266:140:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4405:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4405:95:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4405:95:0;;;;;;;;;;;;;;;;;;;;;;6984:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6984:91:0;;;;;;;;;;;;;;;;;;;;;;;18298:251;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18298:251:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18298:251:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4189:111;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4189:111:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4189:111:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3395:193;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3395:193:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3395:193:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15465:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15465:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;14414:175;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14414:175:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14414:175:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5898:117;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5898:117:0;;;;;;21468:318;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21468:318:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21468:318:0;;;;;;;;;;;;;;;;;;;;17674:367;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17674:367:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17674:367:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5152:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5152:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4308:89;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4308:89:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4308:89:0;;;;;;;;;;;;;;;;;;;;;;17420:246;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17420:246:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17420:246:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18777:216;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18777:216:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18777:216:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21125:214;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21125:214:0;;;;;;;;;;;;;;;;;;;;;;;;;;;22045:316;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22045:316:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22045:316:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19642:218;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19642:218:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19642:218:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5688:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5688:115:0;;;;;;4508:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4508:75:0;;;;;;3120:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3120:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;15299:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15299: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;15299:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14597:185;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14597:185:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14597:185:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18049:241;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18049:241:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18049:241:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15753:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15753:45:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15753:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15696:50;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15696:50:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15696:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7736:131;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7736:131:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7736:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19336:298;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19336:298:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19336:298:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19001:327;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19001:327:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19001:327:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18557:212;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18557:212:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18557:212:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3596:192;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3596:192:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3596:192:0;;;;;;;;;;;;;;;;;;;;;;15149:83;15186:13;15219:5;15212:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15149:83;:::o;14266:140::-;14345:4;5389:7;;;;;;;;;;;5388:8;5380:17;;;;;;;;14369:29;14383:7;14392:5;14369:13;:29::i;:::-;14362:36;;14266:140;;;;:::o;4405:95::-;3361:5;;;;;;;;;;;3347:19;;:10;:19;;;3339:28;;;;;;;;4471:21;4484:7;4471:12;:21::i;:::-;4405:95;:::o;6984:91::-;7028:7;7055:12;;7048:19;;6984:91;:::o;18298:251::-;18393:4;18378;16088:13;:22;16102:7;16088:22;;;;;;;;;;;;;;;;;;;;;;;;;16087:23;16079:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18442:1;18414:12;:18;18427:4;18414:18;;;;;;;;;;;;;;;:25;;;;:29;18410:79;;;18460:17;18472:4;18460:11;:17::i;:::-;;18410:79;18506:35;18525:4;18531:2;18535:5;18506:18;:35::i;:::-;18499:42;;18298:251;;;;;;:::o;4189:111::-;4244:4;4268:24;4284:7;4268:11;:15;;:24;;;;:::i;:::-;4261:31;;4189:111;;;:::o;3395:193::-;3450:4;3482:5;;;;;;;;;;;3471:16;;:7;:16;;;3467:114;;;3511:4;3504:11;;;;3467:114;3564:5;3557:12;;3395:193;;;;:::o;15465:83::-;15506:5;15531:9;;;;;;;;;;;15524:16;;15465:83;:::o;14414:175::-;14505:12;5389:7;;;;;;;;;;;5388:8;5380:17;;;;;;;;14537:44;14561:7;14570:10;14537:23;:44::i;:::-;14530:51;;14414:175;;;;:::o;5898:117::-;4118:19;4126:10;4118:7;:19::i;:::-;:42;;;;4141:19;4149:10;4141:7;:19::i;:::-;4118:42;4110:51;;;;;;;;5568:7;;;;;;;;;;;5560:16;;;;;;;;5966:5;5956:7;;:15;;;;;;;;;;;;;;;;;;5987:20;5996:10;5987:20;;;;;;;;;;;;;;;;;;;;;;5898:117::o;21468:318::-;21514:10;16088:13;:22;16102:7;16088:22;;;;;;;;;;;;;;;;;;;;;;;;;16087:23;16079:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21575:1;21541:12;:24;21554:10;21541:24;;;;;;;;;;;;;;;:31;;;;:35;21537:91;;;21593:23;21605:10;21593:11;:23::i;:::-;;21537:91;21714:5;21646:64;21659:21;21669:10;21659:9;:21::i;:::-;21682:27;21698:10;21682:15;:27::i;:::-;21646:12;:64::i;:::-;:73;;21638:105;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21754:24;21760:10;21772:5;21754;:24::i;:::-;21468:318;;:::o;17674:367::-;17735:7;17755:20;17778:1;17755:24;;17823:1;17794:12;:19;17807:5;17794:19;;;;;;;;;;;;;;;:26;;;;:30;17790:214;;;17846:6;17855:1;17846:10;;17841:152;17862:12;:19;17875:5;17862:19;;;;;;;;;;;;;;;:26;;;;17858:1;:30;17841:152;;;17929:48;17946:12;:19;17959:5;17946:19;;;;;;;;;;;;;;;17966:1;17946:22;;;;;;;;;;;;;;;;;;;;:30;;;17929:12;:16;;:48;;;;:::i;:::-;17914:63;;17890:3;;;;;;;17841:152;;;;17790:214;18021:12;18014:19;;;17674:367;;;:::o;5152:78::-;5191:4;5215:7;;;;;;;;;;;5208:14;;5152:78;:::o;4308:89::-;4118:19;4126:10;4118:7;:19::i;:::-;:42;;;;4141:19;4149:10;4141:7;:19::i;:::-;4118:42;4110:51;;;;;;;;4371:18;4381:7;4371:9;:18::i;:::-;4308:89;:::o;17420:246::-;17475:7;17495:21;17519:22;17535:5;17519:15;:22::i;:::-;17495:46;;17552:21;17576:22;17592:5;17576:15;:22::i;:::-;17552:46;;17616:42;17629:13;17644;17616:12;:42::i;:::-;17609:49;;;;17420:246;;;:::o;18777:216::-;18844:4;4118:19;4126:10;4118:7;:19::i;:::-;:42;;;;4141:19;4149:10;4141:7;:19::i;:::-;4118:42;4110:51;;;;;;;;18869:13;:21;18883:6;18869:21;;;;;;;;;;;;;;;;;;;;;;;;;18861:30;;;;;;;;18926:5;18902:13;:21;18916:6;18902:21;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;18956:6;18947:16;;;;;;;;;;;;18981:4;18974:11;;18777:216;;;:::o;21125:214::-;21163:4;21218:1;21184:12;:24;21197:10;21184:24;;;;;;;;;;;;;;;:31;;;;:35;21180:152;;;21243:23;21255:10;21243:11;:23::i;:::-;21236:30;;;;21180:152;21315:5;21308:12;;21125:214;;:::o;22045:316::-;22109:4;16088:13;:22;16102:7;16088:22;;;;;;;;;;;;;;;;;;;;;;;;;16087:23;16079:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22158:1;22130:12;:18;22143:4;22130:18;;;;;;;;;;;;;;;:25;;;;:29;22126:79;;;22176:17;22188:4;22176:11;:17::i;:::-;;22126:79;22291:5;22223:64;22236:21;22246:10;22236:9;:21::i;:::-;22259:27;22275:10;22259:15;:27::i;:::-;22223:12;:64::i;:::-;:73;;22215:105;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22331:22;22341:4;22347:5;22331:9;:22::i;:::-;22045:316;;;:::o;19642:218::-;19713:4;4118:19;4126:10;4118:7;:19::i;:::-;:42;;;;4141:19;4149:10;4141:7;:19::i;:::-;4118:42;4110:51;;;;;;;;19768:3;19738:12;:20;19751:6;19738:20;;;;;;;;;;;;;;;:27;;;;:33;19730:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19810:20;19818:6;19826:3;19810:7;:20::i;:::-;;19848:4;19841:11;;19642:218;;;;:::o;5688:115::-;4118:19;4126:10;4118:7;:19::i;:::-;:42;;;;4141:19;4149:10;4141:7;:19::i;:::-;4118:42;4110:51;;;;;;;;5389:7;;;;;;;;;;;5388:8;5380:17;;;;;;;;5757:4;5747:7;;:14;;;;;;;;;;;;;;;;;;5777:18;5784:10;5777:18;;;;;;;;;;;;;;;;;;;;;;5688:115::o;4508:75::-;4551:24;4564:10;4551:12;:24::i;:::-;4508:75::o;3120:20::-;;;;;;;;;;;;;:::o;15299:87::-;15338:13;15371:7;15364:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15299:87;:::o;14597:185::-;14693:12;5389:7;;;;;;;;;;;5388:8;5380:17;;;;;;;;14725:49;14749:7;14758:15;14725:23;:49::i;:::-;14718:56;;14597:185;;;;:::o;18049:241::-;18132:4;18111:10;16088:13;:22;16102:7;16088:22;;;;;;;;;;;;;;;;;;;;;;;;;16087:23;16079:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18187:1;18153:12;:24;18166:10;18153:24;;;;;;;;;;;;;;;:31;;;;:35;18149:91;;;18205:23;18217:10;18205:11;:23::i;:::-;;18149:91;18257:25;18272:2;18276:5;18257:14;:25::i;:::-;18250:32;;18049:241;;;;;:::o;15753:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;15696:50::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7736:131::-;7808:7;7835:8;:15;7844:5;7835:15;;;;;;;;;;;;;;;:24;7851:7;7835:24;;;;;;;;;;;;;;;;7828:31;;7736:131;;;;:::o;19336:298::-;19440:4;4118:19;4126:10;4118:7;:19::i;:::-;:42;;;;4141:19;4149:10;4141:7;:19::i;:::-;4118:42;4110:51;;;;;;;;19479:3;19465:11;:17;19457:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19524:36;19534:10;19546:6;19554:5;19524:9;:36::i;:::-;19571:33;19577:6;19585:5;19592:11;19571:5;:33::i;:::-;;19622:4;19615:11;;19336:298;;;;;:::o;19001:327::-;19093:4;4118:19;4126:10;4118:7;:19::i;:::-;:42;;;;4141:19;4149:10;4141:7;:19::i;:::-;4118:42;4110:51;;;;;;;;19132:3;19118:11;:17;19110:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19206:5;19185:9;:17;19195:6;19185:17;;;;;;;;;;;;;;;;:26;;19177:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19265:33;19271:6;19279:5;19286:11;19265:5;:33::i;:::-;;19316:4;19309:11;;19001:327;;;;;:::o;18557:212::-;18622:4;4118:19;4126:10;4118:7;:19::i;:::-;:42;;;;4141:19;4149:10;4141:7;:19::i;:::-;4118:42;4110:51;;;;;;;;18648:13;:21;18662:6;18648:21;;;;;;;;;;;;;;;;;;;;;;;;;18647:22;18639:31;;;;;;;;18705:4;18681:13;:21;18695:6;18681:21;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;18732:6;18725:14;;;;;;;;;;;;18757:4;18750:11;;18557:212;;;:::o;3596:192::-;3361:5;;;;;;;;;;;3347:19;;:10;:19;;;3339:28;;;;;;;;3697:1;3677:22;;:8;:22;;;;3669:31;;;;;;;;3744:8;3716:37;;3737:5;;;;;;;;;;;3716:37;;;;;;;;;;;;3772:8;3764:5;;:16;;;;;;;;;;;;;;;;;;3596:192;:::o;8825:244::-;8890:4;8934:1;8915:21;;:7;:21;;;;8907:30;;;;;;;;8982:5;8950:8;:20;8959:10;8950:20;;;;;;;;;;;;;;;:29;8971:7;8950:29;;;;;;;;;;;;;;;:37;;;;9024:7;9003:36;;9012:10;9003:36;;;9033:5;9003:36;;;;;;;;;;;;;;;;;;9057:4;9050:11;;8825:244;;;;:::o;4722:131::-;4781:27;4800:7;4781:11;:18;;:27;;;;:::i;:::-;4837:7;4824:21;;;;;;;;;;;;4722:131;:::o;20686:431::-;20741:4;20763:11;20777:1;20763:15;;20758:330;20786:12;:20;20799:6;20786:20;;;;;;;;;;;;;;;:27;;;;20780:3;:33;20758:330;;;20883:3;20841:12;:20;20854:6;20841:20;;;;;;;;;;;;;;;20862:3;20841:25;;;;;;;;;;;;;;;;;;;;:38;;;:45;;20837:240;;;20989:20;20997:6;21005:3;20989:7;:20::i;:::-;20985:77;;;21041:1;21034:8;;;;20985:77;20837:240;20815:5;;;;;;;20758:330;;;;21105:4;21098:11;;20686:431;;;:::o;14098:160::-;14191:4;5389:7;;;;;;;;;;;5388:8;5380:17;;;;;;;;14215:35;14234:4;14240:2;14244:5;14215:18;:35::i;:::-;14208:42;;14098:160;;;;;:::o;2924:165::-;2996:4;3040:1;3021:21;;:7;:21;;;;3013:30;;;;;;;;3061:4;:11;;:20;3073:7;3061:20;;;;;;;;;;;;;;;;;;;;;;;;;3054:27;;2924:165;;;;:::o;10356:323::-;10436:4;10480:1;10461:21;;:7;:21;;;;10453:30;;;;;;;;10528:45;10562:10;10528:8;:20;10537:10;10528:20;;;;;;;;;;;;;;;:29;10549:7;10528:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;10496:8;:20;10505:10;10496:20;;;;;;;;;;;;;;;:29;10517:7;10496:29;;;;;;;;;;;;;;;:77;;;;10610:7;10589:60;;10598:10;10589:60;;;10619:8;:20;10628:10;10619:20;;;;;;;;;;;;;;;:29;10640:7;10619:29;;;;;;;;;;;;;;;;10589:60;;;;;;;;;;;;;;;;;;10667:4;10660:11;;10356:323;;;;:::o;1312:150::-;1370:7;1403:1;1398;:6;;1390:15;;;;;;;;1416:9;1432:1;1428;:5;1416:17;;1453:1;1446:8;;;1312:150;;;;:::o;12871:300::-;12965:1;12946:21;;:7;:21;;;;12938:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13027:23;13044:5;13027:12;;:16;;:23;;;;:::i;:::-;13012:12;:38;;;;13082:29;13105:5;13082:9;:18;13092:7;13082:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;13061:9;:18;13071:7;13061:18;;;;;;;;;;;;;;;:50;;;;13153:1;13127:36;;13136:7;13127:36;;;13157:5;13127:36;;;;;;;;;;;;;;;;;;12871:300;;:::o;1538:150::-;1596:7;1616:9;1632:1;1628;:5;1616:17;;1657:1;1652;:6;;1644:15;;;;;;;;1679:1;1672:8;;;1538:150;;;;:::o;4591:123::-;4647:24;4663:7;4647:11;:15;;:24;;;;:::i;:::-;4698:7;4687:19;;;;;;;;;;;;4591:123;:::o;7291:106::-;7346:7;7373:9;:16;7383:5;7373:16;;;;;;;;;;;;;;;;7366:23;;7291:106;;;:::o;13570:332::-;13681:1;13649:8;:17;13658:7;13649:17;;;;;;;;;;;;;;;:29;13667:10;13649:29;;;;;;;;;;;;;;;;:33;13641:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13746:40;13780:5;13746:8;:17;13755:7;13746:17;;;;;;;;;;;;;;;:29;13764:10;13746:29;;;;;;;;;;;;;;;;:33;;:40;;;;:::i;:::-;13714:8;:17;13723:7;13714:17;;;;;;;;;;;;;;;:29;13732:10;13714:29;;;;;;;;;;;;;;;:72;;;;13797:21;13803:7;13812:5;13797;:21::i;:::-;13852:10;13834:60;;13843:7;13834:60;;;13864:8;:17;13873:7;13864:17;;;;;;;;;;;;;;;:29;13882:10;13864:29;;;;;;;;;;;;;;;;13834:60;;;;;;;;;;;;;;;;;;13570:332;;:::o;20170:508::-;20234:4;20251:25;20279:12;:20;20292:6;20279:20;;;;;;;;;;;;;;;20300:3;20279:25;;;;;;;;;;;;;;;;;;;;20251:53;;20315:21;20339:8;:16;;;20315:40;;20373:12;:20;20386:6;20373:20;;;;;;;;;;;;;;;20394:3;20373:25;;;;;;;;;;;;;;;;;;;;;20366:32;;;;;;;;;;;;;;20437:12;:20;20450:6;20437:20;;;;;;;;;;;;;;;20458:34;20490:1;20458:12;:20;20471:6;20458:20;;;;;;;;;;;;;;;:27;;;;:31;;:34;;;;:::i;:::-;20437:56;;;;;;;;;;;;;;;;;;;;20409:12;:20;20422:6;20409:20;;;;;;;;;;;;;;;20430:3;20409:25;;;;;;;;;;;;;;;;;;;;:84;;;;;;;;;;;;;;;;;;;20535:1;20504:12;:20;20517:6;20504:20;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;:::i;:::-;;20559:6;20552:29;;;20567:13;20552:29;;;;;;;;;;;;;;;;;;20612:36;20634:13;20612:9;:17;20622:6;20612:17;;;;;;;;;;;;;;;;:21;;:36;;;;:::i;:::-;20592:9;:17;20602:6;20592:17;;;;;;;;;;;;;;;:56;;;;20666:4;20659:11;;;;20170:508;;;;:::o;11199:333::-;11284:4;11328:1;11309:21;;:7;:21;;;;11301:30;;;;;;;;11376:50;11410:15;11376:8;:20;11385:10;11376:20;;;;;;;;;;;;;;;:29;11397:7;11376:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;11344:8;:20;11353:10;11344:20;;;;;;;;;;;;;;;:29;11365:7;11344:29;;;;;;;;;;;;;;;:82;;;;11463:7;11442:60;;11451:10;11442:60;;;11472:8;:20;11481:10;11472:20;;;;;;;;;;;;;;;:29;11493:7;11472:29;;;;;;;;;;;;;;;;11442:60;;;;;;;;;;;;;;;;;;11520:4;11513:11;;11199:333;;;;:::o;13958:132::-;14033:4;5389:7;;;;;;;;;;;5388:8;5380:17;;;;;;;;14057:25;14072:2;14076:5;14057:14;:25::i;:::-;14050:32;;13958:132;;;;:::o;11754:262::-;11856:1;11842:16;;:2;:16;;;;11834:25;;;;;;;;11890:26;11910:5;11890:9;:15;11900:4;11890:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;11872:9;:15;11882:4;11872:15;;;;;;;;;;;;;;;:44;;;;11943:24;11961:5;11943:9;:13;11953:2;11943:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;11927:9;:13;11937:2;11927:13;;;;;;;;;;;;;;;:40;;;;11998:2;11983:25;;11992:4;11983:25;;;12002:5;11983:25;;;;;;;;;;;;;;;;;;11754:262;;;:::o;19868:294::-;19953:4;19990:28;20012:5;19990:9;:17;20000:6;19990:17;;;;;;;;;;;;;;;;:21;;:28;;;;:::i;:::-;19970:9;:17;19980:6;19970:17;;;;;;;;;;;;;;;:48;;;;20029:12;:20;20042:6;20029:20;;;;;;;;;;;;;;;20055:28;;;;;;;;;20064:11;20055:28;;;;20077:5;20055:28;;;20029:55;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;20029:55:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20105:6;20100:32;;;20113:5;20120:11;20100:32;;;;;;;;;;;;;;;;;;;;;;;;20150:4;20143:11;;19868:294;;;;;:::o;2729:187::-;2828:1;2809:21;;:7;:21;;;;2801:30;;;;;;;;2850:18;2854:4;2860:7;2850:3;:18::i;:::-;2842:27;;;;;;;;2903:5;2880:4;:11;;:20;2892:7;2880:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;2729:187;;:::o;9542:299::-;9621:4;9667:37;9698:5;9667:8;:14;9676:4;9667:14;;;;;;;;;;;;;;;:26;9682:10;9667:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;9638:8;:14;9647:4;9638:14;;;;;;;;;;;;;;;:26;9653:10;9638:26;;;;;;;;;;;;;;;:66;;;;9715:26;9725:4;9731:2;9735:5;9715:9;:26::i;:::-;9772:10;9757:54;;9766:4;9757:54;;;9784:8;:14;9793:4;9784:14;;;;;;;;;;;;;;;:26;9799:10;9784:26;;;;;;;;;;;;;;;;9757:54;;;;;;;;;;;;;;;;;;9829:4;9822:11;;9542:299;;;;;:::o;2537:184::-;2633:1;2614:21;;:7;:21;;;;2606:30;;;;;;;;2656:18;2660:4;2666:7;2656:3;:18::i;:::-;2655:19;2647:28;;;;;;;;2709:4;2686;:11;;:20;2698:7;2686:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;2537:184;;:::o;8038:140::-;8099:4;8116:32;8126:10;8138:2;8142:5;8116:9;:32::i;:::-;8166:4;8159:11;;8038:140;;;;:::o;15555:6809::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1968:471::-;2036:7;2072:1;2060:8;:13;2056:376;;;2097:1;2090:8;;;;2056:376;2141:1;2129:8;:13;2125:307;;;2166:4;2159:11;;;;2125:307;2209:1;2201:4;:9;:26;;;;;2226:1;2214:8;:13;;2201:26;2197:235;;;2251:1;2244:8;;;;2197:235;2294:9;2306:4;2294:16;;2330:9;2342:1;2330:13;;2325:72;2349:8;2345:1;:12;2325:72;;;2385:12;2389:1;2392:4;2385:3;:12::i;:::-;2381:16;;2359:3;;;;;;;2325:72;;;;2419:1;2412:8;;;1968:471;;;;;:::o;327:433::-;385:7;634:1;629;:6;625:47;;;659:1;652:8;;;;625:47;684:9;700:1;696;:5;684:17;;729:1;724;720;:5;;;;;;;;:10;712:19;;;;;;;;751:1;744:8;;;327:433;;;;;:::o

bzzr://0e246b325ed9fa52b2a6a20fecc8aaba637a92f32dfab4afdd04f8ba6bdf383e