Token

Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

//SPDX-License-Identifier: GPL-3.0-or-later

//  ______                        __  __          __
// /_  __/__  _  ______ ______   / / / /__  ___  / /__  _____
//  / / / _ \| |/_/ __ `/ ___/  / /_/ / _ \/ _ \/ / _ \/ ___/
// / / /  __/>  </ /_/ (__  )  / __  /  __/  __/ /  __/ /
///_/  \___/_/|_|\__,_/____/  /_/ /_/\___/\___/_/\___/_/
//
// You are doing it right, anon!
//
// Every time check smart contract:
// - check if you can view as source and not as bytecode
// - look for the mint function if is enabled and if yes look for the capped mint,
// - check if you can sell
// - if there is upgrade proxy that could be miss-used
//
// See, we are good ;-)

pragma solidity >=0.6.2;

import "./Context.sol";
import "./IERC20.sol";
import "./Ownable.sol";
import "./SafeMath.sol";
import "./Address.sol";

contract Texas is Context, IERC20, Ownable {
    using SafeMath for uint256;
    using Address for address;

    mapping (address => uint256) private _rOwned;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;

    mapping (address => bool) private _isExcluded;
    address[] private _excluded;

    uint256 private constant MAX = ~uint256(0);
    uint256 private _tTotal = 25000000 * 10**9;
    uint256 private _rTotal = (MAX - (MAX % _tTotal));
    uint256 private _tFeeTotal;
    uint256 private _tBurnTotal;

    string private _name = 'Texas Heeler';
    string private _symbol = 'TEXAS';
    uint8 private _decimals = 9;

    uint256 private _taxFee = 2;
    uint256 private _burnFee = 2;
    uint256 private _maxTxAmount = 1000000000000e9;

    constructor () public {
        _rOwned[_msgSender()] = _rTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function name() public view returns (string memory) {
        return _name;
    }

    function symbol() public view returns (string memory) {
        return _symbol;
    }

    function decimals() public view returns (uint8) {
        return _decimals;
    }

    function totalSupply() public view override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        if (_isExcluded[account]) return _tOwned[account];
        return tokenFromReflection(_rOwned[account]);
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }

    function isExcluded(address account) public view returns (bool) {
        return _isExcluded[account];
    }

    function totalFees() public view returns (uint256) {
        return _tFeeTotal;
    }

    function totalBurn() public view returns (uint256) {
        return _tBurnTotal;
    }

    function deliver(uint256 tAmount) public {
        address sender = _msgSender();
        require(!_isExcluded[sender], "Excluded addresses cannot call this function");
        (uint256 rAmount,,,,,) = _getValues(tAmount);
        _rOwned[sender] = _rOwned[sender].sub(rAmount);
        _rTotal = _rTotal.sub(rAmount);
        _tFeeTotal = _tFeeTotal.add(tAmount);
    }

    function reflectionFromToken(uint256 tAmount, bool deductTransferFee) public view returns(uint256) {
        require(tAmount <= _tTotal, "Amount must be less than supply");
        if (!deductTransferFee) {
            (uint256 rAmount,,,,,) = _getValues(tAmount);
            return rAmount;
        } else {
            (,uint256 rTransferAmount,,,,) = _getValues(tAmount);
            return rTransferAmount;
        }
    }

    function tokenFromReflection(uint256 rAmount) public view returns(uint256) {
        require(rAmount <= _rTotal, "Amount must be less than total reflections");
        uint256 currentRate =  _getRate();
        return rAmount.div(currentRate);
    }

    function excludeAccount(address account) external onlyOwner() {
        require(account != 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D, 'We can not exclude Uniswap router.');
        require(!_isExcluded[account], "Account is already excluded");
        if(_rOwned[account] > 0) {
            _tOwned[account] = tokenFromReflection(_rOwned[account]);
        }
        _isExcluded[account] = true;
        _excluded.push(account);
    }

    function includeAccount(address account) external onlyOwner() {
        require(_isExcluded[account], "Account is already excluded");
        for (uint256 i = 0; i < _excluded.length; i++) {
            if (_excluded[i] == account) {
                _excluded[i] = _excluded[_excluded.length - 1];
                _tOwned[account] = 0;
                _isExcluded[account] = false;
                _excluded.pop();
                break;
            }
        }
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _transfer(address sender, address recipient, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");

        if(sender != owner() && recipient != owner())
            require(amount <= _maxTxAmount, "Transfer amount exceeds the maxTxAmount.");

        if (_isExcluded[sender] && !_isExcluded[recipient]) {
            _transferFromExcluded(sender, recipient, amount);
        } else if (!_isExcluded[sender] && _isExcluded[recipient]) {
            _transferToExcluded(sender, recipient, amount);
        } else if (!_isExcluded[sender] && !_isExcluded[recipient]) {
            _transferStandard(sender, recipient, amount);
        } else if (_isExcluded[sender] && _isExcluded[recipient]) {
            _transferBothExcluded(sender, recipient, amount);
        } else {
            _transferStandard(sender, recipient, amount);
        }
    }

    function _transferStandard(address sender, address recipient, uint256 tAmount) private {
        uint256 currentRate =  _getRate();
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee, uint256 tTransferAmount, uint256 tFee, uint256 tBurn) = _getValues(tAmount);
        uint256 rBurn =  tBurn.mul(currentRate);
        _rOwned[sender] = _rOwned[sender].sub(rAmount);
        _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount);
        _reflectFee(rFee, rBurn, tFee, tBurn);
        emit Transfer(sender, recipient, tTransferAmount);
    }

    function _transferToExcluded(address sender, address recipient, uint256 tAmount) private {
        uint256 currentRate =  _getRate();
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee, uint256 tTransferAmount, uint256 tFee, uint256 tBurn) = _getValues(tAmount);
        uint256 rBurn =  tBurn.mul(currentRate);
        _rOwned[sender] = _rOwned[sender].sub(rAmount);
        _tOwned[recipient] = _tOwned[recipient].add(tTransferAmount);
        _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount);
        _reflectFee(rFee, rBurn, tFee, tBurn);
        emit Transfer(sender, recipient, tTransferAmount);
    }

    function _transferFromExcluded(address sender, address recipient, uint256 tAmount) private {
        uint256 currentRate =  _getRate();
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee, uint256 tTransferAmount, uint256 tFee, uint256 tBurn) = _getValues(tAmount);
        uint256 rBurn =  tBurn.mul(currentRate);
        _tOwned[sender] = _tOwned[sender].sub(tAmount);
        _rOwned[sender] = _rOwned[sender].sub(rAmount);
        _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount);
        _reflectFee(rFee, rBurn, tFee, tBurn);
        emit Transfer(sender, recipient, tTransferAmount);
    }

    function _transferBothExcluded(address sender, address recipient, uint256 tAmount) private {
        uint256 currentRate =  _getRate();
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee, uint256 tTransferAmount, uint256 tFee, uint256 tBurn) = _getValues(tAmount);
        uint256 rBurn =  tBurn.mul(currentRate);
        _tOwned[sender] = _tOwned[sender].sub(tAmount);
        _rOwned[sender] = _rOwned[sender].sub(rAmount);
        _tOwned[recipient] = _tOwned[recipient].add(tTransferAmount);
        _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount);
        _reflectFee(rFee, rBurn, tFee, tBurn);
        emit Transfer(sender, recipient, tTransferAmount);
    }

    function _reflectFee(uint256 rFee, uint256 rBurn, uint256 tFee, uint256 tBurn) private {
        _rTotal = _rTotal.sub(rFee).sub(rBurn);
        _tFeeTotal = _tFeeTotal.add(tFee);
        _tBurnTotal = _tBurnTotal.add(tBurn);
        _tTotal = _tTotal.sub(tBurn);
    }

    function _getValues(uint256 tAmount) private view returns (uint256, uint256, uint256, uint256, uint256, uint256) {
        (uint256 tTransferAmount, uint256 tFee, uint256 tBurn) = _getTValues(tAmount, _taxFee, _burnFee);
        uint256 currentRate =  _getRate();
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee) = _getRValues(tAmount, tFee, tBurn, currentRate);
        return (rAmount, rTransferAmount, rFee, tTransferAmount, tFee, tBurn);
    }

    function _getTValues(uint256 tAmount, uint256 taxFee, uint256 burnFee) private pure returns (uint256, uint256, uint256) {
        uint256 tFee = tAmount.mul(taxFee).div(100);
        uint256 tBurn = tAmount.mul(burnFee).div(100);
        uint256 tTransferAmount = tAmount.sub(tFee).sub(tBurn);
        return (tTransferAmount, tFee, tBurn);
    }

    function _getRValues(uint256 tAmount, uint256 tFee, uint256 tBurn, uint256 currentRate) private pure returns (uint256, uint256, uint256) {
        uint256 rAmount = tAmount.mul(currentRate);
        uint256 rFee = tFee.mul(currentRate);
        uint256 rBurn = tBurn.mul(currentRate);
        uint256 rTransferAmount = rAmount.sub(rFee).sub(rBurn);
        return (rAmount, rTransferAmount, rFee);
    }

    function _getRate() private view returns(uint256) {
        (uint256 rSupply, uint256 tSupply) = _getCurrentSupply();
        return rSupply.div(tSupply);
    }

    function _getCurrentSupply() private view returns(uint256, uint256) {
        uint256 rSupply = _rTotal;
        uint256 tSupply = _tTotal;
        for (uint256 i = 0; i < _excluded.length; i++) {
            if (_rOwned[_excluded[i]] > rSupply || _tOwned[_excluded[i]] > tSupply) return (_rTotal, _tTotal);
            rSupply = rSupply.sub(_rOwned[_excluded[i]]);
            tSupply = tSupply.sub(_tOwned[_excluded[i]]);
        }
        if (rSupply < _rTotal.div(_tTotal)) return (_rTotal, _tTotal);
        return (rSupply, tSupply);
    }

    function _getTaxFee() private view returns(uint256) {
        return _taxFee;
    }

    function _getMaxTxAmount() private view returns(uint256) {
        return _maxTxAmount;
    }

    function _setTaxFee(uint256 taxFee) external onlyOwner() {
        require(taxFee >= _taxFee && taxFee <= 49, 'taxFee can only be increased and max is 49');
        _taxFee = taxFee;
    }

    function _setBurnFee(uint256 burnFee) external onlyOwner() {
        require(burnFee >= _burnFee && burnFee <= 49, 'burnFee can only be increased and max is 49');
        _burnFee = burnFee;
    }

    function _setMaxTxAmount(uint256 maxTxAmount) external onlyOwner() {
        require(maxTxAmount >= 1000000000000e9 , 'maxTxAmount should be greater than 1000000000000e9');
        _maxTxAmount = maxTxAmount;
    }
}

pragma solidity ^0.6.0;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // According to EIP-1052, 0x0 is the value returned for not-yet created accounts
        // and 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 is returned
        // for accounts without code, i.e. `keccak256('')`
        bytes32 codehash;
        bytes32 accountHash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470;
        // solhint-disable-next-line no-inline-assembly
        assembly { codehash := extcodehash(account) }
        return (codehash != accountHash && codehash != 0x0);
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
        (bool success, ) = recipient.call{ value: amount }("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain`call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCall(target, data, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
        return _functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(address target, bytes memory data, uint256 value, string memory errorMessage) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        return _functionCallWithValue(target, data, value, errorMessage);
    }

    function _functionCallWithValue(address target, bytes memory data, uint256 weiValue, string memory errorMessage) private returns (bytes memory) {
        require(isContract(target), "Address: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.call{ value: weiValue }(data);
        if (success) {
            return returndata;
        } else {
            // Look for revert reason and bubble it up if present
            if (returndata.length > 0) {
                // The easiest way to bubble the revert reason is using memory via assembly

                // solhint-disable-next-line no-inline-assembly
                assembly {
                    let returndata_size := mload(returndata)
                    revert(add(32, returndata), returndata_size)
                }
            } else {
                revert(errorMessage);
            }
        }
    }
}

pragma solidity ^0.6.0;

abstract contract Context {
    function _msgSender() internal view virtual returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

pragma solidity ^0.6.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: 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
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

pragma solidity ^0.6.0;

import "./Context.sol";

contract Ownable is Context {
    address private _owner;
    address private _previousOwner;
    uint256 private _lockTime;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor () internal {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
    * @dev Leaves the contract without owner. It will not be possible to call
    * `onlyOwner` functions anymore. Can only be called by the current owner.
    *
    * NOTE: Renouncing ownership will leave the contract without an owner,
    * thereby removing any functionality that is only available to the owner.
    */
    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }

    function geUnlockTime() public view returns (uint256) {
        return _lockTime;
    }

    //Locks the contract for owner for the amount of time provided
    function lock(uint256 time) public virtual onlyOwner {
        _previousOwner = _owner;
        _owner = address(0);
        _lockTime = now + time;
        emit OwnershipTransferred(_owner, address(0));
    }

    //Unlocks the contract for owner when _lockTime is exceeds
    function unlock() public virtual {
        require(_previousOwner == msg.sender, "You don't have permission to unlock");
        require(now > _lockTime , "Contract is locked until 7 days");
        emit OwnershipTransferred(_owner, _previousOwner);
        _owner = _previousOwner;
    }
}

pragma solidity ^0.6.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot 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-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"uint256","name":"burnFee","type":"uint256"}],"name":"_setBurnFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"maxTxAmount","type":"uint256"}],"name":"_setMaxTxAmount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"taxFee","type":"uint256"}],"name":"_setTaxFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"tAmount","type":"uint256"}],"name":"deliver","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"excludeAccount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"geUnlockTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"includeAccount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isExcluded","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"time","type":"uint256"}],"name":"lock","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tAmount","type":"uint256"},{"internalType":"bool","name":"deductTransferFee","type":"bool"}],"name":"reflectionFromToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"rAmount","type":"uint256"}],"name":"tokenFromReflection","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalBurn","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalFees","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unlock","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6658d15e17628000600855662000a636427fff1960095560c0604052600c60808190526b2a32bc30b9902432b2b632b960a11b60a090815262000044919081620001a4565b5060408051808201909152600580825264544558415360d81b60209092019182526200007391600d91620001a4565b50600e805460ff191660091790556002600f819055601055683635c9adc5dea00000601155348015620000a557600080fd5b506000620000bb6001600160e01b036200019f16565b600080546001600160a01b0319166001600160a01b0383169081178255604051929350917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600954600360006200011f6001600160e01b036200019f16565b6001600160a01b031681526020810191909152604001600020556200014c6001600160e01b036200019f16565b6001600160a01b031660006001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6008546040518082815260200191505060405180910390a362000246565b335b90565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001e757805160ff191683800117855562000217565b8280016001018555821562000217579182015b8281111562000217578251825591602001919060010190620001fa565b506200022592915062000229565b5090565b620001a191905b8082111562000225576000815560010162000230565b6122b280620002566000396000f3fe608060405234801561001057600080fd5b50600436106101c45760003560e01c806370a08231116100f9578063b6c5232411610097578063dd62ed3e11610071578063dd62ed3e146104ed578063f2cc0c181461051b578063f2fde38b14610541578063f84354f114610567576101c4565b8063b6c52324146104a2578063cba0e996146104aa578063dd467064146104d0576101c4565b806395d89b41116100d357806395d89b411461043a578063a457c2d714610442578063a69df4b51461046e578063a9059cbb14610476576101c4565b806370a08231146103e8578063715018a61461040e5780638da5cb5b14610416576101c4565b8063313ce567116101665780633bd5d173116101405780633bd5d173146103815780633c9f861d1461039e5780634549b039146103a65780635880b873146103cb576101c4565b8063313ce5671461031a57806339509351146103385780633b6b196114610364576101c4565b806318160ddd116101a257806318160ddd146102a05780631bbae6e0146102a857806323b872dd146102c75780632d838119146102fd576101c4565b806306fdde03146101c9578063095ea7b31461024657806313114a9d14610286575b600080fd5b6101d161058d565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561020b5781810151838201526020016101f3565b50505050905090810190601f1680156102385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102726004803603604081101561025c57600080fd5b506001600160a01b038135169060200135610623565b604080519115158252519081900360200190f35b61028e610641565b60408051918252519081900360200190f35b61028e610647565b6102c5600480360360208110156102be57600080fd5b503561064d565b005b610272600480360360608110156102dd57600080fd5b506001600160a01b038135811691602081013590911690604001356106f2565b61028e6004803603602081101561031357600080fd5b503561077f565b6103226107e7565b6040805160ff9092168252519081900360200190f35b6102726004803603604081101561034e57600080fd5b506001600160a01b0381351690602001356107f0565b6102c56004803603602081101561037a57600080fd5b5035610844565b6102c56004803603602081101561039757600080fd5b50356108ef565b61028e6109d5565b61028e600480360360408110156103bc57600080fd5b508035906020013515156109db565b6102c5600480360360208110156103e157600080fd5b5035610a6d565b61028e600480360360208110156103fe57600080fd5b50356001600160a01b0316610b18565b6102c5610b7a565b61041e610c0a565b604080516001600160a01b039092168252519081900360200190f35b6101d1610c19565b6102726004803603604081101561045857600080fd5b506001600160a01b038135169060200135610c7a565b6102c5610ce8565b6102726004803603604081101561048c57600080fd5b506001600160a01b038135169060200135610dd6565b61028e610dea565b610272600480360360208110156104c057600080fd5b50356001600160a01b0316610df0565b6102c5600480360360208110156104e657600080fd5b5035610e0e565b61028e6004803603604081101561050357600080fd5b506001600160a01b0381358116916020013516610eac565b6102c56004803603602081101561053157600080fd5b50356001600160a01b0316610ed7565b6102c56004803603602081101561055757600080fd5b50356001600160a01b03166110b9565b6102c56004803603602081101561057d57600080fd5b50356001600160a01b031661119f565b600c8054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106195780601f106105ee57610100808354040283529160200191610619565b820191906000526020600020905b8154815290600101906020018083116105fc57829003601f168201915b5050505050905090565b6000610637610630611360565b8484611364565b5060015b92915050565b600a5490565b60085490565b610655611360565b6000546001600160a01b039081169116146106a5576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b683635c9adc5dea000008110156106ed5760405162461bcd60e51b81526004018080602001828103825260328152602001806120ee6032913960400191505060405180910390fd5b601155565b60006106ff848484611450565b6107758461070b611360565b61077085604051806060016040528060288152602001612086602891396001600160a01b038a16600090815260056020526040812090610749611360565b6001600160a01b03168152602081019190915260400160002054919063ffffffff6116fa16565b611364565b5060019392505050565b60006009548211156107c25760405162461bcd60e51b815260040180806020018281038252602a815260200180611fcb602a913960400191505060405180910390fd5b60006107cc611791565b90506107de838263ffffffff6117ba16565b9150505b919050565b600e5460ff1690565b60006106376107fd611360565b84610770856005600061080e611360565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff61180316565b61084c611360565b6000546001600160a01b0390811691161461089c576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b60105481101580156108af575060318111155b6108ea5760405162461bcd60e51b815260040180806020018281038252602b815260200180612149602b913960400191505060405180910390fd5b601055565b60006108f9611360565b6001600160a01b03811660009081526006602052604090205490915060ff16156109545760405162461bcd60e51b815260040180806020018281038252602c815260200180612209602c913960400191505060405180910390fd5b600061095f8361185d565b505050506001600160a01b03841660009081526003602052604090205491925061098b919050826118ba565b6001600160a01b0383166000908152600360205260409020556009546109b7908263ffffffff6118ba16565b600955600a546109cd908463ffffffff61180316565b600a55505050565b600b5490565b6000600854831115610a34576040805162461bcd60e51b815260206004820152601f60248201527f416d6f756e74206d757374206265206c657373207468616e20737570706c7900604482015290519081900360640190fd5b81610a53576000610a448461185d565b5093955061063b945050505050565b6000610a5e8461185d565b5092955061063b945050505050565b610a75611360565b6000546001600160a01b03908116911614610ac5576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b600f548110158015610ad8575060318111155b610b135760405162461bcd60e51b815260040180806020018281038252602a8152602001806121bd602a913960400191505060405180910390fd5b600f55565b6001600160a01b03811660009081526006602052604081205460ff1615610b5857506001600160a01b0381166000908152600460205260409020546107e2565b6001600160a01b03821660009081526003602052604090205461063b9061077f565b610b82611360565b6000546001600160a01b03908116911614610bd2576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b600080546040516001600160a01b03909116906000805160206120ce833981519152908390a3600080546001600160a01b0319169055565b6000546001600160a01b031690565b600d8054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106195780601f106105ee57610100808354040283529160200191610619565b6000610637610c87611360565b84610770856040518060600160405280602581526020016122586025913960056000610cb1611360565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff6116fa16565b6001546001600160a01b03163314610d315760405162461bcd60e51b81526004018080602001828103825260238152602001806122356023913960400191505060405180910390fd5b6002544211610d87576040805162461bcd60e51b815260206004820152601f60248201527f436f6e7472616374206973206c6f636b656420756e74696c2037206461797300604482015290519081900360640190fd5b600154600080546040516001600160a01b0393841693909116916000805160206120ce83398151915291a3600154600080546001600160a01b0319166001600160a01b03909216919091179055565b6000610637610de3611360565b8484611450565b60025490565b6001600160a01b031660009081526006602052604090205460ff1690565b610e16611360565b6000546001600160a01b03908116911614610e66576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b60008054600180546001600160a01b03199081166001600160a01b0384161790915516815542820160025560405181906000805160206120ce833981519152908290a350565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b610edf611360565b6000546001600160a01b03908116911614610f2f576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b737a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b0382161415610f8b5760405162461bcd60e51b81526004018080602001828103825260228152602001806121e76022913960400191505060405180910390fd5b6001600160a01b03811660009081526006602052604090205460ff1615610ff9576040805162461bcd60e51b815260206004820152601b60248201527f4163636f756e7420697320616c7265616479206578636c756465640000000000604482015290519081900360640190fd5b6001600160a01b03811660009081526003602052604090205415611053576001600160a01b0381166000908152600360205260409020546110399061077f565b6001600160a01b0382166000908152600460205260409020555b6001600160a01b03166000818152600660205260408120805460ff191660019081179091556007805491820181559091527fa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c6880180546001600160a01b0319169091179055565b6110c1611360565b6000546001600160a01b03908116911614611111576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b6001600160a01b0381166111565760405162461bcd60e51b8152600401808060200182810382526026815260200180611ff56026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216916000805160206120ce83398151915291a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6111a7611360565b6000546001600160a01b039081169116146111f7576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b6001600160a01b03811660009081526006602052604090205460ff16611264576040805162461bcd60e51b815260206004820152601b60248201527f4163636f756e7420697320616c7265616479206578636c756465640000000000604482015290519081900360640190fd5b60005b60075481101561135c57816001600160a01b03166007828154811061128857fe5b6000918252602090912001546001600160a01b03161415611354576007805460001981019081106112b557fe5b600091825260209091200154600780546001600160a01b0390921691839081106112db57fe5b600091825260208083209190910180546001600160a01b0319166001600160a01b039485161790559184168152600482526040808220829055600690925220805460ff19169055600780548061132d57fe5b600082815260209020810160001990810180546001600160a01b031916905501905561135c565b600101611267565b5050565b3390565b6001600160a01b0383166113a95760405162461bcd60e51b81526004018080602001828103825260248152602001806121996024913960400191505060405180910390fd5b6001600160a01b0382166113ee5760405162461bcd60e51b815260040180806020018281038252602281526020018061201b6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260056020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0383166114955760405162461bcd60e51b81526004018080602001828103825260258152602001806121746025913960400191505060405180910390fd5b6001600160a01b0382166114da5760405162461bcd60e51b8152600401808060200182810382526023815260200180611fa86023913960400191505060405180910390fd5b600081116115195760405162461bcd60e51b81526004018080602001828103825260298152602001806121206029913960400191505060405180910390fd5b611521610c0a565b6001600160a01b0316836001600160a01b03161415801561155b5750611545610c0a565b6001600160a01b0316826001600160a01b031614155b156115a1576011548111156115a15760405162461bcd60e51b815260040180806020018281038252602881526020018061203d6028913960400191505060405180910390fd5b6001600160a01b03831660009081526006602052604090205460ff1680156115e257506001600160a01b03821660009081526006602052604090205460ff16155b156115f7576115f28383836118fc565b6116f5565b6001600160a01b03831660009081526006602052604090205460ff1615801561163857506001600160a01b03821660009081526006602052604090205460ff165b15611648576115f2838383611a4e565b6001600160a01b03831660009081526006602052604090205460ff1615801561168a57506001600160a01b03821660009081526006602052604090205460ff16155b1561169a576115f2838383611b2a565b6001600160a01b03831660009081526006602052604090205460ff1680156116da57506001600160a01b03821660009081526006602052604090205460ff165b156116ea576115f2838383611b95565b6116f5838383611b2a565b505050565b600081848411156117895760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561174e578181015183820152602001611736565b50505050905090810190601f16801561177b5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600080600061179e611c35565b90925090506117b3828263ffffffff6117ba16565b9250505090565b60006117fc83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611daa565b9392505050565b6000828201838110156117fc576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b600080600080600080600080600061187a8a600f54601054611e0f565b925092509250600061188a611791565b9050600080600061189d8e878787611e82565b919e509c509a509598509396509194505050505091939550919395565b60006117fc83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506116fa565b6000611906611791565b905060008060008060008061191a8861185d565b955095509550955095509550600061193b8883611eea90919063ffffffff16565b6001600160a01b038c16600090815260046020526040902054909150611967908a63ffffffff6118ba16565b6001600160a01b038c1660009081526004602090815260408083209390935560039052205461199c908863ffffffff6118ba16565b6001600160a01b03808d1660009081526003602052604080822093909355908c16815220546119d1908763ffffffff61180316565b6001600160a01b038b166000908152600360205260409020556119f685828585611f43565b896001600160a01b03168b6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a35050505050505050505050565b6000611a58611791565b9050600080600080600080611a6c8861185d565b9550955095509550955095506000611a8d8883611eea90919063ffffffff16565b6001600160a01b038c16600090815260036020526040902054909150611ab9908863ffffffff6118ba16565b6001600160a01b03808d16600090815260036020908152604080832094909455918d16815260049091522054611af5908563ffffffff61180316565b6001600160a01b038b166000908152600460209081526040808320939093556003905220546119d1908763ffffffff61180316565b6000611b34611791565b9050600080600080600080611b488861185d565b9550955095509550955095506000611b698883611eea90919063ffffffff16565b6001600160a01b038c1660009081526003602052604090205490915061199c908863ffffffff6118ba16565b6000611b9f611791565b9050600080600080600080611bb38861185d565b9550955095509550955095506000611bd48883611eea90919063ffffffff16565b6001600160a01b038c16600090815260046020526040902054909150611c00908a63ffffffff6118ba16565b6001600160a01b038c16600090815260046020908152604080832093909355600390522054611ab9908863ffffffff6118ba16565b6009546008546000918291825b600754811015611d7257826003600060078481548110611c5e57fe5b60009182526020808320909101546001600160a01b031683528201929092526040019020541180611cc35750816004600060078481548110611c9c57fe5b60009182526020808320909101546001600160a01b03168352820192909252604001902054115b15611cda5760095460085494509450505050611da6565b611d206003600060078481548110611cee57fe5b60009182526020808320909101546001600160a01b03168352820192909252604001902054849063ffffffff6118ba16565b9250611d686004600060078481548110611d3657fe5b60009182526020808320909101546001600160a01b03168352820192909252604001902054839063ffffffff6118ba16565b9150600101611c42565b50600854600954611d889163ffffffff6117ba16565b821015611da057600954600854935093505050611da6565b90925090505b9091565b60008183611df95760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561174e578181015183820152602001611736565b506000838581611e0557fe5b0495945050505050565b6000808080611e356064611e29898963ffffffff611eea16565b9063ffffffff6117ba16565b90506000611e4e6064611e298a8963ffffffff611eea16565b90506000611e7282611e668b8663ffffffff6118ba16565b9063ffffffff6118ba16565b9992985090965090945050505050565b6000808080611e97888663ffffffff611eea16565b90506000611eab888763ffffffff611eea16565b90506000611ebf888863ffffffff611eea16565b90506000611ed782611e66868663ffffffff6118ba16565b939b939a50919850919650505050505050565b600082611ef95750600061063b565b82820282848281611f0657fe5b04146117fc5760405162461bcd60e51b81526004018080602001828103825260218152602001806120656021913960400191505060405180910390fd5b611f5c83611e66866009546118ba90919063ffffffff16565b600955600a54611f72908363ffffffff61180316565b600a55600b54611f88908263ffffffff61180316565b600b55600854611f9e908263ffffffff6118ba16565b6008555050505056fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373416d6f756e74206d757374206265206c657373207468616e20746f74616c207265666c656374696f6e734f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f20616464726573735472616e7366657220616d6f756e74206578636565647320746865206d61785478416d6f756e742e536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e63654f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65728be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e06d61785478416d6f756e742073686f756c642062652067726561746572207468616e203130303030303030303030303065395472616e7366657220616d6f756e74206d7573742062652067726561746572207468616e207a65726f6275726e4665652063616e206f6e6c7920626520696e6372656173656420616e64206d617820697320343945524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f20616464726573737461784665652063616e206f6e6c7920626520696e6372656173656420616e64206d617820697320343957652063616e206e6f74206578636c75646520556e697377617020726f757465722e4578636c75646564206164647265737365732063616e6e6f742063616c6c20746869732066756e6374696f6e596f7520646f6e27742068617665207065726d697373696f6e20746f20756e6c6f636b45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa26469706673582212200fb6f3aab417a2457403da1ce7bdb3164e502d8b73efe1864f8844ddd2c7f21b64736f6c63430006060033

0x608060405234801561001057600080fd5b50600436106101c45760003560e01c806370a08231116100f9578063b6c5232411610097578063dd62ed3e11610071578063dd62ed3e146104ed578063f2cc0c181461051b578063f2fde38b14610541578063f84354f114610567576101c4565b8063b6c52324146104a2578063cba0e996146104aa578063dd467064146104d0576101c4565b806395d89b41116100d357806395d89b411461043a578063a457c2d714610442578063a69df4b51461046e578063a9059cbb14610476576101c4565b806370a08231146103e8578063715018a61461040e5780638da5cb5b14610416576101c4565b8063313ce567116101665780633bd5d173116101405780633bd5d173146103815780633c9f861d1461039e5780634549b039146103a65780635880b873146103cb576101c4565b8063313ce5671461031a57806339509351146103385780633b6b196114610364576101c4565b806318160ddd116101a257806318160ddd146102a05780631bbae6e0146102a857806323b872dd146102c75780632d838119146102fd576101c4565b806306fdde03146101c9578063095ea7b31461024657806313114a9d14610286575b600080fd5b6101d161058d565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561020b5781810151838201526020016101f3565b50505050905090810190601f1680156102385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102726004803603604081101561025c57600080fd5b506001600160a01b038135169060200135610623565b604080519115158252519081900360200190f35b61028e610641565b60408051918252519081900360200190f35b61028e610647565b6102c5600480360360208110156102be57600080fd5b503561064d565b005b610272600480360360608110156102dd57600080fd5b506001600160a01b038135811691602081013590911690604001356106f2565b61028e6004803603602081101561031357600080fd5b503561077f565b6103226107e7565b6040805160ff9092168252519081900360200190f35b6102726004803603604081101561034e57600080fd5b506001600160a01b0381351690602001356107f0565b6102c56004803603602081101561037a57600080fd5b5035610844565b6102c56004803603602081101561039757600080fd5b50356108ef565b61028e6109d5565b61028e600480360360408110156103bc57600080fd5b508035906020013515156109db565b6102c5600480360360208110156103e157600080fd5b5035610a6d565b61028e600480360360208110156103fe57600080fd5b50356001600160a01b0316610b18565b6102c5610b7a565b61041e610c0a565b604080516001600160a01b039092168252519081900360200190f35b6101d1610c19565b6102726004803603604081101561045857600080fd5b506001600160a01b038135169060200135610c7a565b6102c5610ce8565b6102726004803603604081101561048c57600080fd5b506001600160a01b038135169060200135610dd6565b61028e610dea565b610272600480360360208110156104c057600080fd5b50356001600160a01b0316610df0565b6102c5600480360360208110156104e657600080fd5b5035610e0e565b61028e6004803603604081101561050357600080fd5b506001600160a01b0381358116916020013516610eac565b6102c56004803603602081101561053157600080fd5b50356001600160a01b0316610ed7565b6102c56004803603602081101561055757600080fd5b50356001600160a01b03166110b9565b6102c56004803603602081101561057d57600080fd5b50356001600160a01b031661119f565b600c8054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106195780601f106105ee57610100808354040283529160200191610619565b820191906000526020600020905b8154815290600101906020018083116105fc57829003601f168201915b5050505050905090565b6000610637610630611360565b8484611364565b5060015b92915050565b600a5490565b60085490565b610655611360565b6000546001600160a01b039081169116146106a5576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b683635c9adc5dea000008110156106ed5760405162461bcd60e51b81526004018080602001828103825260328152602001806120ee6032913960400191505060405180910390fd5b601155565b60006106ff848484611450565b6107758461070b611360565b61077085604051806060016040528060288152602001612086602891396001600160a01b038a16600090815260056020526040812090610749611360565b6001600160a01b03168152602081019190915260400160002054919063ffffffff6116fa16565b611364565b5060019392505050565b60006009548211156107c25760405162461bcd60e51b815260040180806020018281038252602a815260200180611fcb602a913960400191505060405180910390fd5b60006107cc611791565b90506107de838263ffffffff6117ba16565b9150505b919050565b600e5460ff1690565b60006106376107fd611360565b84610770856005600061080e611360565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff61180316565b61084c611360565b6000546001600160a01b0390811691161461089c576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b60105481101580156108af575060318111155b6108ea5760405162461bcd60e51b815260040180806020018281038252602b815260200180612149602b913960400191505060405180910390fd5b601055565b60006108f9611360565b6001600160a01b03811660009081526006602052604090205490915060ff16156109545760405162461bcd60e51b815260040180806020018281038252602c815260200180612209602c913960400191505060405180910390fd5b600061095f8361185d565b505050506001600160a01b03841660009081526003602052604090205491925061098b919050826118ba565b6001600160a01b0383166000908152600360205260409020556009546109b7908263ffffffff6118ba16565b600955600a546109cd908463ffffffff61180316565b600a55505050565b600b5490565b6000600854831115610a34576040805162461bcd60e51b815260206004820152601f60248201527f416d6f756e74206d757374206265206c657373207468616e20737570706c7900604482015290519081900360640190fd5b81610a53576000610a448461185d565b5093955061063b945050505050565b6000610a5e8461185d565b5092955061063b945050505050565b610a75611360565b6000546001600160a01b03908116911614610ac5576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b600f548110158015610ad8575060318111155b610b135760405162461bcd60e51b815260040180806020018281038252602a8152602001806121bd602a913960400191505060405180910390fd5b600f55565b6001600160a01b03811660009081526006602052604081205460ff1615610b5857506001600160a01b0381166000908152600460205260409020546107e2565b6001600160a01b03821660009081526003602052604090205461063b9061077f565b610b82611360565b6000546001600160a01b03908116911614610bd2576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b600080546040516001600160a01b03909116906000805160206120ce833981519152908390a3600080546001600160a01b0319169055565b6000546001600160a01b031690565b600d8054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106195780601f106105ee57610100808354040283529160200191610619565b6000610637610c87611360565b84610770856040518060600160405280602581526020016122586025913960056000610cb1611360565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff6116fa16565b6001546001600160a01b03163314610d315760405162461bcd60e51b81526004018080602001828103825260238152602001806122356023913960400191505060405180910390fd5b6002544211610d87576040805162461bcd60e51b815260206004820152601f60248201527f436f6e7472616374206973206c6f636b656420756e74696c2037206461797300604482015290519081900360640190fd5b600154600080546040516001600160a01b0393841693909116916000805160206120ce83398151915291a3600154600080546001600160a01b0319166001600160a01b03909216919091179055565b6000610637610de3611360565b8484611450565b60025490565b6001600160a01b031660009081526006602052604090205460ff1690565b610e16611360565b6000546001600160a01b03908116911614610e66576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b60008054600180546001600160a01b03199081166001600160a01b0384161790915516815542820160025560405181906000805160206120ce833981519152908290a350565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b610edf611360565b6000546001600160a01b03908116911614610f2f576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b737a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b0382161415610f8b5760405162461bcd60e51b81526004018080602001828103825260228152602001806121e76022913960400191505060405180910390fd5b6001600160a01b03811660009081526006602052604090205460ff1615610ff9576040805162461bcd60e51b815260206004820152601b60248201527f4163636f756e7420697320616c7265616479206578636c756465640000000000604482015290519081900360640190fd5b6001600160a01b03811660009081526003602052604090205415611053576001600160a01b0381166000908152600360205260409020546110399061077f565b6001600160a01b0382166000908152600460205260409020555b6001600160a01b03166000818152600660205260408120805460ff191660019081179091556007805491820181559091527fa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c6880180546001600160a01b0319169091179055565b6110c1611360565b6000546001600160a01b03908116911614611111576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b6001600160a01b0381166111565760405162461bcd60e51b8152600401808060200182810382526026815260200180611ff56026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216916000805160206120ce83398151915291a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6111a7611360565b6000546001600160a01b039081169116146111f7576040805162461bcd60e51b815260206004820181905260248201526000805160206120ae833981519152604482015290519081900360640190fd5b6001600160a01b03811660009081526006602052604090205460ff16611264576040805162461bcd60e51b815260206004820152601b60248201527f4163636f756e7420697320616c7265616479206578636c756465640000000000604482015290519081900360640190fd5b60005b60075481101561135c57816001600160a01b03166007828154811061128857fe5b6000918252602090912001546001600160a01b03161415611354576007805460001981019081106112b557fe5b600091825260209091200154600780546001600160a01b0390921691839081106112db57fe5b600091825260208083209190910180546001600160a01b0319166001600160a01b039485161790559184168152600482526040808220829055600690925220805460ff19169055600780548061132d57fe5b600082815260209020810160001990810180546001600160a01b031916905501905561135c565b600101611267565b5050565b3390565b6001600160a01b0383166113a95760405162461bcd60e51b81526004018080602001828103825260248152602001806121996024913960400191505060405180910390fd5b6001600160a01b0382166113ee5760405162461bcd60e51b815260040180806020018281038252602281526020018061201b6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260056020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0383166114955760405162461bcd60e51b81526004018080602001828103825260258152602001806121746025913960400191505060405180910390fd5b6001600160a01b0382166114da5760405162461bcd60e51b8152600401808060200182810382526023815260200180611fa86023913960400191505060405180910390fd5b600081116115195760405162461bcd60e51b81526004018080602001828103825260298152602001806121206029913960400191505060405180910390fd5b611521610c0a565b6001600160a01b0316836001600160a01b03161415801561155b5750611545610c0a565b6001600160a01b0316826001600160a01b031614155b156115a1576011548111156115a15760405162461bcd60e51b815260040180806020018281038252602881526020018061203d6028913960400191505060405180910390fd5b6001600160a01b03831660009081526006602052604090205460ff1680156115e257506001600160a01b03821660009081526006602052604090205460ff16155b156115f7576115f28383836118fc565b6116f5565b6001600160a01b03831660009081526006602052604090205460ff1615801561163857506001600160a01b03821660009081526006602052604090205460ff165b15611648576115f2838383611a4e565b6001600160a01b03831660009081526006602052604090205460ff1615801561168a57506001600160a01b03821660009081526006602052604090205460ff16155b1561169a576115f2838383611b2a565b6001600160a01b03831660009081526006602052604090205460ff1680156116da57506001600160a01b03821660009081526006602052604090205460ff165b156116ea576115f2838383611b95565b6116f5838383611b2a565b505050565b600081848411156117895760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561174e578181015183820152602001611736565b50505050905090810190601f16801561177b5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600080600061179e611c35565b90925090506117b3828263ffffffff6117ba16565b9250505090565b60006117fc83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611daa565b9392505050565b6000828201838110156117fc576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b600080600080600080600080600061187a8a600f54601054611e0f565b925092509250600061188a611791565b9050600080600061189d8e878787611e82565b919e509c509a509598509396509194505050505091939550919395565b60006117fc83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506116fa565b6000611906611791565b905060008060008060008061191a8861185d565b955095509550955095509550600061193b8883611eea90919063ffffffff16565b6001600160a01b038c16600090815260046020526040902054909150611967908a63ffffffff6118ba16565b6001600160a01b038c1660009081526004602090815260408083209390935560039052205461199c908863ffffffff6118ba16565b6001600160a01b03808d1660009081526003602052604080822093909355908c16815220546119d1908763ffffffff61180316565b6001600160a01b038b166000908152600360205260409020556119f685828585611f43565b896001600160a01b03168b6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a35050505050505050505050565b6000611a58611791565b9050600080600080600080611a6c8861185d565b9550955095509550955095506000611a8d8883611eea90919063ffffffff16565b6001600160a01b038c16600090815260036020526040902054909150611ab9908863ffffffff6118ba16565b6001600160a01b03808d16600090815260036020908152604080832094909455918d16815260049091522054611af5908563ffffffff61180316565b6001600160a01b038b166000908152600460209081526040808320939093556003905220546119d1908763ffffffff61180316565b6000611b34611791565b9050600080600080600080611b488861185d565b9550955095509550955095506000611b698883611eea90919063ffffffff16565b6001600160a01b038c1660009081526003602052604090205490915061199c908863ffffffff6118ba16565b6000611b9f611791565b9050600080600080600080611bb38861185d565b9550955095509550955095506000611bd48883611eea90919063ffffffff16565b6001600160a01b038c16600090815260046020526040902054909150611c00908a63ffffffff6118ba16565b6001600160a01b038c16600090815260046020908152604080832093909355600390522054611ab9908863ffffffff6118ba16565b6009546008546000918291825b600754811015611d7257826003600060078481548110611c5e57fe5b60009182526020808320909101546001600160a01b031683528201929092526040019020541180611cc35750816004600060078481548110611c9c57fe5b60009182526020808320909101546001600160a01b03168352820192909252604001902054115b15611cda5760095460085494509450505050611da6565b611d206003600060078481548110611cee57fe5b60009182526020808320909101546001600160a01b03168352820192909252604001902054849063ffffffff6118ba16565b9250611d686004600060078481548110611d3657fe5b60009182526020808320909101546001600160a01b03168352820192909252604001902054839063ffffffff6118ba16565b9150600101611c42565b50600854600954611d889163ffffffff6117ba16565b821015611da057600954600854935093505050611da6565b90925090505b9091565b60008183611df95760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561174e578181015183820152602001611736565b506000838581611e0557fe5b0495945050505050565b6000808080611e356064611e29898963ffffffff611eea16565b9063ffffffff6117ba16565b90506000611e4e6064611e298a8963ffffffff611eea16565b90506000611e7282611e668b8663ffffffff6118ba16565b9063ffffffff6118ba16565b9992985090965090945050505050565b6000808080611e97888663ffffffff611eea16565b90506000611eab888763ffffffff611eea16565b90506000611ebf888863ffffffff611eea16565b90506000611ed782611e66868663ffffffff6118ba16565b939b939a50919850919650505050505050565b600082611ef95750600061063b565b82820282848281611f0657fe5b04146117fc5760405162461bcd60e51b81526004018080602001828103825260218152602001806120656021913960400191505060405180910390fd5b611f5c83611e66866009546118ba90919063ffffffff16565b600955600a54611f72908363ffffffff61180316565b600a55600b54611f88908263ffffffff61180316565b600b55600854611f9e908263ffffffff6118ba16565b6008555050505056fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373416d6f756e74206d757374206265206c657373207468616e20746f74616c207265666c656374696f6e734f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f20616464726573735472616e7366657220616d6f756e74206578636565647320746865206d61785478416d6f756e742e536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e63654f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65728be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e06d61785478416d6f756e742073686f756c642062652067726561746572207468616e203130303030303030303030303065395472616e7366657220616d6f756e74206d7573742062652067726561746572207468616e207a65726f6275726e4665652063616e206f6e6c7920626520696e6372656173656420616e64206d617820697320343945524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f20616464726573737461784665652063616e206f6e6c7920626520696e6372656173656420616e64206d617820697320343957652063616e206e6f74206578636c75646520556e697377617020726f757465722e4578636c75646564206164647265737365732063616e6e6f742063616c6c20746869732066756e6374696f6e596f7520646f6e27742068617665207065726d697373696f6e20746f20756e6c6f636b45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa26469706673582212200fb6f3aab417a2457403da1ce7bdb3164e502d8b73efe1864f8844ddd2c7f21b64736f6c63430006060033

809:12041:5:-:0;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;809:12041:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12:1:-1;9;2:12;1769:81:5;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1769:81:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2651:158;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;2651:158:5;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3737:85;;;:::i;:::-;;;;;;;;;;;;;;;;2034:93;;;:::i;12634:214::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;12634:214:5;;:::i;:::-;;2815:309;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;2815:309:5;;;;;;;;;;;;;;;;;:::i;4729:249::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;4729:249:5;;:::i;1947:81::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3130:215;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;3130:215:5;;;;;;;;:::i;12432:196::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;12432:196:5;;:::i;3920:370::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;3920:370:5;;:::i;3828:86::-;;;:::i;4296:427::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;4296:427:5;;;;;;;;;:::i;12238:188::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;12238:188:5;;:::i;2133:195::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;2133:195:5;-1:-1:-1;;;;;2133:195:5;;:::i;1218:145:3:-;;;:::i;601:77::-;;;:::i;:::-;;;;-1:-1:-1;;;;;601:77:3;;;;;;;;;;;;;;1856:85:5;;;:::i;3351:266::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;3351:266:5;;;;;;;;:::i;2196:288:3:-;;;:::i;2334:164:5:-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;2334:164:5;;;;;;;;:::i;1758:87:3:-;;;:::i;3623:108:5:-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;3623:108:5;-1:-1:-1;;;;;3623:108:5;;:::i;1918:209:3:-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;1918:209:3;;:::i;2504:141:5:-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;2504:141:5;;;;;;;;;;:::i;4984:435::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;4984:435:5;-1:-1:-1;;;;;4984:435:5;;:::i;1512:240:3:-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;1512:240:3;-1:-1:-1;;;;;1512:240:3;;:::i;5425:467:5:-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;5425:467:5;-1:-1:-1;;;;;5425:467:5;;:::i;1769:81::-;1838:5;1831:12;;;;;;;;-1:-1:-1;;1831:12:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1806:13;;1831:12;;1838:5;;1831:12;;1838:5;1831:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1769:81;:::o;2651:158::-;2726:4;2742:39;2751:12;:10;:12::i;:::-;2765:7;2774:6;2742:8;:39::i;:::-;-1:-1:-1;2798:4:5;2651:158;;;;;:::o;3737:85::-;3805:10;;3737:85;:::o;2034:93::-;2113:7;;2034:93;:::o;12634:214::-;815:12:3;:10;:12::i;:::-;805:6;;-1:-1:-1;;;;;805:6:3;;;:22;;;797:67;;;;;-1:-1:-1;;;797:67:3;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;797:67:3;;;;;;;;;;;;;;;12734:15:5::1;12719:11;:30;;12711:94;;;;-1:-1:-1::0;;;12711:94:5::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12815:12;:26:::0;12634:214::o;2815:309::-;2913:4;2929:36;2939:6;2947:9;2958:6;2929:9;:36::i;:::-;2975:121;2984:6;2992:12;:10;:12::i;:::-;3006:89;3044:6;3006:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3006:19:5;;;;;;:11;:19;;;;;;3026:12;:10;:12::i;:::-;-1:-1:-1;;;;;3006:33:5;;;;;;;;;;;;-1:-1:-1;3006:33:5;;;:89;;:37;:89;:::i;:::-;2975:8;:121::i;:::-;-1:-1:-1;3113:4:5;2815:309;;;;;:::o;4729:249::-;4795:7;4833;;4822;:18;;4814:73;;;;-1:-1:-1;;;4814:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4897:19;4920:10;:8;:10::i;:::-;4897:33;-1:-1:-1;4947:24:5;:7;4897:33;4947:24;:11;:24;:::i;:::-;4940:31;;;4729:249;;;;:::o;1947:81::-;2012:9;;;;1947:81;:::o;3130:215::-;3218:4;3234:83;3243:12;:10;:12::i;:::-;3257:7;3266:50;3305:10;3266:11;:25;3278:12;:10;:12::i;:::-;-1:-1:-1;;;;;3266:25:5;;;;;;;;;;;;;;;;;-1:-1:-1;3266:25:5;;;:34;;;;;;;;;;;:50;:38;:50;:::i;12432:196::-;815:12:3;:10;:12::i;:::-;805:6;;-1:-1:-1;;;;;805:6:3;;;:22;;;797:67;;;;;-1:-1:-1;;;797:67:3;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;797:67:3;;;;;;;;;;;;;;;12520:8:5::1;;12509:7;:19;;:36;;;;;12543:2;12532:7;:13;;12509:36;12501:92;;;;-1:-1:-1::0;;;12501:92:5::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12603:8;:18:::0;12432:196::o;3920:370::-;3971:14;3988:12;:10;:12::i;:::-;-1:-1:-1;;;;;4019:19:5;;;;;;:11;:19;;;;;;3971:29;;-1:-1:-1;4019:19:5;;4018:20;4010:77;;;;-1:-1:-1;;;4010:77:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4098:15;4122:19;4133:7;4122:10;:19::i;:::-;-1:-1:-1;;;;;;;;;4169:15:5;;;;;;:7;:15;;;;;;4097:44;;-1:-1:-1;4169:28:5;;:15;-1:-1:-1;4097:44:5;4169:19;:28::i;:::-;-1:-1:-1;;;;;4151:15:5;;;;;;:7;:15;;;;;:46;4217:7;;:20;;4229:7;4217:20;:11;:20;:::i;:::-;4207:7;:30;4260:10;;:23;;4275:7;4260:23;:14;:23;:::i;:::-;4247:10;:36;-1:-1:-1;;;3920:370:5:o;3828:86::-;3896:11;;3828:86;:::o;4296:427::-;4386:7;4424;;4413;:18;;4405:62;;;;;-1:-1:-1;;;4405:62:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;4482:17;4477:240;;4516:15;4540:19;4551:7;4540:10;:19::i;:::-;-1:-1:-1;4515:44:5;;-1:-1:-1;4573:14:5;;-1:-1:-1;;;;;4573:14:5;4477:240;4620:23;4651:19;4662:7;4651:10;:19::i;:::-;-1:-1:-1;4618:52:5;;-1:-1:-1;4684:22:5;;-1:-1:-1;;;;;4684:22:5;12238:188;815:12:3;:10;:12::i;:::-;805:6;;-1:-1:-1;;;;;805:6:3;;;:22;;;797:67;;;;;-1:-1:-1;;;797:67:3;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;797:67:3;;;;;;;;;;;;;;;12323:7:5::1;;12313:6;:17;;:33;;;;;12344:2;12334:6;:12;;12313:33;12305:88;;;;-1:-1:-1::0;;;12305:88:5::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12403:7;:16:::0;12238:188::o;2133:195::-;-1:-1:-1;;;;;2222:20:5;;2199:7;2222:20;;;:11;:20;;;;;;;;2218:49;;;-1:-1:-1;;;;;;2251:16:5;;;;;;:7;:16;;;;;;2244:23;;2218:49;-1:-1:-1;;;;;2304:16:5;;;;;;:7;:16;;;;;;2284:37;;:19;:37::i;1218:145:3:-;815:12;:10;:12::i;:::-;805:6;;-1:-1:-1;;;;;805:6:3;;;:22;;;797:67;;;;;-1:-1:-1;;;797:67:3;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;797:67:3;;;;;;;;;;;;;;;1324:1:::1;1308:6:::0;;1287:40:::1;::::0;-1:-1:-1;;;;;1308:6:3;;::::1;::::0;-1:-1:-1;;;;;;;;;;;1287:40:3;1324:1;;1287:40:::1;1354:1;1337:19:::0;;-1:-1:-1;;;;;;1337:19:3::1;::::0;;1218:145::o;601:77::-;639:7;665:6;-1:-1:-1;;;;;665:6:3;601:77;:::o;1856:85:5:-;1927:7;1920:14;;;;;;;;-1:-1:-1;;1920:14:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1895:13;;1920:14;;1927:7;;1920:14;;1927:7;1920:14;;;;;;;;;;;;;;;;;;;;;;;;3351:266;3444:4;3460:129;3469:12;:10;:12::i;:::-;3483:7;3492:96;3531:15;3492:96;;;;;;;;;;;;;;;;;:11;:25;3504:12;:10;:12::i;:::-;-1:-1:-1;;;;;3492:25:5;;;;;;;;;;;;;;;;;-1:-1:-1;3492:25:5;;;:34;;;;;;;;;;;:96;;:38;:96;:::i;2196:288:3:-;2247:14;;-1:-1:-1;;;;;2247:14:3;2265:10;2247:28;2239:76;;;;-1:-1:-1;;;2239:76:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2339:9;;2333:3;:15;2325:60;;;;;-1:-1:-1;;;2325:60:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;2429:14;;;2421:6;;2400:44;;-1:-1:-1;;;;;2429:14:3;;;;2421:6;;;;-1:-1:-1;;;;;;;;;;;2400:44:3;;2463:14;;;2454:23;;-1:-1:-1;;;;;;2454:23:3;-1:-1:-1;;;;;2463:14:3;;;2454:23;;;;;;2196:288::o;2334:164:5:-;2412:4;2428:42;2438:12;:10;:12::i;:::-;2452:9;2463:6;2428:9;:42::i;1758:87:3:-;1829:9;;1758:87;:::o;3623:108:5:-;-1:-1:-1;;;;;3704:20:5;3681:4;3704:20;;;:11;:20;;;;;;;;;3623:108::o;1918:209:3:-;815:12;:10;:12::i;:::-;805:6;;-1:-1:-1;;;;;805:6:3;;;:22;;;797:67;;;;;-1:-1:-1;;;797:67:3;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;797:67:3;;;;;;;;;;;;;;;1998:6:::1;::::0;;;1981:23;;-1:-1:-1;;;;;;1981:23:3;;::::1;-1:-1:-1::0;;;;;1998:6:3;::::1;1981:23;::::0;;;2014:19:::1;::::0;;2055:3:::1;:10:::0;::::1;2043:9;:22:::0;2080:40:::1;::::0;1998:6;;-1:-1:-1;;;;;;;;;;;2080:40:3;1998:6;;2080:40:::1;1918:209:::0;:::o;2504:141:5:-;-1:-1:-1;;;;;2611:18:5;;;2585:7;2611:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2504:141::o;4984:435::-;815:12:3;:10;:12::i;:::-;805:6;;-1:-1:-1;;;;;805:6:3;;;:22;;;797:67;;;;;-1:-1:-1;;;797:67:3;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;797:67:3;;;;;;;;;;;;;;;5075:42:5::1;-1:-1:-1::0;;;;;5064:53:5;::::1;;;5056:100;;;;-1:-1:-1::0;;;5056:100:5::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;;;;5175:20:5;::::1;;::::0;;;:11:::1;:20;::::0;;;;;::::1;;5174:21;5166:61;;;::::0;;-1:-1:-1;;;5166:61:5;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;-1:-1:-1::0;;;;;5240:16:5;::::1;5259:1;5240:16:::0;;;:7:::1;:16;::::0;;;;;:20;5237:106:::1;;-1:-1:-1::0;;;;;5315:16:5;::::1;;::::0;;;:7:::1;:16;::::0;;;;;5295:37:::1;::::0;:19:::1;:37::i;:::-;-1:-1:-1::0;;;;;5276:16:5;::::1;;::::0;;;:7:::1;:16;::::0;;;;:56;5237:106:::1;-1:-1:-1::0;;;;;5352:20:5::1;;::::0;;;:11:::1;:20;::::0;;;;:27;;-1:-1:-1;;5352:27:5::1;5375:4;5352:27:::0;;::::1;::::0;;;5389:9:::1;27:10:-1::0;;23:18;;::::1;45:23:::0;;5389::5;;;;::::1;::::0;;-1:-1:-1;;;;;;5389:23:5::1;::::0;;::::1;::::0;;4984:435::o;1512:240:3:-;815:12;:10;:12::i;:::-;805:6;;-1:-1:-1;;;;;805:6:3;;;:22;;;797:67;;;;;-1:-1:-1;;;797:67:3;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;797:67:3;;;;;;;;;;;;;;;-1:-1:-1;;;;;1600:22:3;::::1;1592:73;;;;-1:-1:-1::0;;;1592:73:3::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1701:6;::::0;;1680:38:::1;::::0;-1:-1:-1;;;;;1680:38:3;;::::1;::::0;1701:6;::::1;::::0;-1:-1:-1;;;;;;;;;;;1680:38:3;::::1;1728:6;:17:::0;;-1:-1:-1;;;;;;1728:17:3::1;-1:-1:-1::0;;;;;1728:17:3;;;::::1;::::0;;;::::1;::::0;;1512:240::o;5425:467:5:-;815:12:3;:10;:12::i;:::-;805:6;;-1:-1:-1;;;;;805:6:3;;;:22;;;797:67;;;;;-1:-1:-1;;;797:67:3;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;797:67:3;;;;;;;;;;;;;;;-1:-1:-1;;;;;5505:20:5;::::1;;::::0;;;:11:::1;:20;::::0;;;;;::::1;;5497:60;;;::::0;;-1:-1:-1;;;5497:60:5;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;5572:9;5567:319;5591:9;:16:::0;5587:20;::::1;5567:319;;;5648:7;-1:-1:-1::0;;;;;5632:23:5::1;:9;5642:1;5632:12;;;;;;;;;::::0;;;::::1;::::0;;;::::1;::::0;-1:-1:-1;;;;;5632:12:5::1;:23;5628:248;;;5690:9;5700:16:::0;;-1:-1:-1;;5700:20:5;;;5690:31;::::1;;;;;;::::0;;;::::1;::::0;;;::::1;::::0;5675:9:::1;:12:::0;;-1:-1:-1;;;;;5690:31:5;;::::1;::::0;5685:1;;5675:12;::::1;;;;;;::::0;;;::::1;::::0;;;;;;::::1;:46:::0;;-1:-1:-1;;;;;;5675:46:5::1;-1:-1:-1::0;;;;;5675:46:5;;::::1;;::::0;;5739:16;;::::1;::::0;;:7:::1;:16:::0;;;;;;:20;;;5777:11:::1;:20:::0;;;;:28;;-1:-1:-1;;5777:28:5::1;::::0;;5823:9:::1;:15:::0;;;::::1;;;;;::::0;;;::::1;::::0;;;;-1:-1:-1;;5823:15:5;;;;;-1:-1:-1;;;;;;5823:15:5::1;::::0;;;;;5856:5:::1;;5628:248;5609:3;;5567:319;;;;5425:467:::0;:::o;57:104:1:-;144:10;57:104;:::o;5898:331:5:-;-1:-1:-1;;;;;5990:19:5;;5982:68;;;;-1:-1:-1;;;5982:68:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6068:21:5;;6060:68;;;;-1:-1:-1;;;6060:68:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6139:18:5;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6190:32;;;;;;;;;;;;;;;;;5898:331;;;:::o;6235:1061::-;-1:-1:-1;;;;;6331:20:5;;6323:70;;;;-1:-1:-1;;;6323:70:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6411:23:5;;6403:71;;;;-1:-1:-1;;;6403:71:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6501:1;6492:6;:10;6484:64;;;;-1:-1:-1;;;6484:64:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6572:7;:5;:7::i;:::-;-1:-1:-1;;;;;6562:17:5;:6;-1:-1:-1;;;;;6562:17:5;;;:41;;;;;6596:7;:5;:7::i;:::-;-1:-1:-1;;;;;6583:20:5;:9;-1:-1:-1;;;;;6583:20:5;;;6562:41;6559:133;;;6635:12;;6625:6;:22;;6617:75;;;;-1:-1:-1;;;6617:75:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6707:19:5;;;;;;:11;:19;;;;;;;;:46;;;;-1:-1:-1;;;;;;6731:22:5;;;;;;:11;:22;;;;;;;;6730:23;6707:46;6703:587;;;6769:48;6791:6;6799:9;6810:6;6769:21;:48::i;:::-;6703:587;;;-1:-1:-1;;;;;6839:19:5;;;;;;:11;:19;;;;;;;;6838:20;:46;;;;-1:-1:-1;;;;;;6862:22:5;;;;;;:11;:22;;;;;;;;6838:46;6834:456;;;6900:46;6920:6;6928:9;6939:6;6900:19;:46::i;6834:456::-;-1:-1:-1;;;;;6968:19:5;;;;;;:11;:19;;;;;;;;6967:20;:47;;;;-1:-1:-1;;;;;;6992:22:5;;;;;;:11;:22;;;;;;;;6991:23;6967:47;6963:327;;;7030:44;7048:6;7056:9;7067:6;7030:17;:44::i;6963:327::-;-1:-1:-1;;;;;7095:19:5;;;;;;:11;:19;;;;;;;;:45;;;;-1:-1:-1;;;;;;7118:22:5;;;;;;:11;:22;;;;;;;;7095:45;7091:199;;;7156:48;7178:6;7186:9;7197:6;7156:21;:48::i;7091:199::-;7235:44;7253:6;7261:9;7272:6;7235:17;:44::i;:::-;6235:1061;;;:::o;1713:187:4:-;1799:7;1834:12;1826:6;;;;1818:29;;;;-1:-1:-1;;;1818:29:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1818:29:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1869:5:4;;;1713:187::o;11333:160:5:-;11374:7;11394:15;11411;11430:19;:17;:19::i;:::-;11393:56;;-1:-1:-1;11393:56:5;-1:-1:-1;11466:20:5;11393:56;;11466:20;:11;:20;:::i;:::-;11459:27;;;;11333:160;:::o;3068:130:4:-;3126:7;3152:39;3156:1;3159;3152:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;3145:46;3068:130;-1:-1:-1;;;3068:130:4:o;841:176::-;899:7;930:5;;;953:6;;;;945:46;;;;;-1:-1:-1;;;945:46:4;;;;;;;;;;;;;;;;;;;;;;;;;;;10103:463:5;10162:7;10171;10180;10189;10198;10207;10227:23;10252:12;10266:13;10283:39;10295:7;10304;;10313:8;;10283:11;:39::i;:::-;10226:96;;;;;;10332:19;10355:10;:8;:10::i;:::-;10332:33;;10376:15;10393:23;10418:12;10434:46;10446:7;10455:4;10461:5;10468:11;10434;:46::i;:::-;10375:105;;-1:-1:-1;10375:105:5;-1:-1:-1;10375:105:5;-1:-1:-1;10530:15:5;;-1:-1:-1;10547:4:5;;-1:-1:-1;10553:5:5;;-1:-1:-1;;;;;10103:463:5;;;;;;;:::o;1288:134:4:-;1346:7;1372:43;1376:1;1379;1372:43;;;;;;;;;;;;;;;;;:3;:43::i;8506:620:5:-;8607:19;8630:10;:8;:10::i;:::-;8607:33;;8651:15;8668:23;8693:12;8707:23;8732:12;8746:13;8763:19;8774:7;8763:10;:19::i;:::-;8650:132;;;;;;;;;;;;8792:13;8809:22;8819:11;8809:5;:9;;:22;;;;:::i;:::-;-1:-1:-1;;;;;8859:15:5;;;;;;:7;:15;;;;;;8792:39;;-1:-1:-1;8859:28:5;;8879:7;8859:28;:19;:28;:::i;:::-;-1:-1:-1;;;;;8841:15:5;;;;;;:7;:15;;;;;;;;:46;;;;8915:7;:15;;;;:28;;8935:7;8915:28;:19;:28;:::i;:::-;-1:-1:-1;;;;;8897:15:5;;;;;;;:7;:15;;;;;;:46;;;;8974:18;;;;;;;:39;;8997:15;8974:39;:22;:39;:::i;:::-;-1:-1:-1;;;;;8953:18:5;;;;;;:7;:18;;;;;:60;9023:37;9035:4;9041:5;9048:4;9054:5;9023:11;:37::i;:::-;9092:9;-1:-1:-1;;;;;9075:44:5;9084:6;-1:-1:-1;;;;;9075:44:5;;9103:15;9075:44;;;;;;;;;;;;;;;;;;8506:620;;;;;;;;;;;:::o;7868:632::-;7967:19;7990:10;:8;:10::i;:::-;7967:33;;8011:15;8028:23;8053:12;8067:23;8092:12;8106:13;8123:19;8134:7;8123:10;:19::i;:::-;8010:132;;;;;;;;;;;;8152:13;8169:22;8179:11;8169:5;:9;;:22;;;;:::i;:::-;-1:-1:-1;;;;;8219:15:5;;;;;;:7;:15;;;;;;8152:39;;-1:-1:-1;8219:28:5;;8239:7;8219:28;:19;:28;:::i;:::-;-1:-1:-1;;;;;8201:15:5;;;;;;;:7;:15;;;;;;;;:46;;;;8278:18;;;;;:7;:18;;;;;:39;;8301:15;8278:39;:22;:39;:::i;:::-;-1:-1:-1;;;;;8257:18:5;;;;;;:7;:18;;;;;;;;:60;;;;8348:7;:18;;;;:39;;8371:15;8348:39;:22;:39;:::i;7302:560::-;7399:19;7422:10;:8;:10::i;:::-;7399:33;;7443:15;7460:23;7485:12;7499:23;7524:12;7538:13;7555:19;7566:7;7555:10;:19::i;:::-;7442:132;;;;;;;;;;;;7584:13;7601:22;7611:11;7601:5;:9;;:22;;;;:::i;:::-;-1:-1:-1;;;;;7651:15:5;;;;;;:7;:15;;;;;;7584:39;;-1:-1:-1;7651:28:5;;7671:7;7651:28;:19;:28;:::i;9132:690::-;9233:19;9256:10;:8;:10::i;:::-;9233:33;;9277:15;9294:23;9319:12;9333:23;9358:12;9372:13;9389:19;9400:7;9389:10;:19::i;:::-;9276:132;;;;;;;;;;;;9418:13;9435:22;9445:11;9435:5;:9;;:22;;;;:::i;:::-;-1:-1:-1;;;;;9485:15:5;;;;;;:7;:15;;;;;;9418:39;;-1:-1:-1;9485:28:5;;9505:7;9485:28;:19;:28;:::i;:::-;-1:-1:-1;;;;;9467:15:5;;;;;;:7;:15;;;;;;;;:46;;;;9541:7;:15;;;;:28;;9561:7;9541:28;:19;:28;:::i;11499:545::-;11595:7;;11630;;11549;;;;;11647:285;11671:9;:16;11667:20;;11647:285;;;11736:7;11712;:21;11720:9;11730:1;11720:12;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11720:12:5;11712:21;;;;;;;;;;;;;:31;;:66;;;11771:7;11747;:21;11755:9;11765:1;11755:12;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11755:12:5;11747:21;;;;;;;;;;;;;:31;11712:66;11708:97;;;11788:7;;11797;;11780:25;;;;;;;;;11708:97;11829:34;11841:7;:21;11849:9;11859:1;11849:12;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11849:12:5;11841:21;;;;;;;;;;;;;11829:7;;:34;:11;:34;:::i;:::-;11819:44;;11887:34;11899:7;:21;11907:9;11917:1;11907:12;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11907:12:5;11899:21;;;;;;;;;;;;;11887:7;;:34;:11;:34;:::i;:::-;11877:44;-1:-1:-1;11689:3:5;;11647:285;;;-1:-1:-1;11967:7:5;;11955;;:20;;;:11;:20;:::i;:::-;11945:7;:30;11941:61;;;11985:7;;11994;;11977:25;;;;;;;;11941:61;12020:7;;-1:-1:-1;12029:7:5;-1:-1:-1;11499:545:5;;;:::o;3680:272:4:-;3766:7;3800:12;3793:5;3785:28;;;;-1:-1:-1;;;3785:28:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27:10:-1;;8:100;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;3785:28:4;;3823:9;3839:1;3835;:5;;;;;;;3680:272;-1:-1:-1;;;;;3680:272:4:o;10572:346:5:-;10665:7;;;;10717:28;10741:3;10717:19;:7;10729:6;10717:19;:11;:19;:::i;:::-;:23;:28;:23;:28;:::i;:::-;10702:43;-1:-1:-1;10755:13:5;10771:29;10796:3;10771:20;:7;10783;10771:20;:11;:20;:::i;:29::-;10755:45;-1:-1:-1;10810:23:5;10836:28;10755:45;10836:17;:7;10848:4;10836:17;:11;:17;:::i;:::-;:21;:28;:21;:28;:::i;:::-;10810:54;10899:4;;-1:-1:-1;10905:5:5;;-1:-1:-1;10572:346:5;;-1:-1:-1;;;;;10572:346:5:o;10924:403::-;11034:7;;;;11089:24;:7;11101:11;11089:24;:11;:24;:::i;:::-;11071:42;-1:-1:-1;11123:12:5;11138:21;:4;11147:11;11138:21;:8;:21;:::i;:::-;11123:36;-1:-1:-1;11169:13:5;11185:22;:5;11195:11;11185:22;:9;:22;:::i;:::-;11169:38;-1:-1:-1;11217:23:5;11243:28;11169:38;11243:17;:7;11255:4;11243:17;:11;:17;:::i;:28::-;11289:7;;;;-1:-1:-1;11315:4:5;;-1:-1:-1;10924:403:5;;-1:-1:-1;;;;;;;10924:403:5:o;2147:459:4:-;2205:7;2446:6;2442:45;;-1:-1:-1;2475:1:4;2468:8;;2442:45;2509:5;;;2513:1;2509;:5;:1;2532:5;;;;;:10;2524:56;;;;-1:-1:-1;;;2524:56:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9828:269:5;9935:28;9957:5;9935:17;9947:4;9935:7;;:11;;:17;;;;:::i;:28::-;9925:7;:38;9986:10;;:20;;10001:4;9986:20;:14;:20;:::i;:::-;9973:10;:33;10030:11;;:22;;10046:5;10030:22;:15;:22;:::i;:::-;10016:11;:36;10072:7;;:18;;10084:5;10072:18;:11;:18;:::i;:::-;10062:7;:28;-1:-1:-1;;;;9828:269:5:o

ipfs://0fb6f3aab417a2457403da1ce7bdb3164e502d8b73efe1864f8844ddd2c7f21b