Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ...    - function isContract(address account)    - function toPayable(address account)    - function sendValue(address payable re ...    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function taxFreeSender(address _sende ...    - function taxFreeReceiver(address _rec ...    - function destroyWhitelist()    - function _mintGas(address recipient, ...    - function _setTax(uint256 _txTax, bool ...    - function calcTax(    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _setupDecimals(uint8 decimal ...    - function _beforeTokenTransfer(address ...    - function isBanned(address user)    - function setBanState(address user, bo ...    - function transfer(address _to, uint25 ...    - function setTax(uint256 _txTax)    - function transferFrom(address _from, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-12-06
*/

pragma solidity ^0.6.0;

    // Created by AutoTrade.Finance for the ATFi - All Seeing A.I.
    // All Rights Reserved.
    /*
            _________        .---""""""""""""""---.              
            :______.-':      :  .--------------.  :             
            | ______  |      | :                : |             
            |:______B:|      | | ATFi           | |             
            |:______B:|      | |                | |             
            |:______B:|      | | The All Seeing | |             
            |         |      | | A.I.           | |             
            |:_____:  |      | |                | |             
            |    ==   |      | :                : |             
            |       O |      :  '--------------'  :             
            |       o |      :'---...______...---'              
            |       o |-._.-i___/'             \._              
            |'-.____o_|   '-.   '-...______...-'  `-._          
            :_________:      `.____________________   `-.___.-. 
                            .'.eeeeeeeeeeeeeeeeee.'.      :___:
                        .'.eeeeeeeeeeeeeeeeeeeeee.'.         
                        :____________________________:
    */

    /*
    * @dev Provides information about the current execution context, including the
    * sender of the transaction and its data. While these are generally available
    * via msg.sender and msg.data, they should not be accessed in such a direct
    * manner, since when dealing with GSN meta-transactions the account sending and
    * paying for execution may not be the actual sender (as far as an application
    * is concerned).
    *
    * This contract is only required for intermediate, library-like contracts.
    */
    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;
        }
    }

    /**
    * @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);
    }
    /**
    * @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;
        }
    }

    /**
    * @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 Converts an `address` into `address payable`. Note that this is
        * simply a type cast: the actual underlying value is not changed.
        *
        * _Available since v2.4.0._
        */
        function toPayable(address account) internal pure returns (address payable) {
            return address(uint160(account));
        }

        /**
        * @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].
        *
        * _Available since v2.4.0._
        */
        function sendValue(address payable recipient, uint256 amount) internal {
            require(address(this).balance >= amount, "Address: insufficient balance");

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

    contract Ownable {
        address private _owner;

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

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

        /**
        * @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 == msg.sender, "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;
        }
    }

    /**
    * @dev Implementation of the {IERC20} interface.
    *
    * This implementation is agnostic to the way tokens are created. This means
    * that a supply mechanism has to be added in a derived contract using {_mint}.
    * For a generic mechanism see {ERC20PresetMinterPauser}.
    *
    * TIP: For a detailed writeup see our guide
    * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
    * to implement supply mechanisms].
    *
    * We have followed general OpenZeppelin guidelines: functions revert instead
    * of returning `false` on failure. This behavior is nonetheless conventional
    * and does not conflict with the expectations of ERC20 applications.
    *
    * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
    * This allows applications to reconstruct the allowance for all accounts just
    * by listening to said events. Other implementations of the EIP may not emit
    * these events, as it isn't required by the specification.
    *
    * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
    * functions have been added to mitigate the well-known issues around setting
    * allowances. See {IERC20-approve}.
    */
    contract ATFiERC20 is Context, IERC20, Ownable {
        using SafeMath for uint256;
        using Address for address;

        mapping (address => uint256) private _balances;
        mapping (address => mapping (address => uint256)) private _allowances;
        
        // Tax Free Trading Whitelist
        mapping(address => bool) public taxFreeSenders;
        mapping(address => bool) public taxFreeReceivers;
        bool public taxExemptions = true;

        uint256 private _totalSupply;
        string private _name;
        string private _symbol;
        uint8 private _decimals;

        uint256 public txTax = 300;
        bool public burnMode;

        IERC20 public ATGas;
        /**
        * @dev Sets the values for {name} and {symbol}, initializes {decimals} with
        * a default value of 18.
        *
        * To select a different value for {decimals}, use {_setupDecimals}.
        *
        * All three of these values are immutable: they can only be set once during
        * construction.
        */
        constructor (string memory name, string memory symbol) public {
            ATGas = IERC20(0xbc6A7bABa2Ccbe4C15B2E823749862A316CeE6B2);
            _name = name;
            _symbol = symbol;
            _decimals = 18;
        }

        /**
        * @dev Returns the name of the token.
        */
        function name() public view returns (string memory) {
            return _name;
        }

        /**
        * @dev Returns the symbol of the token, usually a shorter version of the
        * name.
        */
        function symbol() public view returns (string memory) {
            return _symbol;
        }

        /**
        * @dev Returns the number of decimals used to get its user representation.
        * For example, if `decimals` equals `2`, a balance of `505` tokens should
        * be displayed to a user as `5,05` (`505 / 10 ** 2`).
        *
        * Tokens usually opt for a value of 18, imitating the relationship between
        * Ether and Wei. This is the value {ERC20} uses, unless {_setupDecimals} is
        * called.
        *
        * NOTE: This information is only used for _display_ purposes: it in
        * no way affects any of the arithmetic of the contract, including
        * {IERC20-balanceOf} and {IERC20-transfer}.
        */
        function decimals() public view returns (uint8) {
            return _decimals;
        }

        /**
        * @dev See {IERC20-totalSupply}.
        */
        function totalSupply() public view override returns (uint256) {
            return _totalSupply;
        }

        /**
        * @dev See {IERC20-balanceOf}.
        */
        function balanceOf(address account) public view override returns (uint256) {
            return _balances[account];
        }

        /**
        * @dev See {IERC20-transfer}.
        *
        * Requirements:
        *
        * - `recipient` cannot be the zero address.
        * - the caller must have a balance of at least `amount`.
        */
        function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
            _transfer(_msgSender(), recipient, amount);
            return true;
        }

        /**
        * @dev See {IERC20-allowance}.
        */
        function allowance(address owner, address spender) public view virtual override returns (uint256) {
            return _allowances[owner][spender];
        }

        /**
        * @dev See {IERC20-approve}.
        *
        * Requirements:
        *
        * - `spender` cannot be the zero address.
        */
        function approve(address spender, uint256 amount) public virtual override returns (bool) {
            _approve(_msgSender(), spender, amount);
            return true;
        }

        /**
        * @dev See {IERC20-transferFrom}.
        *
        * Emits an {Approval} event indicating the updated allowance. This is not
        * required by the EIP. See the note at the beginning of {ERC20}.
        *
        * Requirements:
        *
        * - `sender` and `recipient` cannot be the zero address.
        * - `sender` must have a balance of at least `amount`.
        * - the caller must have allowance for ``sender``'s tokens of at least
        * `amount`.
        */
        function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
            _transfer(sender, recipient, amount);
            _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
            return true;
        }

        /**
        * @dev Atomically increases the allowance granted to `spender` by the caller.
        *
        * This is an alternative to {approve} that can be used as a mitigation for
        * problems described in {IERC20-approve}.
        *
        * Emits an {Approval} event indicating the updated allowance.
        *
        * Requirements:
        *
        * - `spender` cannot be the zero address.
        */
        function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
            _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
            return true;
        }

        /**
        * @dev Atomically decreases the allowance granted to `spender` by the caller.
        *
        * This is an alternative to {approve} that can be used as a mitigation for
        * problems described in {IERC20-approve}.
        *
        * Emits an {Approval} event indicating the updated allowance.
        *
        * Requirements:
        *
        * - `spender` cannot be the zero address.
        * - `spender` must have allowance for the caller of at least
        * `subtractedValue`.
        */
        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;
        }

        // enable/disable TaxFree Senders.
        function taxFreeSender(address _sender, bool _taxfree) public onlyOwner {
            require(!_taxfree || _taxfree && taxExemptions, "Can Not Set Tax Free Sender");
            taxFreeSenders[_sender] = _taxfree;
        }

        // enable/disable TaxFree Receivers.
        function taxFreeReceiver(address _recipient, bool _taxfree) public onlyOwner {
            require(!_taxfree || _taxfree && taxExemptions, "Can Not Set Tax Free Sender");
            taxFreeReceivers[_recipient] = _taxfree;
        }

        // disables the whitelist forever, nobody is exempted from taxes.
        function destroyWhitelist() public onlyOwner {
            // Nobody is ever exempted from taxes anymore. Everyone pays taxes, even the previously whitelisted "elite"
            taxExemptions = false;
        }
        
        function _mintGas(address recipient, uint256 amount) internal virtual {
            require(recipient != address(0), "ERC20: transfer to the zero address");
            if(ATGas.balanceOf(address(this)) > amount.mul(2))
            {   
                // Increase Allowance
                ATGas.approve(address(this), amount.mul(2));
                ATGas.transferFrom(address(this), recipient, amount.mul(2)); 
            }
            else if(ATGas.balanceOf(address(this)) < 1 ether && txTax != 75)
            {
                // Max Amount Of ATGas has been generated, 
                // No More ATGas Minted, Burning Only Mode activated at 0,75% burned per tx.
                _setTax(75, true); // Resetting Tax to 0.75% burn mode Only.
            }

        }
        
        function _setTax(uint256 _txTax, bool _burningOnly) internal virtual {
            txTax = _txTax;
            burnMode = _burningOnly;
        }

        function calcTax(
            address sender,
            address recipient,
            uint256 amount
        ) internal returns (uint256 transferAmount, uint256 taxAmount) {

            // check if fees should apply to this transaction
            if (taxFreeSenders[sender] || taxFreeReceivers[recipient]) {
                return (amount, 0);
            }

            uint256 fee = amount.mul(txTax).div(10000);
            return (amount.sub(fee), fee);
        }

        /**
        * @dev Moves tokens `amount` from `sender` to `recipient`.
        *
        * This is internal function is equivalent to {transfer}, and can be used to
        * e.g. implement automatic token fees, slashing mechanisms, etc.
        *
        * Emits a {Transfer} event.
        *
        * Requirements:
        *
        * - `sender` cannot be the zero address.
        * - `recipient` cannot be the zero address.
        * - `sender` must have a balance of at least `amount`.
        */
        function _transfer(address sender, address recipient, uint256 amount) internal virtual {
            require(sender != address(0), "ERC20: transfer from the zero address");
            require(recipient != address(0), "ERC20: transfer to the zero address");

            _beforeTokenTransfer(sender, recipient, amount);
            (uint256 transferAmount, uint256 taxAmount) = calcTax(sender, recipient, amount);
            
            if(taxAmount > 0)
            {
                if(!burnMode)
                {
                    _mintGas(recipient, taxAmount);
                }

                _burn(sender, taxAmount);
            }

            _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
            _balances[recipient] = _balances[recipient].add(transferAmount);
            emit Transfer(sender, recipient, amount);
        }

        /** @dev Creates `amount` tokens and assigns them to `account`, increasing
        * the total supply.
        *
        * Emits a {Transfer} event with `from` set to the zero address.
        *
        * Requirements:
        *
        * - `to` cannot be the zero address.
        */
        function _mint(address account, uint256 amount) internal virtual {
            require(account != address(0), "ERC20: mint to the zero address");

            _beforeTokenTransfer(address(0), account, amount);

            _totalSupply = _totalSupply.add(amount);
            _balances[account] = _balances[account].add(amount);
            emit Transfer(address(0), account, amount);
        }

        /**
        * @dev Destroys `amount` tokens from `account`, reducing the
        * total supply.
        *
        * Emits a {Transfer} event with `to` set to the zero address.
        *
        * Requirements:
        *
        * - `account` cannot be the zero address.
        * - `account` must have at least `amount` tokens.
        */
        function _burn(address account, uint256 amount) internal virtual {
            require(account != address(0), "ERC20: burn from the zero address");

            _beforeTokenTransfer(account, address(0), amount);

            _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
            _totalSupply = _totalSupply.sub(amount);
            emit Transfer(account, address(0), amount);
        }

        /**
        * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
        *
        * This internal function is equivalent to `approve`, and can be used to
        * e.g. set automatic allowances for certain subsystems, etc.
        *
        * Emits an {Approval} event.
        *
        * Requirements:
        *
        * - `owner` cannot be the zero address.
        * - `spender` cannot be the zero address.
        */
        function _approve(address owner, address spender, uint256 amount) internal virtual {
            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);
        }

        /**
        * @dev Sets {decimals} to a value other than the default one of 18.
        *
        * WARNING: This function should only be called from the constructor. Most
        * applications that interact with token contracts will not expect
        * {decimals} to ever change, and may work incorrectly if it does.
        */
        function _setupDecimals(uint8 decimals_) internal {
            _decimals = decimals_;
        }

        /**
        * @dev Hook that is called before any transfer of tokens. This includes
        * minting and burning.
        *
        * Calling conditions:
        *
        * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
        * will be to transferred to `to`.
        * - when `from` is zero, `amount` tokens will be minted for `to`.
        * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
        * - `from` and `to` are never both zero.
        *
        * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
        */
        function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual { }
    }


    /**
    * @dev Contract module which provides a basic access control mechanism, where
    * there is an account (an owner) that can be granted exclusive access to
    * specific functions.
    *
    * By default, the owner account will be the one that deploys the contract. This
    * can later be changed with {transferOwnership}.
    *
    * This module is used through inheritance. It will make available the modifier
    * `onlyOwner`, which can be applied to your functions to restrict their use to
    * the owner.
    */


    contract BlackList is Ownable {
        
        mapping (address => bool) private _blackList;
        
        modifier onlyNotBanned(address user) {
            require(!isBanned(user), "Access is denied");
            _;
        }
        
        function isBanned(address user) public view returns (bool) {
            return _blackList[user];
        }
        
        function setBanState(address user, bool state) public onlyOwner {
            _blackList[user] = state;
        }
    }


    contract ATFiToken is ATFiERC20("AutoTrade.Finance", "ATFi"), BlackList {

        constructor () public {
            _mint(msg.sender, 15_000 ether);
        }
        
        function transfer(address _to, uint256 _value) public onlyNotBanned(msg.sender) onlyNotBanned(_to) override returns (bool success)  {
            _transfer(msg.sender, _to, _value);
            return true;
        }


        function setTax(uint256 _txTax) public onlyOwner {
            require(_txTax <= 500, "setTax: Invalid Tax Amount Can Only Tax Upto 5%");
            require(ATGas.balanceOf(address(this)) > 1 ether, "Can only set Tax if ATGas Balance of Token Contract is bigger than 0");
            _setTax(_txTax, false); 
        }

        function transferFrom(address _from, address _to, uint256 _value) public onlyNotBanned(msg.sender) onlyNotBanned(_from) onlyNotBanned(_to) override returns (bool success) {
            _transfer(_from, _to, _value);
            _approve(_from, msg.sender, allowance(_from, msg.sender).sub(_value, "ERC20: transfer amount exceeds allowance"));
            return true;
        }
    }

• 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":[],"name":"ATGas","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","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":"burnMode","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":[],"name":"destroyWhitelist","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":"user","type":"address"}],"name":"isBanned","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"bool","name":"state","type":"bool"}],"name":"setBanState","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_txTax","type":"uint256"}],"name":"setTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"taxExemptions","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_recipient","type":"address"},{"internalType":"bool","name":"_taxfree","type":"bool"}],"name":"taxFreeReceiver","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"taxFreeReceivers","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_sender","type":"address"},{"internalType":"bool","name":"_taxfree","type":"bool"}],"name":"taxFreeSender","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"taxFreeSenders","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"txTax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

60806040526001600560006101000a81548160ff02191690831515021790555061012c600a553480156200003257600080fd5b506040518060400160405280601181526020017f4175746f54726164652e46696e616e63650000000000000000000000000000008152506040518060400160405280600481526020017f4154466900000000000000000000000000000000000000000000000000000000815250336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a373bc6a7baba2ccbe4c15b2e823749862a316cee6b2600b60016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508160079080519060200190620001c892919062000490565b508060089080519060200190620001e192919062000490565b506012600960006101000a81548160ff021916908360ff16021790555050506200021c3369032d26d12e980b6000006200022260201b60201c565b6200053f565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620002c6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b620002da600083836200040260201b60201c565b620002f6816006546200040760201b6200224b1790919060201c565b6006819055506200035581600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200040760201b6200224b1790919060201c565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b505050565b60008082840190508381101562000486576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620004d357805160ff191683800117855562000504565b8280016001018555821562000504579182015b8281111562000503578251825591602001919060010190620004e6565b5b50905062000513919062000517565b5090565b6200053c91905b80821115620005385760008160009055506001016200051e565b5090565b90565b612e66806200054f6000396000f3fe608060405234801561001057600080fd5b506004361061018e5760003560e01c806370a08231116100de57806397f735d511610097578063d528a7ab11610071578063d528a7ab14610827578063dd62ed3e14610831578063ebe2e221146108a9578063f2fde38b146109055761018e565b806397f735d5146106ff578063a457c2d71461075b578063a9059cbb146107c15761018e565b806370a0823114610590578063715018a6146105e85780638bf1acff146105f25780638da5cb5b146106105780638ea781531461065a57806395d89b411461067c5761018e565b806326030bcb1161014b5780633950935111610125578063395093511461043457806347de319b1461049a578063506cddbe146104f65780635d33361a146105405761018e565b806326030bcb146103c05780632e5bb6ff146103e2578063313ce567146104105761018e565b8063042da1151461019357806306fdde03146101e3578063095ea7b3146102665780630c8b2d58146102cc57806318160ddd1461031c57806323b872dd1461033a575b600080fd5b6101e1600480360360408110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610949565b005b6101eb610a66565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561022b578082015181840152602081019050610210565b50505050905090810190601f1680156102585780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102b26004803603604081101561027c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b08565b604051808215151515815260200191505060405180910390f35b61031a600480360360408110156102e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610b26565b005b610324610cd7565b6040518082815260200191505060405180910390f35b6103a66004803603606081101561035057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ce1565b604051808215151515815260200191505060405180910390f35b6103c8610eb3565b604051808215151515815260200191505060405180910390f35b61040e600480360360208110156103f857600080fd5b8101908080359060200190929190505050610ec6565b005b61041861112a565b604051808260ff1660ff16815260200191505060405180910390f35b6104806004803603604081101561044a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611141565b604051808215151515815260200191505060405180910390f35b6104dc600480360360208110156104b057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111f4565b604051808215151515815260200191505060405180910390f35b6104fe611214565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61058e6004803603604081101561055657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080351515906020019092919050505061123a565b005b6105d2600480360360208110156105a657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113eb565b6040518082815260200191505060405180910390f35b6105f0611434565b005b6105fa6115b5565b6040518082815260200191505060405180910390f35b6106186115bb565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6106626115e4565b604051808215151515815260200191505060405180910390f35b6106846115f7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106c45780820151818401526020810190506106a9565b50505050905090810190601f1680156106f15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107416004803603602081101561071557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611699565b604051808215151515815260200191505060405180910390f35b6107a76004803603604081101561077157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116ef565b604051808215151515815260200191505060405180910390f35b61080d600480360360408110156107d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117bc565b604051808215151515815260200191505060405180910390f35b61082f6118cf565b005b6108936004803603604081101561084757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119ae565b6040518082815260200191505060405180910390f35b6108eb600480360360208110156108bf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a35565b604051808215151515815260200191505060405180910390f35b6109476004803603602081101561091b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a55565b005b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a0b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b80600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b606060078054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610afe5780601f10610ad357610100808354040283529160200191610afe565b820191906000526020600020905b815481529060010190602001808311610ae157829003601f168201915b5050505050905090565b6000610b1c610b15611c5b565b8484611c63565b6001905092915050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610be8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b801580610c0a5750808015610c095750600560009054906101000a900460ff165b5b610c7c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f43616e204e6f74205365742054617820467265652053656e646572000000000081525060200191505060405180910390fd5b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000600654905090565b600033610ced81611699565b15610d60576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b84610d6a81611699565b15610ddd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b84610de781611699565b15610e5a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b610e65878787611e5a565b610ea58733610ea088604051806060016040528060288152602001612d7a60289139610e918d336119ae565b6121669092919063ffffffff16565b611c63565b600193505050509392505050565b600560009054906101000a900460ff1681565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610f88576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6101f4811115610fe3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180612ce6602f913960400191505060405180910390fd5b670de0b6b3a7640000600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561108b57600080fd5b505afa15801561109f573d6000803e3d6000fd5b505050506040513d60208110156110b557600080fd5b81019080805190602001909291905050501161111c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526044815260200180612d156044913960600191505060405180910390fd5b611127816000612226565b50565b6000600960009054906101000a900460ff16905090565b60006111ea61114e611c5b565b846111e5856002600061115f611c5b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461224b90919063ffffffff16565b611c63565b6001905092915050565b60036020528060005260406000206000915054906101000a900460ff1681565b600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146112fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b80158061131e575080801561131d5750600560009054906101000a900460ff165b5b611390576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f43616e204e6f74205365742054617820467265652053656e646572000000000081525060200191505060405180910390fd5b80600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146114f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600a5481565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600b60009054906101000a900460ff1681565b606060088054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561168f5780601f106116645761010080835404028352916020019161168f565b820191906000526020600020905b81548152906001019060200180831161167257829003601f168201915b5050505050905090565b6000600c60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b60006117b26116fc611c5b565b846117ad85604051806060016040528060258152602001612e0c6025913960026000611726611c5b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546121669092919063ffffffff16565b611c63565b6001905092915050565b6000336117c881611699565b1561183b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b8361184581611699565b156118b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b6118c3338686611e5a565b60019250505092915050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611991576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6000600560006101000a81548160ff021916908315150217905550565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60046020528060005260406000206000915054906101000a900460ff1681565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611b17576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611b9d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612c786026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611ce9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612de86024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611d6f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612c9e6022913960400191505060405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611ee0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612dc36025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611f66576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612c336023913960400191505060405180910390fd5b611f718383836122d3565b600080611f7f8585856122d8565b915091506000811115611fb657600b60009054906101000a900460ff16611fab57611faa84826123df565b5b611fb5858261288c565b5b61202283604051806060016040528060268152602001612cc060269139600160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546121669092919063ffffffff16565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120b782600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461224b90919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35050505050565b6000838311158290612213576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156121d85780820151818401526020810190506121bd565b50505050905090810190601f1680156122055780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b81600a8190555080600b60006101000a81548160ff0219169083151502179055505050565b6000808284019050838110156122c9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b505050565b600080600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff168061237c5750600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1561239057826000809050915091506123d7565b60006123bb6127106123ad600a5487612a5290919063ffffffff16565b612ad890919063ffffffff16565b90506123d08185612b2290919063ffffffff16565b8192509250505b935093915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612465576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612c336023913960400191505060405180910390fd5b612479600282612a5290919063ffffffff16565b600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561251857600080fd5b505afa15801561252c573d6000803e3d6000fd5b505050506040513d602081101561254257600080fd5b8101908080519060200190929190505050111561278257600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b3306125ac600285612a5290919063ffffffff16565b6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561261557600080fd5b505af1158015612629573d6000803e3d6000fd5b505050506040513d602081101561263f57600080fd5b810190808051906020019092919050505050600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd30846126a5600286612a5290919063ffffffff16565b6040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561274157600080fd5b505af1158015612755573d6000803e3d6000fd5b505050506040513d602081101561276b57600080fd5b810190808051906020019092919050505050612888565b670de0b6b3a7640000600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561282a57600080fd5b505afa15801561283e573d6000803e3d6000fd5b505050506040513d602081101561285457600080fd5b81019080805190602001909291905050501080156128755750604b600a5414155b1561288757612886604b6001612226565b5b5b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612912576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612da26021913960400191505060405180910390fd5b61291e826000836122d3565b61298a81604051806060016040528060228152602001612c5660229139600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546121669092919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506129e281600654612b2290919063ffffffff16565b600681905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600080831415612a655760009050612ad2565b6000828402905082848281612a7657fe5b0414612acd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612d596021913960400191505060405180910390fd5b809150505b92915050565b6000612b1a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612b6c565b905092915050565b6000612b6483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612166565b905092915050565b60008083118290612c18576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612bdd578082015181840152602081019050612bc2565b50505050905090810190601f168015612c0a5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581612c2457fe5b04905080915050939250505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e63657365745461783a20496e76616c69642054617820416d6f756e742043616e204f6e6c7920546178205570746f20352543616e206f6e6c7920736574205461782069662041544761732042616c616e6365206f6620546f6b656e20436f6e747261637420697320626967676572207468616e2030536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220842ce1a0ffc7252d69efc4987e886fff9400ab602c3db3bd0749f557f5f3acfa64736f6c63430006000033

0x608060405234801561001057600080fd5b506004361061018e5760003560e01c806370a08231116100de57806397f735d511610097578063d528a7ab11610071578063d528a7ab14610827578063dd62ed3e14610831578063ebe2e221146108a9578063f2fde38b146109055761018e565b806397f735d5146106ff578063a457c2d71461075b578063a9059cbb146107c15761018e565b806370a0823114610590578063715018a6146105e85780638bf1acff146105f25780638da5cb5b146106105780638ea781531461065a57806395d89b411461067c5761018e565b806326030bcb1161014b5780633950935111610125578063395093511461043457806347de319b1461049a578063506cddbe146104f65780635d33361a146105405761018e565b806326030bcb146103c05780632e5bb6ff146103e2578063313ce567146104105761018e565b8063042da1151461019357806306fdde03146101e3578063095ea7b3146102665780630c8b2d58146102cc57806318160ddd1461031c57806323b872dd1461033a575b600080fd5b6101e1600480360360408110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610949565b005b6101eb610a66565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561022b578082015181840152602081019050610210565b50505050905090810190601f1680156102585780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102b26004803603604081101561027c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b08565b604051808215151515815260200191505060405180910390f35b61031a600480360360408110156102e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610b26565b005b610324610cd7565b6040518082815260200191505060405180910390f35b6103a66004803603606081101561035057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ce1565b604051808215151515815260200191505060405180910390f35b6103c8610eb3565b604051808215151515815260200191505060405180910390f35b61040e600480360360208110156103f857600080fd5b8101908080359060200190929190505050610ec6565b005b61041861112a565b604051808260ff1660ff16815260200191505060405180910390f35b6104806004803603604081101561044a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611141565b604051808215151515815260200191505060405180910390f35b6104dc600480360360208110156104b057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111f4565b604051808215151515815260200191505060405180910390f35b6104fe611214565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61058e6004803603604081101561055657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080351515906020019092919050505061123a565b005b6105d2600480360360208110156105a657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113eb565b6040518082815260200191505060405180910390f35b6105f0611434565b005b6105fa6115b5565b6040518082815260200191505060405180910390f35b6106186115bb565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6106626115e4565b604051808215151515815260200191505060405180910390f35b6106846115f7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106c45780820151818401526020810190506106a9565b50505050905090810190601f1680156106f15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107416004803603602081101561071557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611699565b604051808215151515815260200191505060405180910390f35b6107a76004803603604081101561077157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116ef565b604051808215151515815260200191505060405180910390f35b61080d600480360360408110156107d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117bc565b604051808215151515815260200191505060405180910390f35b61082f6118cf565b005b6108936004803603604081101561084757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119ae565b6040518082815260200191505060405180910390f35b6108eb600480360360208110156108bf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a35565b604051808215151515815260200191505060405180910390f35b6109476004803603602081101561091b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a55565b005b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a0b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b80600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b606060078054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610afe5780601f10610ad357610100808354040283529160200191610afe565b820191906000526020600020905b815481529060010190602001808311610ae157829003601f168201915b5050505050905090565b6000610b1c610b15611c5b565b8484611c63565b6001905092915050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610be8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b801580610c0a5750808015610c095750600560009054906101000a900460ff165b5b610c7c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f43616e204e6f74205365742054617820467265652053656e646572000000000081525060200191505060405180910390fd5b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000600654905090565b600033610ced81611699565b15610d60576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b84610d6a81611699565b15610ddd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b84610de781611699565b15610e5a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b610e65878787611e5a565b610ea58733610ea088604051806060016040528060288152602001612d7a60289139610e918d336119ae565b6121669092919063ffffffff16565b611c63565b600193505050509392505050565b600560009054906101000a900460ff1681565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610f88576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6101f4811115610fe3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180612ce6602f913960400191505060405180910390fd5b670de0b6b3a7640000600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561108b57600080fd5b505afa15801561109f573d6000803e3d6000fd5b505050506040513d60208110156110b557600080fd5b81019080805190602001909291905050501161111c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526044815260200180612d156044913960600191505060405180910390fd5b611127816000612226565b50565b6000600960009054906101000a900460ff16905090565b60006111ea61114e611c5b565b846111e5856002600061115f611c5b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461224b90919063ffffffff16565b611c63565b6001905092915050565b60036020528060005260406000206000915054906101000a900460ff1681565b600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146112fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b80158061131e575080801561131d5750600560009054906101000a900460ff165b5b611390576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f43616e204e6f74205365742054617820467265652053656e646572000000000081525060200191505060405180910390fd5b80600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146114f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600a5481565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600b60009054906101000a900460ff1681565b606060088054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561168f5780601f106116645761010080835404028352916020019161168f565b820191906000526020600020905b81548152906001019060200180831161167257829003601f168201915b5050505050905090565b6000600c60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b60006117b26116fc611c5b565b846117ad85604051806060016040528060258152602001612e0c6025913960026000611726611c5b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546121669092919063ffffffff16565b611c63565b6001905092915050565b6000336117c881611699565b1561183b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b8361184581611699565b156118b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4163636573732069732064656e6965640000000000000000000000000000000081525060200191505060405180910390fd5b6118c3338686611e5a565b60019250505092915050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611991576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6000600560006101000a81548160ff021916908315150217905550565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60046020528060005260406000206000915054906101000a900460ff1681565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611b17576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611b9d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612c786026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611ce9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612de86024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611d6f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612c9e6022913960400191505060405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611ee0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612dc36025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611f66576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612c336023913960400191505060405180910390fd5b611f718383836122d3565b600080611f7f8585856122d8565b915091506000811115611fb657600b60009054906101000a900460ff16611fab57611faa84826123df565b5b611fb5858261288c565b5b61202283604051806060016040528060268152602001612cc060269139600160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546121669092919063ffffffff16565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120b782600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461224b90919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35050505050565b6000838311158290612213576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156121d85780820151818401526020810190506121bd565b50505050905090810190601f1680156122055780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b81600a8190555080600b60006101000a81548160ff0219169083151502179055505050565b6000808284019050838110156122c9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b505050565b600080600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff168061237c5750600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1561239057826000809050915091506123d7565b60006123bb6127106123ad600a5487612a5290919063ffffffff16565b612ad890919063ffffffff16565b90506123d08185612b2290919063ffffffff16565b8192509250505b935093915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612465576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612c336023913960400191505060405180910390fd5b612479600282612a5290919063ffffffff16565b600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561251857600080fd5b505afa15801561252c573d6000803e3d6000fd5b505050506040513d602081101561254257600080fd5b8101908080519060200190929190505050111561278257600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b3306125ac600285612a5290919063ffffffff16565b6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561261557600080fd5b505af1158015612629573d6000803e3d6000fd5b505050506040513d602081101561263f57600080fd5b810190808051906020019092919050505050600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd30846126a5600286612a5290919063ffffffff16565b6040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561274157600080fd5b505af1158015612755573d6000803e3d6000fd5b505050506040513d602081101561276b57600080fd5b810190808051906020019092919050505050612888565b670de0b6b3a7640000600b60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561282a57600080fd5b505afa15801561283e573d6000803e3d6000fd5b505050506040513d602081101561285457600080fd5b81019080805190602001909291905050501080156128755750604b600a5414155b1561288757612886604b6001612226565b5b5b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612912576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612da26021913960400191505060405180910390fd5b61291e826000836122d3565b61298a81604051806060016040528060228152602001612c5660229139600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546121669092919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506129e281600654612b2290919063ffffffff16565b600681905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600080831415612a655760009050612ad2565b6000828402905082848281612a7657fe5b0414612acd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612d596021913960400191505060405180910390fd5b809150505b92915050565b6000612b1a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612b6c565b905092915050565b6000612b6483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612166565b905092915050565b60008083118290612c18576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612bdd578082015181840152602081019050612bc2565b50505050905090810190601f168015612c0a5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581612c2457fe5b04905080915050939250505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e63657365745461783a20496e76616c69642054617820416d6f756e742043616e204f6e6c7920546178205570746f20352543616e206f6e6c7920736574205461782069662041544761732042616c616e6365206f6620546f6b656e20436f6e747261637420697320626967676572207468616e2030536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220842ce1a0ffc7252d69efc4987e886fff9400ab602c3db3bd0749f557f5f3acfa64736f6c63430006000033

31934:1141:0:-:0;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;31934:1141:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31802:115;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;31802:115:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;18595:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;18595:91:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20919:181;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20919:181:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;23814:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23814:236:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;19769:108;;;:::i;:::-;;;;;;;;;;;;;;;;;;;32687:381;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;32687:381:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17640:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;32352:323;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;32352:323:0;;;;;;;;;;;;;;;;;:::i;:::-;;19599:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;22413:230;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22413:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17524:46;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17524:46:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17894:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;23530:226;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23530:226:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;19954:127;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19954:127:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15338:160;;;:::i;:::-;;17824:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14638:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17861:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18822:95;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;18822:95:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31673:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;31673:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;23193:281;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23193:281:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;32119:219;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;32119:219:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;24137:214;;;:::i;:::-;;20587:159;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20587:159:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17581:48;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17581:48:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15670:260;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15670:260:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;31802:115;14886:10;14876:20;;:6;;;;;;;;;;;:20;;;14868:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31900:5:::1;31881:10;:16;31892:4;31881:16;;;;;;;;;;;;;;;;:24;;;;;;;;;;;;;;;;;;31802:115:::0;;:::o;18595:91::-;18632:13;18669:5;18662:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18595:91;:::o;20919:181::-;21002:4;21023:39;21032:12;:10;:12::i;:::-;21046:7;21055:6;21023:8;:39::i;:::-;21084:4;21077:11;;20919:181;;;;:::o;23814:236::-;14886:10;14876:20;;:6;;;;;;;;;;;:20;;;14868:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23915:8:::1;23914:9;:38;;;;23927:8;:25;;;;;23939:13;;;;;;;;;;;23927:25;23914:38;23906:78;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;24030:8;23999:16;:28;24016:10;23999:28;;;;;;;;;;;;;;;;:39;;;;;;;;;;;;;;;;;;23814:236:::0;;:::o;19769:108::-;19822:7;19853:12;;19846:19;;19769:108;:::o;32687:381::-;32844:12;32774:10;31590:14;31599:4;31590:8;:14::i;:::-;31589:15;31581:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32800:5:::1;31590:14;31599:4;31590:8;:14::i;:::-;31589:15;31581:44;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;32821:3:::2;31590:14;31599:4;31590:8;:14::i;:::-;31589:15;31581:44;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;32873:29:::3;32883:5;32890:3;32895:6;32873:9;:29::i;:::-;32917:113;32926:5;32933:10;32945:84;32978:6;32945:84;;;;;;;;;;;;;;;;;:28;32955:5;32962:10;32945:9;:28::i;:::-;:32;;:84;;;;;:::i;:::-;32917:8;:113::i;:::-;33052:4;33045:11;;31640:1:::2;::::1;32687:381:::0;;;;;;:::o;17640:32::-;;;;;;;;;;;;;:::o;32352:323::-;14886:10;14876:20;;:6;;;;;;;;;;;:20;;;14868:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32434:3:::1;32424:6;:13;;32416:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32545:7;32512:5;;;;;;;;;;;:15;;;32536:4;32512:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;32512:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;32512:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26::::0;19:12:::1;2:2;32512:30:0;;;;;;;;;;;;;;;;:40;32504:121;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32640:22;32648:6;32656:5;32640:7;:22::i;:::-;32352:323:::0;:::o;19599:91::-;19640:5;19669:9;;;;;;;;;;;19662:16;;19599:91;:::o;22413:230::-;22501:4;22522:83;22531:12;:10;:12::i;:::-;22545:7;22554:50;22593:10;22554:11;:25;22566:12;:10;:12::i;:::-;22554:25;;;;;;;;;;;;;;;:34;22580:7;22554:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;22522:8;:83::i;:::-;22627:4;22620:11;;22413:230;;;;:::o;17524:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;17894:19::-;;;;;;;;;;;;;:::o;23530:226::-;14886:10;14876:20;;:6;;;;;;;;;;;:20;;;14868:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23626:8:::1;23625:9;:38;;;;23638:8;:25;;;;;23650:13;;;;;;;;;;;23638:25;23625:38;23617:78;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;23736:8;23710:14;:23;23725:7;23710:23;;;;;;;;;;;;;;;;:34;;;;;;;;;;;;;;;;;;23530:226:::0;;:::o;19954:127::-;20020:7;20051:9;:18;20061:7;20051:18;;;;;;;;;;;;;;;;20044:25;;19954:127;;;:::o;15338:160::-;14886:10;14876:20;;:6;;;;;;;;;;;:20;;;14868:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15449:1:::1;15412:40;;15433:6;::::0;::::1;;;;;;;;;15412:40;;;;;;;;;;;;15484:1;15467:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;15338:160::o:0;17824:26::-;;;;:::o;14638:87::-;14676:7;14707:6;;;;;;;;;;;14700:13;;14638:87;:::o;17861:20::-;;;;;;;;;;;;;:::o;18822:95::-;18861:13;18898:7;18891:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18822:95;:::o;31673:109::-;31726:4;31754:10;:16;31765:4;31754:16;;;;;;;;;;;;;;;;;;;;;;;;;31747:23;;31673:109;;;:::o;23193:281::-;23286:4;23307:129;23316:12;:10;:12::i;:::-;23330:7;23339:96;23378:15;23339:96;;;;;;;;;;;;;;;;;:11;:25;23351:12;:10;:12::i;:::-;23339:25;;;;;;;;;;;;;;;:34;23365:7;23339:34;;;;;;;;;;;;;;;;:38;;:96;;;;;:::i;:::-;23307:8;:129::i;:::-;23458:4;23451:11;;23193:281;;;;:::o;32119:219::-;32236:12;32187:10;31590:14;31599:4;31590:8;:14::i;:::-;31589:15;31581:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32213:3:::1;31590:14;31599:4;31590:8;:14::i;:::-;31589:15;31581:44;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;32266:34:::2;32276:10;32288:3;32293:6;32266:9;:34::i;:::-;32322:4;32315:11;;31640:1:::1;32119:219:::0;;;;;:::o;24137:214::-;14886:10;14876:20;;:6;;;;;;;;;;;:20;;;14868:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24334:5:::1;24318:13;;:21;;;;;;;;;;;;;;;;;;24137:214::o:0;20587:159::-;20676:7;20707:11;:18;20719:5;20707:18;;;;;;;;;;;;;;;:27;20726:7;20707:27;;;;;;;;;;;;;;;;20700:34;;20587:159;;;;:::o;17581:48::-;;;;;;;;;;;;;;;;;;;;;;:::o;15670:260::-;14886:10;14876:20;;:6;;;;;;;;;;;:20;;;14868:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15783:1:::1;15763:22;;:8;:22;;;;15755:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15877:8;15848:38;;15869:6;::::0;::::1;;;;;;;;;15848:38;;;;;;;;;;;;15910:8;15901:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;15670:260:::0;:::o;1833:114::-;1886:15;1925:10;1918:17;;1833:114;:::o;29284:366::-;29407:1;29390:19;;:5;:19;;;;29382:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29492:1;29473:21;;:7;:21;;;;29465:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29580:6;29550:11;:18;29562:5;29550:18;;;;;;;;;;;;;;;:27;29569:7;29550:27;;;;;;;;;;;;;;;:36;;;;29622:7;29606:32;;29615:5;29606:32;;;29631:6;29606:32;;;;;;;;;;;;;;;;;;29284:366;;;:::o;26361:912::-;26489:1;26471:20;;:6;:20;;;;26463:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26577:1;26556:23;;:9;:23;;;;26548:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26636:47;26657:6;26665:9;26676:6;26636:20;:47::i;:::-;26699:22;26723:17;26744:34;26752:6;26760:9;26771:6;26744:7;:34::i;:::-;26698:80;;;;26822:1;26810:9;:13;26807:214;;;26861:8;;;;;;;;;;;26857:104;;26911:30;26920:9;26931;26911:8;:30::i;:::-;26857:104;26981:24;26987:6;26995:9;26981:5;:24::i;:::-;26807:214;27057:71;27079:6;27057:71;;;;;;;;;;;;;;;;;:9;:17;27067:6;27057:17;;;;;;;;;;;;;;;;:21;;:71;;;;;:::i;:::-;27037:9;:17;27047:6;27037:17;;;;;;;;;;;;;;;:91;;;;27166:40;27191:14;27166:9;:20;27176:9;27166:20;;;;;;;;;;;;;;;;:24;;:40;;;;:::i;:::-;27143:9;:20;27153:9;27143:20;;;;;;;;;;;;;;;:63;;;;27243:9;27226:35;;27235:6;27226:35;;;27254:6;27226:35;;;;;;;;;;;;;;;;;;26361:912;;;;;:::o;7059:208::-;7145:7;7182:1;7177;:6;;7185:12;7169:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;7169:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7213:9;7229:1;7225;:5;7213:17;;7254:1;7247:8;;;7059:208;;;;;:::o;25179:148::-;25271:6;25263:5;:14;;;;25303:12;25292:8;;:23;;;;;;;;;;;;;;;;;;25179:148;;:::o;6062:197::-;6120:7;6144:9;6160:1;6156;:5;6144:17;;6189:1;6184;:6;;6176:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6246:1;6239:8;;;6062:197;;;;:::o;30756:92::-;;;;:::o;25339:485::-;25475:22;25499:17;25602:14;:22;25617:6;25602:22;;;;;;;;;;;;;;;;;;;;;;;;;:53;;;;25628:16;:27;25645:9;25628:27;;;;;;;;;;;;;;;;;;;;;;;;;25602:53;25598:112;;;25684:6;25692:1;25676:18;;;;;;;;;25598:112;25726:11;25740:28;25762:5;25740:17;25751:5;;25740:6;:10;;:17;;;;:::i;:::-;:21;;:28;;;;:::i;:::-;25726:42;;25791:15;25802:3;25791:6;:10;;:15;;;;:::i;:::-;25808:3;25783:29;;;;;25339:485;;;;;;;:::o;24371:788::-;24485:1;24464:23;;:9;:23;;;;24456:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24578:13;24589:1;24578:6;:10;;:13;;;;:::i;:::-;24545:5;;;;;;;;;;;:15;;;24569:4;24545:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24545:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24545:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24545:30:0;;;;;;;;;;;;;;;;:46;24542:604;;;24667:5;;;;;;;;;;;:13;;;24689:4;24696:13;24707:1;24696:6;:10;;:13;;;;:::i;:::-;24667:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24667:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24667:43:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24667:43:0;;;;;;;;;;;;;;;;;24729:5;;;;;;;;;;;:18;;;24756:4;24763:9;24774:13;24785:1;24774:6;:10;;:13;;;;:::i;:::-;24729:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24729:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24729:59:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24729:59:0;;;;;;;;;;;;;;;;;24542:604;;;24860:7;24827:5;;;;;;;;;;;:15;;;24851:4;24827:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24827:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24827:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24827:30:0;;;;;;;;;;;;;;;;:40;:55;;;;;24880:2;24871:5;;:11;;24827:55;24824:322;;;25071:17;25079:2;25083:4;25071:7;:17::i;:::-;24824:322;24542:604;24371:788;;:::o;28360:442::-;28467:1;28448:21;;:7;:21;;;;28440:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28524:49;28545:7;28562:1;28566:6;28524:20;:49::i;:::-;28611:68;28634:6;28611:68;;;;;;;;;;;;;;;;;:9;:18;28621:7;28611:18;;;;;;;;;;;;;;;;:22;;:68;;;;;:::i;:::-;28590:9;:18;28600:7;28590:18;;;;;;;;;;;;;;;:89;;;;28709:24;28726:6;28709:12;;:16;;:24;;;;:::i;:::-;28694:12;:39;;;;28779:1;28753:37;;28762:7;28753:37;;;28783:6;28753:37;;;;;;;;;;;;;;;;;;28360:442;;:::o;7561:511::-;7619:7;7885:1;7880;:6;7876:55;;;7914:1;7907:8;;;;7876:55;7947:9;7963:1;7959;:5;7947:17;;7996:1;7991;7987;:5;;;;;;:10;7979:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8059:1;8052:8;;;7561:511;;;;;:::o;8589:140::-;8647:7;8678:39;8682:1;8685;8678:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;8671:46;;8589:140;;;;:::o;6577:144::-;6635:7;6666:43;6670:1;6673;6666:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;6659:50;;6577:144;;;;:::o;9266:298::-;9352:7;9388:1;9384;:5;9391:12;9376:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;9376:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9419:9;9435:1;9431;:5;;;;;;9419:17;;9551:1;9544:8;;;9266:298;;;;;:::o

ipfs://842ce1a0ffc7252d69efc4987e886fff9400ab602c3db3bd0749f557f5f3acfa